Aktive Filter
Suchergebnisse filtern
Filter anzeigenAutor / Autorin
- Jensen, Kurt
- Navabi, Zainalabedin
- Reisig, Wolfgang
- Agaian, S
- Astola, Jaakko T
- Bause, Falko
- Bayarou, Kpatcha M
- Egiazarian, Karen
- Girault, Claude
- Hwang, Frank K
- Karatkevich, Andrei
- Kiehn, Astrid
- Kristensen, Lars M
- Kritzinger, Pieter
- Mertsiotakis, Vassilios
- Morse, A. Stephen
- Prehofer, Christian
- Seatzu, Carla
- Siripokarpirom, Rawat
- Smullyan, Raymond M
Erscheinungsform
Schlagwort
- Petri-Netz
- Gefärbtes Petri-Netz
- Parallelverarbeitung
- Stochastisches Petri-Netz
- Automatentheorie
- Automatisches Beweisverfahren
- Binäre Transformation
- Deklarative Programmierung
- Diskretes System
- Ereignisgesteuertes System
- Field programmable gate array
- Formale Methode
- Formale Sprache
- Funktional-logische Programmiersprache
- Gleichungstheorie
- Hardware-in-the-loop
- Hardwareverifikation
- Kausalität
- Lambda-Kalkül
- Logiksynthese
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts