181- 200 of 240 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers, Author: Pascal Lorenz
QUICK ADD
Software Technologies: 10th…
by Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen
#586 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht
#683 in Series
Paperback $54.99
Title: Software Technologies: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers, Author: Andreas Holzinger
QUICK ADD
Software Technologies: 9th…
by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek
#555 in Series
Paperback $54.99
Title: Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June, Author: Christel Baier
QUICK ADD
Formal Techniques for…
by Christel Baier, Luïs Caires
#10854 in Series
Paperback $54.99
Title: Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Author: Ezio Bartocci
QUICK ADD
Runtime Verification: 6th…
by Ezio Bartocci, Rupak Majumdar
#9333 in Series
Paperback $54.99
Title: Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings, Author: Quan Z. Sheng
QUICK ADD
Service-Oriented Computing:…
by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri
#9936 in Series
Paperback $109.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: The Practice of Enterprise Modeling: 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings, Author: Geert Poels
QUICK ADD
The Practice of Enterprise…
by Geert Poels, Frederik Gailly, Estefania Serral Asensio, Monique Snoeck
#305 in Series
Paperback $54.99
Title: Cloud Computing and Services Science: 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers, Author: Markus Helfert
QUICK ADD
Cloud Computing and Services…
by Markus Helfert, Donald Ferguson, Victor Méndez Muñoz, Jorge Cardoso
#740 in Series
Paperback $54.99
Title: Computer and Communication Engineering: First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings, Author: Miguel Botto-Tobar
QUICK ADD
Computer and Communication…
by Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño
#959 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: 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: Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings, Author: Claus Pahl
QUICK ADD
Service-Oriented Computing:…
by Claus Pahl, Maja Vukovic, Jianwei Yin, Qi Yu
#11236 in Series
Paperback $109.99
Title: Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Author: Nadia Polikarpova
QUICK ADD
Integrated Formal Methods:…
by Nadia Polikarpova, Steve Schneider
#10510 in Series
Paperback $54.99
Title: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, Author: Yassine Ouhammou
QUICK ADD
Model and Data Engineering:…
by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche
#10563 in Series
Paperback $54.99
Title: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bernd Finkbeiner
QUICK ADD
Runtime Verification: 19th…
by Bernd Finkbeiner, Leonardo Mariani
#11757 in Series
Paperback $69.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: Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies: 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. Complexity…
by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann
#269 in Series
Paperback $54.99
Title: Quality of Information and Communications Technology: 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, Author: Mario Piattini
QUICK ADD
Quality of Information and…
by Mario Piattini, Paulo Rupino da Cunha, Ignacio Garcïa Rodrïguez de Guzmïn, Ricardo Pïrez-Castillo
#1010 in Series
Paperback $84.99

Pagination Links