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

£44.90

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

£45.04

Music Technology with Swing (13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Mitsuko Aramaki, Matthew E. P. Davies, Richard Kronland-Martinet, Solvi Ystad

Music Technology with Swing (13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Mitsuko Aramaki, Matthew E. P. Davies, Richard Kronland-Martinet, Solvi Ystad

£45.09

Multi-Agent Systems and Agreement Technologies (15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers (Lecture Notes in Artificial Intelligence))

By Francesco Belardinelli, Estefania Argente

Multi-Agent Systems and Agreement Technologies (15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers (Lecture Notes in Artificial Intelligence))

By Francesco Belardinelli, Estefania Argente

£45.14

Advances in Bioinformatics and Computational Biology (11th Brazilian Symposium on Bioinformatics, BSB 2018, Niteroi, Brazil, October 30 - November 1, 2018, Proceedings (Lecture Notes in Bioinformatics))

By Ronnie Alves

Advances in Bioinformatics and Computational Biology (11th Brazilian Symposium on Bioinformatics, BSB 2018, Niteroi, Brazil, October 30 - November 1, 2018, Proceedings (Lecture Notes in Bioinformatics))

By Ronnie Alves

£44.91

Information and Communications Security (20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings (Security and Cryptology))

By David Naccache, Shouhuai Xu, Sihan Qing, Pierangela Samarati

Information and Communications Security (20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings (Security and Cryptology))

By David Naccache, Shouhuai Xu, Sihan Qing, Pierangela Samarati

£89.18

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

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

£44.99

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

£44.98

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

£45.01

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

£45.05

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

£42.20 Elsewhere ~~£44.99~~ Save £2.79 (6%)

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

£44.95

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

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

£45.06

Current Trends in Web Engineering (ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Caceres, Spain, June 5, 2018, Revised Selected Papers)

£44.99

Security Protocols XXVI (26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology))

By Vashek Matyas, Petr Svenda, Frank Stajano, Bruce Christianson

Security Protocols XXVI (26th International Workshop, Cambridge, UK, March 19-21, 2018, Revised Selected Papers (Security and Cryptology))

By Vashek Matyas, Petr Svenda, Frank Stajano, Bruce Christianson

£45.02

Advances in Cryptology – ASIACRYPT 2018 (24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I (Security and Cryptology) (Lecture Notes in C ..)

By Thomas Peyrin, Steven Galbraith

Advances in Cryptology – ASIACRYPT 2018 (24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I (Security and Cryptology) (Lecture Notes in C ..)

By Thomas Peyrin, Steven Galbraith

£42.44 Elsewhere ~~£44.99~~ Save £2.55 (6%)

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

£45.82

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

£45.16

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

£45.10

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

£45.12

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

£45.13

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

£45.06

View:
Safe Search(?):