Ergebnisse filtern
-
- 12
-
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
-
- 12
-
- 10
- 2
-
- 12
-
- 12
-
- 12
Mathematik für Informatiker
-
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
-
Hsu / Malyshkin Methods and Tools of Parallel Programming Multicomputers
Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14821-7Medium: Buch53,49 € (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
-
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
-
Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications
17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13567-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Oliveira / Woodcock Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10451-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
-
Lastovetsky / Kechadi / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87474-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Carro / Peña Practical Aspects of Declarative Languages
12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11502-8Medium: Buch53,49 € (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
-
Romijn / Smith / van de Pol Integrated Formal Methods
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30492-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Dams FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-05088-6Medium: 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
