Ihre Suche erzielte 5 Treffer.

Ergebnisse
	1.	Foundations of software science and computation structures 20th international conference : FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Javier Esparza, Andrzej S. Murawski (eds.) von FOSSACS 20. 2017 Uppsala [VerfasserIn] Esparza, Javier, 1964- [HerausgeberIn] ETAPS 20. 2017 Uppsala [VerfasserIn] Reihen: Advanced research in computing and software science \| ; 10203: ARCoSS \| Lecture notes in computer science ; 10203 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86914210 978-3-662-54457-0 Verlag: Berlin; [Heidelberg] Springer [2017]Copyright-Datum: © 2017 Online-Ressourcen: Inhaltstext 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 10203. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Fundamental approaches to software engineering 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Marieke Huisman, Julia Rubin (eds.) von FASE 20. 2017 Uppsala [VerfasserIn] Huisman, Marieke, 1973- [HerausgeberIn] Rubin, Julia [HerausgeberIn] ETAPS 20. 2017 Uppsala [VerfasserIn] Reihen: Advanced research in computing and software science \| ; 10202 \| Lecture notes in computer science ; 10202 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86916685 Verlag: Berlin; [Heidelberg] Springer [2017]Copyright-Datum: © 2017 Online-Ressourcen: Inhaltstext Zentralblatt MATH Inhaltstext Inhaltsverzeichnis 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 10202. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Principles of security and trust 6th International Conference, POST 2017 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 : Uppsala, Sweden, April 22-29, 2017 : Proceedings Matteo Maffei, Mark Ryan (eds.) von POST 6. 2017 Uppsala [VerfasserIn] Maffei, Matteo [HerausgeberIn] Ryan, Mark, 1962- [HerausgeberIn] ETAPS 20. 2017 Uppsala [oth] Reihen: Advanced research in computing and software science \| ; 10204 \| Lecture notes in computer science ; 10204 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 978-3-662-54454-9 86914215 Verlag: Berlin; [Heidelberg] Springer [2017]Copyright-Datum: © 2017 Weitere Titel: POST 2017 sixth twentieth Online-Ressourcen: Cover Inhaltstext 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 10204. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Programming languages and systems 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Hongseok Yang (ed.) von ESOP 26. 2017 Uppsala [VerfasserIn] Yang, Hongseok [HerausgeberIn] ETAPS 20. 2017 Uppsala [VerfasserIn] Reihen: Advanced research in computing and software science \| ; 10201 \| Lecture notes in computer science ; 10201 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86910607 Verlag: Berlin; [Heidelberg] Springer [2017]Copyright-Datum: © 2017 Online-Ressourcen: Inhaltstext Zentralblatt MATH Inhaltstext Inhaltsverzeichnis Inhaltsverzeichnis Cover 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 10201. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Axel Legay, Tiziana Margaria (eds.) von TACAS 23. 2017 Uppsala [VerfasserIn] Legay, Axel [HerausgeberIn] Margaria-Steffen, Tiziana, 1964- [HerausgeberIn] ETAPS 20. 2017 Uppsala [VerfasserIn] Reihen: Lecture notes in computer science \| Advanced research in computing and software science Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Berlin; [Heidelberg] Springer 2017 Online-Ressourcen: Inhaltstext Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha