Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 742 Algorithmen & Datenstrukturen
- 119 Compiler
- 25 Datenbankprogrammierung
- 261 Funktionale, Logische, Parallele und Visuelle Programmierung
- 800 Grafikprogrammierung
- 1 Handheld Programmierung
- 5 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 85 Objektorientierte Programmierung
- 456 Programmier- und Skriptsprachen
- 1353 Programmierung: Methoden und Allgemeines
- 554 Prozedurale Programmierung
- 2157 Software Engineering
- 144 Spiele-Programmierung, Rendering, Animation
- 21 Web Services
- 42 Webprogrammierung
- Medium
-
- 4297
- Erscheinungsjahr
-
- 4
- 180
- 235
- 190
- 130
- 47
- 27
- 42
- 47
- 65
- 47
- 80
- 74
- 74
- 80
- 63
- 69
- 160
- 121
- 138
- 199
- 181
- 139
- 207
- 220
- 181
- 184
- 119
- 118
- 97
- 100
- 96
- 82
- 68
- 67
- 53
- 70
- 38
- 41
- 30
- 32
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 8
- 3
- 4
- 2
- 2
- 6
- 2
- 2
- 7
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 13
- 2
- 3
- 2
- 3
- 2
- 4
- 6
- 4
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 5
- 3
- 5
- 3
- 4
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 10
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 3
- 6
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 9
- 2
- 6
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 5
- 3
- 4
- 4
- 4
- 2
- 10
- 3
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 12
- 2
- 4
- 6
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 6
- 5
- 3
- 2
- 5
- 2
- 2
- 5
- 3
- 3
- 3
- 6
- 2
- 4
- 3
- 3
- 5
- 2
- 8
- 3
- 4
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 10
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 6
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 6
- 2
- 3
- 2
- 3
- 4
- 3
- 10
- 5
- 4
- 2
- 2
- 7
- 2
- 2
- 4
- 3
- 13
- 2
- 6
- 3
- 3
- 4
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 38
- 29
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 12
- 3
- 3
- 3
- 5
- 6
- 7
- 3
- 4
- 3
- 3
- 16
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 4
- 5
- 3
- 3
- 9
- 6
- 6
- 3
- 3
- 4
- 5
- 5
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 3
- 10
- 5
- 3
- 3
- 4
- 6
- 6
- 3
- 25
- 3
- 3
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 4
- 7
- 3
- 7
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 5
- 3
- 4
- 11
- 3
- 4
- 8
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 4
- 3
- 5
- 3
- 3
- 6
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 3
- 4
- 14
- 5
- 6
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 8
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 8
- 8
- 3
- 4
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 8
- 7
- 5
- 3
- 10
- 3
- 7
- 4
- 5
- 3
- 4
- 7
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 6
- 3
- 8
- 12
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 9
- 3
- 3
- 12
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 3
- 5
- 3
- 4
- 4
- 6
- 8
- 5
- 4
- 4
- 6
- 3
- 3
- 4
- 3
- 7
- 5
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 3
- 4
- 6
- 4
- 7
- 4
- 7
- 7
- 3
- 5
- 3
- 3
- 4
- 5
- 4
- 3
- 4
- 10
- 3
- 3
- 8
- 3
- 8
- 4
- 3
- 3
- 3
- 4
- 12
- 6
- 3
- 11
- 5
- 4
- 12
- 28
- 6
- 5
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 5
- 3
- 6
- 4
- 5
- 4
- 4
- 5
- 3
- 12
- 4
- 4
- 5
- 3
- 6
- 4
- 7
- 6
- 3
- 5
- 4
- 3
- 4
- 9
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 6
- 19
- 5
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 5
- 4
- 7
- 6
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 6
- 6
- 4
- 5
- 4
- 3
- 6
- 4
- 3
- 6
- 4
- 9
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 8
- 22
- 3
- 6
- 4
- 3
- 6
- 3
- 3
- 5
- 4
- 6
- 4
- 3
- 6
- 4
- 5
- 3
- 4
- 3
- 3
- 3
- 7
- 3
- 4
- 7
- 3
- 7
- 3
- 3
- 3
- 10
- 3
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 3
- 8
- 4
- 4
- 4
- 8
- 6
- 13
- 9
- 6
- 3
- 4
- 30
- 5
- 11
- 4
- 12
- 9
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 8
- 8
- 5
- 4
- 4
- 4
- 3
- 7
- 7
- 4
- 12
- 21
- 6
- 4
- 3
- 9
- 5
- 4
- 3
- 40
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 9
- 20
- 5
- 10
- 8
- 3
- 13
- 6
- 3
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 4
- 13
- 3
- 4
- 5
- 4
- 4
- 19
- 6
- 3
- 13
- 5
- 9
- 5
- 3
- 3
- 11
- 4
- 5
- 4
- 6
- 22
- 5
- 11
- 4
- 6
- 3
- Verlag
-
- 3
- 4250
- 1
- 1
- 14
- 4
- 6
- 18
- Preis
-
- 13
- 160
- 3327
- 797
- Sprachen
-
- 4297
- 5
- Verfügbarkeit
-
- 4226
- 71
- Katalog
-
- 4297
- 241
-
Gurfinkel / Ganesh Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-65626-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32518-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tribastone / Gilmore Computer Performance Engineering
9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36780-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hunt, Jr. / Somenzi Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40524-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lew / Sebe / Huang Human-Computer Interaction
International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75772-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Enea / Lal Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37705-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shoham / Vizel Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13187-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blumenthal / Gornostaev / Unger Human-Computer Interaction
4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58648-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hu / Vardi Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Peled Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22342-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Christensen Computer Vision Systems
First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65459-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Crowley / Piater / Vincze Computer Vision Systems
Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00921-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bochmann / Probst Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56496-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Larsen / Skou Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55179-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bradley Computer Performance Engineering
6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02923-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lämmel / Saraiva / Visser Generative and Transformational Techniques in Software Engineering
International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45778-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hannebauer Autonomous Dynamic Reconfiguration in Multi-Agent Systems
Improving the Quality and Efficiency of Collaborative Problem Solving1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44312-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuppens / Deswarte / Gollmann Computer Security - ESORICS 2000
6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41031-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
8th International Conference, MobiTAS 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30426-1Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92691-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-60476-8Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage192,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dikenelli / Gleizes / Ricci Engineering Societies in the Agents World VI
6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34451-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ajmone Marsan / Corazza / Listanti Quality of Service in Multiservice IP Networks
Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00604-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhou / Li / Yang Advances in Knowledge Discovery and Data Mining
11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-71700-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,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