Ergebnisse filtern
-
- 11
-
- 11
-
- 1
- 6
- 4
-
- 11
-
- 11
-
- 11
Mathematik für Informatiker
-
Breitman / Cavalcanti Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10372-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Larsen / Sokolsky / Wang Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-69482-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gent Principles and Practice of Constraint Programming - CP 2009
15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04243-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kotásek / Bouda / Cerná Mathematical and Engineering Methods in Computer Science
7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-25928-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hlinený / Hlinený / Dvorák Mathematical and Engineering Methods in Computer Science
9th International Doctoral Workshop, MEMICS 2014, Tel¿, Czech Republic, October 17--19, 2014, Revised Selected Papers2014Verlag: SpringerISBN: 978-3-319-14895-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dovier / Pontelli A 25-Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14308-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gribaudo / Sopin / Kochetkova Analytical and Stochastic Modelling Techniques and Applications
25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-62884-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Najm / Pradat-Peyre / Donzeau-Gouge Formal Techniques for Networked and Distributed Systems - FORTE 2006
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-46219-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hutton Mathematics of Program Construction
13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-33635-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinze / Voigtländer Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-19796-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davies / Gibbons Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73209-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort