登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 30 / 53
下一頁
Vorwort
作者
Stefan Timm / Jörg Dierken
出版
2006
ISBN
OCLC:892079808
Relating Different Semantics Für Object Petri Nets
作者
Rüdiger Valk
出版
2000
ISBN
OCLC:247124782
Relating Different Semantics for Object Petri Nets
作者
Rüdiger Valk
出版
2000
ISBN
OCLC:897814565
The residue of vector sets with applications to de...
作者
Rüdiger Valk / Matthias Jantzen
出版
1984
ISBN
OCLC:722233618
Realisierungen allgemeiner Systeme
作者
Rüdiger Valk
出版
1976
ISBN
CORNELL:31924000561450
主題
System theory
Semantik von Programmsprachen
作者
Matthias Jantzen / Rüdiger Valk
出版
2007
ISBN
OCLC:551921634
Realisierung allgemeiner Systeme
作者
Rüdiger Valk
出版
1974
ISBN
OCLC:634689055
Nachweisbar sichere Software durch Modellieren und...
作者
Rüdiger Valk / Rainer Mackenthun
出版
1993
ISBN
OCLC:256723049
Extending s-invariants for coloured and selfmodify...
作者
Rüdiger Valk
出版
1993
ISBN
OCLC:75427331
Rechensysteme
作者
Eike Jessen / Rüdiger Valk
出版
Springer-Verlag, 2013-03-07
ISBN
9783642711206 / 3642711200
主題
Computers
Semantik von Programmiersprachen
作者
Rüdiger Valk
出版
2005
ISBN
OCLC:255136375
On Processes of Object Petri Nets
作者
Rüdiger Valk
出版
1996
ISBN
OCLC:258556744
主題
Petri nets
Theoretische informatik
作者
R. Valk
出版
1976
ISBN
OCLC:257880393
Verifikation von Systemmodellen
作者
Rüdiger Valk
出版
2004
ISBN
OCLC:249873624
Petri Nets for Systems Engineering
作者
Claude Girault / Rüdiger Valk
出版
Springer Science & Business Media, 2013-03-14
ISBN
9783662053249 / 3662053241
主題
Computers
Self-modifying nets
作者
Rüdiger Valk
出版
1977
ISBN
OCLC:256408323
主題
Machine theory
Topologische Wortmengen, topologische Automaten, z...
作者
Rüdiger Valk
出版
1972
ISBN
CHI:16800785
主題
Sequential machine theory
A Polynomial Solution for Deadlock Avoidance in As...
作者
Joaquin Ezpeleta / Rüdiger Valk
出版
2003
ISBN
OCLC:633505240
Seminar
作者
Florian Matthes / Horst Oberquelle / D. Preßmar / Joachim Schmidt / H. Seibt / Rüdiger Valk / F. Vogt
出版
1995
ISBN
OCLC:257838123
Seminar
作者
Florian Matthes / Horst Oberquelle / D. Preßmar / Joachim Schmidt / H. Seibt / Rüdiger Valk / F. Vogt
出版
1995
ISBN
OCLC:248652642
Topologische Wertmengen, topologische Automaten, Z...
作者
Rüdiger Valk
出版
1972
ISBN
OCLC:634616017
GI — 18. Jahrestagung II
作者
Rüdiger Valk
出版
Springer, 1988-10-05
ISBN
3540503609 / 9783540503606
主題
Computers
Asynchrone prozesse
作者
R. Valk
出版
1976
ISBN
OCLC:257878280
Theoretische Grundlagen der Programmierung
作者
Rüdiger Valk
出版
1999
ISBN
OCLC:247580691
Korrektheit von Programmen
作者
Rüdiger Valk
出版
1997
ISBN
OCLC:246471472
Verifying Coloured Nets in UNITY-style
作者
Rainer Mackenthun / Rüdiger Valk
出版
1993
ISBN
OCLC:256723182
Modelle für Rechensysteme
作者
Rüdiger Valk
出版
1999
ISBN
OCLC:247580713
Modelling of task flow in systems of functional un...
作者
Rüdiger Valk
出版
1987
ISBN
OCLC:46118466
A Polynomial Solution for Deadlock Avoidance in As...
作者
Joaquin Ezpeleta / Rüdiger Valk
出版
2003
ISBN
OCLC:64654923
Verifikation von Programmen
作者
Rüdiger Valk
出版
1995
ISBN
OCLC:257792806