81- 100 of 256 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings, Author: Michael Maximilien
QUICK ADD
Service-Oriented Computing:…
by Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol
#10601 in Series
Paperback $109.99
Title: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Author: Huaikou Miao
QUICK ADD
Structured Object-Oriented…
by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
#12028 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: Engineering Adaptive Software Systems: Communications of NII Shonan Meetings, Author: Yijun Yu
QUICK ADD
Engineering Adaptive Software…
by Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai
Hardcover $109.99
Title: Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
#11174 in Series
Paperback $54.99
Title: Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings, Author: Pekka Abrahamsson
QUICK ADD
Product-Focused Software…
by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki
#10027 in Series
Paperback $54.99
Title: Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud: 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: The…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#338 in Series
Paperback $54.99
Title: Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings, Author: Lu Zhang
QUICK ADD
Software Engineering and…
by Lu Zhang, Chang Xu
#675 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: Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings, Author: Kyriakos Kritikos
QUICK ADD
Service-Oriented and Cloud…
by Kyriakos Kritikos, Pierluigi Plebani, Flavio de Paoli
#11116 in Series
Paperback $54.99
Title: Model-Driven Engineering and Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, Author: Philippe Desfray
QUICK ADD
Model-Driven Engineering and…
by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires
#580 in Series
Paperback $54.99
Title: Parallel Computing Technologies: 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings, Author: Victor Malyshkin
QUICK ADD
Parallel Computing…
by Victor Malyshkin
#10421 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: Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods - The Next 30…
by Maurice H. ter Beek, Annabelle McIver, Josï N. Oliveira
#11800 in Series
Paperback $54.99
Title: Risks and Security of Internet and Systems: 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, Author: Slim Kallel
QUICK ADD
Risks and Security of Internet…
by Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem
#12026 in Series
Paperback $54.99
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: 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: Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings, Author: Georgia M. Kapitsaki
QUICK ADD
Software Reuse: Bridging with…
by Georgia M. Kapitsaki, Eduardo Santana de Almeida
#9679 in Series
Paperback $54.99
Title: NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Author: Julia M. Badger
QUICK ADD
NASA Formal Methods: 11th…
by Julia M. Badger, Kristin Yvonne Rozier
#11460 in Series
Paperback $74.99

Pagination Links