登入選單
Google圖書搜尋
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