Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 94 Angewandte Informatik
- 44 Betriebssysteme
- 8 Business Application
- 127 Computerkommunikation & -vernetzung
- 123 Daten / Datenbanken
- 1 Digital Lifestyle
- 31 EDV & Informatik Allgemein
- 912 Informatik
- 47 Professionelle Anwendung
- 576 Programmierung | Softwareentwicklung
- 253 Technische Informatik
- Medium
-
- 1157
- Erscheinungsjahr
-
- 4
- 66
- 62
- 63
- 74
- 75
- 62
- 70
- 64
- 79
- 81
- 68
- 75
- 62
- 62
- 63
- 62
- 65
- Autoren
-
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 40
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 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
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 9
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 3
- 1
- 4
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 4
- 15
- 9
- 1
- 4
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 8
- 1
- 2
- 5
- 1
- 3
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 6
- 2
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 9
- 4
- 2
- 2
- 2
- 6
- 2
- 11
- 5
- 2
- 46
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 3
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 10
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 10
- 6
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 6
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 12
- 2
- 2
- 11
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 36
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 6
- 42
- 2
- 3
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 4
- 2
- 3
- 7
- 3
- 2
- 3
- 2
- 4
- 4
- 4
- 7
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 7
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 7
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 10
- 11
- 10
- 4
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 14
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 11
- 2
- 2
- 2
- 4
- 2
- 2
- 15
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 12
- 12
- 2
- 3
- 2
- 2
- 6
- 5
- 2
- 3
- 3
- 2
- 11
- 2
- 45
- 2
- 17
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 15
- 8
- 11
- 3
- 4
- 2
- 2
- 4
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 7
- 7
- 6
- 2
- 2
- 3
- 3
- 6
- 4
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 2
- 3
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 10
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- Verlag
-
- 1146
- 1
- 10
- Preis
-
- 52
- 909
- 196
- Sprachen
-
- 1157
- Verfügbarkeit
-
- 1157
- Katalog
-
- 1157
- 16
Der Inhalt wurde erfolgreich kopiert
-
Silva / Leino Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81687-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25542-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biere / Bloem 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, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chockler / Weissenbacher 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 I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96144-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Gasteratos / Vincze / Tsotsos Computer Vision Systems
6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79546-9Medium: 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 -
Hung / Wirsing Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29107-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nehmeier / Wolff von Gudenberg / Tucker Scientific Computing, Computer Arithmetic, and Validated Numerics
16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31768-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Orailoglu / Jung / Reichenbach Embedded Computer Systems: Architectures, Modeling, and Simulation
20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60938-2Medium: 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 -
Berekovic / Dimopoulos / Wong Embedded Computer Systems: Architectures, Modeling, and Simulation
8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70549-9Medium: 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 -
van Hoeve Integration of Constraint Programming, Artificial Intelligence, and Operations Research
15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93030-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hierons / Mosbah Theoretical Aspects of Computing - ICTAC 2019
16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32504-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sampaio / Wang Theoretical Aspects of Computing - ICTAC 2016
13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46749-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hung / Kapur Theoretical Aspects of Computing - ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67728-6Medium: 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 -
Plaat / van den Herik / Kosters Advances in Computer Games
14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27991-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leucker / Morgan Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03465-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerone / Ölveczky Theoretical Aspects of Computing - ICTAC 2021
18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-85314-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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