Ergebnisse filtern
- Fachgebiet
-
- Technische Wissenschaften
- 53 Bauingenieurwesen
- 2050 Elektronik | Nachrichtentechnik
- 177 Energietechnik | Elektrotechnik
- 287 Maschinenbau | Werkstoffkunde
- 442 Sonstige Technologien | Angewandte Technik
- 936 Technik Allgemein
- 7 Umwelttechnik | Umwelttechnologie
- 22 Verfahrenstechnik | Chemieingenieurwesen | Biotechnologie
- 63 Verkehrstechnik | Transportgewerbe
- Medium
-
- 3208
- 5
- Erscheinungsjahr
-
- 61
- 224
- 268
- 153
- 136
- 114
- 89
- 115
- 106
- 75
- 106
- 82
- 89
- 109
- 104
- 85
- 56
- 67
- 57
- 149
- 159
- 65
- 38
- 75
- 54
- 65
- 34
- 47
- 54
- 50
- 53
- 46
- 49
- 43
- 27
- 27
- 19
- 26
- 11
- 9
- 5
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 5
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 16
- 2
- 2
- 5
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 4
- 2
- 11
- 2
- 2
- 14
- 3
- 2
- 6
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 4
- 6
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 15
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 11
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 9
- 2
- 3
- 2
- 3
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 19
- 2
- 2
- 2
- 5
- 6
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 7
- 10
- 12
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 8
- 7
- 2
- 5
- 3
- 3
- 3
- 2
- 6
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 4
- 3
- 24
- 2
- 5
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 11
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 27
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 5
- 24
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 22
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 21
- 3
- 2
- 4
- 2
- 4
- 13
- 2
- 2
- 3
- 5
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 3
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 12
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 8
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 4
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 18
- 3
- 5
- 4
- 12
- 3
- 12
- 3
- 19
- 5
- 4
- 13
- 3
- 9
- 4
- 13
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 4
- 8
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 16
- 4
- 3
- 4
- 3
- 8
- 8
- 3
- 3
- 4
- 3
- 28
- 4
- 8
- 4
- 3
- 5
- 16
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 6
- 7
- 6
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 7
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 9
- 3
- 4
- 8
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 4
- 3
- 16
- 7
- 7
- 4
- 3
- 3
- 4
- 4
- 4
- 7
- 3
- 3
- 3
- 3
- 3
- 5
- 12
- 3
- 5
- 7
- 3
- 4
- 3
- 3
- 3
- 6
- 5
- 3
- 3
- 3
- 3
- 19
- 3
- 9
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 12
- 77
- 3
- 5
- 6
- 12
- 31
- 4
- 5
- 3
- 5
- 3
- 15
- 3
- 4
- 5
- 4
- 5
- 11
- 4
- 3
- 4
- 4
- 4
- 31
- 4
- 3
- 3
- 7
- 4
- 4
- 22
- 8
- 3
- 4
- 6
- 3
- 12
- 3
- 13
- 3
- 5
- 3
- 3
- 4
- 6
- 3
- 3
- 3
- 5
- 3
- 4
- 4
- 6
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 6
- 4
- 4
- 7
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 5
- 7
- 3
- 5
- 6
- 4
- 3
- 10
- 9
- 17
- 3
- 3
- 5
- 4
- 3
- 30
- 3
- 3
- 3
- 12
- 4
- 3
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 6
- 3
- 5
- 7
- 3
- 3
- 5
- 4
- 4
- 3
- 4
- 5
- 4
- 3
- 9
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 12
- 5
- 5
- 3
- 4
- 14
- 6
- 5
- 16
- 3
- 3
- 12
- 3
- 3
- 7
- 3
- 4
- 3
- 8
- 3
- 4
- 4
- 8
- 3
- 3
- 5
- 5
- 3
- 5
- 3
- 11
- 4
- 3
- 4
- 3
- 3
- 4
- 6
- 3
- 24
- 5
- 3
- 3
- 8
- 7
- 3
- 3
- 4
- 3
- 4
- 3
- 7
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 78
- 6
- 4
- 5
- 3
- 4
- 7
- 3
- 3
- 3
- 3
- 13
- 4
- 3
- 76
- 10
- 9
- 4
- 76
- 7
- 5
- 3
- 3
- 5
- 3
- 3
- 7
- 10
- 5
- 4
- 3
- 3
- 16
- 3
- 5
- 76
- 9
- 3
- 4
- 3
- 4
- 4
- 3
- 3
- 12
- 3
- 3
- 3
- 9
- 5
- 8
- 3
- 4
- 8
- 5
- 4
- 3
- 3
- 3
- 13
- 3
- 4
- 4
- 3
- 8
- 6
- 5
- 4
- 4
- 5
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 8
- 9
- 3
- 3
- 3
- 5
- 5
- 4
- 3
- 6
- 3
- 18
- 4
- 5
- 3
- 3
- 12
- 2
- 8
- 6
- 4
- 14
- 10
- 3
- 3
- 3
- 3
- 3
- 7
- 4
- 24
- 4
- 6
- 5
- 76
- 3
- 15
- 3
- 4
- 5
- 7
- 39
- 7
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 5
- 6
- 17
- 11
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 11
- 17
- 10
- 3
- 4
- 14
- 7
- 6
- 3
- 4
- 3
- 4
- 16
- 29
- 6
- 3
- 9
- 5
- 5
- 3
- 9
- 7
- 4
- 4
- Verlag
-
- 1
- 1
- 1
- 1
- 1
- 2
- 6
- 2
- 3116
- 9
- 1
- 7
- 15
- 3
- 15
- 6
- 2
- 18
- 4
- 2
- Preis
-
- 6
- 73
- 1604
- 1530
- Sprachen
-
- 3213
- Verfügbarkeit
-
- 3206
- 7
- Eigenschaften
-
- 3
- Katalog
-
- 3213
- 195
-
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wiedijk The Seventeen Provers of the World
Foreword by Dana S. Scott1. Auflage 2006Verlag: SpringerISBN: 978-3-540-30704-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pan / Aylett / Diener Technologies for E-Learning and Digital Entertainment
First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, ProceedingsErscheinungsjahr 2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-33423-1Medium: Buch149,75 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,75 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Choren / Garcia / Lucena Software Engineering for Multi-Agent Systems V
Research Issues and Practical ApplicationsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73130-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Skulimowski / Sheng / Khemiri-Kallel Internet of Vehicles. Technologies and Services Towards Smart City
5th International Conference, IOV 2018, Paris, France, November 20-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-05080-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolp / Bresciani / Henderson-Sellers Agent-Oriented Information Systems III
7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48291-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolp / Henderson-Sellers / Mouratidis Agent-Oriented Information Systems IV
8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77989-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Balandin / Andreev / Koucheryavy Internet of Things, Smart Spaces, and Next Generation Networks and Systems
14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10352-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arikawa / Sharma Algorithmic Learning Theory
7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61863-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ceri / Tanaka / Tsur Deductive and Object-Oriented Databases
Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57530-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lokoc / Lokoc / Peška MultiMedia Modeling
32nd International Conference on Multimedia Modeling, MMM 2026, Prague, Czech Republic, January 29-31, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-956949-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fischer / Scheidgen / Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities
17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24911-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tomkos / Neri / Solé-Pareta Optical Network Design and Modeling
11th International IFIP-TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72729-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klusch / Unland / Shehory Multiagent System Technologies
14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45888-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen / Rückert Services and Visualization: Towards User-Friendly Design
ACos'98, VISUAL'98, AIN'97, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64367-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nikolaidis / Barbeau / Kranakis Ad-Hoc, Mobile, and Wireless Networks
Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22543-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mutzel / Jünger / Leipert Graph Drawing
9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43309-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Segal / Chen Wireless Algorithms, Systems, and Applications
17th International Conference, WASA 2022, Dalian, China, November 24-26, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19213-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fermüller / Leitsch / Tammet Resolution Methods for the Decision Problem
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56732-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blackburn / Ghidini / Turner Modeling and Using Context
4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40380-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Segal / Chen Wireless Algorithms, Systems, and Applications
17th International Conference, WASA 2022, Dalian, China, November 24-26, 2022, Proceedings, Part III1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19210-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang Image and Graphics
8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21968-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wirsing / Nivat Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61463-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dini / Lorenz / Neuman De Souza Service Assurance with Partial and Intermittent Resources
First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22567-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jantke / Shinohara / Zeugmann Algorithmic Learning Theory
6th International Workshop, ALT '95, Fukuoka, Japan, October 18 - 20, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60454-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort