21- 40 of 430 results
Grid View Grid
List View List
Grid View Grid
List View List
Get it today with Buy Online, Pick up in Store Find My Store
Title: Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Author: Yliès Falcone
QUICK ADD
Runtime Verification: 16th…
by Yliès Falcone, César Sánchez
#10012 in Series
Paperback $54.99
Title: ML with Concurrency: Design, Analysis, Implementation, and Application / Edition 1, Author: Flemming Nielson
QUICK ADD
ML with Concurrency: Design,…
by Flemming Nielson
Explore Series
Paperback $54.99
Title: Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 / Edition 1, Author: S. Bologna
QUICK ADD
Achieving Quality in Software:…
by S. Bologna, G. Bucci
Explore Series
Hardcover $219.99
Title: From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice, Author: Michal Smialek
QUICK ADD
From Requirements to Java in a…
by Michal Smialek, Wiktor Nowakowski
Hardcover $54.99
Title: Conceptual Modeling: 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings, Author: Isabelle Comyn-Wattiau
QUICK ADD
Conceptual Modeling: 35th…
by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki
#9974 in Series
Paperback $54.99
Title: Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Multicore…
by Marco Bernardo, Einar Broch Johnsen
#9104 in Series
Paperback $54.99
Title: Risk Assessment and Risk-Driven Testing: Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers, Author: Fredrik Seehusen
QUICK ADD
Risk Assessment and…
by Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland
#9488 in Series
Paperback $44.99
Title: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Author: Nir Piterman
QUICK ADD
Hardware and Software:…
by Nir Piterman
#9434 in Series
Paperback $54.99
Title: The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering, Author: Ivan Jureta
QUICK ADD
The Design of Requirements…
by Ivan Jureta
Paperback $54.99
Title: System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings, Author: Jens Grabowski
QUICK ADD
System Analysis and Modeling.…
by Jens Grabowski, Steffen Herbold
#9959 in Series
Paperback $54.99
Title: Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, Author: Khaled El-Fakih
QUICK ADD
Testing Software and Systems:…
by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko
#9447 in Series
Paperback $54.99
Title: Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, Author: Roderick Bloem
QUICK ADD
Hardware and Software:…
by Roderick Bloem, Eli Arbel
#10028 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings, Author: Xavier Franch
QUICK ADD
Product-Focused Software…
by Xavier Franch, Tomi Mïnnistï, Silverio Martïnez-Fernïndez
#11915 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves
#506 in Series
Paperback $54.99
Title: Conversational UX Design: A Practitioner's Guide to the Natural Conversation Framework / Edition 1, Author: Robert J. Moore
QUICK ADD
Conversational UX Design: A…
by Robert J. Moore, Raphael Arar
Explore Series
Hardcover $89.95
Title: Enterprise and Organizational Modeling and Simulation: 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Selected Papers, Author: Robert Pergl
QUICK ADD
Enterprise and Organizational…
by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtech Merunka
#366 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Author: Cyrille Artho
QUICK ADD
Automated Technology for…
by Cyrille Artho, Axel Legay, Doron Peled
#9938 in Series
Paperback $54.99
Title: Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings, Author: Juan C. Trujillo
QUICK ADD
Conceptual Modeling: 37th…
by Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling
#11157 in Series
Paperback $54.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: Reactive Internet Programming: State Chart XML in Action / Edition 1, Author: Barbier. Franck
QUICK ADD
Reactive Internet Programming:…
by Barbier. Franck
Explore Series
Hardcover $109.95

Pagination Links