Ergebnisse filtern
-
Bhalachandra / Wienke / Chandrasekaran Accelerator Programming Using Directives
7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-74223-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Becker / Plasil / Reussner Quality of Software Architectures Models and Architectures
4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87878-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wienke / Bhalachandra Accelerator Programming Using Directives
6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-49942-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schürr / Selic Model Driven Engineering Languages and Systems
12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04424-3Medium: Buch106,99 € (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 -
Cohen Principles and Practice of Constraint Programming - CP 2010
16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15395-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D'Hondt ECOOP 2010 -- Object-Oriented Programming
24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14106-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Drossopoulou ECOOP 2009 -- Object-Oriented Programming
23rd European Conference, Genoa, Italy, July 6-10, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03012-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vitek ECOOP 2008 - Object-Oriented Programming
22nd European Conference Paphos, Cyprus, July 7-11, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70591-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mirandola / Gorton / Hofmeister Architectures for Adaptive Software Systems
5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02350-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68621-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Real / Vardanega Reliable Software Technologies - Ada-Europe 2010
15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13549-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertogna / Pinho / Quiñones Reliable Software Technologies - Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39082-6Medium: 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 -
Aichernig / Furia Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41134-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fraser / Gargantini Tests and Proofs
4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13976-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kühne / Selic / Gervais Modelling Foundations and Applications
6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13594-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Di Marzo Serugendo / Loreti Coordination Models and Languages
20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92407-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blass / Dershowitz / Reisig Fields of Logic and Computation
Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15024-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tratt / Gogolla Theory and Practice of Model Transformations
Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13687-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paige Theory and Practice of Model Transformations
Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02407-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonsangue / Graf / de Roever Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised LecturesErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92187-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cha / Choi / Kim Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88386-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-17070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Taft / Duff / Brukardt Ada 2005 Reference Manual. Language and Standard Libraries
International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1Erscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-69335-2Medium: 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