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
:
Verwandte Werke
Verwandte Werke
Schlagwörter:
Berechenbarkeit
.
Entscheidbarkeit
.
Erreichbarkeit
.
Formale Sprache
.
Interleaving
.
Nebenläufigkeit
.
Petri-Netz
.
Petri-Netz -- Formale Sprache
.
Petri-Netz -- Interleaving
.
Petri-Netz -- Berechenbarkeit -- Erreichbarkeit -- Entscheidbarkeit
.
Petri-Netz
.
Petri-Netz -- Nebenläufigkeit
.
Petri-Netz -- Formale Sprache
.
Petri-Netz -- Interleaving
.
Petri-Netz -- Berechenbarkeit -- Erreichbarkeit -- Entscheidbarkeit
.
Petri-Netz
.
Petri-Netz -- Nebenläufigkeit
.
Siehe Auch:
Berechnungstheorie
.
Rekursionstheorie
.
Entscheidungsproblem
.
Nichtsequentielle Programmierung
.
Paralleler Prozess
.
Prozessalgebra
.
Oberbegriffe Schlagwörter:
Kunstsprache
.
Kanalcodierung
.
Kommunikationstechnik
.
Nachrichtenübertragungstechnik
.
Gerichteter Graph
.
Unterbegriffe Schlagwörter:
Domänenspezifische Programmiersprache
.
Reguläre Sprache
.
Regulärer Ausdruck
.
Produktnetz
.
Verfasser:
Priese, Lutz
.
Wimmel, Harro
.
Reihen:
eXamen.press
.
Springer eBook Collection. Computer Science & Engineering
.
SPRINGERLINK BUECHER
.
Klassifikation:
511.3
.
*68Q85
.
005.131
.
127261347X ST 132
.
68-01
.
68-02
.
68Q10
.
68Q55
.
68Q60
.
COM051010
.
MAT018000
.
PBC
.
UYA
.
Schnellsuche
Suche nach