HOME
|
IMPRESSUM
|
DATENSCHUTZ
|
KIT
KIT-Bibliothek
Neue Suche
HBZ, NRW-Verbundkatalog via GVI
Treffer insgesamt: 1
/
Benötigte Zeit: 0.671 Sekunden
Symbolic model checking ; Kluwer Acad. Publ. / McMillan, Kenneth L / 1993
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
BVB - BibliotheksVerbund Bayern Solr-Zugang
Treffer insgesamt: 3
/
Benötigte Zeit: 1.298 Sekunden
Symbolic model checking ; Kluwer / McMillan, Kenneth L. / 1998
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Symbolic model checking ; Kluwer / McMillan, Kenneth L. / 2003
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Symbolic model checking ; Kluwer / McMillan, Kenneth L. / 1993
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
KOBV Berlin-Brandenburg
Treffer insgesamt: 1
/
Benötigte Zeit: 1.419 Sekunden
Symbolic model checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
–
1993
Zentrales Verzeichnis Antiquarischer Bücher
Treffer insgesamt: 3
/
Benötigte Zeit: 1.044 Sekunden
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth McMillan
22.86 EUR
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth McMillan
66.11 EUR
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth McMillan
66.27 EUR
abebooks
Treffer insgesamt: 17
/
Benötigte Zeit: 1.219 Sekunden
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth McMillan
22.86 EUR
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth McMillan
66.11 EUR
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth McMillan
66.27 EUR
SYMBOLIC MODEL CHECKING
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
73.57 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
77.79 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
84.56 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
87.58 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
88.45 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
89.05 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth L. McMillan
91.23 GBP
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
104.68 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
105.92 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Kenneth McMillan
107.1 GBP
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
111.42 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
118.47 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
118.47 USD
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
241.22 USD
Verbundkatalog hebis, Hessen
Treffer insgesamt: 1
/
Benötigte Zeit: 1.529 Sekunden
Symbolic model checking / / McMillan, Kenneth L.. - Boston, Mass. [u.a.] : Kluwer Acad.-Publ., 1993
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
SWB, Südwestdeutscher Bibliotheksverbund
Treffer insgesamt: 2
/
Benötigte Zeit: 1.562 Sekunden
Symbolic model checking / MacMillan, Kenneth L.. - 3. print.. - Boston [u.a.] : Kluwer Acad. Publ., 1996 /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Symbolic model checking / MacMillan, Kenneth L.. - Boston [u.a.] : Kluwer Academic, 1993 /
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Verbundkatalog GBV
Treffer insgesamt: 5
/
Benötigte Zeit: 1.590 Sekunden
Symbolic model checking / McMillan, Kenneth L. - 7. print. - Boston [u.a.] : Kluwer Academic, c 2003 [erschienen] 2002
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Symbolic model checking / McMillan, Kenneth L. - 5. print. - Boston [u.a.] : Kluwer Academic, 1998
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Symbolic model checking / MacMillan, Kenneth L.; McMillan, Kenneth L. - 3. print. - Boston [u.a.] : Kluwer Acad. Publ., 1996
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Symbolic Model Checking / McMillan, Kenneth L. - New York, NY : Springer, 1993
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Symbolic model checking / MacMillan, Kenneth L.; McMillan, Kenneth L. - Boston [u.a.] : Kluwer Academic, 1993
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Amazon.de - Deutsche Bücher
Treffer insgesamt: 1
/
Benötigte Zeit: 1.538 Sekunden
Symbolic Model Checking
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
McMillan, Kenneth L.
–
1993
Status
Angezeigte Treffer: 34
/
Benötigte Gesamtzeit: 7.651 Sekunden
Ihre Suchanfrage war:
ISBN
: 0792393805
37 Kataloge wurden ausgewählt.
28 davon konnte(n) nicht (oder nicht vollständig) berücksichtigt werden bzw. lieferten keine Treffer:
UNBEKANNT Katalog-Konfigurationsdatei nicht gefunden oder fehlerhaft.
NEBIS
Fehler bei der URL-Anpassung.
Westschweizer Bibliotheksverbund
Problem während der Verbindung.
UNBEKANNT Katalog-Konfigurationsdatei nicht gefunden oder fehlerhaft.
Deutsche Nationalbibliothek
Keine Datensätze gefunden.
Deutsche Digitale Bibliothek
Directory of Open Access Journals
Französische Nationalbibliothek
Keine Datensätze gefunden.
swissbib
Die Auswertung der Katalog-Antwort erbrachte kein Ergebnis.
KNV Buchkatalog.de
Problem während der Verbindung.
UNBEKANNT Katalog-Konfigurationsdatei nicht gefunden oder fehlerhaft.
IDS Basel/Bern
Die Auswertung der Katalog-Antwort erbrachte kein Ergebnis.
Zentrales Verzeichnis Digitalisierter Drucke
Staatsbibliothek zu Berlin
Keine Datensätze gefunden.
hebis-Retro / Digitalisierte Zettelkataloge
Keine Datensätze gefunden.
DART-Europe E-theses Portal
Problem während der Verbindung.
Booklooker.de
Keine Datensätze gefunden.
EROMM Web Search
Keine Datensätze gefunden.
Europeana
Keine Datensätze gefunden.
Directory of Open Access Books (DOAB)
Problem während der Verbindung.
OAPEN Library
Die Auswertung der Katalog-Antwort erbrachte kein Ergebnis.
Google Books
Problem während der Verbindung.
eBooks - DFG-Nationallizenzen
Keine Datensätze gefunden.
Aufsätze - DFG-Nationallizenzen
Keine Datensätze gefunden.
Internet Archive (only texts)
Keine Datensätze gefunden.
Amazon.de - Englische Bücher
Keine Datensätze gefunden.
SUDOC, Französischer Verbundkatalog
Interner Fehler beim Verbindungsaufbau.
Bielefeld Academic Search Engine
Interner Fehler beim Verbindungsaufbau.
Ein Katalog wird unter anderem dann nicht berücksichtigt, wenn er nicht innerhalb des Timeouts antwortet (30 Sekunden).