Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1021 Angewandte Informatik
- 402 Betriebssysteme
- 240 Business Application
- 1240 Computerkommunikation & -vernetzung
- 2187 Daten / Datenbanken
- 137 Digital Lifestyle
- 711 EDV & Informatik Allgemein
- 5857 Informatik
- 426 Professionelle Anwendung
- 3355 Programmierung | Softwareentwicklung
- 2449 Technische Informatik
- Medium
-
- 8196
- Erscheinungsjahr
-
- 297
- 621
- 486
- 303
- 304
- 318
- 301
- 291
- 311
- 297
- 290
- 302
- 222
- 44
- 74
- 221
- 219
- 214
- 145
- 214
- 323
- 285
- 243
- 245
- 175
- 169
- 126
- 141
- 131
- 114
- 111
- 92
- 72
- 83
- 56
- 54
- 44
- 45
- 31
- 27
- 17
- 12
- 14
- 25
- 18
- 11
- 7
- 12
- 10
- 13
- 12
- 4
- Autoren
-
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 5
- 3
- 3
- 4
- 5
- 6
- 3
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 6
- 3
- 3
- 7
- 3
- 5
- 3
- 5
- 6
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 5
- 5
- 7
- 3
- 4
- 3
- 3
- 8
- 14
- 3
- 20
- 4
- 3
- 38
- 3
- 7
- 3
- 3
- 6
- 4
- 5
- 6
- 6
- 3
- 5
- 5
- 4
- 6
- 4
- 6
- 4
- 3
- 4
- 5
- 3
- 39
- 6
- 7
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 11
- 4
- 4
- 9
- 6
- 3
- 3
- 4
- 5
- 4
- 3
- 6
- 5
- 6
- 4
- 4
- 6
- 5
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 12
- 3
- 4
- 4
- 5
- 4
- 12
- 5
- 3
- 4
- 3
- 7
- 3
- 5
- 9
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 5
- 5
- 7
- 3
- 3
- 3
- 4
- 6
- 4
- 24
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 14
- 3
- 3
- 3
- 11
- 7
- 3
- 3
- 3
- 5
- 8
- 4
- 5
- 3
- 6
- 11
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 3
- 5
- 3
- 5
- 7
- 3
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 9
- 4
- 4
- 10
- 5
- 6
- 7
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 39
- 13
- 9
- 5
- 3
- 4
- 3
- 10
- 4
- 3
- 3
- 3
- 3
- 9
- 5
- 4
- 8
- 4
- 3
- 3
- 8
- 4
- 5
- 6
- 4
- 4
- 10
- 4
- 4
- 6
- 4
- 5
- 4
- 7
- 4
- 5
- 4
- 8
- 4
- 4
- 8
- 5
- 5
- 4
- 6
- 4
- 5
- 7
- 4
- 5
- 12
- 11
- 4
- 8
- 6
- 4
- 6
- 20
- 4
- 11
- 10
- 4
- 8
- 7
- 4
- 4
- 15
- 4
- 8
- 4
- 39
- 4
- 7
- 6
- 4
- 5
- 8
- 6
- 4
- 4
- 5
- 5
- 4
- 11
- 8
- 8
- 6
- 4
- 4
- 8
- 6
- 10
- 6
- 4
- 4
- 5
- 6
- 7
- 5
- 5
- 4
- 5
- 4
- 4
- 6
- 6
- 4
- 5
- 8
- 14
- 4
- 11
- 4
- 4
- 8
- 7
- 8
- 5
- 7
- 13
- 5
- 5
- 4
- 5
- 4
- 5
- 6
- 4
- 5
- 6
- 6
- 4
- 8
- 5
- 4
- 6
- 6
- 6
- 5
- 4
- 6
- 4
- 4
- 9
- 6
- 5
- 37
- 32
- 8
- 9
- 4
- 8
- 10
- 4
- 4
- 24
- 11
- 5
- 4
- 4
- 4
- 7
- 4
- 4
- 20
- 5
- 6
- 4
- 4
- 4
- 7
- 5
- 5
- 8
- 4
- 4
- 4
- 4
- 10
- 43
- 8
- 4
- 5
- 9
- 4
- 11
- 10
- 4
- 5
- 6
- 8
- 4
- 10
- 10
- 4
- 5
- 7
- 6
- 5
- 8
- 4
- 5
- 6
- 4
- 11
- 33
- 16
- 4
- 17
- 20
- 70
- 4
- 7
- 5
- 5
- 5
- 11
- 4
- 8
- 9
- 5
- 5
- 14
- 5
- 4
- 4
- 6
- 10
- 4
- 28
- 5
- 6
- 4
- 5
- 7
- 11
- 9
- 39
- 4
- 11
- 5
- 4
- 4
- 4
- 15
- 4
- 4
- 4
- 23
- 4
- 4
- 6
- 4
- 6
- 4
- 6
- 12
- 4
- 5
- 12
- 4
- 5
- 4
- 4
- 15
- 5
- 5
- 6
- 5
- 4
- 6
- 14
- 13
- 9
- 13
- 7
- 13
- 8
- 12
- 5
- 5
- 5
- 4
- 4
- 4
- 5
- 8
- 4
- 4
- 7
- 4
- 5
- 4
- 10
- 6
- 4
- 5
- 8
- 4
- 9
- 11
- 21
- 4
- 5
- 4
- 5
- 4
- 4
- 5
- 5
- 4
- 5
- 10
- 4
- 9
- 5
- 5
- 8
- 18
- 5
- 18
- 6
- 4
- 15
- 6
- 4
- 8
- 9
- 4
- 4
- 24
- 4
- 19
- 36
- 10
- 6
- 4
- 7
- 4
- 4
- 8
- 4
- 7
- 4
- 7
- 6
- 4
- 4
- 4
- 5
- 4
- 7
- 5
- 6
- 8
- 13
- 4
- 7
- 8
- 4
- 10
- 7
- 9
- 4
- 4
- 9
- 8
- 6
- 4
- 6
- 11
- 4
- 10
- 21
- 4
- 4
- 8
- 5
- 6
- 5
- 4
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 7
- 4
- 5
- 5
- 10
- 4
- 16
- 4
- 34
- 15
- 4
- 5
- 4
- 5
- 13
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 11
- 4
- 4
- 4
- 11
- 18
- 5
- 10
- 6
- 8
- 11
- 4
- 4
- 4
- 4
- 4
- 38
- 4
- 11
- 4
- 4
- 4
- 7
- 6
- 4
- 4
- 4
- 14
- 4
- 9
- 4
- 5
- 5
- 4
- 5
- 6
- 62
- 6
- 4
- 7
- 5
- 9
- 6
- 4
- 9
- 34
- 5
- 8
- 5
- 6
- 4
- 5
- 11
- 4
- 4
- 5
- 6
- 5
- 4
- 6
- 5
- 5
- 4
- 5
- 6
- 4
- 10
- 5
- 11
- 9
- 8
- 5
- 13
- 7
- 12
- 5
- 4
- 6
- 4
- 4
- 18
- 12
- 5
- 7
- 7
- 4
- 16
- 5
- 8
- 13
- 8
- 6
- 4
- 9
- 13
- 7
- 4
- 4
- 11
- 4
- 4
- 8
- 4
- 4
- 4
- 4
- 4
- 8
- 10
- 8
- 5
- 4
- 12
- 6
- 4
- 4
- 8
- 20
- 9
- 5
- 4
- 7
- 12
- 6
- 6
- 6
- 5
- 8
- 26
- 5
- 7
- 6
- 7
- 9
- 7
- 8
- 4
- 8
- 5
- 18
- 5
- 4
- 6
- 48
- 4
- 10
- 6
- 9
- 5
- 4
- 4
- 12
- 4
- 8
- 7
- 9
- 13
- 16
- 6
- 4
- 4
- 4
- 5
- 5
- 10
- 4
- 6
- 8
- 5
- 10
- 4
- 13
- 7
- 7
- 4
- 6
- 8
- 4
- 7
- 7
- 11
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 16
- 6
- 7
- 6
- 4
- 4
- 13
- 6
- 38
- 4
- 4
- 9
- 16
- 6
- 5
- 8
- 7
- 11
- 7
- 10
- 19
- 6
- 33
- 9
- 4
- 4
- 7
- 5
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 14
- 7
- 8
- 14
- 10
- 9
- 14
- 6
- 11
- 16
- 51
- 14
- 18
- 9
- 6
- 20
- 4
- 5
- 5
- 42
- 9
- 16
- 9
- 4
- 4
- 10
- 13
- 4
- 5
- 11
- 7
- 4
- 4
- 7
- 6
- 7
- 4
- 5
- 4
- 10
- 6
- 5
- 4
- 5
- 8
- 7
- 7
- 25
- 4
- 14
- 13
- 7
- 6
- 6
- 5
- 18
- 6
- 4
- 9
- 15
- 9
- 8
- 4
- 9
- 4
- 7
- 5
- 4
- 9
- 18
- 6
- 13
- 4
- 4
- 6
- 6
- 4
- 6
- 4
- 4
- 8
- 4
- 4
- 16
- 6
- 5
- 4
- 4
- 4
- 4
- 11
- 6
- 5
- 4
- 6
- 5
- 6
- 32
- 8
- 5
- 4
- 19
- 16
- 4
- 45
- 7
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 14
- 4
- 7
- 6
- 20
- 16
- 8
- 8
- 5
- 4
- 10
- Verlag
-
- 1050
- 3406
- 2670
- 1
- 1
- 97
- 870
- 101
- Preis
-
- 40
- 342
- 6400
- 1414
- Sprachen
-
- 8191
- 16
- 14
- Verfügbarkeit
-
- 8169
- 27
- Katalog
-
- 8196
- 490
-
Potapova / Karpov Speech and Computer
23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27¿30, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-87801-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kuncak / Majumdar / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-63389-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kuncak / Majumdar / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-63386-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Farzan / Chaudhuri Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41539-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bloem / Biere Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ronzhin / Fakotakis / Potapova Speech and Computer
17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23131-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Balsamo / Marin / Knottenbelt Computer Performance Engineering
10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40724-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yao Progress in Evolutionary Computation
AI '93 and AI '94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November 21-22, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60154-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kou / Tan / Yesha Topics in Electronic Commerce
Second International Symposium, ISEC 2001 Hong Kong, China, April 26-28, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41963-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Comyn / Ratcliffe / Fuchs Logic Programming in Action
Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55930-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
O'Sullivan Recent Advances in Constraints
Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00986-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Horn / Shahar / Wyatt Artificial Intelligence in Medicine
Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 20-24, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66162-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Deswarte / Quisquater / Eizenberg Computer Security - ESORICS 92
Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56246-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yakhno Advances in Information Systems
First International Conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000, Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41184-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lal / Enea Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part I1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-37705-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ronzhin / Németh / Potapova Speech and Computer
18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-43957-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Crowley / Paletta / Piater Computer Vision Systems
Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00921-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tzovaras / Argyros / Giakoumis Computer Vision Systems
12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23¿25, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-34994-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vizel / Shoham Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7¿10, 2022, Proceedings, Part II1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-13187-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hashizume / Kurosu Human-Computer Interaction
Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23¿28, 2023, Proceedings, Part IV1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-35571-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Christensen Computer Vision Systems
First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65459-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Skou / Larsen Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55179-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sistla / Emerson Computer Aided Verification
12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67770-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vardi / Hu Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peled / Alur Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22342-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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