Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1205
- 686
- Erscheinungsjahr
-
- 10
- 84
- 96
- 109
- 105
- 94
- 99
- 95
- 104
- 121
- 106
- 97
- 111
- 131
- 120
- 146
- 132
- 130
- 1
- Autoren
-
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 7
- 2
- 6
- 2
- 9
- 2
- 6
- 5
- 2
- 4
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 47
- 2
- 6
- 4
- 5
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 5
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 5
- 2
- 6
- 3
- 4
- 4
- 7
- 2
- 2
- 2
- 12
- 2
- 2
- 6
- 17
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 8
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 6
- 3
- 5
- 3
- 2
- 2
- 2
- 4
- 4
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 7
- 6
- 3
- 7
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 4
- 3
- 6
- 7
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 3
- 6
- 2
- 7
- 2
- 8
- 6
- 5
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 6
- 38
- 14
- 7
- 2
- 2
- 3
- 4
- 2
- 12
- 4
- 9
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 5
- 8
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 8
- 2
- 4
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 6
- 6
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 12
- 5
- 2
- 2
- 3
- 2
- 8
- 2
- 3
- 16
- 2
- 12
- 63
- 3
- 11
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 5
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 6
- 2
- 3
- 4
- 5
- 9
- 3
- 2
- 9
- 3
- 4
- 4
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 6
- 2
- 5
- 8
- 14
- 5
- 4
- 2
- 7
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 19
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 8
- 15
- 4
- 4
- 6
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 8
- 2
- 10
- 5
- 2
- 4
- 5
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 11
- 2
- 3
- 5
- 5
- 2
- 3
- 8
- 2
- 2
- 3
- 2
- 2
- 5
- 6
- 9
- 5
- 5
- 2
- 3
- 2
- 3
- 3
- 7
- 2
- 5
- 2
- 15
- 2
- 2
- 5
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 18
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 13
- 4
- 2
- 10
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 36
- 3
- 4
- 6
- 4
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 15
- 2
- 50
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 5
- 5
- 3
- 3
- 4
- 3
- 4
- 8
- 6
- 3
- 4
- 4
- 4
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 4
- 4
- 9
- 3
- 4
- 3
- 3
- 3
- 4
- 9
- 5
- 3
- 8
- 4
- 3
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 5
- 4
- 5
- 5
- 5
- 3
- 5
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 4
- 3
- 7
- 4
- 12
- 11
- 8
- 6
- 3
- 7
- 8
- 3
- 3
- 8
- 6
- 21
- 3
- 3
- 7
- 3
- 3
- 3
- 14
- 8
- 5
- 6
- 3
- 4
- 3
- 8
- 5
- 7
- 4
- 6
- 6
- 4
- 3
- 11
- 13
- 3
- 3
- 3
- 5
- 20
- 19
- 3
- 3
- 6
- 11
- 18
- 4
- 7
- 3
- 9
- 6
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 12
- 60
- 4
- 18
- 4
- 3
- 4
- 6
- 5
- 3
- 4
- 4
- 5
- 12
- 8
- 15
- 3
- 3
- 6
- 3
- 4
- 3
- 3
- 3
- 8
- 3
- 3
- 7
- 7
- 5
- 3
- 10
- 16
- 6
- 4
- 7
- 4
- 3
- 10
- 4
- 3
- 3
- 4
- 15
- 4
- 3
- 7
- 7
- 3
- 5
- 4
- 4
- 8
- 6
- 7
- 4
- 3
- 3
- 5
- 3
- 15
- 4
- 3
- 4
- 3
- 3
- 3
- 9
- 4
- 4
- 3
- 4
- 3
- 7
- 4
- 4
- 3
- 5
- 4
- 7
- 6
- 4
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 6
- 5
- Verlag
-
- 1653
- 11
- 210
- 5
- 12
- Preis
-
- 67
- 1572
- 252
- Sprachen
-
- 1891
- Verfügbarkeit
-
- 1891
- Katalog
-
- 1891
- 18
-
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
-
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 II1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63389-3Medium: 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
-
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
-
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
-
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
-
Vassiliadis / Wong / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-36411-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Bertels / Dimopoulos / Silvano Embedded Computer Systems: Architectures, Modeling, and Simulation
9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03138-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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, Proceedings2007Verlag: SpringerISBN: 978-3-540-73625-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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 Papers2005Verlag: SpringerISBN: 978-3-540-32119-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
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
-
Herik / Hsu / Donkers Advances in Computer Games
11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers2006Verlag: SpringerISBN: 978-3-540-48889-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
