Ergebnisse filtern
- Fachgebiet
-
- Technische Wissenschaften
- 49 Bauingenieurwesen
- 2074 Elektronik | Nachrichtentechnik
- 195 Energietechnik | Elektrotechnik
- 302 Maschinenbau | Werkstoffkunde
- 464 Sonstige Technologien | Angewandte Technik
- 1011 Technik Allgemein
- 6 Umwelttechnik | Umwelttechnologie
- 27 Verfahrenstechnik | Chemieingenieurwesen | Biotechnologie
- 67 Verkehrstechnik | Transportgewerbe
- Medium
-
- 3273
- 4
- Erscheinungsjahr
-
- 194
- 286
- 165
- 151
- 126
- 101
- 118
- 139
- 72
- 115
- 79
- 97
- 106
- 108
- 83
- 56
- 72
- 59
- 149
- 155
- 77
- 40
- 76
- 55
- 66
- 37
- 45
- 64
- 56
- 56
- 48
- 46
- 43
- 24
- 29
- 20
- 26
- 12
- 9
- 5
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 6
- 3
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 3
- 5
- 3
- 7
- 2
- 3
- 6
- 16
- 2
- 2
- 6
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 3
- 2
- 11
- 2
- 2
- 11
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 15
- 2
- 2
- 2
- 7
- 2
- 2
- 10
- 2
- 5
- 2
- 2
- 2
- 3
- 6
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 14
- 2
- 2
- 6
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 7
- 7
- 12
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 8
- 7
- 3
- 4
- 3
- 3
- 2
- 2
- 7
- 2
- 3
- 3
- 3
- 2
- 3
- 4
- 6
- 3
- 24
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 2
- 3
- 2
- 9
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 27
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 24
- 4
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 24
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 20
- 2
- 5
- 2
- 4
- 12
- 2
- 3
- 5
- 5
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 18
- 5
- 4
- 4
- 12
- 3
- 12
- 3
- 19
- 3
- 3
- 4
- 11
- 3
- 9
- 3
- 12
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 8
- 3
- 4
- 3
- 3
- 3
- 3
- 16
- 3
- 3
- 3
- 3
- 8
- 9
- 3
- 4
- 3
- 3
- 3
- 27
- 4
- 4
- 3
- 4
- 5
- 16
- 4
- 5
- 3
- 5
- 6
- 3
- 6
- 6
- 4
- 3
- 4
- 3
- 3
- 6
- 4
- 6
- 7
- 4
- 3
- 4
- 3
- 3
- 4
- 9
- 4
- 5
- 10
- 5
- 4
- 3
- 4
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 16
- 7
- 8
- 5
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 12
- 3
- 5
- 7
- 3
- 4
- 3
- 3
- 6
- 5
- 3
- 3
- 4
- 4
- 18
- 3
- 7
- 4
- 3
- 3
- 5
- 4
- 3
- 3
- 4
- 6
- 12
- 76
- 5
- 4
- 7
- 11
- 3
- 32
- 3
- 5
- 4
- 3
- 3
- 15
- 3
- 4
- 5
- 3
- 5
- 12
- 4
- 4
- 5
- 3
- 7
- 31
- 4
- 3
- 4
- 7
- 3
- 24
- 8
- 4
- 6
- 3
- 3
- 11
- 3
- 12
- 3
- 8
- 4
- 3
- 3
- 7
- 3
- 3
- 4
- 5
- 4
- 4
- 5
- 3
- 7
- 5
- 4
- 3
- 4
- 5
- 6
- 6
- 6
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 5
- 5
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 5
- 7
- 3
- 10
- 8
- 18
- 4
- 4
- 4
- 4
- 4
- 30
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 4
- 5
- 7
- 6
- 3
- 4
- 3
- 5
- 4
- 3
- 13
- 4
- 4
- 7
- 3
- 11
- 3
- 4
- 5
- 3
- 4
- 13
- 6
- 4
- 16
- 3
- 12
- 3
- 3
- 3
- 7
- 4
- 9
- 3
- 5
- 4
- 4
- 8
- 4
- 3
- 6
- 5
- 3
- 7
- 13
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 24
- 5
- 4
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 7
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 77
- 7
- 5
- 5
- 4
- 3
- 4
- 10
- 3
- 3
- 4
- 16
- 4
- 4
- 6
- 3
- 3
- 77
- 3
- 12
- 5
- 7
- 3
- 76
- 3
- 6
- 3
- 4
- 3
- 5
- 4
- 3
- 11
- 10
- 6
- 4
- 3
- 3
- 8
- 3
- 5
- 76
- 9
- 3
- 4
- 3
- 5
- 3
- 15
- 4
- 3
- 9
- 3
- 9
- 3
- 4
- 8
- 5
- 4
- 4
- 6
- 8
- 6
- 4
- 3
- 11
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 8
- 3
- 3
- 3
- 9
- 8
- 3
- 4
- 3
- 3
- 4
- 6
- 4
- 4
- 10
- 3
- 3
- 16
- 5
- 5
- 6
- 6
- 4
- 4
- 10
- 4
- 4
- 12
- 3
- 4
- 9
- 5
- 5
- 3
- 3
- 7
- 4
- 24
- 4
- 7
- 3
- 76
- 16
- 5
- 3
- 3
- 3
- 5
- 7
- 38
- 7
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 5
- 18
- 4
- 3
- 3
- 4
- 5
- 3
- 4
- 5
- 8
- 18
- 9
- 3
- 4
- 13
- 7
- 5
- 3
- 5
- 4
- 3
- 3
- 15
- 30
- 6
- 3
- 3
- 3
- 11
- 9
- 4
- 3
- 4
- 4
- 7
- 3
- Verlag
-
- 1
- 1
- 1
- 6
- 2
- 1065
- 956
- 11
- 577
- 1
- 357
- 232
- 29
- 5
- 4
- 5
- 18
- 3
- 3
- Preis
-
- 6
- 78
- 1601
- 1592
- Sprachen
-
- 3277
- 1
- Verfügbarkeit
-
- 3274
- 3
- Katalog
-
- 3277
- 232
-
Shao / Jouannaud Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-25378-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heule / Gurfinkel Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-90642-8Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Noda / Kuffner / Ando Simulation, Modeling, and Programming for Autonomous Robots
Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-34326-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Finin / Yesha / Nicholas Information and Knowledge Management: Expanding the Definition of "Database"
Expanding the Definition of "Database". First International Conference, CIKM '92, Baltimore, Maryland, USA, November 8-11, 1992. Selected Papers1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57419-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Armando / Dowek / Baumgartner Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71069-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Karmouch / Delgado / Magedanz Mobile Agents for Telecommunication Applications
4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00021-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Przymusinski / Moniz Pereira Logic Programming and Knowledge Representation
Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64958-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolaitis / Afrati Database Theory - ICDT '97
6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62222-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Papadopoulos / Aslansefat / Katsaros Model-Based Safety and Assessment
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32871-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Raedt / Muggleton / Frasconi Probabilistic Inductive Logic Programming
2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78651-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marrón / Whitehouse Wireless Sensor Networks
8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19185-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bosch / Lang / Gabelaia Logic, Language, and Computation
7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-00664-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ajmone Marsan Application and Theory of Petri Nets 1993
14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56863-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Posegga / Steffen Services and Visualization: Towards User-Friendly Design
ACos'98, VISUAL'98, AIN'97, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64367-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parent / Schewe / Storey Conceptual Modeling - ER 2007
26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75562-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rudinac / Hanjalic / Liem MultiMedia Modeling
30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part I1. Auflage 2024Verlag: SpringerISBN: 978-3-031-53304-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Olariu / Cao Mobile Ad-hoc and Sensor Networks
Third International Conference, MSN 2007 Beijing, China, December 12-14, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77023-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barahona / Porto / Moniz Pereira EPIA'91
5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54535-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolp / Henderson-Sellers / Bresciani 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 Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77989-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lew / Eakins / Sebe Image and Video Retrieval
International Conference, CIVR 2002, London, UK, July 18-19, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43899-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wiles / Hogrefe Testing of Communicating Systems
15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40123-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Dolev / Oltean / Haist Optical SuperComputing
First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85672-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sastry / Henzinger Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ge / Khatib / Williams Social Robotics
4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-34102-1Medium: 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