Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Software engineering and formal methods 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014 ; proceedings Dimitra Giannakopoulou ... (eds.) von Giannakopoulou, Dimitra [oth] Salaün, Gwen [oth] SEFM 12. 2014 Grenoble [oth] Reihen: ; 870200 \| Lecture notes in computer science ; 8702 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham [u.a.] Springer 2014 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 8702. 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)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha