Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2113
- 3
- Erscheinungsjahr
-
- 1
- 1
- 3
- 3
- 8
- 1
- 4
- 2
- 5
- 11
- 23
- 10
- 13
- 12
- 172
- 55
- 113
- 177
- 111
- 180
- 167
- 168
- 138
- 112
- 97
- 75
- 72
- 48
- 66
- 47
- 41
- 43
- 21
- 40
- 24
- 17
- 9
- 9
- 4
- 2
- 3
- 3
- 2
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 8
- 2
- 2
- 2
- 5
- 3
- 4
- 15
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 14
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 10
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 5
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 5
- 6
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 6
- 3
- 5
- 6
- 2
- 6
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 13
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 5
- 5
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 6
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 5
- 4
- 3
- 3
- 2
- 2
- 7
- 4
- 2
- 4
- 12
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- Verlag
-
- 2
- 91
- 2
- 1
- 1
- 2
- 8
- 4
- 1
- 2
- 7
- 3
- 1
- 3
- 1
- 5
- 4
- 1
- 1
- 5
- 2
- 1
- 3
- 10
- 3
- 1
- 1
- 3
- 1
- 3
- 1
- 8
- 1
- 1
- 1
- 3
- 1
- 5
- 244
- 1243
- 8
- 1
- 86
- 71
- 1
- 148
- 7
- 1
- 50
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 1
- 31
- 1
- 1
- 1
- 1
- 2
- Preis
-
- 19
- 143
- 1257
- 697
- Sprachen
-
- 1984
- 133
- 1
- Verfügbarkeit
-
- 2100
- 16
- Katalog
-
- 2116
- 253
-
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dörr Efficient Graph Rewriting and Its Implementation
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nivat / Alagar Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60043-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zambonelli / Padgham Agent-Oriented Software Engineering VII
7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sztipanovits / Kordon Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71155-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van Leeuwen / Italiano / van der Hoek SOFSEM 2007: Theory and Practice of Computer Science
33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings2007Verlag: Springer-Verlag GmbHISBN: 978-3-540-69506-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schryen Anti-Spam Measures
Analysis and Design2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71748-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Romijn / van de Pol / Smith Integrated Formal Methods
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30492-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maher Advances in Computer Science - ASIAN 2004, Higher Level Decision Making
9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 20042005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24087-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gulati / Das Intelligent Information Technology
7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24126-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Prasanna / Bougé High Performance Computing - HiPC 2004
11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24129-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rust Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25576-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dershowitz Verification: Theory and Practice
Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21002-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boute / Dean Teaching Formal Methods
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23611-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Braun / Koucheryavy / Carle Wired/Wireless Internet Communications
4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34023-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gervasi / Kumar / Tan Computational Science and Its Applications - ICCSA 2006
International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34070-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gervasi / Kumar / Tan Computational Science and Its Applications - ICCSA 2006 / 2
International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-34072-0Medium: Buch139,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boehm / Zelkowitz / Rombach Foundations of Empirical Software Engineering
The Legacy of Victor R. Basili1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-3-642-06389-3Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kaufmann / Moore / Manolios Computer-Aided Reasoning
ACL2 Case Studies1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: Springer USISBN: 978-1-4419-4981-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schildt / Kastner Informatik
Aufgaben und Lösungen3., überarbeitete Auflage 2005Verlag: Springer ViennaISBN: 978-3-211-21136-6Medium: Buch19,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage19,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chong / Kawahara Information Networking Advances in Data Communications and Wireless Networks
International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers2006Verlag: SpringerISBN: 978-3-540-48563-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gleizes / Zambonelli / Omicini Engineering Societies in the Agents World V
5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27330-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lemos / Romanovsky / Gacek Architecting Dependable Systems II
2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23168-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Henson / Bjørner Logics of Specification Languages
1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: SpringerISBN: 978-3-642-09345-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Oak Oracle JDeveloper 10g
Empowering J2EE DevelopmentSoftcover Nachdruck of the original 1. Auflage 2004Verlag: ApressISBN: 978-1-59059-142-0Medium: Buch36,37 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage36,37 € (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