Computer Algebra in Scientific Computing (22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov

Computer Algebra in Scientific Computing (22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov

£88.88

Computer Vision – ACCV 2020 (15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 – December 4, 2020, Revised Selected Papers, Part I (Lecture Notes in Computer Science) (Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Hiroshi Ishikawa, Cheng-Lin Liu, Tomas Pajdla, Jianbo Shi

Computer Vision – ACCV 2020 (15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 – December 4, 2020, Revised Selected Papers, Part I (Lecture Notes in Computer Science) (Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Hiroshi Ishikawa, Cheng-Lin Liu, Tomas Pajdla, Jianbo Shi

£88.94

Virtual Reality and Mixed Reality (19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022, Proceedings (Lecture Notes in Computer Science))

By Gabriel Zachmann, Mariano Alcaniz Raya, Patrick Bourdot, Maud Marchal

Virtual Reality and Mixed Reality (19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022, Proceedings (Lecture Notes in Computer Science))

By Gabriel Zachmann, Mariano Alcaniz Raya, Patrick Bourdot, Maud Marchal

£40.26 Elsewhere ~~£44.99~~ Save £4.73 (11%)

Computer Vision ECCV 2022

£42.63 Elsewhere ~~£44.99~~ Save £2.36 (5%)

Computer Vision ECCV 2022

£78.65 Elsewhere ~~£99.99~~ Save £21.34 (21%)

Advanced Research in Technologies, Information, Innovation and Sustainability (Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I (Communications in Computer and Information)

By Teresa Guarda, Filipe Portela, Maria Fernanda Augusto

Advanced Research in Technologies, Information, Innovation and Sustainability (Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I (Communications in Computer and Information)

By Teresa Guarda, Filipe Portela, Maria Fernanda Augusto

£73.71

Developing a Path to Data Dominance (Strategies for Digital Data-Centric Enterprises (Future of Business and Finance))

By Mukherjee, Arka, Langer, Arthur

Developing a Path to Data Dominance (Strategies for Digital Data-Centric Enterprises (Future of Business and Finance))

By Mukherjee, Arka, Langer, Arthur

£79.19

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XV (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part XV (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

£59.99 Elsewhere ~~£64.99~~ Save £5.00 (8%)

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part IX (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part IX (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

£65.28 Elsewhere ~~£69.99~~ Save £4.71 (7%)

Arduino Adventures (Escape from Gemini Station)

By Floyd Kelly, James, Timmis, Harold

Arduino Adventures (Escape from Gemini Station)

By Floyd Kelly, James, Timmis, Harold

£30.99 Elsewhere ~~£39.99~~ Save £9.00 (23%)

2

Autonome Mobile Systeme 2003 [German] (18. Fachgespr ch Karlsruhe, 4./5. Dezember 2003 (Informatik Aktuell,))

By Rudiger Dillmann, Heinz Worn, Tilo Gockel, Heinz W??rn

Autonome Mobile Systeme 2003 [German] (18. Fachgespr ch Karlsruhe, 4./5. Dezember 2003 (Informatik Aktuell,))

By Rudiger Dillmann, Heinz Worn, Tilo Gockel, Heinz W??rn

£78.22

The Seventeen Provers of the World (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Freek Wiedijk, Dana S. Scott

The Seventeen Provers of the World (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Freek Wiedijk, Dana S. Scott

£40.04 Elsewhere ~~£49.99~~ Save £9.95 (20%)

Genetic Programming (9th European Conference,EUROGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson

Genetic Programming (9th European Conference,EUROGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson

£45.04

Kompendium E-Learning [German] (X.media.press)

By Niegemann, Helmut M., Hessel, Silvia, Dirk Hochscheid-Mauel, Kristina Aslanski

Kompendium E-Learning [German] (X.media.press)

By Niegemann, Helmut M., Hessel, Silvia, Dirk Hochscheid-Mauel, Kristina Aslanski

£69.23

Typed Lambda Calculi and Applications (International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings: International Conference Proceedings on Typed Lambda Calculi and Applications, TC)

By Marc Bezem, Jan F. Groote

Typed Lambda Calculi and Applications (International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings: International Conference Proceedings on Typed Lambda Calculi and Applications, TC)

By Marc Bezem, Jan F. Groote

£45.03

Advanced Educational Technologies for Mathematics and Science (Nato ASI Subseries F:)

By David L. Ferguson

Advanced Educational Technologies for Mathematics and Science (Nato ASI Subseries F:)

By David L. Ferguson

£247

Control Technology in Elementary Education (Proceedings of the NATO Advanced Research Workshop on Control Technology in Elementary Education, Held in Liege, Belgium, November 17-21, 1992 (NATO ASI))

By Brigitte Denis

Control Technology in Elementary Education (Proceedings of the NATO Advanced Research Workshop on Control Technology in Elementary Education, Held in Liege, Belgium, November 17-21, 1992 (NATO ASI))

By Brigitte Denis

£128

Types for Proofs and Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))

By Peter Dybjer, Bengt Nordstrom, Jan Smith

Types for Proofs and Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))

By Peter Dybjer, Bengt Nordstrom, Jan Smith

£45.18

Theorem Proving in Higher Order Logics (10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science))

By Elsa L. Gunter, Amy Felty

Theorem Proving in Higher Order Logics (10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science))

By Elsa L. Gunter, Amy Felty

£45.51

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By John Fitzgerald, Cliff B. Jones, P. Lucas

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intel)

By John Fitzgerald, Cliff B. Jones, P. Lucas

£88.81

Theorem Proving in Higher Order Logics (11th International Conference, TPHOLS '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jim Grundy, Malcolm Newey

Theorem Proving in Higher Order Logics (11th International Conference, TPHOLS '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jim Grundy, Malcolm Newey

£45.66

Types for Proofs and Programs (International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science))

By Eduardo Gimenez, Christine Paulin-Mohring

Types for Proofs and Programs (International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science))

By Eduardo Gimenez, Christine Paulin-Mohring

£45.07

RoboCup-98 (Robot Soccer World Cup II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Minoru Asada, Hiroaki Kitano

RoboCup-98 (Robot Soccer World Cup II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Minoru Asada, Hiroaki Kitano

£45.11

Types for Proofs and Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))

By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus

Types for Proofs and Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))

By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus

£44.99

View:
Safe Search(?):