Dependable Software Engineering. Theories, Tools, and Applications (6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings (Programming and Software Engineering))

By Jun Pang, Lijun Zhang

Dependable Software Engineering. Theories, Tools, and Applications (6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings (Programming and Software Engineering))

By Jun Pang, Lijun Zhang

£44.99

Theory and Practice of Parallel Programming (International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994 - Proceedings (Lecture Notes in Computer Science))

By Takayasu Ito, Akinori Yonezawa

Theory and Practice of Parallel Programming (International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994 - Proceedings (Lecture Notes in Computer Science))

By Takayasu Ito, Akinori Yonezawa

£45.06

Models for Parallel and Distributed Computation (Theory, Algorithmic Techniques and Applications (Applied Optimization))

By Ricardo Correa, Ines de Castro Dutra, Mario Fiallos, Luiz Fernando Gomes da Silva

Models for Parallel and Distributed Computation (Theory, Algorithmic Techniques and Applications (Applied Optimization))

By Ricardo Correa, Ines de Castro Dutra, Mario Fiallos, Luiz Fernando Gomes da Silva

£120 Elsewhere ~~£129.99~~ Save £9.99 (8%)

Models for Parallel and Distributed Computation (Theory, Algorithmic Techniques and Applications (Applied Optimization))

By Ricardo Correa, Ines de Castro Dutra, Mario Fiallos, Luiz Fernando Gomes Silva

Models for Parallel and Distributed Computation (Theory, Algorithmic Techniques and Applications (Applied Optimization))

By Ricardo Correa, Ines de Castro Dutra, Mario Fiallos, Luiz Fernando Gomes Silva

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Parallel Processing and Parallel Algorithms (Theory and Computation)

By Seyed H. Roosta

Parallel Processing and Parallel Algorithms (Theory and Computation)

By Seyed H. Roosta

£89.13

Solid Modeling by Computers (From Theory to Applications)

By Mary S. Pickett, John W. Boyse

Solid Modeling by Computers (From Theory to Applications)

By Mary S. Pickett, John W. Boyse

£45.09

Rendezvous in Distributed Systems (Theory, Algorithms and Applications)

By Gu, Zhaoquan, Hua, Qiang-Sheng

Rendezvous in Distributed Systems (Theory, Algorithms and Applications)

By Gu, Zhaoquan, Hua, Qiang-Sheng

£120

Formal Methods and Software Engineering (21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Yamine Ait-Ameur, Shengchao Qin

Formal Methods and Software Engineering (21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Yamine Ait-Ameur, Shengchao Qin

£45.09

Intelligent Tutoring Systems (16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Vivekanandan Kumar, Christos Troussas

Intelligent Tutoring Systems (16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Vivekanandan Kumar, Christos Troussas

£45.04

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

£88.77

Logic-Based Program Synthesis and Transformation (30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Maribel Fernández

Logic-Based Program Synthesis and Transformation (30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Maribel Fernández

£64.77

Inductive Logic Programming (30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Nikos Katzouris, Alexander Artikis

Inductive Logic Programming (30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Nikos Katzouris, Alexander Artikis

£54.86

Automata, Languages and Programming (14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987, Proceeding: v. 267 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Ottmann

Automata, Languages and Programming (14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987, Proceeding: v. 267 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Ottmann

£88.76

Functional Programming Languages and Computer Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Kahn

Functional Programming Languages and Computer Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Kahn

£43.07

Fundamentals of Computation Theory (International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings (Lecture Notes in Computer Science))

By Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

Fundamentals of Computation Theory (International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings (Lecture Notes in Computer Science))

By Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

£45.08

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

£45.70

Concurrency - Theory, Language, and Architecture (UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings (Lecture Notes in Computer Science))

By Akinori Yonezawa, Takayasu Ito

Concurrency - Theory, Language, and Architecture (UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings (Lecture Notes in Computer Science))

By Akinori Yonezawa, Takayasu Ito

£45.08

Concurrency and Parallelism, Programming, Networking and Security (Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joxan Jaffar, Roland H. C. Yap

Concurrency and Parallelism, Programming, Networking and Security (Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joxan Jaffar, Roland H. C. Yap

£45.03

Principles and Practice of Constraint Programming (24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings (Lecture Notes in Computer Science))

By John Hooker

Principles and Practice of Constraint Programming (24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings (Lecture Notes in Computer Science))

By John Hooker

£88.80

Language and Automata Theory and Applications (14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron

Language and Automata Theory and Applications (14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron

£45.07

Numerical Computations (Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Yaroslav D. Sergeyev, Dmitri E. Kvasov

Numerical Computations (Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Yaroslav D. Sergeyev, Dmitri E. Kvasov

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

Theory and Applications of Satisfiability Testing – SAT 2020 (23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Luca Pulina, Martina Seidl

Theory and Applications of Satisfiability Testing – SAT 2020 (23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Luca Pulina, Martina Seidl

£45.10

Advances and Trends in Artificial Intelligence. From Theory to Practice (34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 26–29, 2021, Proceedings ..)

By Hamido Fujita, Ali Selamat, Jerry Chun-Wei Lin, Moonis Ali

Advances and Trends in Artificial Intelligence. From Theory to Practice (34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 26–29, 2021, Proceedings ..)

By Hamido Fujita, Ali Selamat, Jerry Chun-Wei Lin, Moonis Ali

£45.16

Algorithmic Game Theory (14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Ioannis Caragiannis, Kristoffer Arnsfelt Hansen

Algorithmic Game Theory (14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Ioannis Caragiannis, Kristoffer Arnsfelt Hansen

£73.96

View:
Safe Search(?):