Ihre Suche erzielte 11 Treffer.

Ergebnisse
	1.	Topological models for higher order control flow J. W. de Bakker; F. van Breugel von Bakker, Jacobus W. de, 1939-2012 [aut] Breugel, Franck van [aut] Reihen: ; 199340 \| Centrum voor Wiskunde en Informatica Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science ; 199340 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam CWI 1993 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) Amsterdam CWI CS-R9340. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Mathematical theory of program correctness Jaco de Bakker von Bakker, Jacobus W. de, 1939-2012 [aut] Bruin, Arie de [oth] Reihen: Prentice-Hall International series in computer science Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Englewood Cliffs, N.J. [u.a.] Prentice-Hall International 1980 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BAK j 1980:1 1.Ex, ... Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Ten years of concurrency semantics Selected papers of the Amsterdam Concurrency Group ed.: J. W. de Bakker ... von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] Rutten, J. J. M. M [oth] Amsterdam Concurrency Group [oth] Amsterdam Concurrency Group [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Singapore [u.a.] World Scientific 1992 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BAK j 1992:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Current trends in concurrency overviews and tutorials ; [... proceedings of the ESPRIT/LPC Advanced School on Current Trends in Concurrency, held June 10 - 21, 1985, at Noordwijkerhout, the Netherlands] ed. by J. W. de Bakker ... von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] Advanced School on Current Trends in Concurrency 1985 Noordwijkerhout [oth] Reihen: ; 22400 \| Lecture notes in computer science ; 224 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1986 Online-Ressourcen: 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 224. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Linear time, branching time and partial order in logics and models for concurrency school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 J. W. de Bakker ... (eds.) von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988 Noordwijkerhout [oth] Reihen: ; 35400 \| Lecture notes in computer science ; 354 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1989 Online-Ressourcen: 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 354. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Stepwise refinement of distributed systems models, formalisms, correctness ; REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 ; proceedings J. W. de Bakker ... (eds.) von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] REX Workshop 1989 Mook [oth] Reihen: ; 43000 \| Lecture notes in computer science ; 430 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990 Online-Ressourcen: Cover 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 430. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Foundations of object-oriented languages REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 ; proceedings J. W. de Bakker ... (eds.) von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] REX School Workshop 1990 Noordwijkerhout [oth] Reihen: ; 48900 \| Lecture notes in computer science ; 489 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer-Verl. 1991 Online-Ressourcen: 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 489. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Real-time: theory in practice REX Workshop, Mook, The Netherlands, June 3 - 7, 1991 ; proceedings J. W. de Bakker ... (ed.) von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] REX Workshop 1991 Mook [oth] Reihen: ; 60000 \| Lecture notes in computer science ; 600 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992 Weitere Titel: real-time Online-Ressourcen: Cover 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 600. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Semantics foundations and applications ; REX Workshop, Beekbergen, The Netherlands, June 1 - 4, 1992 ; proceedings J. W. de Bakker ... (ed.) von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] REX Workshop 1992 Beekbergen [oth] Reihen: ; 66600 \| Lecture notes in computer science ; 666 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993 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 666. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	A decade of concurrency reflections and perspectives; proceedings REX School Symposium, Noordwijkerhout, The Netherlands, June 1 - 4, 1993. J. W. de Bakker, W.- P. de Roever ... (ed.) von Bakker, Jacobus W. de, 1939-2012 [Hrsg.] Roever, Willem-Paul de, 1943- [oth] REX School Symposium 1993 Noordwijkerhout [oth] Reihen: ; 80300 \| Lecture notes in computer science ; 803 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994 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 803. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Languages for parallel architectures design, semantics, implementation models ed. by J. W. de Bakker von Bakker, Jacobus W. de, 1939-2012 [oth] Reihen: Wiley series in parallel computing Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Chichester [u.a.] Wiley 1989 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) BAK j 1989:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha