2002
- Link zum Volltext
2004
2006
- Hutchison, David
- Bandini, Stefania
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Komatsuzaki, Toshihiko
- Mattern, Friedemann
- Mitchell, John C
- Morishita, Shin
- Naor, Moni
- Nierstrasz, Oscar
- Nishinari, Katsuhiro
- Pandu Rangan, C
- Steffen, Bernhard
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Umeo, Hiroshi
- Vardi, Moshe Y
- Weikum, Gerhard
2008
Lecture Notes in Computer Science : 6350
2010
Theoretical Computer Science and General Issues : 11525
1st ed. 2019, 2019
Springer Monographs in Mathematics
2010
- Link zum Volltext
2012
Reprint 2021, [2022]
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Mitchell, John C
- Naor, Moni
- Nierstrasz, Oscar
- Pandu Rangan, C
- Steffen, Bernhard
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Vardi, Moshe Y
- Weikum, Gerhard
- Rozenberg, Grzegorz
- Bandini, Stefania
- Calude, Cristian S
- Chopard, Bastien
- Dinneen, Michael J
Erscheinungsform
Schlagwort
- Computer science
- Zellularer Automat
- Automat
- Logic design
- Computer software
- Endlicher Automat
- Software engineering
- Theoretische Informatik
- Automatentheorie
- Formale Methode
- Formale Sprache
- Zeitbehafteter Automat
- Computer Communication Networks
- Model Checking
- Artificial intelligence
- Bioinformatics
- Hybrides System
- Neuronales Netz
- Computer simulation
- Verifikation
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts