1- 20 of 239 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Ethics and Technology: Controversies, Questions, and Strategies for Ethical Computing / Edition 5, Author: Herman T. Tavani
QUICK ADD
Ethics and Technology:…
by Herman T. Tavani
Paperback from $63.50 $91.75 Current price is $63.50, Original price is $91.75.
Title: Re-Engineering Legacy Software / Edition 1, Author: Chris Birchall
QUICK ADD
Re-Engineering Legacy Software…
by Chris Birchall
Paperback $64.99
Title: Lean DevOps: A Practical Guide to On Demand Service Delivery / Edition 1, Author: Robert Benefield
QUICK ADD
Lean DevOps: A Practical Guide…
by Robert Benefield
Paperback $59.84
Title: Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, Author: Hossein Hojjat
QUICK ADD
Fundamentals of Software…
by Hossein Hojjat, Mieke Massink
#11761 in Series
Paperback $54.99
Title: Software Challenges to Exascale Computing: Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings, Author: Amit Majumdar
QUICK ADD
Software Challenges to…
by Amit Majumdar, Ritu Arora
#964 in Series
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings, Author: Eric Knauss
QUICK ADD
Requirements Engineering:…
by Eric Knauss, Michael Goedicke
#11412 in Series
Paperback $74.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: Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, Author: Martin Davis
QUICK ADD
Logic for Programming,…
by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
#9450 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, Author: Jing Sun
QUICK ADD
Formal Methods and Software…
by Jing Sun, Meng Sun
#11232 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: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#10215 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, Author: José Proença
QUICK ADD
Formal Aspects of Component…
by José Proença, Markus Lumpe
#10487 in Series
Paperback $54.99
Title: Evaluation of Novel Approaches to Software Engineering: 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers, Author: Ernesto Damiani
QUICK ADD
Evaluation of Novel Approaches…
by Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek
#1023 in Series
Paperback $84.99
Title: NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, Author: Sanjai Rayadurgam
QUICK ADD
NASA Formal Methods: 8th…
by Sanjai Rayadurgam, Oksana Tkachuk
#9690 in Series
Paperback $69.99
Title: Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures, Author: Jácome Cunha
QUICK ADD
Grand Timely Topics in…
by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev
#10223 in Series
Paperback $54.99
Title: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, Author: Radu Calinescu
QUICK ADD
Software Engineering and…
by Radu Calinescu, Bernhard Rumpe
#9276 in Series
Paperback $54.99
Title: Fault Prediction Modeling for the Prediction of Number of Software Faults, Author: Santosh Singh Rathore
QUICK ADD
Fault Prediction Modeling for…
by Santosh Singh Rathore, Sandeep Kumar
Explore Series
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: 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: 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

Pagination Links