Robotics: Engineering the Future (Innovations and Developments in Robotics)

By Reynolds, Sarah

Robotics: Engineering the Future (Innovations and Developments in Robotics)

By Reynolds, Sarah

£11.31

Temporal Logic (Mathematical Foundations and Computational Aspects: Volume II (Oxford Logic Guides))

By Dov M. Gabbay, Mark Reynolds, Marcelo Finger

Temporal Logic (Mathematical Foundations and Computational Aspects: Volume II (Oxford Logic Guides))

By Dov M. Gabbay, Mark Reynolds, Marcelo Finger

£177 Elsewhere ~~£220.00~~ Save £43.00 (20%)

Temporal Logic (Volume 1 (Oxford Logic Guides))

By Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

Temporal Logic (Volume 1 (Oxford Logic Guides))

By Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

£262 Elsewhere ~~£292.50~~ Save £30.50 (10%)

Theories of Programming Languages

By John C. Reynolds

Theories of Programming Languages

By John C. Reynolds

£49.56 Elsewhere ~~£59.99~~ Save £10.43 (17%)

Verified Software. Theories, Tools and Experiments (15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Andrew Reynolds, Serdar Tasiran

Verified Software. Theories, Tools and Experiments (15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Andrew Reynolds, Serdar Tasiran

£42 Elsewhere ~~£44.99~~ Save £2.99 (7%)

Evolutionary Programming VI (6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings (Lecture Notes in Computer Science))

By Peter J. Angeline, Robert G. Reynolds, John R. McDonnell, Richard Eberhart

Evolutionary Programming VI (6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings (Lecture Notes in Computer Science))

By Peter J. Angeline, Robert G. Reynolds, John R. McDonnell, Richard Eberhart

£45.03

Ai 2011: Advances in Artificial Intelligence (24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dianhui Wang, Mark Reynolds

Ai 2011: Advances in Artificial Intelligence (24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dianhui Wang, Mark Reynolds

£45.50

Reductive Logic and Proof-search (Proof Theory, Semantics, and Control (Oxford Logic Guides))

By David J. Pym, Eike Ritter

Reductive Logic and Proof-search (Proof Theory, Semantics, and Control (Oxford Logic Guides))

By David J. Pym, Eike Ritter

£100 Elsewhere ~~£160.00~~ Save £60.00 (38%)

Data Refinement (Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science))

By Willem-Paul de Roever, Kai Engelhardt

Data Refinement (Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science))

By Willem-Paul de Roever, Kai Engelhardt

£42.49 Elsewhere ~~£51.99~~ Save £9.50 (18%)

Data Refinement (Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science))

By W-.P.De Roever, Kai Engelhardt, Willem-Paul de Roever

Data Refinement (Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science))

By W-.P.De Roever, Kai Engelhardt, Willem-Paul de Roever

£82.62 Elsewhere ~~£125.00~~ Save £42.38 (34%)

3

Advances in Temporal Logic (Applied Logic Series)

By H. Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

Advances in Temporal Logic (Applied Logic Series)

By H. Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

£128

Algol-like Languages (Progress in Theoretical Computer Science)

By Peter W. O'Hearn, Robert D. Tennent

Algol-like Languages (Progress in Theoretical Computer Science)

By Peter W. O'Hearn, Robert D. Tennent

£82.63 Elsewhere ~~£89.99~~ Save £7.36 (8%)

Logic Colloquium '90 (Lecture Notes in Logic)

By Juha Oikkonen, Jouko Vaananen

Logic Colloquium '90 (Lecture Notes in Logic)

By Juha Oikkonen, Jouko Vaananen

£69.70 Elsewhere ~~£110.00~~ Save £40.30 (37%)

Mathematical Foundations of Programming Semantics (7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 - Proceedings (Lecture Notes in Computer Science))

By Stephen Brookes, Michael Main, Austin Melton, D. Schmidt

Mathematical Foundations of Programming Semantics (7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 - Proceedings (Lecture Notes in Computer Science))

By Stephen Brookes, Michael Main, Austin Melton, D. Schmidt

£45.06

Mathematical Modeling, Simulation, Visualization and e-Learning (Proceedings of an International Workshop held at Rockefeller Foundation' s Bellagio Conference Center, Milan, Italy, 2006)

By Dialla Konate

Mathematical Modeling, Simulation, Visualization and e-Learning (Proceedings of an International Workshop held at Rockefeller Foundation' s Bellagio Conference Center, Milan, Italy, 2006)

By Dialla Konate

£48.67

High Performance Computing in Science and Engineering ' 07 (Transactions of the High Performance Computing Center, Stuttgart (Hlrs) 2007)

By Wolfgang E. Nagel, Dietmar B. Kroner

High Performance Computing in Science and Engineering ' 07 (Transactions of the High Performance Computing Center, Stuttgart (Hlrs) 2007)

By Wolfgang E. Nagel, Dietmar B. Kroner

£122 Elsewhere ~~£129.99~~ Save £7.99 (6%)

Computational Science and High Performance Computing IV (The 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009 (Notes on Numerical Fluid Mechanics and Multidisciplinary Design))

By Egon Krause, Yurii I. Shokin, Michael M. Resch, Dietmar Kroner

Computational Science and High Performance Computing IV (The 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009 (Notes on Numerical Fluid Mechanics and Multidisciplinary Design))

By Egon Krause, Yurii I. Shokin, Michael M. Resch, Dietmar Kroner

£177

Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012 (Selected Papers from the ICOSAHOM Conference, June 25-29, 2012, Gammarth, Tunisia (Lecture Notes in Computational Science and Engineering))

By Mejdi Azaiez, Jan S. Hesthaven, Henda El Fekih

Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012 (Selected Papers from the ICOSAHOM Conference, June 25-29, 2012, Gammarth, Tunisia (Lecture Notes in Computational Science and Engineering))

By Mejdi Azaiez, Jan S. Hesthaven, Henda El Fekih

£128

Computational Science - ICCS 2018 (18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part III (Theoretical Computer Science and General Issues))

By Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya

Computational Science - ICCS 2018 (18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part III (Theoretical Computer Science and General Issues))

By Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya

£89.18

Semantics of Programming Languages (Structures and Techniques (Foundations of Computing))

By Carl A. Gunter

Semantics of Programming Languages (Structures and Techniques (Foundations of Computing))

By Carl A. Gunter

Currently
Unavailable

Semantics of Programming Languages (Structures and Techniques (Foundations of Computing S.))

By Carl A. Gunter

Semantics of Programming Languages (Structures and Techniques (Foundations of Computing S.))

By Carl A. Gunter

Currently
Unavailable

View:
Safe Search(?):