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
Erscheinungsform
Schlagwort
- Petri-Netz
- Parallelverarbeitung
- Automatentheorie
- Automatisches Beweisverfahren
- Datenfluss
- Deklarative Programmierung
- Diskretes Ereignissystem
- Ereignisgesteuertes System
- Field programmable gate array
- Formale Sprache
- Funktional-logische Programmiersprache
- Gleichungstheorie
- Hardware-in-the-loop
- Hardwareverifikation
- Lambda-Kalkül
- Logiksynthese
- Mehrprozessorsystem
- Paralleler Prozess
- Prädikatenlogik
- Rekonfiguration
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt