Ihre Suche erzielte 14 Treffer.

Ergebnisse
	1.	The SPIN verification system proceedings of a DIMACS workshop, August 5, 1996 the Second Workshop on the SPIN Verification System. Jean-Charles Grégoire; Gerard J. Holzmann, Doron A. Peled eds. von Grégoire, Jean-Charles [Hrsg.] Holzmann, Gerard J, 1951- [Hrsg.] Peled, Doron, 1962- [Hrsg.] Center for Discrete Mathematics and Theoretical Computer Science [oth] Workshop on the SPIN Verification System 2 1996 New Brunswick, NJ [oth] Reihen: ; 32 \| Center for Discrete Mathematics and Theoretical Computer Science DIMACS series in discrete mathematics and theoretical computer science ; 32 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Providence, RI American Mathematical Society 1997 Online-Ressourcen: 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) DIMACS 32. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Theoretical and practical aspects of SPIN model checking proceedings 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999. Dennis Dams ... (Eds.) von Dams, Dennis [oth] Dams, Dennis René [Hrsg.] International SPIN Workshops 5 1999 - 6, 1999 [oth] International SPIN Workshop 5 1999 Trient [oth] International SPIN Workshop 6 1999 Toulouse [oth] Reihen: ; 168000 \| Lecture notes in computer science ; 1680 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999 Online-Ressourcen: Inhaltsverzeichnis Kapitel 1 Cover 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 1680. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	SPIN model checking and software verification proceedings 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Klaus Havelund; John Penix; Willem Visser (eds.) von Havelund, Klaus [Hrsg.] Penix, John [oth] Visser, Willem [oth] International SPIN Workshop 7 2000 Stanford, Calif [oth] Reihen: ; 188500 \| Lecture notes in computer science ; 1885 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000 Online-Ressourcen: Einführung/Vorwort Inhaltsverzeichnis Cover 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) LNCS 1885. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Model checking software proceedings 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. Dragan Bos̆nac̆ki; Stefan Leue (ed.) von Bos̆nac̆ki, Dragan [Hrsg.] International SPIN Workshop 9 2002 Grenoble [oth] Reihen: ; 231800 \| Lecture notes in computer science ; 2318 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002 Weitere Titel: 9th International SPIN Workshop Online-Ressourcen: Inhaltsverzeichnis Kapitel 1 Cover 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) LNCS 2318. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9 - 10, 2003 ; proceedings Thomas Ball ... (eds.) von Ball, Thomas [Hrsg.] International SPIN Workshop 10 2003 Portland, Or [oth] Reihen: ; 264800 \| Lecture notes in computer science ; 2648 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Publisher description 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 2648. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1 - 3, 2004 Susanne Graf ... (eds.) von Graf, Susanne [Hrsg.] International SPIN Workshop 11 2004 Barcelona [oth] Reihen: ; 298900 \| Lecture notes in computer science ; 2989 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Verlagsangaben Cover Einführung/Vorwort 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) LNCS 2989. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Model checking software 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005 ; proceedings Patrice Godefroid (ed.) von Godefroid, Patrice [Hrsg.] International SPIN Workshop 12 2005 San Francisco, Calif [oth] Reihen: ; 363900 \| Lecture notes in computer science ; 3639 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11537328 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verlagsangaben Cover Zentralblatt MATH Inhaltstext Online-Zugang 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 3639. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Model checking software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 ; proceedings ; [ETAPS 2006, European Joint Conferences on Theory and Practice of Software] Antti Valmari (ed.) von Valmari, Antti [Hrsg.] International SPIN Workshop 13 2006 Wien [oth] ETAPS 9 2006 Wien [oth] Reihen: ; 392500 \| Lecture notes in computer science ; 3925 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11691617 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltstext Verlagsangaben Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Online-Zugang 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 3925. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Model checking software 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007 ; proceedings Dragan Bošnački; Stefan Edelkamp (eds.) von Bošnački, Dragan [Hrsg.] Edelkamp, Stefan [oth] International SPIN Workshop 14 2007 Berlin [oth] Reihen: ; 459500 \| Lecture notes in computer science ; 4595 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12084210 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext kostenfrei Inhaltsverzeichnis 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 4595. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Model checking software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12 , 2008; proceedings Klaus Havelund ... (eds.) von Havelund, Klaus [Hrsg.] Majumdar, Rupak [oth] Palsberg, Jens [oth] International SPIN Workshop 15 2008 Los Angeles, Calif [oth] Reihen: ; 5156 \| Lecture notes in computer science ; 5156 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12443697 Verlag: Berlin Heidelberg [u.a.] Springer 2008 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Inhaltsverzeichnis 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 5156. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings Corina S. Pa︣sa︣reanu (ed.) von Pa︣sa︣reanu, Corina S [Hrsg.] International SPIN Workshop 16 2009 Grenoble [oth] Reihen: ; 557800 \| Lecture notes in computer science ; 5578 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12703296 Verlag: Berlin Heidelberg [u.a.] Springer 2009 Online-Ressourcen: Inhaltsverzeichnis Cover 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) LNCS 5578. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Model checking software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010 ; proceedings Jaco van der Pol; Michael Weber (eds.) von Pol, Jaco van der [oth] Weber, Michael [oth] Pol, Jan Cornelis van der [Hrsg.] International SPIN Workshop 17 2010 Enschede [oth] Reihen: ; 634900 \| Lecture notes in computer science ; 6349 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 80023667 Verlag: Berlin Heidelberg [u.a.] Springer 2010 Online-Ressourcen: Verlagsangaben Inhaltsverzeichnis Inhaltstext 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) LNCS 6349. Vormerken Zum Korb hinzufügen (Entfernen)
	13.	Model checking software 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8 - 9, 2013 ; proceedings Ezio Bartocci ... (ed.) von Bartocci, Ezio [Hrsg.] Ramakrishnan, C. R [Hrsg.] SPIN 20 2013 Stony Brook, NY [oth] Reihen: ; 797600 \| Lecture notes in computer science ; 7976 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86289921 Verlag: Heidelberg Berlin [u.a.] Springer 2013 Online-Ressourcen: Inhaltstext Cover Inhaltsverzeichnis 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) LNCS 7976. Vormerken Zum Korb hinzufügen (Entfernen)
	14.	Model checking software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.) von SPIN 26. 2019 Peking [VerfasserIn] Biondi, Fabrizio [HerausgeberIn] Given-Wilson, Thomas [HerausgeberIn] Legay, Axel [HerausgeberIn] Reihen: LNCS Sublibrary. SL1 - Theoretical computer science and general issues \| ; 11636 \| Lecture notes in computer science ; 11636 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham, Switzerland Springer [2019] 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) LNCS 11636. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha