1- 20 of 451 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel (Editor), Sanjit A. Seshia (Editor)
#9593 in Series
eBook $54.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)
#8471 in Series
eBook $54.99
Title: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, Author: Andrei Paskevich
QUICK ADD
Verified Software. Theories,…
by Andrei Paskevich (Editor), Thomas Wies (Editor)
#10712 in Series
eBook $54.99
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
QUICK ADD
Verified Software. Theories,…
by Supratik Chakraborty (Editor), Jorge A. Navas (Editor)
#12031 in Series
eBook $54.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac (Editor), Philipp Rümmer (Editor)
#11294 in Series
eBook $54.99
Title: Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014,, Author: Achim Ebert
QUICK ADD
Usability- and…
by Achim Ebert (Editor), Shah Rukh Humayoun (Editor), Norbert Seyff (Editor), Anna Perini (Editor), Simone D.J. Barbosa (Editor)
#9312 in Series
eBook $54.99
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny (Editor), Serge Haddad (Editor), Alex Yakovlev (Editor)
#8910 in Series
eBook $54.99
Title: Transactions on Pattern Languages of Programming IV, Author: James Noble
QUICK ADD
Transactions on Pattern…
by James Noble (Editor), Ralph Johnson (Editor), Uwe Zdun (Editor), Eugene Wallingford (Editor)
#10600 in Series
eBook $54.99
Title: Transactions on Modularity and Composition I, Author: Shigeru Chiba
QUICK ADD
Transactions on Modularity and…
by Shigeru Chiba (Editor), Mario Südholt (Editor), Patrick Eugster (Editor), Lukasz Ziarek (Editor), Gary T. Leavens (Editor)
#9800 in Series
eBook $84.99
Title: Transactions on Foundations for Mastering Change I, Author: Bernhard Steffen
QUICK ADD
Transactions on Foundations…
by Bernhard Steffen (Editor)
#9960 in Series
eBook $54.99
Title: Transactions on Aspect-Oriented Software Development XII, Author: Shigeru Chiba
QUICK ADD
Transactions on…
by Shigeru Chiba (Editor), Éric Tanter (Editor), Erik Ernst (Editor), Robert Hirschfeld (Editor)
#8989 in Series
eBook $54.99
Title: Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage: Second International Conference, TMM_CH 2021, Athens, Greece, December 13-15, 2021, Revised Selected Papers, Author: Antonia Moropoulou
QUICK ADD
Trandisciplinary Multispectral…
by Antonia Moropoulou (Editor), Andreas Georgopoulos (Editor), Anastasios Doulamis (Editor), Marinos Ioannides (Editor), Alfredo Ronchi (Editor)
#1574 in Series
eBook $84.99
Title: Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers, Author: Anna Kalenkova
QUICK ADD
Tools and Methods of Program…
by Anna Kalenkova (Editor), Jose A. Lozano (Editor), Rostislav Yavorskiy (Editor)
#1288 in Series
eBook $54.99
Title: Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, Author: Pieter Van Gorp
QUICK ADD
Theory and Practice of Model…
by Pieter Van Gorp (Editor), Gregor Engels (Editor)
#9765 in Series
eBook $54.99
Title: Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, Author: Esther Guerra
QUICK ADD
Theory and Practice of Model…
by Esther Guerra (Editor), Mark van den Brand (Editor)
#10374 in Series
eBook $54.99
Title: Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, Author: Yamine Aït-Ameur
QUICK ADD
Theoretical Aspects of…
by Yamine Aït-Ameur (Editor), Florin Craciun (Editor)
#13299 in Series
eBook $89.00
Title: The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings, Author: Robert Andrei Buchmann
QUICK ADD
The Practice of Enterprise…
by Robert Andrei Buchmann (Editor), Dimitris Karagiannis (Editor), Marite Kirikova (Editor)
#335 in Series
eBook $54.99
Title: The Practice of Enterprise Modeling: 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings, Author: Geert Poels
QUICK ADD
The Practice of Enterprise…
by Geert Poels (Editor), Frederik Gailly (Editor), Estefania Serral Asensio (Editor), Monique Snoeck (Editor)
#305 in Series
eBook $54.99
Title: The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, Author: Wolfgang Ahrendt
QUICK ADD
The Logic of Software. A…
by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Einar Broch Johnsen (Editor)
#13360 in Series
eBook $99.00
Title: The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases, Author: Pethuru Raj Ph.D.
QUICK ADD
The Digital Twin Paradigm for…
by Pethuru Raj Ph.D. (Editor), Preetha Evangeline David (Editor)
#117 in Series
eBook $182.00

Pagination Links