Ergebnisse filtern
-
- 7
-
- 2
- 1
- 1
- 1
- 1
- 1
-
- 2
- 2
- 3
-
- 6
- 1
-
- 7
-
- 7
-
- 7
Mathematik | Informatik
-
De Nicola Programming Languages and Systems
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71314-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Julien / De Nicola Coordination Models and Languages
15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38492-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hennicker / De Nicola Software, Services, and Systems
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering2015Verlag: Springer International PublishingISBN: 978-3-319-15544-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
De Nicola / Sangiorgi Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30007-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kühn / De Nicola Software Engineering and Formal Methods
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41590-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
De Nicola / Meredith / Ferrari Coordination Models and Languages
6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21044-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Hillston / De Nicola Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-34095-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort