Ihre Suche erzielte 5 Treffer.

Ergebnisse
	1.	Concurrency theory 9th international conference, Nice, France, September 8 - 11, 1998 ; proceedings CONCUR '98. Davide Sangiorgi ... (Eds.) von Sangiorgi, Davide [Hrsg.] CONCUR 9 1998 Nizza [oth] Reihen: ; 146600 \| Lecture notes in computer science ; 1466 Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998 Weitere Titel: CONCUR '98 Online-Ressourcen: Inhaltsverzeichnis Kapitel 1 Cover Zentralblatt MATH Inhaltstext 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) LNCS 1466, ... Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Trustworthy global computing international symposium, TGC 2005, Edinburgh, UK, April 7 - 9, 2005 ; revised selected papers Rocco De Nicola; Davide Sangiorgi (eds.) von De Nicola, Rocco, 1954- [Hrsg.] Sangiorgi, Davide [oth] TGC 1 2005 Edinburgh [oth] Reihen: ; 370500 \| Lecture notes in computer science ; 3705 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11580850 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Inhaltstext Cover Zentralblatt MATH Inhaltstext Table of contents 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 3705. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Theoretical computer science 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; proceedings Josep Diaz; Ivan Lanese; Davide Sangiorgi (eds.) von Díaz, Josep, 1950- [Hrsg.] Lanese, Ivan [Hrsg.] Sangiorgi, Davide [Hrsg.] International Federation for Information Processing [oth] International Federation for Information Processing Technical Committee Foundations of Computer Science [oth] TCS 8 2014 Rom [oth] Reihen: ; 870500 \| Lecture notes in computer science ; 8705 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86378762 Verlag: Heidelberg [u.a.] Springer 2014 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext 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 8705. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	The π[pi]-calculus a theory of mobile processes Davide Sangiorgi; David Walker von Sangiorgi, Davide [aut] Walker, David [aut] Auflage: 1. publ. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 2001 Weitere Titel: pi Online-Ressourcen: Zentralblatt MATH Inhaltstext 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) SAN d2 2001:1 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Algebraic theories for name-passing calculi von Parrow, Joachim Sangiorgi, Davide Reihen: Swedish Institute of Computer Science (SICS) <Kista> : Research Report Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: SICS 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) Kista SICS 93:04. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha