Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Jensen, Kurt
- Navabi, Zainalabedin
- Reisig, Wolfgang
- Agaian, S
- Astola, Jaakko T
- Bause, Falko
- Bayarou, Kpatcha M
- Best, Eike
- Egiazarian, Karen
- Fernández, César
- Girault, Claude
- Hwang, Frank K
- Karatkevich, Andrei
- Kiehn, Astrid
- Kristensen, Lars M
- Kritzinger, Pieter
- Mertsiotakis, Vassilios
- Morse, A. Stephen
- Olderog, Ernst-Rüdiger
- Prehofer, Christian
Erscheinungsform
Schlagwort
- Petri-Netz
- Gefärbtes Petri-Netz
- Nebenläufigkeit
- Parallelverarbeitung
- Stochastisches Petri-Netz
- Automatentheorie
- Automatisches Beweisverfahren
- Binäre Transformation
- Deklarative Programmierung
- Diskretes System
- Ereignisgesteuertes System
- Formale Methode
- Formale Sprache
- Funktional-logische Programmiersprache
- Gleichungstheorie
- Halbgeordnete Menge
- Kausalität
- Lambda-Kalkül
- Logische Schaltung
- Nichtlineares Digitalfilter
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts