Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 98 Angewandte Informatik
- 52 Betriebssysteme
- 6 Business Application
- 125 Computerkommunikation & -vernetzung
- 137 Daten / Datenbanken
- 34 EDV & Informatik Allgemein
- 950 Informatik
- 51 Professionelle Anwendung
- 590 Programmierung | Softwareentwicklung
- 277 Technische Informatik
- Medium
-
- 1194
- Erscheinungsjahr
-
- 7
- 58
- 67
- 73
- 75
- 72
- 70
- 69
- 71
- 84
- 68
- 74
- 73
- 74
- 55
- 69
- 69
- 66
- Autoren
-
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 7
- 2
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 35
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 4
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 3
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 4
- 2
- 5
- 5
- 1
- 3
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 20
- 10
- 5
- 2
- 9
- 2
- 7
- 5
- 2
- 5
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 6
- 2
- 11
- 6
- 43
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 5
- 7
- 3
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 9
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 4
- 4
- 6
- 11
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 12
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 3
- 5
- 9
- 3
- 3
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 7
- 8
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 9
- 2
- 2
- 4
- 5
- 3
- 4
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 9
- 2
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 12
- 3
- 2
- 2
- 2
- 9
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 26
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 9
- 36
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 2
- 5
- 2
- 8
- 7
- 7
- 2
- 4
- 5
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 12
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 10
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 6
- 2
- 5
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 10
- 2
- 2
- 3
- 4
- 17
- 4
- 3
- 2
- 3
- 7
- 13
- 5
- 6
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 9
- 2
- 2
- 42
- 2
- 12
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 9
- 6
- 10
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 8
- 6
- 3
- 3
- 2
- 3
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 9
- 2
- 6
- 5
- 2
- 4
- 2
- 3
- 2
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 11
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- Verlag
-
- 1180
- 1
- 1
- 12
- Preis
-
- 48
- 938
- 208
- Sprachen
-
- 1194
- Verfügbarkeit
-
- 1194
- Katalog
-
- 1194
- 17
Der Inhalt wurde erfolgreich kopiert
-
Majumdar / Kuncak / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63386-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41539-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ben Hedia / Chen / Liu Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65954-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barkaoui / Boucheneb / Mili Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66175-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gopalakrishnan / Qadeer Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Steffen / Woeginger Computing and Software Science
State of the Art and Perspectives1. Auflage 2019Verlag: SpringerISBN: 978-3-319-91907-2Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sharygina / Veith Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ganty / Kaâniche Verification and Evaluation of Computer and Communication Systems
13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-35091-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Burke / Rudová Practice and Theory of Automated Timetabling VI
6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77344-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kotsireas / Rump / Yap Mathematical Aspects of Computer and Information Sciences
6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32858-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Slamanig / Tsigaridas / Zafeirakopoulos Mathematical Aspects of Computer and Information Sciences
8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43119-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Vassiliadis / Berekovic / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73622-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pnevmatikatos / Pelcat / Jung Embedded Computer Systems: Architectures, Modeling, and Simulation
19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-27561-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bertels / Dimopoulos / Silvano Embedded Computer Systems: Architectures, Modeling, and Simulation
9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03137-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hämäläinen / Pimentel / Takala Embedded Computer Systems: Architectures, Modeling, and Simulation
5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26969-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Li / Olver / Sommer Computer Algebra and Geometric Algebra with Applications
6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26296-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Vassiliadis / Wong / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36410-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ciobanu / Méry Theoretical Aspects of Computing - ICTAC 2014
11th International Colloquium, Bucharest, Romania, September 17-19, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10881-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Falsafi / Vijaykumar Power-Aware Computer Systems
4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29790-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
van den Herik / Plaat Advances in Computer Games
13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31865-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cazenave / van den Herik / Saffidine Advances in Computer Games
16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65882-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Marchetti-Spaccamela / Segal Theory and Practice of Algorithms in (Computer) Systems
First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19753-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Liu / Araki Theoretical Aspects of Computing - ICTAC 2004
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25304-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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
