Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Verification of digital and hybrid systems [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997] ed. by Kemal Inan; Robert P. Kurshan von İnan, M. Kemal, 1942- [Hrsg.] Kurshan, Robert P, 1943- [oth] Advanced Study Institute on Verification of Digital and Hybrid Systems 1997 Antalya [oth] Reihen: ; 17000 \| NATO NATO ASI series / F ; 170 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000 Online-Ressourcen: Inhaltsverzeichnis Zentralblatt MATH Inhaltstext 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) INA m 2000:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Computer-aided verification of coordinating processes the automata-theoretic approach Robert P. Kurshan von Kurshan, Robert P, 1943- [aut] Reihen: Princeton series in computer science Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Princeton, NJ Princeton Univ. Press 1994 Online-Ressourcen: Verlagsangaben Zentralblatt MATH Inhaltstext 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) KUR r2 1994:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha