Internet and Distributed Computing Systems (10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Giancarlo Fortino, A.B.M. Shawkat Ali, Mukaddim Pathan, Antonio Guerrieri

Internet and Distributed Computing Systems (10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Giancarlo Fortino, A.B.M. Shawkat Ali, Mukaddim Pathan, Antonio Guerrieri

£45.95

Activity Monitoring by Multiple Distributed Sensing (Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers (Lecture Notes in Computer Science))

By Pier Luigi Mazzeo, Paolo Spagnolo, Thomas B. Moeslund

Activity Monitoring by Multiple Distributed Sensing (Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers (Lecture Notes in Computer Science))

By Pier Luigi Mazzeo, Paolo Spagnolo, Thomas B. Moeslund

£35.06

Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))

By Alessandro Ricci, Philipp Haller

Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))

By Alessandro Ricci, Philipp Haller

£45.99

Formal Aspects of Component Software (15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering))

By Kyungmin Bae, Peter Csaba OElveczky

Formal Aspects of Component Software (15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering))

By Kyungmin Bae, Peter Csaba OElveczky

£45.02

Informatics in Schools. Fundamentals of Computer Science and Software Engineering (11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings (Th ..)

By Sergei N. Pozdniakov, Valentina Dagienė

Informatics in Schools. Fundamentals of Computer Science and Software Engineering (11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings (Th ..)

By Sergei N. Pozdniakov, Valentina Dagienė

£44.95

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity (5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Swaroop Pophale, Neena Imam, Ferrol Aderholdt, Manjunath Gorentla Venkata

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity (5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Swaroop Pophale, Neena Imam, Ferrol Aderholdt, Manjunath Gorentla Venkata

£46.07

Software Architecture for Business

By Khalid, Lina

Software Architecture for Business

By Khalid, Lina

£86.48 Elsewhere ~~£89.99~~ Save £3.51 (4%)

Models, Mindsets, Meta (The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues))

By Tiziana Margaria, Susanne Graf, Kim G. Larsen

Models, Mindsets, Meta (The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues))

By Tiziana Margaria, Susanne Graf, Kim G. Larsen

£45.03

Reuse in the Big Data Era (18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings (Programming and Software Engineering))

By Xin Peng, Apostolos Ampatzolgou, Tanmay Bhowmik

Reuse in the Big Data Era (18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings (Programming and Software Engineering))

By Xin Peng, Apostolos Ampatzolgou, Tanmay Bhowmik

£45.04

Progress in Cryptology - AFRICACRYPT 2019 (11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9-11, 2019, Proceedings (Security and Cryptology))

By Johannes Buchmann, Abderrahmane Nitaj, Tajjeeddine Rachidi

Progress in Cryptology - AFRICACRYPT 2019 (11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9-11, 2019, Proceedings (Security and Cryptology))

By Johannes Buchmann, Abderrahmane Nitaj, Tajjeeddine Rachidi

£45.07

The French School of Programming

By Bertrand Meyer

The French School of Programming

By Bertrand Meyer

£150 Elsewhere ~~£179.99~~ Save £29.99 (17%)

Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

£45.12

Biometrics in the New World (The Cloud, Mobile Technology and Pervasive Identity)

By Ashbourn, Julian

Biometrics in the New World (The Cloud, Mobile Technology and Pervasive Identity)

By Ashbourn, Julian

£45.03

Software Engineering and Formal Methods (SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering))

By Steve Counsell, Manuel Nunez

Software Engineering and Formal Methods (SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering))

By Steve Counsell, Manuel Nunez

£47.54

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

£35.18

Integrated Formal Methods (11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Elvira Albert, Emil Sekerinski

Integrated Formal Methods (11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Elvira Albert, Emil Sekerinski

£47.27

Service-Oriented Computing (15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings (Programming and Software Engineering))

By Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol

Service-Oriented Computing (15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings (Programming and Software Engineering))

By Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol

£89.15

Human-Computer Interaction. Interaction in Context (20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By Masaaki Kurosu

Human-Computer Interaction. Interaction in Context (20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By Masaaki Kurosu

£79.15

Social, Cultural, and Behavioral Modeling (11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Robert Thomson, Christopher Dancy, Ayaz Hyder, Halil Bisgin

Social, Cultural, and Behavioral Modeling (11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Robert Thomson, Christopher Dancy, Ayaz Hyder, Halil Bisgin

£45.04

Business Process Management (16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings (Lecture Notes in Computer Science))

By Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke

Business Process Management (16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings (Lecture Notes in Computer Science))

By Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke

£45.12

Handbook of Model Checking

By Edmund M. Clarke, Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

Handbook of Model Checking

By Edmund M. Clarke, Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

Currently
Unavailable

A Beginner's Guide to Scala, Object Orientation and Functional Programming

By St. John Hunt

A Beginner's Guide to Scala, Object Orientation and Functional Programming

By St. John Hunt

Currently
Unavailable

The Handbook of Formal Methods in Human-Computer Interaction (Human-Computer Interaction Series)

By Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque

The Handbook of Formal Methods in Human-Computer Interaction (Human-Computer Interaction Series)

By Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque

Currently
Unavailable

Requirements Engineering

By Jeremy Dick, Elizabeth Hull, Ken Jackson

Requirements Engineering

By Jeremy Dick, Elizabeth Hull, Ken Jackson

Currently
Unavailable

View:
Safe Search(?):