61- 80 of 256 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Author: Alessandro Cimatti
QUICK ADD
Software Engineering and…
by Alessandro Cimatti, Marjan Sirjani
#10469 in Series
Paperback $54.99
Title: Agile ALM: Lightweight tools and Agile strategies / Edition 1, Author: Michael Hüttermann
QUICK ADD
Agile ALM: Lightweight tools…
by Michael Hüttermann
Paperback $54.99
Title: Conceptual Modeling: 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Alberto H. F. Laender
QUICK ADD
Conceptual Modeling: 38th…
by Alberto H. F. Laender, Barbara Pernici, Ee-Peng Lim, Josï Palazzo M. de Oliveira
#11788 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: 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: Mastering Software Quality Assurance: Best Practices, Tools and Techniques for Software Developers, Author: Murali Chemuturi
QUICK ADD
Mastering Software Quality…
by Murali Chemuturi
Hardcover $59.95
Title: Refinement: Semantics, Languages and Applications, Author: John Derrick
QUICK ADD
Refinement: Semantics,…
by John Derrick, Eerke Boiten
Paperback $54.99
Title: Product-Focused Software Process Improvement: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings, Author: Michael Felderer
QUICK ADD
Product-Focused Software…
by Michael Felderer, Daniel Mïndez Fernïndez, Burak Turhan, Marcos Kalinowski, Federica Sarro
#10611 in Series
Paperback $54.99
Title: Integration of CAD/CAPP/CAM / Edition 1, Author: Jianbin Xue
QUICK ADD
Integration of CAD/CAPP/CAM /…
by Jianbin Xue
Explore Series
Paperback $88.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#9952 in Series
Paperback $109.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11246 in Series
Paperback $54.99
Title: Computer Science - CACIC 2018: 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers, Author: Patricia Pesado
QUICK ADD
Computer Science - CACIC 2018:…
by Patricia Pesado, Claudio Aciti
#995 in Series
Paperback $54.99
Title: A Process Algebraic Approach to Software Architecture Design / Edition 1, Author: Alessandro Aldini
QUICK ADD
A Process Algebraic Approach…
by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Hardcover $54.99
Title: Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings, Author: Flavio De Paoli
QUICK ADD
Service-Oriented and Cloud…
by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
#10465 in Series
Paperback $54.99
Title: FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Author: John Fitzgerald
QUICK ADD
FM 2016: Formal Methods: 21st…
by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
#9995 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray
#692 in Series
Paperback $54.99
Title: Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers, Author: Marten van Sinderen
QUICK ADD
Software Technologies: 13th…
by Marten van Sinderen, Leszek A. Maciaszek
#1077 in Series
Paperback $54.99
Title: Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers, Author: Dalibor Klusïcek
QUICK ADD
Job Scheduling Strategies for…
by Dalibor Klusïcek, Walfredo Cirne, Narayan Desai
#11332 in Series
Paperback $54.99
Title: Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings, Author: Radu Calinescu
QUICK ADD
Software Engineering for…
by Radu Calinescu, Felicita Di Giandomenico
#11732 in Series
Paperback $54.99
Title: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Ch�teau de Villebrumier, France, May 6-8, 2019, Revised Selected Papers, Author: Jean-Michel Bruel
QUICK ADD
Software Engineering Aspects…
by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
#12055 in Series
Paperback $54.99

Pagination Links