Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 422 Algorithmen & Datenstrukturen
- 79 Compiler
- 24 Datenbankprogrammierung
- 221 Funktionale, Logische, Parallele und Visuelle Programmierung
- 724 Grafikprogrammierung
- 1 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 78 Objektorientierte Programmierung
- 388 Programmier- und Skriptsprachen
- 1243 Programmierung: Methoden und Allgemeines
- 530 Prozedurale Programmierung
- 1628 Software Engineering
- 125 Spiele-Programmierung, Rendering, Animation
- 13 Web Services
- 38 Webprogrammierung
- Medium
-
- 3355
- Erscheinungsjahr
-
- 62
- 127
- 47
- 25
- 36
- 46
- 58
- 50
- 67
- 73
- 68
- 86
- 55
- 12
- 39
- 116
- 134
- 163
- 103
- 135
- 200
- 206
- 176
- 175
- 121
- 113
- 95
- 100
- 95
- 81
- 72
- 65
- 50
- 67
- 37
- 39
- 29
- 31
- 20
- 15
- 11
- 9
- 11
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 3
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 3
- 4
- 2
- 7
- 2
- 2
- 10
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 10
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 5
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 3
- 2
- 7
- 4
- 2
- 3
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 5
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 9
- 3
- 2
- 3
- 3
- 6
- 2
- 12
- 2
- 2
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 31
- 20
- 2
- 3
- 3
- 2
- 2
- 3
- 9
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 18
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 9
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 6
- 6
- 2
- 2
- 22
- 2
- 3
- 3
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 5
- 5
- 3
- 3
- 2
- 11
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 12
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 5
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 5
- 2
- 2
- 2
- 6
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 4
- 2
- 6
- 2
- 3
- 4
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 11
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 5
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 5
- 4
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 6
- 4
- 3
- 5
- 11
- 3
- 6
- 3
- 3
- 11
- 13
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 6
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 3
- 5
- 5
- 3
- 4
- 4
- 14
- 3
- 5
- 4
- 8
- 3
- 6
- 4
- 3
- 4
- 3
- 5
- 4
- 4
- 3
- 17
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 7
- 7
- 4
- 5
- 7
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 6
- 4
- 4
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 5
- 11
- 8
- 3
- 3
- 5
- 3
- 6
- 3
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 9
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 5
- 4
- 3
- 5
- 4
- 3
- 7
- 5
- 6
- 3
- 3
- 4
- 6
- 8
- 4
- 8
- 9
- 5
- 3
- 6
- 6
- 34
- 3
- 10
- 3
- 3
- 3
- 12
- 9
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 22
- 3
- 9
- 3
- 9
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 3
- 16
- 3
- 6
- 4
- 4
- 6
- 3
- 3
- 5
- 4
- 3
- 3
- 5
- 3
- 4
- 8
- 3
- 19
- 4
- 11
- 3
- 3
- 5
- 4
- 7
- 3
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 8
- 4
- 3
- 3
- 5
- 3
- 5
- 4
- 15
- 4
- 9
- 3
- 9
- 5
- 3
- 3
- 6
- 3
- 4
- 3
- 4
- 4
- Verlag
-
- 358
- 2312
- 439
- 1
- 17
- 165
- 63
- Preis
-
- 12
- 114
- 2645
- 584
- Sprachen
-
- 3355
- 6
- Verfügbarkeit
-
- 3346
- 9
- Katalog
-
- 3355
- 223
-
Lal / Enea Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part III1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-37708-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pasareanu / Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21667-6Medium: 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 I1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-13184-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leino / Silva Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part I1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pasareanu / Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kurshan / Clarke Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sagerer / Schiele Computer Vision Systems
Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42285-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peled / Halbwachs Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grumberg Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63166-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tomek Computer Assisted Learning
4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55578-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56922-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 II1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-37702-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tasiran / Dillig Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-25542-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leino / Silva Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part II1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81687-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 -
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 -
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 -
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 -
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 -
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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort