Sortiert nach
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Jensen, Kurt
- Navabi, Zainalabedin
- Reisig, Wolfgang
- Best, Eike
- Agaian, S
- Astola, Jaakko T
- Bause, Falko
- Bayarou, Kpatcha M
- Devillers, Raymond
- Egiazarian, Karen
- Fasol, Karl H
- Fernández, César
- Girault, Claude
- Hoeschele, David F
- Hwang, Frank K
- International Workshop on Petri Nets and Performance Models
- Karatkevich, Andrei
- Kiehn, Astrid
- Koutny, Maciej
- Kristensen, Lars M
Erscheinungsform
Schlagwort
- Petri-Netz
- Gefärbtes Petri-Netz
- Nebenläufigkeit
- Stochastisches Petri-Netz
- Parallelverarbeitung
- Prozessalgebra
- Verteiltes System
- Algebraische Rekursionstheorie
- Analog-Digital-Umsetzer
- Automatentheorie
- Automatisches Beweisverfahren
- Binäre Transformation
- Deklarative Programmierung
- Digital-Analog-Umsetzer
- Diskretes System
- Ereignisgesteuertes System
- Field programmable gate array
- Formale Methode
- Formale Sprache
- Funktional-logische Programmiersprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts