Suchergebnisse
Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Form
Literaturtyp
Schlagwort
- Petri-Netz 6 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Algebraische Rekursionstheorie 1 Treffer
- Anwendung 1 Treffer
- Automat 1 Treffer
-
12 weitere Werte:
- Horn-Klausel 1 Treffer
- Invariantentheorie 1 Treffer
- Logische Programmierung 1 Treffer
- Mengenlehre 1 Treffer
- Modellierung 1 Treffer
- Nebenläufigkeit 1 Treffer
- Operationale Semantik 1 Treffer
- Petri-Box 1 Treffer
- Prozessalgebra 1 Treffer
- Systementwurf 1 Treffer
- Technisches System 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Standort
Quelle der Treffer
9 Treffer
-
Berlin [u.a.]: Springer, 2001Monographie, Gedruckte RessourceZugriff:
-
Hagen: LiLoLe-Verl, 1999Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Oxford: Clarendon, 1989-Monographie, Schriftenreihe, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1983Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1982Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1982Monographie, Gedruckte RessourceZugriff: