Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Aktive Filter
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
- Logic design
- Automat
- Computer software
- Software engineering
- Theoretische Informatik
- Formale Methode
- Endlicher Automat
- Zeitbehafteter Automat
- Computer Communication Networks
- Model Checking
- Artificial intelligence
- Bioinformatics
- Hybrides System
- Formale Sprache
- Verifikation
- Automatentheorie
- Computer simulation
- Zeitbewertetes Petri-Netz
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts