Inconsistency Tolerance (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

By Leopoldo Bertossi, Anthony Hunter, Torsten Schaub

Inconsistency Tolerance (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

By Leopoldo Bertossi, Anthony Hunter, Torsten Schaub

£46.36

Transactions on Computational Science II (Transactions on Computational Science)

By Marina Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao

Transactions on Computational Science II (Transactions on Computational Science)

By Marina Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao

£46.22

Computational Science and Its Applications -- ICCSA 2012 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

By Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah

Computational Science and Its Applications -- ICCSA 2012 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

By Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah

£46.70

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

£46.14

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

Provable Security (12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Joonsang Baek, Willy Susilo, Jongkil Kim

Provable Security (12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Joonsang Baek, Willy Susilo, Jongkil Kim

£46.22

Computer Performance Engineering (15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb

Computer Performance Engineering (15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb

£46.17

Formal Methods and Software Engineering (20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jing Sun, Meng Sun

Formal Methods and Software Engineering (20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jing Sun, Meng Sun

£46.16

Privacy Technologies and Policy (6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers (Lecture Notes in Computer Science))

By Manel Medina, Andreas Mitrakas, Kai Rannenberg, Erich Schweighofer

Privacy Technologies and Policy (6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers (Lecture Notes in Computer Science))

By Manel Medina, Andreas Mitrakas, Kai Rannenberg, Erich Schweighofer

£46.19

Cryptology and Network Security (16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers (Lecture Notes in Computer Science) (Security and Cryptology))

By Srdjan Capkun, Sherman S. M. Chow

Cryptology and Network Security (16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers (Lecture Notes in Computer Science) (Security and Cryptology))

By Srdjan Capkun, Sherman S. M. Chow

£46.22

On the Move to Meaningful Internet Systems. OTM 2018 Conferences (Confederated International Conferences: CoopIS, C & TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II (Lecture Notes in Computer Science) (Programming and S ..)

By Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna

On the Move to Meaningful Internet Systems. OTM 2018 Conferences (Confederated International Conferences: CoopIS, C & TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II (Lecture Notes in Computer Science) (Programming and S ..)

By Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna

£43.42

Internet and Distributed Computing Systems (11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Yang Xiang, Jingtao Sun, Giancarlo Fortino, Antonio Guerrieri

Internet and Distributed Computing Systems (11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Yang Xiang, Jingtao Sun, Giancarlo Fortino, Antonio Guerrieri

£46.13

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ė

£46.13

Engineering Trustworthy Software Systems (Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Engineering Trustworthy Software Systems (Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jonathan P. Bowen, Zhiming Liu, Zili Zhang

£46.24

Pattern Recognition and Computer Vision (First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III (Lecture Notes in Computer Science))

By Jian-Huang Lai, Cheng-Lin Liu, Xilin Chen, Jie Zhou

Pattern Recognition and Computer Vision (First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III (Lecture Notes in Computer Science))

By Jian-Huang Lai, Cheng-Lin Liu, Xilin Chen, Jie Zhou

£46.98

Leveraging Applications of Formal Methods, Verification and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

£46.34

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.28

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

By Tiziana Margaria, Bernhard Steffen

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

By Tiziana Margaria, Bernhard Steffen

£46.29

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

By Tiziana Margaria, Bernhard Steffen

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

By Tiziana Margaria, Bernhard Steffen

£46.29

Verified Software. Theories, Tools, and Experiments (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ruzica Piskac, Philipp Rümmer

Verified Software. Theories, Tools, and Experiments (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ruzica Piskac, Philipp Rümmer

£46.23

Service-Oriented Computing (16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Claus Pahl, Maja Vukovic, Jianwei Yin, Qi Yu

Service-Oriented Computing (16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Claus Pahl, Maja Vukovic, Jianwei Yin, Qi Yu

£91.55

Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))

By Christian Colombo, Martin Leucker

Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))

By Christian Colombo, Martin Leucker

£66.53

Emerging Technologies for Authorization and Authentication (First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings (Lecture Notes in Computer Science))

By Andrea Saracino, Paolo Mori

Emerging Technologies for Authorization and Authentication (First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings (Lecture Notes in Computer Science))

By Andrea Saracino, Paolo Mori

£46.14

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.20

View:
Safe Search(?):