Embedded Computer Systems (Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Alex Orailoglu, Matthias Jung, Marc Reichenbach

Embedded Computer Systems (Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Alex Orailoglu, Matthias Jung, Marc Reichenbach

£45.07

Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation (20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14–16, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Denis Cavallucci, Stelian Brad, Pavel Livotov

Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation (20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14–16, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Denis Cavallucci, Stelian Brad, Pavel Livotov

£88.77

Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation (20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14–16, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Denis Cavallucci, Stelian Brad, Pavel Livotov

Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation (20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14–16, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Denis Cavallucci, Stelian Brad, Pavel Livotov

£89.95

Logic, Language, and Security (Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues))

By Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman

Logic, Language, and Security (Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues))

By Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman

£54.88

Guide to Web Development with Java (Understanding Website Creation (Texts in Computer Science))

By Downey, Tim

Guide to Web Development with Java (Understanding Website Creation (Texts in Computer Science))

By Downey, Tim

£59.99

Boosting Collaborative Networks 4.0 (21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Angel Ortiz

Boosting Collaborative Networks 4.0 (21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Angel Ortiz

£130

Boosting Collaborative Networks 4.0 (21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23-25, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Angel Ortiz

Boosting Collaborative Networks 4.0 (21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23-25, 2020, Proceedings (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Angel Ortiz

£128

Conceptual Modeling (39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle

Conceptual Modeling (39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle

£45.19

Provable and Practical Security (14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang

Provable and Practical Security (14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang

£45.05

Product Lifecycle Management Enabling Smart X (17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5–8, 2020, Revised Selected Papers (IFIP Advances in Information and Communication Technology))

By Felix Nyffenegger, José Ríos, Louis Rivest

Product Lifecycle Management Enabling Smart X (17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5–8, 2020, Revised Selected Papers (IFIP Advances in Information and Communication Technology))

By Felix Nyffenegger, José Ríos, Louis Rivest

£128

Product Lifecycle Management Enabling Smart X (17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5-8, 2020, Revised Selected Papers (IFIP Advances in Information and Communication Technology))

By Felix Nyffenegger, Jose Rios, Louis Rivest, Abdelaziz Bouras

Product Lifecycle Management Enabling Smart X (17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5-8, 2020, Revised Selected Papers (IFIP Advances in Information and Communication Technology))

By Felix Nyffenegger, Jose Rios, Louis Rivest, Abdelaziz Bouras

£130

Job Scheduling Strategies for Parallel Processing (23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Dalibor Klusáček, Walfredo Cirne, Narayan Desai

Job Scheduling Strategies for Parallel Processing (23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Dalibor Klusáček, Walfredo Cirne, Narayan Desai

£44.96

Techniques for Searching, Parsing, and Matching

By Pettorossi, Alberto

Techniques for Searching, Parsing, and Matching

By Pettorossi, Alberto

£78.93

Techniques for Searching, Parsing, and Matching

By Pettorossi, Alberto

Techniques for Searching, Parsing, and Matching

By Pettorossi, Alberto

£54.95

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI (17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers (Communica ..)

By Jeffrey Nichols, Becky Verastegui, Arthur ‘Barney’ Maccabe, Oscar Hernandez

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI (17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers (Communica ..)

By Jeffrey Nichols, Becky Verastegui, Arthur ‘Barney’ Maccabe, Oscar Hernandez

£108

Integrated Formal Methods (16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Brijesh Dongol, Elena Troubitsyna

Integrated Formal Methods (16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Brijesh Dongol, Elena Troubitsyna

£45.05

Formal Methods (Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Gustavo Carvalho, Volker Stolz

Formal Methods (Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Gustavo Carvalho, Volker Stolz

£54.88

Embedded Software Timing (Methodology, Analysis and Practical Tips with a Focus on Automotive)

By Gliwa, Peter

Embedded Software Timing (Methodology, Analysis and Practical Tips with a Focus on Automotive)

By Gliwa, Peter

£78.92 Elsewhere ~~£89.99~~ Save £11.07 (12%)

Product-Focused Software Process Improvement (21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maurizio Morisio, Marco Torchiano, Andreas Jedlitschka

Product-Focused Software Process Improvement (21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maurizio Morisio, Marco Torchiano, Andreas Jedlitschka

£45.05

Human-Centered Software Engineering (8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Regina Bernhaupt, Carmelo Ardito, Stefan Sauer

Human-Centered Software Engineering (8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Regina Bernhaupt, Carmelo Ardito, Stefan Sauer

£45.02

Theoretical Aspects of Computing – ICTAC 2020 (17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Violet Ka I Pun, Volker Stolz, Adenilso Simao

Theoretical Aspects of Computing – ICTAC 2020 (17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Violet Ka I Pun, Volker Stolz, Adenilso Simao

£45.04

Computer Security (ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers (Security and Cryptology) (Lecture Notes in Computer Science))

By Sokratis Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis

Computer Security (ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers (Security and Cryptology) (Lecture Notes in Computer Science))

By Sokratis Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis

£45.03

Deductive Software Verification (Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle

Deductive Software Verification (Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle

£45.02

Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))

By Bruno C. d. S. Oliveira

Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))

By Bruno C. d. S. Oliveira

£44.99

View:
Safe Search(?):