Theory and Applications of Ontology (Computer Applications)

By Dr. Roberto Poli, Michael Healy, Achilles Kameas

Theory and Applications of Ontology (Computer Applications)

By Dr. Roberto Poli, Michael Healy, Achilles Kameas

£128

Quality of Communication-Based Systems

By Gunter Hommel

Quality of Communication-Based Systems

By Gunter Hommel

£40.15

Communication-Based Systems

By Gunter Hommel

Communication-Based Systems

By Gunter Hommel

£40.15

Introduction to the Boost C++ Libraries; Volume II - Advanced Libraries

By Robert Demming, Daniel J

Introduction to the Boost C++ Libraries; Volume II - Advanced Libraries

By Robert Demming, Daniel J

£42.21 Elsewhere ~~£59.00~~ Save £16.79 (28%)

Crisp and Soft Computing with Hypercubical Calculus (New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing (Studies in Fuzziness and Soft Computing))

By Zaus, Michael

Crisp and Soft Computing with Hypercubical Calculus (New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing (Studies in Fuzziness and Soft Computing))

By Zaus, Michael

£128

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, P. H. Schmitt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, P. H. Schmitt

£166 Elsewhere ~~£179.99~~ Save £13.99 (8%)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, P.H. Schmitt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, P.H. Schmitt

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

Theory and Applications of Ontology (Computer Applications)

By Dr. Roberto Poli, Michael Healy, Achilles Kameas

Theory and Applications of Ontology (Computer Applications)

By Dr. Roberto Poli, Michael Healy, Achilles Kameas

£129

Crisp and Soft Computing with Hypercubical Calculus (New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing (Studies in Fuzziness and Soft Computing))

By Zaus, Michael

Crisp and Soft Computing with Hypercubical Calculus (New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing (Studies in Fuzziness and Soft Computing))

By Zaus, Michael

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

Mathematical Software -- ICMS 2014 (4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Hoon Hong, Chee Yap

Mathematical Software -- ICMS 2014 (4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Hoon Hong, Chee Yap

£45.53

CONCUR 2014 – Concurrency Theory (25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Paolo Baldan, University of Roma "La Sapienza"

CONCUR 2014 – Concurrency Theory (25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Paolo Baldan, University of Roma "La Sapienza"

£48.30

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

£48.53

3

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

£47.40

Programming Languages and Systems (25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Lecture Notes ..)

By Peter Thiemann

Programming Languages and Systems (25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Lecture Notes ..)

By Peter Thiemann

£45.56

Graph and Model Transformation (General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series))

By Ehrig, Hartmut, Hermann, Frank, Ulrike Golas, Frank Hermann

Graph and Model Transformation (General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series))

By Ehrig, Hartmut, Hermann, Frank, Ulrike Golas, Frank Hermann

£88.70

Software Specification Methods (An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)))

By Marc Frappier, Henri Habrias

Software Specification Methods (An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)))

By Marc Frappier, Henri Habrias

£88.58

Optimization Using Linear Programming

By J., Metei, A., Veena Jain

Optimization Using Linear Programming

By J., Metei, A., Veena Jain

£48.81 Elsewhere ~~£81.50~~ Save £32.69 (40%)

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

£84.56 Elsewhere ~~£89.00~~ Save £4.44 (5%)

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

£99.90 Elsewhere ~~£107.00~~ Save £7.10 (7%)

Informatics in Schools. Fundamentals of Computer Science and Software Engineering (11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings (Th ..)

By Sergei N. Pozdniakov, Valentina Dagienė

Informatics in Schools. Fundamentals of Computer Science and Software Engineering (11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings (Th ..)

By Sergei N. Pozdniakov, Valentina Dagienė

£44.95

Formal Verification of Floating-Point Hardware Design (A Mathematical Approach)

By David M. Russinoff, J. Strother Moore

Formal Verification of Floating-Point Hardware Design (A Mathematical Approach)

By David M. Russinoff, J. Strother Moore

£69 Elsewhere ~~£74.99~~ Save £5.99 (8%)

Mathematical Foundations of Advanced Informatics (Volume 1: Inductive Approaches)

By Bernhard Steffen, Oliver Rüthing, Michael Huth

Mathematical Foundations of Advanced Informatics (Volume 1: Inductive Approaches)

By Bernhard Steffen, Oliver Rüthing, Michael Huth

£28.23

The Art of Modelling Computational Systems (A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science an ..)

By Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia

The Art of Modelling Computational Systems (A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science an ..)

By Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia

£45.06

From Reactive Systems to Cyber-Physical Systems (Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science))

By Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky

From Reactive Systems to Cyber-Physical Systems (Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Lecture Notes in Computer Science))

By Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky

£45.02

View:
Safe Search(?):