Computer Security – ESORICS 2020 (25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Security and Cryptology))

By Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

Computer Security – ESORICS 2020 (25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Security and Cryptology))

By Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider

£42.67 Elsewhere ~~£44.99~~ Save £2.32 (5%)

Verification and Evaluation of Computer and Communication Systems (14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu

Verification and Evaluation of Computer and Communication Systems (14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu

£46.20

SOFSEM 2021 (Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings (Lecture Notes in Computer Science))

By Tomas Bures, Riccardo Dondi, Johann Gamper

SOFSEM 2021 (Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings (Lecture Notes in Computer Science))

By Tomas Bures, Riccardo Dondi, Johann Gamper

£91.12

Tests and Proofs (15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frédéric Loulergue, Franz Wotawa

Tests and Proofs (15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frédéric Loulergue, Franz Wotawa

£46.10

Architecture of Computing Systems (34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Christian Hochberger, Lars Bauer, Thilo Pionteck

Architecture of Computing Systems (34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Christian Hochberger, Lars Bauer, Thilo Pionteck

£46.20

Computer Aided Verification (33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alexandra Silva, K. Rustan M. Leino

Computer Aided Verification (33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alexandra Silva, K. Rustan M. Leino

£36.64

Frontiers of Algorithmics (International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jing Chen, Minming Li, Guochuan Zhang

Frontiers of Algorithmics (International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jing Chen, Minming Li, Guochuan Zhang

£46.61 Elsewhere ~~£49.99~~ Save £3.38 (7%)

Guide to Computer Processor Architecture (A RISC-V Approach, with High-Level Synthesis (Undergraduate Topics in Computer Science))

By Bernard Goossens

Guide to Computer Processor Architecture (A RISC-V Approach, with High-Level Synthesis (Undergraduate Topics in Computer Science))

By Bernard Goossens

£41.38 Elsewhere ~~£49.99~~ Save £8.61 (17%)

Applied Computer Sciences in Engineering (9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 – December 2, 2022, Proceedings (Communications in Computer and Information Science))

By Juan Carlos Figueroa-García, Carlos Franco, Yesid Díaz-Gutierrez, Germán Hernández-Pérez

Applied Computer Sciences in Engineering (9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 – December 2, 2022, Proceedings (Communications in Computer and Information Science))

By Juan Carlos Figueroa-García, Carlos Franco, Yesid Díaz-Gutierrez, Germán Hernández-Pérez

£75.99 Elsewhere ~~£79.99~~ Save £4.00 (5%)

Human-Computer Interaction (8th Iberoamerican Workshop, HCI-COLLAB 2022, Havana, Cuba, October 13-15, 2022, Revised Selected Papers (Communications in Computer and Information Science))

By Vanessa Agredo-Delgado, Pablo H. Ruiz, Omar Correa-Madrigal

Human-Computer Interaction (8th Iberoamerican Workshop, HCI-COLLAB 2022, Havana, Cuba, October 13-15, 2022, Revised Selected Papers (Communications in Computer and Information Science))

By Vanessa Agredo-Delgado, Pablo H. Ruiz, Omar Correa-Madrigal

£61.41 Elsewhere ~~£64.99~~ Save £3.58 (6%)

Computer Safety, Reliability, and Security (42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch

Computer Safety, Reliability, and Security (42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch

£51.27 Elsewhere ~~£54.99~~ Save £3.72 (7%)

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Lecture Notes in Computer Science))

By Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Lecture Notes in Computer Science))

By Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy

£59.97 Elsewhere ~~£69.99~~ Save £10.02 (14%)

Exception Handling (Fundamentals and Programming (SpringerBriefs in Computer Science))

By Pedro Mejia Alvarez, Raul E. Gonzalez Torres, Susana Ortega Cisneros

Exception Handling (Fundamentals and Programming (SpringerBriefs in Computer Science))

By Pedro Mejia Alvarez, Raul E. Gonzalez Torres, Susana Ortega Cisneros

£36.97 Elsewhere ~~£44.99~~ Save £8.02 (18%)

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

£46.73

Testing Commercial-off-the-Shelf Components and Systems

By Sami Beydeda, Volker Gruhn

Testing Commercial-off-the-Shelf Components and Systems

By Sami Beydeda, Volker Gruhn

£91.69

Computer Aided Verification (16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science))

By Rajeev Alur, Doron A. Peled

Computer Aided Verification (16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science))

By Rajeev Alur, Doron A. Peled

£91.69

Computer Safety, Reliability, and Security (23rd International Conference, Safecomp 2004, Potsdam, Germany, September 21-24,2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann

Computer Safety, Reliability, and Security (23rd International Conference, Safecomp 2004, Potsdam, Germany, September 21-24,2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann

£46.22

Computer and Information Sciences - ISCIS 2004 (19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004, Proceedings (Lecture Notes in Computer Science))

By Cevdet Aykanat, Tugrul Dayar, Ibrahim Korpeoglu

Computer and Information Sciences - ISCIS 2004 (19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004, Proceedings (Lecture Notes in Computer Science))

By Cevdet Aykanat, Tugrul Dayar, Ibrahim Korpeoglu

£146

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

£46.22

Sdl 2005 - Model Driven (12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Andreas Prinz, Rick Reed, Jeanne Reed

Sdl 2005 - Model Driven (12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Andreas Prinz, Rick Reed, Jeanne Reed

£46.73

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

£91.72

Computer Safety, Reliability, and Security (24th International Conference, Safecomp 2005, Fredrickstad, Norway, September 28-30, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rune Winther, Bjoern Axel Gran, Gustav Dahll

Computer Safety, Reliability, and Security (24th International Conference, Safecomp 2005, Fredrickstad, Norway, September 28-30, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rune Winther, Bjoern Axel Gran, Gustav Dahll

£46.78

View:
Safe Search(?):