Mein Bibliothekskonto
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Universitätsbibliothek
Recherche
Katalog
Suche
Katalog
Central Discovery Index
Bitte beachten Sie auch das
verfügbare Angebot an E-Books, die zurzeit noch nicht in unserem Katalog nachgewiesen sind
, aber über die Verlagsportale bereits freigeschaltet sind.
Suche teilen
Suche als RSS-Feed
Suche verfeinern
1 – 7 von 7
Coloured petri nets : modelling and validation of concurrent systems
Jensen, Kurt; Kristensen, Lars M. - 2009
Signatur:
TVG1685
Coloured Petri nets : basic concepts, analysis methods and practical use
Monographs in theoretical computer science: an EATCS series
Jensen, Kurt - 1992 -
Signatur:
TVG1392-...
Coloured Petri nets : basic concepts, analysis methods and practical use Bd. 1
Coloured Petri nets; Bd. 1
(alle Bände)
Monographs in theoretical computer science: an EATCS series
Jensen, Kurt - 1992
Signatur:
TVG1392-1
Coloured Petri nets : basic concepts, analysis methods and practical use Bd. 2
Coloured Petri nets; Bd. 2
(alle Bände)
Monographs in theoretical computer science: an EATCS series
Jensen, Kurt - 1995
Signatur:
TVG1392-2
Starke Färbbarkeit in Petri-Netzen
Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Bd. 117
(alle Bände)
Prinoth, Rainer - 1978
Signatur:
TUF1018-117
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Berichte aus der Informatik
Knorr, Roger - Als Ms. gedr. - 1995
Signatur:
TWP6472
Coloured Petri Nets : Modelling and Validation of Concurrent Systems [Elektronische Ressource]
Jensen, Kurt; Kristensen, Lars M. - 2009
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Nach oben
Die Universität der Informationsgesellschaft