Buchlisten 2020 Liste 1999

Automated Reasoning with Analytic Table ---Bestellen---
Titel: Automated Reasoning with Analytic Tableaux and Related Methods
Beteiligte: Didier Galmiche, Dominique Larchey-Wendling
22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Herausgegeben von Galmiche, Didier; Larchey-Wendling, Dominique
2013. 2013. x, 289 S. 34 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2013
ISBN: 3-642-40536-3 (3642405363)
Neue ISBN: 978-3-642-40536-5 (9783642405365)

Automated Reasoning with Analytic Table ---Bestellen---
Titel: Automated Reasoning with Analytic Tableaux and Related Methods
Beteiligte: Cláudia Nalon, Renate A. Schmidt
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Herausgegeben von Schmidt, Renate A.; Nalon, Cláudia
1st ed. 2017. 2017. xii, 381 S. 75 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66901-X (331966901X)
Neue ISBN: 978-3-319-66901-4 (9783319669014)

Automated Technology for Verification a ---Bestellen---
Titel: Automated Technology for Verification and Analysis
Beteiligte: Zhiming Liu, Anders P. Ravn
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Herausgeber: Liu, Zhiming, Ravn, Anders P.
2009. xi, 414 S. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-04760-2 (3642047602)
Neue ISBN: 978-3-642-04760-2 (9783642047602)

Automated Technology for Verification a ---Bestellen---
Titel: Automated Technology for Verification and Analysis
Beteiligte: Cyrille Artho, Axel Legay, Doron Peled
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Herausgegeben von Artho, Cyrille; Legay, Axel; Peled, Doron
1st ed. 2016. 2016. xi, 530 S. 102 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
ISBN: 3-319-46519-8 (3319465198)
Neue ISBN: 978-3-319-46519-7 (9783319465197)

Automated Technology for Verification a ---Bestellen---
Titel: Automated Technology for Verification and Analysis
Autor/in: K. Narayan Kumar
15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Herausgegeben von Narayan Kumar, K.
1st ed. 2017. 2017. xix, 482 S. 106 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-68166-4 (3319681664)
Neue ISBN: 978-3-319-68166-5 (9783319681665)

Automaten Sprachen Berechenbarkeit ---Bestellen---
Titel: Automaten Sprachen Berechenbarkeit
Beteiligte: Rudolf Herschel, Peter Sander, Wolffried Stucky
2., durchges. Aufl. 1995. 267 S. 267S. 229 mm
Verlag/Jahr: VIEWEG+TEUBNER 1995
ISBN: 3-519-02937-5 (3519029375) / 3-519-12937-X (351912937X)
Neue ISBN: 978-3-519-02937-3 (9783519029373) / 978-3-519-12937-0 (9783519129370)

Automatic Differentiation ---Bestellen---
Titel: Automatic Differentiation: Applications, Theory, and Implementations
Beteiligte: Martin Bücker, George Corliss, Paul Hovland
Applications, Theory and Implementations
By Martin Bücker, George Corliss, Paul Hovland et al.
2005. xviii, 370 S. 108 SW-Abb., 33 Tabellen. 235 x 155 mm
Verlag/Jahr: SPRINGER, BERLIN 2005
ISBN: 3-540-28403-6 (3540284036)
Neue ISBN: 978-3-540-28403-1 (9783540284031)

Automatic Processing of Natural-Languag ---Bestellen---
Titel: Automatic Processing of Natural-Language Electronic Texts with NooJ
Beteiligte: Linda Barone, Mario Monteleone, Max Silberztein
10th International Conference, NooJ 2016, Ceské Budejovice, Czech Republic, June 9-11, 2016, Revised Selected Papers
Herausgegeben von Barone, Linda; Monteleone, Mario; Silberztein, Max
1st ed. 2016. 2017. xii, 259 S. 155 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-55001-2 (3319550012)
Neue ISBN: 978-3-319-55001-5 (9783319550015)

Automation & Embedded Systems ---Bestellen---
Titel: Automation & Embedded Systems
Beteiligte: Birgit Vogel- Heuser, Birgit Vogel-Heuser
Effizienzsteigerung im Engineering
Herausgegeben von Vogel-Heuser, Birgit
1., Aufl. 2009. 123 S. 24 cm
Verlag/Jahr: KASSEL UNIVERSITY PRESS 2009
ISBN: 3-89958-600-X (389958600X)
Neue ISBN: 978-3-89958-600-8 (9783899586008)

Automatisierte Bewertung in der Program ---Bestellen---
Titel: Automatisierte Bewertung in der Programmierausbildung
Beteiligte: Oliver J. Bott, Peter Fricke, Uta Priss, Michael Striewe
Herausgegeben von Bott, Oliver J.; Fricke, Peter; Priss, Uta; Striewe, Michael
2017. 420 S. 240 mm
Verlag/Jahr: WAXMANN VERLAG GMBH 2017
ISBN: 3-8309-3606-0 (3830936060)
Neue ISBN: 978-3-8309-3606-0 (9783830936060)