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
-
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 -
Gulliksen / Harning / Palanque Engineering Interactive Systems
EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92697-9Medium: Buch106,99 € (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 -
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 -
Kucera / Henzinger / Nešetril Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36044-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kofron / Vojnar Mathematical and Engineering Methods in Computer Science
10th International Doctoral Workshop, MEMICS 2015, Tel¿, Czech Republic, October 23-25, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29816-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 -
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 -
Bae / Ölveczky Formal Aspects of Component Software
15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02145-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grieskamp / Weise Formal Approaches to Software Testing
5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34454-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pasareanu / Salaün Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35860-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jedlitschka / Salo Product-Focused Software Process Improvement
9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69564-6Medium: Buch53,49 € (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 -
Bernardo / Cortellessa / Pierantonio Formal Methods for Model-Driven Engineering
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30981-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shankar / Woodcock Verified Software: Theories, Tools, Experiments
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87872-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barbosa / Lumpe Formal Aspects of Component Software
7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-27268-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96561-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckert / Marché Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers1. Auflage. 2011Verlag: SpringerISBN: 978-3-642-18069-9Medium: 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 -
Bernardo / Issarny Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21454-7Medium: 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 -
Georgakopoulos / Ritter / Benatallah Service-Oriented Computing ICSOC 2006
4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75491-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Csöndes / Kovács / Réthy SDL 2017: Model-Driven Engineering for Future Internet
18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68014-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Holzinger HCI and Usability for Education and Work
4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89349-3Medium: 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