Buchlisten 2020 Liste 37919

Verification, Model Checking, and Abstr ---Bestellen---
Titel: Verification, Model Checking, and Abstract Interpretation
Beteiligte: Ahmed Bouajjani, David Monniaux
18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Herausgegeben von Bouajjani, Ahmed; Monniaux, David
1st ed. 2017. 2017. xvii, 560 S. 150 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-52233-7 (3319522337)
Neue ISBN: 978-3-319-52233-3 (9783319522333)

Verification, Model Checking, and Abstr ---Bestellen---
Titel: Verification, Model Checking, and Abstract Interpretation
Beteiligte: Constantin Enea, Ruzica Piskac
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
Herausgegeben von Enea, Constantin; Piskac, Ruzica
1st ed. 2019. 2019. xvii, 602 S. 1260 SW-Abb., 69 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-011244-6 (3030112446)
Neue ISBN: 978-3-03-011244-8 (9783030112448)

Verified Software. Theories, Tools, and ---Bestellen---
Titel: Verified Software. Theories, Tools, and Experiments
Beteiligte: Sandrine Blazy, Marsha Chechik
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Herausgegeben von Blazy, Sandrine; Chechik, Marsha
1st ed. 2016. 2016. xiv, 199 S. 36 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
ISBN: 3-319-48868-6 (3319488686)
Neue ISBN: 978-3-319-48868-4 (9783319488684)

Verified Software: Theories, Tools, Exp ---Bestellen---
Titel: Verified Software: Theories, Tools, Experiments
Beteiligte: Natarajan Shankar, Jim Woodcock
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Herausgegeben von Shankar, Natarajan; Woodcock, Jim
2008. xii, 263 S. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2008
ISBN: 3-540-87872-6 (3540878726)
Neue ISBN: 978-3-540-87872-8 (9783540878728)

Verifying Calculations - Forty Years ---Bestellen---
Titel: Verifying Calculations - Forty Years On
Beteiligte: Ludovic Chamoin, Pedro Diez
An Overview of Classical Verification Techniques for FEM Simulations
Herausgegeben von Chamoin, Ludovic; Diez, Pedro
1st ed. 2015. vii, 94 S. 20 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2015
ISBN: 3-319-20552-8 (3319205528)
Neue ISBN: 978-3-319-20552-6 (9783319205526)

Verigou:99 x Aachen und die Euregio ---Bestellen---
Titel: 99 x Aachen und die Euregio wie Sie sie noch nicht kennen
Autor/in: Klio Verigou
2017. 192 S. m. zahlr. Farbfotos. 18.5 cm
Verlag/Jahr: BRUCKMANN 2017
ISBN: 3-7343-0688-4 (3734306884)
Neue ISBN: 978-3-7343-0688-4 (9783734306884)

Verigou:ADAC Reiseführer Korfu ---Bestellen---
Titel: ADAC Reiseführer Korfu
Beteiligte: Peter Peter, Klio Verigou
Der Kompakte mit den ADAC Top Tipps und cleveren Klappkarten
2019. 144 S. 208 mm
Verlag/Jahr: TRAVEL HOUSE MEDIA; ADAC VERLAG 2019
ISBN: 3-9568951-2-6 (3956895126)
Neue ISBN: 978-3-9568951-2-8 (9783956895128)

Verigou:ADAC Reiseführer Kreta ---Bestellen---
Titel: ADAC Reiseführer Kreta
Beteiligte: Cornelia Hübler, Klio Verigou
Urlauben wie die Götter. Der Kompakte mit den ADAC Top Tipps und cleveren Klappkarten
2018. 144 S. 205 mm
Verlag/Jahr: TRAVEL HOUSE MEDIA; ADAC VERLAG 2018
ISBN: 3-9568933-8-7 (3956893387)
Neue ISBN: 978-3-9568933-8-4 (9783956893384)

Verigou:ADAC Reiseführer plus Kreta ---Bestellen---
Titel: ADAC Reiseführer plus Kreta
Beteiligte: Cornelia Hübler, Klio Verigou
Das ADAC Reise-Set mit Maxi-Faltkarte zum Herausnehmen
2019. 192 S. 120 mm
Verlag/Jahr: TRAVEL HOUSE MEDIA; ADAC VERLAG 2019
ISBN: 3-9568933-9-5 (3956893395)
Neue ISBN: 978-3-9568933-9-1 (9783956893391)

Verigou:ADAC Reiseführer plus Kreta ---Bestellen---
Titel: ADAC Reiseführer plus Kreta
Beteiligte: Cornelia Hübler, Klio Verigou
mit Maxi-Faltkarte zum Herausnehmen
2019. 192 S. 205 mm
Verlag/Jahr: TRAVEL HOUSE MEDIA; ADAC VERLAG 2019
ISBN: 3-9568974-5-5 (3956897455)
Neue ISBN: 978-3-9568974-5-0 (9783956897450)