Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 2 Berechenbarkeitstheorie, Komplexitätstheorie
- 47 Künstliche Intelligenz
- 148 Logik, formale Sprachen, Automaten
- 12 Mathematik für Informatiker
- 32 Mensch-Maschine-Interaktion
- 1 Natürliche Sprachen & Maschinelle Übersetzung
- 15 Rechnerarchitektur
- 8 Theoretische Informatik
-
- 236
-
- 236
-
- 12
- 200
- 24
-
- 236
-
- 236
-
- 236
- 4
-
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 -
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 -
Raschke / Riccobene / Schewe Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday1. Auflage 2021Verlag: SpringerISBN: 978-3-030-76019-9Medium: 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 -
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 -
Blazy / Chechik Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48868-4Medium: 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 -
Ernst ECOOP - Object-Oriented Programming
21th European Conference, Berlin, Germany, July 30 - August 3, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73588-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Engels / Lewerentz / Schäfer Graph Transformations and Model-Driven Engineering
Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-17321-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Engels / Opdyke / Schmidt Model Driven Engineering Languages and Systems
10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-75208-0Medium: 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 -
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 -
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 -
Tribastone / Gilmore Computer Performance Engineering
9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36780-9Medium: Buch49,22 € (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 -
Bastide / Palanque / Roth Engineering Human Computer Interaction and Interactive Systems
Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26097-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beltrán / Knottenbelt / Bradley Computer Performance Engineering
12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23266-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Proença / Lumpe Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68033-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grabowski / Nielsen Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Arbab / Ölveczky Formal Aspects of Component Software
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35742-8Medium: 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 -
Thomas Computer Performance Engineering
8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24748-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Horváth / Wolter Computer Performance Engineering
11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10884-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Braga / Ölveczky Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-28933-5Medium: 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