Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Formal methods and software engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings Zhenhua Duan, Luke Ong (eds.) von ICFEM 19. 2017 Xi'an [VerfasserIn] Duan, Zhenhua [HerausgeberIn] Ong, Luke [HerausgeberIn] Reihen: ; 1061000 \| Lecture notes in computer science ; 10610 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 978-3-319-68689-9 86946311 Verlag: Cham Springer [2017] Online-Ressourcen: Inhaltstext 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 10610. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Structured object-oriented formal language and method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November, 16, 2017 : revised selected papers Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.) von SOFL+MSVL 7. 2017 Xi'an [VerfasserIn] Tian, Cong [HerausgeberIn] Nagoya, Fumiko [HerausgeberIn] Liu, Shaoying, 1960- [HerausgeberIn] Duan, Zhenhua [HerausgeberIn] ICFEM 19. 2017 Xi'an [Sonstige Person, Familie und Körperschaft] Reihen: ; 1079500 \| Lecture notes in computer science ; 10795 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham Springer [2018] 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 10795. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha