Campusbibliothek

Ihre Suche erzielte 6 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Computer-aided verification 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18 - 21, 1990 ; proceedings E. M. Clarke ... (eds.) von Reihen: ; 53100 | Lecture notes in computer science ; 531
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Weitere Titel:
  • computer-aided
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 531.
Vormerken Zum Korb hinzufügen
2.
Computer-aided verification '90 proceedings of a DIMACS workshop, June 18-21, 1990 E.M. Clarke, R.P. Kurshan, editors von Reihen: ; 3 | Center for Discrete Mathematics and Theoretical Computer Science DIMACS series in discrete mathematics and theoretical computer science ; 3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Providence, RI [u.a.] American Mathematical Society [u.a.] 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DIMACS 3.
Vormerken Zum Korb hinzufügen
3.
Combining local and global model checking Armin Biere; Edmund M. Clarke; Yunshan Zhu. Universität Karlsruhe, Fakultät für Informatik von Reihen: ; 98,26 | Universität Karlsruhe (TH) Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 98,26 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe Univ., Fak. für Informatik, Bibliothek 1998
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Karlsruhe UNI INF IB 26/98.
Vormerken Zum Korb hinzufügen
4.
Temporal logics for distributed systems paradigms and algorithms; 10.10.1999 - 15.10.1999 (99411) Edmund Clarke ... (eds.) von Reihen: ; 254 | Dagstuhl-Seminar-Report ; 254
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wadern IBFI 2000
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 254.
Vormerken Zum Korb hinzufügen
5.
Model checking Edmund M. Clarke, Jr.; Orna Grumberg, and Doron A. Peled von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Mass. London MIT c 1999
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (6)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) CLA e 1999:1 4.Ex, ... Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) CLA e 1999:1 1.Ex. Nicht verfügbar: Gebäude 26 (MPI-SWS Kaiserslautern ): restricted use (2). Gebäude E1 5 (MPI-SWS SB): restricted use (2).
Vormerken Zum Korb hinzufügen
6.
Handbook of model checking Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (editors) von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2018]Copyright-Datum: © 2018
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (5)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) CLA e 2018:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha