Ihre Suche erzielte 3 Treffer.

Ergebnisse
	1.	Software engineering and formal methods SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015 : revised selected papers Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.) von SEFM 13. 2015 York [VerfasserIn] Bianculli, Domenico [HerausgeberIn] Calinescu, Radu C, 1968- [HerausgeberIn] Rumpe, Bernhard, 1967- [HerausgeberIn] ATSE 6. 2015 York [VerfasserIn] HOFM 2. York, UK 2015.09.07-07 [VerfasserIn] MoKMaSD 4. York, UK 2015.09.07-07 [VerfasserIn] VERYSCART 1. York, UK 2015.09.07-07 [VerfasserIn] Reihen: ; 950900 \| Lecture notes in computer science ; 9509 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 978-3-662-49223-9 86784016 Verlag: Berlin Heidelberg Springer [2015]Copyright-Datum: ©2015 Weitere Titel: SEFM 2015 Online-Ressourcen: Inhaltstext Inhaltsverzeichnis Cover 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 9509. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Software engineering and formal methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 ; revised selected papers Carlos Canal ... (ed.) von Canal, Carlos [oth] SEFM 12. 2014 Grenoble [oth] HOFM 1. 2014 Grenoble [oth] Reihen: ; 893800 \| Lecture notes in computer science ; 8938 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham [u.a.] Springer 2015 Online-Ressourcen: 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 8938. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Software technologies: applications and foundations STAF 2016 collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016: revised selected papers Paolo Milazzo, Dániel Varró, Manuel Wimmer (eds.) von STAF 2016 Wien [VerfasserIn] Milazzo, Paolo [HerausgeberIn] Varró, Dániel [HerausgeberIn] Wimmer, Manuel [HerausgeberIn] DataMod 2016 Wien 5 [VerfasserIn] GCM 7. 2016 Wien [VerfasserIn] HOFM 3. 2016 Wien [VerfasserIn] MELO 2. 2016 Wien [VerfasserIn] SEMS 3. 2016 Wien [VerfasserIn] VeryComp 1. 2016 Wien [VerfasserIn] Reihen: ; 994600 \| Lecture notes in computer science ; 9946 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham Springer [2016] Online-Ressourcen: Inhaltsverzeichnis 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 9946. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha