1- 20 of 239 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: 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
Title: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Author: Bernd Fischer
QUICK ADD
Model Checking Software: 22nd…
by Bernd Fischer, Jaco Geldenhuys
#9232 in Series
Paperback $54.99
Title: Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings, Author: Manuel Mazzara
QUICK ADD
Software Technology: Methods…
by Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko
#11771 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers, Author: Shaoying Liu
QUICK ADD
Structured Object-Oriented…
by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
#10189 in Series
Paperback $54.99
Title: Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers, Author: Enrique Cabello
QUICK ADD
Software Technologies: 11th…
by Enrique Cabello, Jorge Cardoso, Andrï Ludwig, Leszek A. Maciaszek, Marten van Sinderen
#743 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi, Luïs Ferreira Pires, Bran Selic
#1161 in Series
Paperback $54.99
Title: Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbr�cken, Germany, March 16-18, 2020, Proceedings, Author: Holger Hermanns
QUICK ADD
Measurement, Modelling and…
by Holger Hermanns
#12040 in Series
Paperback $54.99

Pagination Links