Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1187
- 71
- Erscheinungsjahr
-
- 6
- 68
- 66
- 74
- 74
- 57
- 77
- 90
- 67
- 87
- 81
- 81
- 91
- 67
- 62
- 77
- 62
- 71
- Autoren
-
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 2
- 2
- 1
- 7
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 43
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 7
- 11
- 3
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 9
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 2
- 4
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 15
- 8
- 3
- 3
- 5
- 9
- 2
- 2
- 5
- 3
- 7
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 3
- 3
- 2
- 3
- 9
- 15
- 3
- 2
- 49
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 4
- 2
- 3
- 4
- 4
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 4
- 5
- 2
- 3
- 2
- 4
- 2
- 6
- 3
- 4
- 6
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 8
- 7
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 7
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 3
- 5
- 8
- 2
- 2
- 2
- 7
- 4
- 2
- 11
- 3
- 3
- 2
- 5
- 5
- 3
- 2
- 3
- 12
- 2
- 3
- 2
- 2
- 2
- 12
- 2
- 5
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 36
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 43
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 3
- 5
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 11
- 15
- 8
- 3
- 2
- 3
- 2
- 4
- 6
- 4
- 13
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 4
- 5
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 11
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 12
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 8
- 2
- 14
- 12
- 4
- 3
- 5
- 2
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 10
- 2
- 47
- 3
- 20
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 12
- 10
- 12
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 8
- 9
- 3
- 3
- 3
- 4
- 8
- 2
- 2
- 2
- 10
- 4
- 7
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 8
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 4
- 2
- 4
- 4
- 5
- 2
- 2
- 2
- 6
- 4
- 2
- 4
- 6
- 3
- 2
- 2
- 3
- 5
- 3
- Verlag
-
- 464
- 177
- 532
- 85
- Preis
-
- 61
- 970
- 227
- Sprachen
-
- 1258
- 1
- Verfügbarkeit
-
- 1250
- 8
- Katalog
-
- 1258
- 22
Der Inhalt wurde erfolgreich kopiert
-
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 -
Nalpantidis / Gasteratos / Krüger Computer Vision Systems
10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-20903-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hermanns / Damm Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73367-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seshia / Parthasarathy Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gupta / Malik Computer Aided Verification
20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-70543-7Medium: Buch106,99 € (inkl. MwSt.)
Kurzfristig nicht lieferbar106,99 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Wang / Lahiri Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21¿24, 2020, Proceedings, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-53290-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Veith / Sharygina Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gupta / Malik Computer Aided Verification
20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-70545-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)103,52 € (inkl. MwSt.)
sofort verfügbar103,52 € (inkl. MwSt.)
sofort verfügbar -
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 -
Rajamani / Etessami Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27231-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fritz / Piater / Schiele Computer Vision Systems
7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04666-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Touili / Cook / Jackson Computer Aided Verification
2010Verlag: SpringerISBN: 978-3-642-14294-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weissenbacher / Chockler Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-96141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liu / Vincze / Chen Computer Vision Systems
11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68344-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barkaoui / Tahar / Boucheneb Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24¿25, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66175-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Blömer / Simos / Kotsireas Mathematical Aspects of Computer and Information Sciences
7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-72452-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rudová / Burke Practice and Theory of Automated Timetabling VI
6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77344-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Darondeau / Ciardo Applications and Theory of Petri Nets 2005
26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26301-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Trick / Burke Practice and Theory of Automated Timetabling V
5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30705-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hämäläinen / Vassiliadis / Pimentel Embedded Computer Systems: Architectures, Modeling, and Simulation
5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26969-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Woeginger / Steffen Computing and Software Science
State of the Art and Perspectives1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-319-91907-2Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nehmeier / Tucker / Wolff von Gudenberg Scientific Computing, Computer Arithmetic, and Validated Numerics
16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-31768-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Orailoglu / Reichenbach / Jung Embedded Computer Systems: Architectures, Modeling, and Simulation
20th International Conference, SAMOS 2020, Samos, Greece, July 5¿9, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-60938-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wirsing / Hung Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29107-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dwivedi / Mäntymäki / Ravishankar Social Media: The Good, the Bad, and the Ugly
15th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2016, Swansea, UK, September 13¿15, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45233-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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