Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 1 Berechenbarkeitstheorie, Komplexitätstheorie
- 45 Künstliche Intelligenz
- 153 Logik, formale Sprachen, Automaten
- 6 Mathematik für Informatiker
- 32 Mensch-Maschine-Interaktion
- 2 Natürliche Sprachen & Maschinelle Übersetzung
- 14 Rechnerarchitektur
- 10 Theoretische Informatik
-
- 241
-
- 240
- 1
-
- 11
- 211
- 19
-
- 241
-
- 241
-
- 241
- 5
-
Johnson / Vene Algebraic Methodology and Software Technology
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35633-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Löwe / Südholt Software Composition
5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37657-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dumke / Braungarten / Büren Software Process and Product Measurement
International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89402-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bellatreche / Mota Pinto Model and Data Engineering
First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24442-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schewe / Singh Model and Data Engineering
9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32064-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Edwards / Kulczycki Formal Foundations of Reuse and Domain Engineering
11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04210-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pesant Principles and Practice of Constraint Programming
21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23218-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
O'Sullivan Principles and Practice of Constraint Programming
20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10427-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rueher Principles and Practice of Constraint Programming
22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44952-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beck Principles and Practice of Constraint Programming
23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66157-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bassiliades / Governatori / Paschke Rule-Based Reasoning, Programming, and Applications
5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22545-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hooker Principles and Practice of Constraint Programming
24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-98333-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Johnsen Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures2015Verlag: SpringerISBN: 978-3-319-18940-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chakraborty / Navas Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-41599-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kreowski / Montanari / Orejas Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24936-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ebert / Humayoun / Seyff Usability- and Accessibility-Focused Requirements Engineering
First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Se1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45915-8Medium: 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 -
Hofmeister / Crnkovic / Reussner Quality of Software Architectures
Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48819-4Medium: 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 -
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 -
Havelund / Núnez / Rosu Formal Approaches to Software Testing and Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49699-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reinecke / Di Marco Computer Performance Engineering
14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66582-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Van Roy Multiparadigm Programming in Mozart/Oz
Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25079-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer / Woodcock Verified Software: Theories, Tools, Experiments
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and DiscussionsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69147-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balsamo / Knottenbelt / Marin Computer Performance Engineering
10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40724-6Medium: 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