Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1105
- Erscheinungsjahr
-
- 1
- 48
- 15
- 16
- 22
- 14
- 18
- 18
- 10
- 15
- 14
- 22
- 19
- 18
- 23
- 11
- 29
- 48
- 112
- 131
- 56
- 9
- 38
- 13
- 21
- 11
- 8
- 44
- 35
- 39
- 46
- 38
- 33
- 24
- 26
- 16
- 22
- 9
- 7
- 3
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 13
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 4
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 7
- 3
- 4
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 3
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 15
- 3
- 2
- 2
- 2
- 18
- 4
- 2
- 9
- 4
- 2
- 5
- 6
- 2
- 14
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 16
- 2
- 4
- 2
- 2
- 2
- 14
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 5
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 14
- 7
- 3
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 14
- 2
- 2
- 2
- 2
- 14
- 2
- 2
- 2
- 4
- 14
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 4
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 5
- 2
- 19
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 5
- 4
- 2
- 2
- 2
- 6
- 9
- 2
- 5
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 12
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 4
- 2
- 3
- Verlag
-
- 4
- 241
- 640
- 2
- 89
- 79
- 33
- 6
- 2
- 1
- 8
- Preis
-
- 13
- 686
- 406
- Sprachen
-
- 1105
- Verfügbarkeit
-
- 1103
- 2
- Katalog
-
- 1105
- 98
-
Beckert / Schmitt / Hähnle Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68977-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Swart / Roubens / Orlowska Theory and Applications of Relational Structures as Knowledge Instruments II
International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69223-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Padgham / Luck Agent-Oriented Software Engineering VIII
8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79487-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Swierstra / Hermenegildo Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60359-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weske / Godart / Hacid Web Information Systems Engineering ¿ WISE 2007 Workshops
WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77009-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Moniz Pereira / Alferes Reasoning with Logic Programming
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61488-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jampel / Maher / Freuder Over-Constrained Systems
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Coppo / Berardi Types for Proofs and Programs
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61780-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Frank / Hirtle Spatial Information Theory A Theoretical Basis for GIS
International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63623-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reusch Computational Intelligence. Theory and Applications
International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62868-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
O'Neill / Vanneschi / Gustafson Genetic Programming
11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78670-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vardi / Gottlob Database Theory - ICDT '95
5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58907-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Meyer / Husbands Evolutionary Robotics
First European Workshop, EvoRobot 98, Paris, France, April 16-17, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64957-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Puget / Maher Principles and Practice of Constraint Programming - CP98
4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65224-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Richter / Zeugmann / Smith Algorithmic Learning Theory
9th International Conference, ALT¿98, Otzenhausen, Germany, October 8¿10, 1998 ProceedingsSoftcover Nachdruck of the original 1. Auflage 1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65013-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Raman Audio System for Technical Readings
1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65515-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yahav Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-13337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Arbel / Bloem Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rutkowski / Tadeusiewicz / Zadeh Artificial Intelligence and Soft Computing -- ICAISC 2006
8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-35748-3Medium: Buch139,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Garcia Pineda / Lloret / Westphall Ad-hoc Networks and Wireless
ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-662-46337-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Behnke / Xiong / Veloso RoboCup 2013: Robot World Cup XVII
2014Verlag: SpringerISBN: 978-3-662-44467-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fürnkranz / Scheffer / Spiliopoulou Machine Learning: ECML 2006
17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-45375-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Becker / Morgan / Woods Reconfigurable Computing: Architectures, Tools and Applications
5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00640-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grossman / Rischel / Nerode Hybrid Systems
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57318-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort