Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1832 Angewandte Informatik
- 471 Betriebssysteme
- 287 Business Application
- 1565 Computerkommunikation & -vernetzung
- 2693 Daten / Datenbanken
- 151 Digital Lifestyle
- 974 EDV & Informatik Allgemein
- 7892 Informatik
- 525 Professionelle Anwendung
- 4216 Programmierung | Softwareentwicklung
- 3707 Technische Informatik
- Medium
-
- 10666
- Erscheinungsjahr
-
- 301
- 804
- 847
- 616
- 484
- 282
- 305
- 302
- 308
- 269
- 313
- 300
- 293
- 322
- 301
- 265
- 283
- 251
- 230
- 262
- 271
- 238
- 363
- 300
- 253
- 249
- 177
- 175
- 134
- 137
- 134
- 115
- 106
- 93
- 74
- 88
- 58
- 57
- 45
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 5
- 4
- 6
- 6
- 4
- 4
- 6
- 4
- 7
- 6
- 4
- 9
- 4
- 4
- 12
- 8
- 10
- 7
- 4
- 4
- 4
- 5
- 5
- 9
- 10
- 4
- 4
- 6
- 4
- 4
- 6
- 17
- 4
- 16
- 4
- 8
- 5
- 4
- 4
- 5
- 5
- 9
- 8
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 14
- 30
- 35
- 7
- 4
- 40
- 5
- 4
- 4
- 4
- 7
- 5
- 5
- 5
- 15
- 4
- 6
- 16
- 11
- 4
- 4
- 4
- 4
- 4
- 7
- 39
- 10
- 6
- 4
- 4
- 6
- 5
- 4
- 7
- 6
- 7
- 4
- 4
- 10
- 4
- 6
- 16
- 9
- 10
- 5
- 4
- 5
- 6
- 5
- 10
- 6
- 4
- 7
- 9
- 6
- 11
- 7
- 7
- 4
- 11
- 4
- 4
- 4
- 5
- 4
- 19
- 6
- 6
- 6
- 10
- 6
- 8
- 5
- 5
- 5
- 7
- 6
- 4
- 8
- 4
- 26
- 5
- 4
- 10
- 4
- 5
- 9
- 5
- 6
- 39
- 4
- 4
- 4
- 4
- 10
- 4
- 20
- 16
- 6
- 4
- 7
- 6
- 4
- 8
- 8
- 5
- 4
- 4
- 7
- 4
- 5
- 11
- 4
- 4
- 5
- 4
- 4
- 11
- 4
- 5
- 7
- 4
- 5
- 9
- 12
- 5
- 4
- 13
- 9
- 4
- 16
- 9
- 16
- 5
- 7
- 4
- 7
- 4
- 4
- 6
- 10
- 4
- 39
- 15
- 8
- 6
- 4
- 4
- 9
- 4
- 5
- 4
- 8
- 7
- 15
- 4
- 8
- 7
- 4
- 5
- 4
- 14
- 5
- 14
- 4
- 8
- 24
- 4
- 4
- 17
- 6
- 4
- 4
- 8
- 8
- 6
- 4
- 6
- 5
- 4
- 4
- 4
- 4
- 33
- 4
- 12
- 40
- 13
- 8
- 12
- 15
- 10
- 4
- 22
- 9
- 35
- 4
- 9
- 14
- 15
- 4
- 4
- 12
- 4
- 6
- 14
- 10
- 8
- 5
- 4
- 39
- 5
- 4
- 10
- 6
- 7
- 4
- 4
- 8
- 4
- 10
- 13
- 8
- 6
- 4
- 4
- 15
- 5
- 7
- 11
- 6
- 4
- 5
- 4
- 4
- 6
- 5
- 6
- 8
- 15
- 23
- 7
- 5
- 5
- 6
- 6
- 8
- 6
- 4
- 10
- 11
- 4
- 24
- 6
- 7
- 7
- 4
- 4
- 6
- 4
- 7
- 6
- 6
- 4
- 4
- 5
- 8
- 4
- 15
- 10
- 6
- 9
- 9
- 5
- 4
- 5
- 47
- 39
- 8
- 23
- 4
- 8
- 15
- 5
- 31
- 10
- 5
- 18
- 6
- 4
- 4
- 8
- 5
- 4
- 4
- 4
- 9
- 4
- 25
- 4
- 12
- 43
- 4
- 7
- 7
- 4
- 14
- 6
- 7
- 5
- 6
- 8
- 9
- 6
- 4
- 4
- 4
- 6
- 8
- 8
- 6
- 5
- 5
- 4
- 7
- 16
- 14
- 4
- 6
- 4
- 9
- 4
- 12
- 8
- 9
- 17
- 53
- 35
- 7
- 20
- 9
- 17
- 25
- 91
- 6
- 11
- 6
- 8
- 5
- 16
- 11
- 5
- 6
- 18
- 11
- 5
- 9
- 5
- 5
- 13
- 10
- 5
- 6
- 7
- 12
- 5
- 5
- 44
- 6
- 8
- 10
- 5
- 5
- 10
- 13
- 6
- 6
- 8
- 19
- 39
- 9
- 17
- 5
- 8
- 5
- 5
- 5
- 16
- 15
- 9
- 10
- 69
- 7
- 6
- 6
- 7
- 15
- 7
- 11
- 7
- 18
- 8
- 5
- 6
- 6
- 10
- 16
- 10
- 11
- 7
- 13
- 5
- 7
- 13
- 8
- 5
- 12
- 6
- 8
- 6
- 10
- 7
- 10
- 10
- 5
- 5
- 8
- 7
- 10
- 5
- 29
- 9
- 5
- 8
- 25
- 8
- 13
- 33
- 6
- 6
- 12
- 15
- 6
- 5
- 33
- 6
- 6
- 8
- 5
- 11
- 5
- 7
- 15
- 6
- 15
- 14
- 31
- 5
- 18
- 8
- 10
- 6
- 5
- 7
- 15
- 23
- 5
- 5
- 15
- 27
- 41
- 10
- 5
- 5
- 5
- 8
- 5
- 10
- 5
- 6
- 12
- 6
- 6
- 5
- 6
- 8
- 7
- 6
- 15
- 91
- 12
- 18
- 7
- 12
- 7
- 8
- 12
- 13
- 6
- 7
- 7
- 6
- 12
- 13
- 7
- 18
- 19
- 6
- 5
- 25
- 9
- 5
- 57
- 16
- 6
- 7
- 11
- 22
- 5
- 9
- 6
- 6
- 9
- 10
- 6
- 5
- 9
- 25
- 6
- 6
- 5
- 10
- 11
- 13
- 14
- 13
- 11
- 13
- 17
- 5
- 11
- 10
- 28
- 7
- 36
- 29
- 7
- 7
- 6
- 8
- 6
- 19
- 7
- 5
- 7
- 12
- 7
- 5
- 6
- 10
- 20
- 8
- 6
- 7
- 8
- 6
- 5
- 8
- 11
- 6
- 5
- 32
- 5
- 11
- 8
- 8
- 6
- 5
- 5
- 18
- 5
- 5
- 6
- 9
- 8
- 6
- 10
- 8
- 83
- 7
- 6
- 5
- 7
- 7
- 11
- 9
- 7
- 5
- 12
- 5
- 38
- 5
- 5
- 19
- 8
- 5
- 5
- 10
- 6
- 9
- 5
- 6
- 6
- 11
- 5
- 6
- 8
- 7
- 12
- 6
- 7
- 5
- 6
- 7
- 7
- 5
- 6
- 10
- 42
- 19
- 7
- 5
- 21
- 17
- 9
- 6
- 6
- 13
- 12
- 17
- 15
- 6
- 15
- 5
- 5
- 8
- 23
- 15
- 9
- 11
- 6
- 20
- 6
- 9
- 6
- 16
- 12
- 7
- 6
- 6
- 15
- 5
- 11
- 6
- 6
- 14
- 7
- 24
- 5
- 5
- 5
- 10
- 12
- 12
- 8
- 6
- 5
- 12
- 6
- 6
- 10
- 29
- 6
- 11
- 7
- 7
- 20
- 7
- 5
- 5
- 10
- 5
- 90
- 5
- 7
- 6
- 11
- 6
- 19
- 15
- 8
- 21
- 12
- 8
- 11
- 9
- 10
- 20
- 93
- 6
- 53
- 11
- 11
- 7
- 6
- 89
- 16
- 5
- 14
- 12
- 10
- 5
- 5
- 9
- 23
- 13
- 7
- 6
- 9
- 6
- 5
- 8
- 5
- 11
- 90
- 5
- 6
- 16
- 9
- 8
- 12
- 11
- 16
- 5
- 10
- 9
- 5
- 10
- 5
- 9
- 7
- 22
- 16
- 6
- 5
- 15
- 7
- 24
- 6
- 7
- 6
- 5
- 5
- 14
- 8
- 9
- 6
- 18
- 17
- 21
- 28
- 6
- 20
- 8
- 5
- 10
- 13
- 5
- 16
- 10
- 6
- 12
- 8
- 39
- 9
- 45
- 17
- 6
- 13
- 12
- 10
- 6
- 22
- 9
- 17
- 7
- 13
- 14
- 19
- 6
- 5
- 10
- 23
- 7
- 24
- 57
- 10
- 15
- 17
- 8
- 9
- 6
- 5
- 19
- 19
- 17
- 7
- 10
- 55
- 24
- 12
- 6
- 7
- 12
- 14
- 5
- 7
- 12
- 5
- 9
- 6
- 11
- 8
- 15
- 15
- 7
- 14
- 9
- 5
- 89
- 10
- 14
- 5
- 16
- 7
- 5
- 5
- 13
- 9
- 6
- 32
- 5
- 11
- 6
- 6
- 5
- 9
- 7
- 13
- 18
- 5
- 11
- 6
- 19
- 6
- 5
- 6
- 13
- 19
- 6
- 13
- 12
- 6
- 6
- 8
- 6
- 8
- 6
- 6
- 5
- 8
- 24
- 12
- 10
- 5
- 6
- 6
- 5
- 6
- 12
- 11
- 8
- 5
- 5
- 5
- 18
- 5
- 10
- 6
- 12
- 6
- 8
- 7
- 26
- 14
- 14
- 7
- 5
- 18
- 11
- 5
- 9
- 5
- 6
- 10
- 18
- 9
- 6
- 6
- 40
- 5
- 7
- 5
- 23
- 7
- 5
- 44
- 16
- 63
- 5
- 17
- 5
- 11
- 5
- 6
- 32
- 7
- 22
- 22
- 17
- 5
- 5
- 6
- 9
- 5
- 12
- 9
- 5
- 5
- 19
- Verlag
-
- 3
- 10611
- 3
- 6
- 1
- 7
- 2
- 1
- 32
- Preis
-
- 42
- 387
- 8135
- 2102
- Sprachen
-
- 10661
- 16
- 13
- Verfügbarkeit
-
- 10656
- 10
- Eigenschaften
-
- 12
- Katalog
-
- 10666
- 561
-
Grechenig / Tscheligi Human Computer Interaction
Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57312-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Watt / Sexton / Davenport Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08433-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Henzinger Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61474-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fiems / Iacono Computer Performance Engineering
22nd European Workshop on Performance Engineering, EPEW 2026, Grimstad, Norway, June 24-26, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-29104-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kotenko / Skormin Computer Network Security
5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14705-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brinksma / Larsen Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43997-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 III1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37708-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gurfinkel / Ganesh Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-3-031-65632-3Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cipolla Ficarra / de Castro Lozano / Pérez Jiménez Advances in New Technologies, Interactive Interfaces, and Communicability
First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20809-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Caplinskas / Eder Advances in Databases and Information Systems
5th East European Conference, ADBIS 2001, Vilnius, Lithuania September 25-28, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42555-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zaniolo / Lockemann / Scholl Advances in Database Technology - EDBT 2000
7th International Conference on Extending Database Technology Konstanz, Germany, March 27-31, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67227-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fischer-Hübner / Furnell / Lambrinoudakis Trust and Privacy in Digital Business
Third International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37750-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Manolopoulos / Navrat Advances in Databases and Information Systems
6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44138-0Medium: 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 -
Chaudhuri / Farzan Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41527-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93964-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horváth / Wolter Computer Performance Engineering
11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10884-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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 -
Kotenko / Skormin Computer Network Security
6th International Conference on Mathematical Methods, Models and Architectures for Comüuter Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33703-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thomas Computer Performance Engineering
8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24748-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gribaudo / Iacono / Phung-Duc Computer Performance Engineering
16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-44410-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gilly / Thomas Computer Performance Engineering
18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-25048-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (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