Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Wählen der Benutzerpräferenzen
>
Zweigstelleninformation
Verwandte Werke
Verwandte Werke
Schlagwörter:
Bedingungs-Ereignis-System
.
Hardwareverifikation
.
Implementierung <Informatik>
.
Petri-Netz
.
Schaltungslogik
.
Theoretische Informatik
.
transformation
.
Validierung
.
VHDL
.
Theoretische Informatik -- Petri-Netz -- Schaltungsentwurf -- Digitalschaltung
.
Digitalschaltung -- Schaltungsentwurf -- Petri-Netz -- Bedingungs-Ereignis-System -- Schaltungslogik -- VHDL -- Transformation -- Hardwareverifikation -- Implementierung <Informatik> -- Validierung
.
Siehe Auch:
Elektronische Schaltung
.
Entwurfsautomation
.
Richtigkeit von Ergebnissen
.
Validität
.
Wissenschaftliche Methode
.
Oberbegriffe Schlagwörter:
Schaltung
.
Verifikation
.
Gerichteter Graph
.
Informatik
.
Hardwarebeschreibungssprache
.
Unterbegriffe Schlagwörter:
Digitale integrierte Schaltung
.
Logische Schaltung
.
Zählschaltung
.
Produktnetz
.
Layout <Mikroelektronik>
.
TTL
.
Datentransformation
.
Verfasser:
Brandau, Christoph
.
Reihen:
SPRINGERLINK BUECHER
.
Klassifikation:
621.395
.
COM036000
.
UYF
.
Schnellsuche
Suche nach