Agents and Computational Autonomy (Potential, Risks, and Solutions (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Nickles, Michael Rovatsos, Gerhard Weiss

Agents and Computational Autonomy (Potential, Risks, and Solutions (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Nickles, Michael Rovatsos, Gerhard Weiss

£46.25

Model-Driven Architecture in Practice (A Software Production Environment Based on Conceptual Modeling)

By Oscar Pastor, Juan Carlos Molina

Model-Driven Architecture in Practice (A Software Production Environment Based on Conceptual Modeling)

By Oscar Pastor, Juan Carlos Molina

£9.08 Elsewhere ~~£44.99~~ Save £35.91 (80%)

Risk Assessment and Risk-Driven Testing (First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen

Risk Assessment and Risk-Driven Testing (First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen

£36.11

Model Driven Engineering Languages and Systems (9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Oscar M. Nierstrasz, Jon Whittle, David Harel, Gianna Reggio

Model Driven Engineering Languages and Systems (9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Oscar M. Nierstrasz, Jon Whittle, David Harel, Gianna Reggio

£91.50

Conceptual Modeling - ER 2008 (27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Qing Li, Stefano Spaccapietra, Eric S. K. Yu, Antoni Olive

Conceptual Modeling - ER 2008 (27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Qing Li, Stefano Spaccapietra, Eric S. K. Yu, Antoni Olive

£46.30

Software Process Change (International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings (Programming and Software Engineering) (Lecture Note ..)

By Qing Wang, Dietmar Pfahl, David M. Raffo, Paul Wernick

Software Process Change (International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings (Programming and Software Engineering) (Lecture Note ..)

By Qing Wang, Dietmar Pfahl, David M. Raffo, Paul Wernick

£46.23

Engineering Information Systems in the Internet Context (IFIP TC8 / WG8.1 Working Conference on Engineering Information Systems in the Internet Context September 25–27, 2002, Kanazawa, Japan (IFIP Advances in Information and Communication Technology))

By Colette Rolland, Sjaak Brinkkemper, Saeki Motoshi

Engineering Information Systems in the Internet Context (IFIP TC8 / WG8.1 Working Conference on Engineering Information Systems in the Internet Context September 25–27, 2002, Kanazawa, Japan (IFIP Advances in Information and Communication Technology))

By Colette Rolland, Sjaak Brinkkemper, Saeki Motoshi

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Distributed Applications and Interoperable Systems (14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proce)

By Kostas Magoutis, Peter R. Pietzuch

Distributed Applications and Interoperable Systems (14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proce)

By Kostas Magoutis, Peter R. Pietzuch

£47.62

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

£49.74

3

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

£49.27

Electronic Voting (Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings (Security and Cryptology))

By Robert Krimmer, Melanie Volkamer, Veronique Cortier, Rajeev Gore

Electronic Voting (Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings (Security and Cryptology))

By Robert Krimmer, Melanie Volkamer, Veronique Cortier, Rajeev Gore

£46.12

Security and Trust Management (14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Sokratis K. Katsikas, Cristina Alcaraz

Security and Trust Management (14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Sokratis K. Katsikas, Cristina Alcaraz

£46.09

Leveraging Applications of Formal Methods, Verification and Validation. Verification (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes i ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes i ..)

By Tiziana Margaria, Bernhard Steffen

£46.29

Artificial Intelligence and Security (5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV (Security and Cryptology) (Lecture Notes in Computer Science))

By Xingming Sun, Zhaoqing Pan, Elisa Bertino

Artificial Intelligence and Security (5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV (Security and Cryptology) (Lecture Notes in Computer Science))

By Xingming Sun, Zhaoqing Pan, Elisa Bertino

£46.36

Global Computing (IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers: Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Corrado Priami, Paola Quaglia

Global Computing (IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers: Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Corrado Priami, Paola Quaglia

£46.18

COTS-Based Software Systems (4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Dan Port

COTS-Based Software Systems (4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Dan Port

£46.16

Security in Pervasive Computing (Second International Conference, Spc 2005, Boppard, Germany, April 6-8, 2005, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dieter Hutter, Markus Ullmann

Security in Pervasive Computing (Second International Conference, Spc 2005, Boppard, Germany, April 6-8, 2005, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dieter Hutter, Markus Ullmann

£46.35

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

£106

Product Focused Software Process Improvement (6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank Bomarius, Seija Komi-Sirvio

Product Focused Software Process Improvement (6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank Bomarius, Seija Komi-Sirvio

£91.74

View:
Safe Search(?):