Ihre Suche erzielte 4 Treffer.

Ergebnisse
	1.	Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings Jin Song Dong; Huibiao Zhu (eds.) von Dong, Jin Song [Hrsg.] Zhu, Huibiao [oth] International Conference on Formal Engineering Methods 12 2010 Schanghai [oth] Reihen: ; 644700 \| Lecture notes in computer science ; 6447 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 80026674 Verlag: Berlin Heidelberg [u.a.] Springer 2010 Online-Ressourcen: Inhaltstext 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 6447. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Service-oriented computing - ICSOC 2012 Workshops ICSOC 2012 International Workshops: ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and satellite events, Shanghai, China, November 12-15, 2012 ; revised selected papers Aditya Ghose ... (ed.) von Ghose, Aditya [Hrsg.] Zhu, Huibiao [Hrsg.] Yu, Qi [Hrsg.] Delis, Alex [Hrsg.] Sheng, Quan Z [Hrsg.] Perrin, Olivier [Hrsg.] Wang, Jianmin [Hrsg.] Wang, Yan [Hrsg.] Ghose, Aditya K [Hrsg.] ICSOC 10 2012 Schanghai [oth] ASC 1 2012 Schanghai [oth] Reihen: ; 7759 \| Lecture notes in computer science ; 7759 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86250778 Verlag: Berlin Heidelberg Springer 2013 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 7759. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Unifying theories of programming and formal engineering methods International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26 - 30, 2013, advanced lectures Zhiming Liu ... (eds.) von Liu, Zhiming, 1961- [Hrsg.] Woodcock, Jim [Hrsg.] Zhu, Huibiao [Hrsg.] ICTAC 10 2013 Schanghai [oth] Reihen: ; 8050 \| Lecture notes in computer science ; 8050 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86295439 Verlag: Berlin Heidelberg [u.a.] Springer 2013 Online-Ressourcen: Inhaltstext Cover Zentralblatt MATH Inhaltstext Inhaltsverzeichnis 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 8050. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Unifying theories of programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers Jonathan P. Bowen, Huibiao Zhu (eds.) von UTP 6. 2016 Reykjavik [VerfasserIn] Bowen, Jonathan P, 1956- [HerausgeberIn] Zhu, Huibiao [HerausgeberIn] Reihen: ; 1013400 \| Lecture notes in computer science ; 10134 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham Springer [2017]Copyright-Datum: © 2017 Weitere Titel: on sixth Online-Ressourcen: Cover 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 10134. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha