Book Your Summer Shop Summer Reading
1- 20 of 248 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, Sanjit A. Seshia
#9593 in Series
Paperback $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, Daniel Kroening
#8471 in Series
Paperback $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, Thomas Wies
#10712 in Series
Paperback $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, Jorge A. Navas
#12031 in Series
Paperback $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, Philipp Rümmer
#11294 in Series
Paperback $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, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa
#9312 in Series
Paperback $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, Serge Haddad, Alex Yakovlev
#8910 in Series
Paperback $54.99
Title: Transactions on Pattern Languages of Programming IV, Author: James Noble
QUICK ADD
Transactions on Pattern…
by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford
#10600 in Series
Paperback $54.99
Title: Transactions on Modularity and Composition I, Author: Shigeru Chiba
QUICK ADD
Transactions on Modularity and…
by Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens
#9800 in Series
Paperback $84.99
Title: Transactions on Foundations for Mastering Change I, Author: Bernhard Steffen
QUICK ADD
Transactions on Foundations…
by Bernhard Steffen
#9960 in Series
Paperback $54.99
Title: Transactions on Aspect-Oriented Software Development XII, Author: Shigeru Chiba
QUICK ADD
Transactions on…
by Shigeru Chiba, ïric Tanter, Erik Ernst, Robert Hirschfeld
#8989 in Series
Paperback $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, Gregor Engels
#9765 in Series
Paperback $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, Mark van den Brand
#10374 in Series
Paperback $54.99
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, Dimitris Karagiannis, Marite Kirikova
#335 in Series
Paperback $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, Frederik Gailly, Estefania Serral Asensio, Monique Snoeck
#305 in Series
Paperback $54.99
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., Preetha Evangeline David
#117 in Series
Hardcover $182.00
Title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
QUICK ADD
Tests and Proofs: 13th…
by Dirk Beyer, Chantal Keller
#11823 in Series
Paperback $54.99
Title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Sebastian Gabmeyer
QUICK ADD
Tests and Proofs: 11th…
by Sebastian Gabmeyer, Einar Broch Johnsen
#10375 in Series
Paperback $54.99
Title: Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, Author: Bernhard K. Aichernig
QUICK ADD
Tests and Proofs: 10th…
by Bernhard K. Aichernig, Carlo A. Furia
#9762 in Series
Paperback $54.99
Title: Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, Author: Christophe Gaston
QUICK ADD
Testing Software and Systems:…
by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
#11812 in Series
Paperback $54.99

Pagination Links