Smart Cities (Blockchain, AI, and Advanced Computing)

By Bhisham Sharma, Manik Gupta, Gwanggil Jeon

Smart Cities (Blockchain, AI, and Advanced Computing)

By Bhisham Sharma, Manik Gupta, Gwanggil Jeon

£96.95 Elsewhere ~~£110.00~~ Save £13.05 (12%)

Fundamentals of Artificial Intelligence (An Advanced Course (Springer Study Edition))

By Wolfgang Bibel

Fundamentals of Artificial Intelligence (An Advanced Course (Springer Study Edition))

By Wolfgang Bibel

£46.24

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 (Advances, Standards, Applications and Perspectives)

By Sebastien Gerard, Mireille Blay-Fornarino, Joel Champeau, Sylvain Robert

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 (Advances, Standards, Applications and Perspectives)

By Sebastien Gerard, Mireille Blay-Fornarino, Joel Champeau, Sylvain Robert

£138

Principles and Practice of Constraint Programming (25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings (Lecture Notes in Computer Science))

By Thomas Schiex, Simon de Givry

Principles and Practice of Constraint Programming (25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings (Lecture Notes in Computer Science))

By Thomas Schiex, Simon de Givry

£46.74

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

£46.83

Object-oriented Technology - ECOOP 2002 Workshop Reader (ECOOP 2002 Workshops and Posters, Malaga, Spain, June 10-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Juan Hernandez, Ana Moreira

Object-oriented Technology - ECOOP 2002 Workshop Reader (ECOOP 2002 Workshops and Posters, Malaga, Spain, June 10-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Juan Hernandez, Ana Moreira

£46.33

Implementation and Application of Automata (6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers (Lecture Notes in Computer Science))

By Bruce Watson, Derek Wood

Implementation and Application of Automata (6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers (Lecture Notes in Computer Science))

By Bruce Watson, Derek Wood

£46.37

Theoretical Computer Science (5th Gi-conference Karlsruhe, March 23-25, 1981: v. 104 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By P. Deussen

Theoretical Computer Science (5th Gi-conference Karlsruhe, March 23-25, 1981: v. 104 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By P. Deussen

£46.22

CAAP '83, Trees in Algebra and Programming (8th Colloquium L'Aquila, March 9-11, 1983, Proceedings: v. 159 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, M. Protasi

CAAP '83, Trees in Algebra and Programming (8th Colloquium L'Aquila, March 9-11, 1983, Proceedings: v. 159 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, M. Protasi

£46.20

Fundamentals of Artificial Intelligence (An Advanced Course (Lecture Notes in Computer Science))

By Bibel, Wolfgang, Biermann, A. W., Philippe Jorrand, G. Huet

Fundamentals of Artificial Intelligence (An Advanced Course (Lecture Notes in Computer Science))

By Bibel, Wolfgang, Biermann, A. W., Philippe Jorrand, G. Huet

£46.21

Principles and Practice of Constraint Programming - CP 2003 (9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings (Lecture Notes in Computer Science))

By Francesca Rossi

Principles and Practice of Constraint Programming - CP 2003 (9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings (Lecture Notes in Computer Science))

By Francesca Rossi

£103

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Ludovic Henrio, Luca Cardelli

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Ludovic Henrio, Luca Cardelli

£91.63

STACS 2004 (21st Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany,March 25-27, 2004 : Proceedings (Lecture Notes in Computer Science))

By Volker Diekert, Michel Habib

STACS 2004 (21st Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany,March 25-27, 2004 : Proceedings (Lecture Notes in Computer Science))

By Volker Diekert, Michel Habib

£91.14

Functional and Logic Programming (7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science))

By Yukiyoshi Kameyama, Peter J. Stuckey

Functional and Logic Programming (7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science))

By Yukiyoshi Kameyama, Peter J. Stuckey

£46.19

Abstract State Machines 2004. Advances in Theory and Practice (11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004, Proceedings: 2004 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolf Zimmermann, Bernhard Thalheim

Abstract State Machines 2004. Advances in Theory and Practice (11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004, Proceedings: 2004 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolf Zimmermann, Bernhard Thalheim

£46.35

Implementation and Application of Automata (9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu

Implementation and Application of Automata (9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu

£46.70

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

£46.72

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

£91.64

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

£91.66

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

Programs as Data Objects (Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Olivier Danvy, Andrzej Filinski

£46.11

Recent Trends in Algebraic Development Techniques (15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maura Cerioli, Gianna Reggio

Recent Trends in Algebraic Development Techniques (15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maura Cerioli, Gianna Reggio

£46.71

Logic Based Program Synthesis and Transformation (11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers (Lecture Notes in Computer Science))

By Alberto Pettorossi

Logic Based Program Synthesis and Transformation (11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers (Lecture Notes in Computer Science))

By Alberto Pettorossi

£46.33

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

£91.94

View:
Safe Search(?):