21- 40 of 257 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: Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski
#8384 in Series
Paperback $54.99
Title: Human-Centered and Error-Resilient Systems Development: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Develop, Author: Cristian Bogdan
QUICK ADD
Human-Centered and…
by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler
#9856 in Series
Paperback $54.99
Title: End-User Development: 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, Proceedings, Author: Alessio Malizia
QUICK ADD
End-User Development: 7th…
by Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, Andrew Stratton
#11553 in Series
Paperback $64.99
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
QUICK ADD
Formal Aspects of Component…
by Kyungmin Bae, Peter Csaba ïlveczky
#11222 in Series
Paperback $54.99
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: 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
Title: Risk Assessment and Risk-Driven Testing: Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers, Author: Fredrik Seehusen
QUICK ADD
Risk Assessment and…
by Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland
#9488 in Series
Paperback $44.99
Title: Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures, Author: Zhiming Liu
QUICK ADD
Engineering Trustworthy…
by Zhiming Liu, Zili Zhang
#9506 in Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Author: Kazuhiro Ogata
QUICK ADD
Formal Methods and Software…
by Kazuhiro Ogata, Mark Lawford, Shaoying Liu
#10009 in Series
Paperback $54.99
Title: Parallel Computing Technologies: 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings, Author: Victor Malyshkin
QUICK ADD
Parallel Computing…
by Victor Malyshkin
#9251 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria, Bernhard Steffen
#11244 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: 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: Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Dependable Software…
by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
#10606 in Series
Paperback $54.99
Title: Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, Author: Christian Colombo
QUICK ADD
Runtime Verification: 18th…
by Christian Colombo, Martin Leucker
#11237 in Series
Paperback $84.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: Transactions on Foundations for Mastering Change I, Author: Bernhard Steffen
QUICK ADD
Transactions on Foundations…
by Bernhard Steffen
#9960 in Series
Paperback $54.99
Title: Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings, Author: Lei Bu
QUICK ADD
Software Analysis, Testing,…
by Lei Bu, Yingfei Xiong
#11293 in Series
Paperback $54.99
Title: Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, Author: Martin Fränzle
QUICK ADD
Dependable Software…
by Martin Fränzle, Deepak Kapur, Naijun Zhan
#9984 in Series
Paperback $54.99

Pagination Links