Sortiert nach
BI-Hochschulskripten : 766 (Alle Bände), [Reihe Informatik : 10 (Alle Bände), Skripten zur Informatik
1972
Signatur: TVJ1004
Leitfäden der angewandten Mathematik und Mechanik : 48 (Alle Bände), Teubner-Studienbücher : Informatik
1979
Signatur: TVL1070
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Hielscher, Michael
- Klüver, Jürgen
- Wagenknecht, Christian
- Böhling, Karl Heinz
- Calude, Cristian S
- Dinneen, Michael J
- Ehrig, Hartmut
- Graf, Susanne
- Klüver, Christina
- Pfender, Michael
- Rozenberg, Grzegorz
- Schmidt, Jörn
- Abel, Dirk
- Ajzerman, Mark A
- Akl, Selim G
- Asarin, Eugene
- Bandini, Stafania
- Barthelmeß, Ulrike
- Bednarek, Alexander R
- Bernert, Rüdiger
Erscheinungsform
Schlagwort
- Computer science
- Automat
- Zellularer Automat
- Endlicher Automat
- Logic design
- Automatentheorie
- Computer software
- Formale Sprache
- Formale Methode
- Software engineering
- Hybrides System
- Model Checking
- Online-Ressource
- Theoretische Informatik
- Zeitbehafteter Automat
- Geschichte
- Computer Communication Networks
- Verifikation
- Abstrakter Automat
- Eingebettetes System
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts