A Practical Theory of Reactive Systems (Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series))

By Reino Kurki-Suonio

A Practical Theory of Reactive Systems (Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series))

By Reino Kurki-Suonio

£45.09

Practical Aspects of Declarative Languages (8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Pascal Van Hentenryck

Practical Aspects of Declarative Languages (8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Pascal Van Hentenryck

£45.15

Practical Aspects of Declarative Languages (First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science))

By Gopal Gupta

Practical Aspects of Declarative Languages (First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science))

By Gopal Gupta

£45.05

A Practical Theory of Reactive Systems (Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series))

By Reino Kurki-Suonio

A Practical Theory of Reactive Systems (Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series))

By Reino Kurki-Suonio

£48.52

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

£89.36

Introduction to VLSI Silicon Devices (Physics, Technology and Characterization (The Springer International Series in Engineering and Computer Science))

By Bombard, R. J., El-Kareh, Badih

Introduction to VLSI Silicon Devices (Physics, Technology and Characterization (The Springer International Series in Engineering and Computer Science))

By Bombard, R. J., El-Kareh, Badih

£128

Conductor (Distributed Adaptation for Heterogeneous Networks (Springer International Series in Engineering and Computer Science The))

By Yarvis, Mark D., Popek, Gerald J., Gerald J. Popek

Conductor (Distributed Adaptation for Heterogeneous Networks (Springer International Series in Engineering and Computer Science The))

By Yarvis, Mark D., Popek, Gerald J., Gerald J. Popek

£82.65 Elsewhere ~~£89.99~~ Save £7.34 (8%)

Introduction to VLSI Silicon Devices (Physics, Technology and Characterization (The Springer International Series in Engineering and Computer Science))

By Badih El-Kareh, Richard J. Bombard

Introduction to VLSI Silicon Devices (Physics, Technology and Characterization (The Springer International Series in Engineering and Computer Science))

By Badih El-Kareh, Richard J. Bombard

£120

Formal Methods and Software Engineering (5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science))

By Jin Song Dong, James Woodcock

Formal Methods and Software Engineering (5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Lecture Notes in Computer Science))

By Jin Song Dong, James Woodcock

£88.80

Recent Advances in Parallel Virtual Machine and Message Passing Interface (11th European PVM / MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings (Lecture Notes in Computer Science))

By Dieter Kranzlmuller, Peter Kacsuk, Jack Dongarra

Recent Advances in Parallel Virtual Machine and Message Passing Interface (11th European PVM / MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings (Lecture Notes in Computer Science))

By Dieter Kranzlmuller, Peter Kacsuk, Jack Dongarra

£45.04

Recent Advances in Parallel Virtual Machine and Message Passing Interface (12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Beniamino Di Martino, Dieter Kranzlmuller, Jack Dongarra

Recent Advances in Parallel Virtual Machine and Message Passing Interface (12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Beniamino Di Martino, Dieter Kranzlmuller, Jack Dongarra

£45.11

Logic Programming (18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings (Lecture Notes in Computer Science))

By Peter J. Stuckey

Logic Programming (18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings (Lecture Notes in Computer Science))

By Peter J. Stuckey

£45.06

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

£45.57

Mathematics of Program Construction (375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30, 1989 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan L. A. Van de Snepscheut

Mathematics of Program Construction (375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30, 1989 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan L. A. Van de Snepscheut

£45.60

CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))

By Eike Best

CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))

By Eike Best

£45.10

FME '94: Industrial Benefit of Formal Methods (Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science))

By Maurice Naftalin, Tim Denvir, Miquel Bertran

FME '94: Industrial Benefit of Formal Methods (Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science))

By Maurice Naftalin, Tim Denvir, Miquel Bertran

£88.94

Concur '96, Concurrency Theory (7th International Conference, Pisa, Italy, August 26 - 29, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ugo Montanari, Vladimiro Sassone

Concur '96, Concurrency Theory (7th International Conference, Pisa, Italy, August 26 - 29, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ugo Montanari, Vladimiro Sassone

£88.95

Agent Communication II (International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers (Lecture Notes in Computer Science) (Lecture Notes in Artifi ..)

By Frank Dignum, Rogier van Eijk, Roberto Flores

Agent Communication II (International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers (Lecture Notes in Computer Science) (Lecture Notes in Artifi ..)

By Frank Dignum, Rogier van Eijk, Roberto Flores

£45.02

Declarative Agent Languages and Technologies (7th International Workshop, Dalt 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers: Bk. 7 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd

Declarative Agent Languages and Technologies (7th International Workshop, Dalt 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers: Bk. 7 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd

£45.05

Optimal Enterprise (Structures, Processes and Mathematics of Knowledge, Technology and Human Capital (Complex and Enterprise Systems Engineering))

By Mikhail V. Belov, Dmitry a. Novikov

Optimal Enterprise (Structures, Processes and Mathematics of Knowledge, Technology and Human Capital (Complex and Enterprise Systems Engineering))

By Mikhail V. Belov, Dmitry a. Novikov

£93.25 Elsewhere ~~£105.00~~ Save £11.75 (11%)

Optimal Enterprise (Structures, Processes and Mathematics of Knowledge, Technology and Human Capital (Complex and Enterprise Systems Engineering))

By Mikhail V. Belov, Dmitry a. Novikov

Optimal Enterprise (Structures, Processes and Mathematics of Knowledge, Technology and Human Capital (Complex and Enterprise Systems Engineering))

By Mikhail V. Belov, Dmitry a. Novikov

£42.27 Elsewhere ~~£43.99~~ Save £1.72 (4%)

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

Security and Risk Analysis for Intelligent Cloud Computing (Methods, Applications, and Preventions)

By Ajay Kumar, Sangeeta Rani, Sarita Rathee, Surbhi Bhatia

Security and Risk Analysis for Intelligent Cloud Computing (Methods, Applications, and Preventions)

By Ajay Kumar, Sangeeta Rani, Sarita Rathee, Surbhi Bhatia

£104 Elsewhere ~~£120.00~~ Save £16.00 (13%)

View:
Safe Search(?):