Interactive Systems (Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics))

By Fabio Paterno

Interactive Systems (Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics))

By Fabio Paterno

£45.06

Rules and Rule Markup Languages for the Semantic Web (Third International Workshop, Ruleml 2004, Hiroshima, Japan, November 8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Grigoris Antoniou, Harold Boley

Rules and Rule Markup Languages for the Semantic Web (Third International Workshop, Ruleml 2004, Hiroshima, Japan, November 8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Grigoris Antoniou, Harold Boley

£45.19

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

£88.74

Languages and Compilers for Parallel Computing (5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings: 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings (Lecture Notes in Computer Scien)

By Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua

Languages and Compilers for Parallel Computing (5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings: 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings (Lecture Notes in Computer Scien)

By Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua

£45.15

Language and Automata Theory and Applications (4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu

Language and Automata Theory and Applications (4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu

£96.93

Navigation Design and Seo for Content-Intensive Websites (A Guide for an Efficient Digital Communication)

By Perez-Montoro, Mario (Professor, Department of Information Scien, Codina, Lluis (Professor, Universitat Pompeu Fabra, Barcelona, S

Navigation Design and Seo for Content-Intensive Websites (A Guide for an Efficient Digital Communication)

By Perez-Montoro, Mario (Professor, Department of Information Scien, Codina, Lluis (Professor, Universitat Pompeu Fabra, Barcelona, S

£48.50 Elsewhere ~~£54.99~~ Save £6.49 (12%)

VLSI Algorithms and Architectures (3rd Aegean Workshop on Computing, Awoc 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings (Disorders of Human Learning, Behavior, and Communication))

By John H. Reif

VLSI Algorithms and Architectures (3rd Aegean Workshop on Computing, Awoc 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings (Disorders of Human Learning, Behavior, and Communication))

By John H. Reif

£88.70

VLSI CAD Tools and Applications (The Springer International Series in Engineering and Computer Science)

By Wolfgang Fichtner, Martin Morf

VLSI CAD Tools and Applications (The Springer International Series in Engineering and Computer Science)

By Wolfgang Fichtner, Martin Morf

£45.14

Stack Frames (A Look from Inside: 2016)

By Di Cataldo, Giuseppe

Stack Frames (A Look from Inside: 2016)

By Di Cataldo, Giuseppe

£34.34

Recent Trends in Computational Sciences (Proceedings of the Fourth Annual International Conference on Data Science, Machine Learning and Blockchain Technology (AICDMB 2023), Mysuru, India, 16-17 March 2023)

By Gururaj H L, Pooja M R, Francesco Flammini

Recent Trends in Computational Sciences (Proceedings of the Fourth Annual International Conference on Data Science, Machine Learning and Blockchain Technology (AICDMB 2023), Mysuru, India, 16-17 March 2023)

By Gururaj H L, Pooja M R, Francesco Flammini

£93.95 Elsewhere ~~£105.00~~ Save £11.05 (11%)

The Essential George Boole (Logic, Love and Legacy)

By Des Machale, Yvonne Cohen

The Essential George Boole (Logic, Love and Legacy)

By Des Machale, Yvonne Cohen

£14.43 Elsewhere ~~£15.99~~ Save £1.56 (10%)

Theorem Proving in Higher Order Logics

By David Basin, Burkhart Wolff

Theorem Proving in Higher Order Logics

By David Basin, Burkhart Wolff

£37.53 Elsewhere ~~£39.99~~ Save £2.46 (6%)

Introduction to Digital Systems Design

By Donzellini, Giuliano, Anguita, Davide, Domenico Ponta

Introduction to Digital Systems Design

By Donzellini, Giuliano, Anguita, Davide, Domenico Ponta

£54.97

Introduction to Microprocessor-Based Systems Design

By Giuliano Donzellini, Andrea Mattia Garavagno, Luca Oneto

Introduction to Microprocessor-Based Systems Design

By Giuliano Donzellini, Andrea Mattia Garavagno, Luca Oneto

£88.96 Elsewhere ~~£99.99~~ Save £11.03 (11%)

Introduction to Microprocessor-Based Systems Design

By Giuliano Donzellini, Andrea Mattia Garavagno, Luca Oneto

Introduction to Microprocessor-Based Systems Design

By Giuliano Donzellini, Andrea Mattia Garavagno, Luca Oneto

£55.02 Elsewhere ~~£69.99~~ Save £14.97 (21%)

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

£45.14

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

£100

Recent Trends in Algebraic Development Techniques (16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Recent Trends in Algebraic Development Techniques (16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Dirk Pattinson, Rolf Hennicker

£45.04

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

£89.46

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

£45.01

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

£45.16

Logic Based Program Synthesis and Transformation (13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Maurice Bruynooghe

Logic Based Program Synthesis and Transformation (13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Maurice Bruynooghe

£45.15

Programming Multi-Agent Systems (Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers (Lecture Notes in Artificial Intelligence))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal EL Fallah-Seghrouchni

Programming Multi-Agent Systems (Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers (Lecture Notes in Artificial Intelligence))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal EL Fallah-Seghrouchni

£45.18

Formal Methods and Software Engineering (7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Kung-Kiu Lau, Richard Branach

Formal Methods and Software Engineering (7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Kung-Kiu Lau, Richard Branach

£45.68

View:
Safe Search(?):