Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1128
- Erscheinungsjahr
-
- 5
- 65
- 63
- 69
- 81
- 59
- 64
- 57
- 65
- 73
- 74
- 84
- 67
- 63
- 60
- 58
- 59
- 62
- Autoren
-
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 5
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 38
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 9
- 1
- 2
- 1
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 4
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 5
- 1
- 1
- 4
- 2
- 8
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 5
- 2
- 1
- 2
- 1
- 3
- 2
- 21
- 11
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 3
- 9
- 6
- 2
- 45
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 7
- 3
- 3
- 3
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 4
- 4
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 4
- 4
- 3
- 3
- 2
- 4
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 10
- 7
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 8
- 2
- 3
- 13
- 2
- 5
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 32
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 39
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 5
- 4
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 12
- 11
- 5
- 2
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 15
- 2
- 4
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 5
- 10
- 2
- 2
- 3
- 2
- 2
- 18
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 14
- 9
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 43
- 15
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 11
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 7
- 8
- 8
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 7
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 5
- 4
- 3
- 2
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- Verlag
-
- 1120
- 1
- 7
- Preis
-
- 54
- 890
- 184
- Sprachen
-
- 1128
- Verfügbarkeit
-
- 1128
- Katalog
-
- 1128
- 24
Der Inhalt wurde erfolgreich kopiert
-
Silva / Leino Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 -
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 -
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 -
Bouajjani / Maler Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02657-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Leibe / Neumann Computer Vision Systems
9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39401-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 -
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 -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21667-6Medium: 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 -
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 -
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 -
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 -
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 -
Herik / Hsu / Donkers Advances in Computer Games
11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48887-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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 -
Jones / Liu / Woodcock Theoretical Aspects of Computing - ICTAC 2007
4th International Colloquium, Macau, China, September 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75290-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fischer / Uustalu Theoretical Aspects of Computing - ICTAC 2018
15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02507-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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 -
Pun / Stolz / Simao Theoretical Aspects of Computing - ICTAC 2020
17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64275-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Woodcock / Zhu Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39717-2Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort