Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach 68Q85 ergibt 29 Einträge

Suchergebnisseite: . zum Satzanfang Zurück .   NNN 1 . 2   .   . Seite: 2 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
21 Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines [E-Book]   2006 E-Book URL Exists Catalogue Record .
22 Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen [Buch] Leszak, Marek 1989 Reihenverknüpfung anzeigen für Katalogsatz 500102689500102689 Buch URL Exists Catalogue Record Regalstandort: 24 736/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
23 Principles of model checking Principles of model checking [Buch] Baier, Christel 2008 Buch URL Exists Catalogue Record Regalstandort: ST 233 B152.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
24 Process Algebras for Petri Nets: The Alphabetization of Distributed Systems Process Algebras for Petri Nets: The Alphabetization of Distributed Systems [E-Book] Gorrieri, Roberto 2017 E-Book URL Exists Catalogue Record .
25 Scalable Techniques for Formal Verification Scalable Techniques for Formal Verification [E-Book] Ray, Sandip 2010 E-Book URL Exists Catalogue Record .
26 Supervisory Control of Concurrent Systems: A Petri Net Structural Approach Supervisory Control of Concurrent Systems: A Petri Net Structural Approach [E-Book] Iordache, Marian V. 2006 E-Book URL Exists Catalogue Record .
27 Systems and software verification: model-checking techniques and tools Systems and software verification: model-checking techniques and tools [Buch]   2001 Buch URL Exists Catalogue Record Regalstandort: ST 233 B483.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
28 Transactions on Petri Nets and Other Models of Concurrency XII Transactions on Petri Nets and Other Models of Concurrency XII [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500257506500257506 E-Book URL Exists Catalogue Record .
29 Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction [Buch] Balser, Michael 2006 Buch URL Exists Catalogue Record Regalstandort: ST 130 B196 .
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.

Ihre Suche nach 68Q85 ergibt 29 Einträge

Suchergebnisseite: . Bottom Zurück .   NNN 1 . 2   .   . Seite: 2 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche