Formal Approaches to Agent-Based Systems (First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana R. Gordon

Formal Approaches to Agent-Based Systems (First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana R. Gordon

£45.86

Types for Proofs and Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))

By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack

Types for Proofs and Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))

By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack

£45.17

FSTTCS 2006 (Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings (Lecture Notes in Computer Science))

By S. Arun-Kumar, Naveen Garg

FSTTCS 2006 (Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings (Lecture Notes in Computer Science))

By S. Arun-Kumar, Naveen Garg

£45.06

Extensions of the UNITY Methodology (Compositionality, Fairness and Probability in Parallelism (Lecture Notes in Computer Science))

By Rao, Josyula R.

Extensions of the UNITY Methodology (Compositionality, Fairness and Probability in Parallelism (Lecture Notes in Computer Science))

By Rao, Josyula R.

£44.98

Advances in Computing Science - ASIAN'99 (5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings: ASIAN '99 - 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings (Lecture Notes in)

By P. S. Thiagarajan, Roland Yap

Advances in Computing Science - ASIAN'99 (5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings: ASIAN '99 - 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings (Lecture Notes in)

By P. S. Thiagarajan, Roland Yap

£45.03

Intelligent Agents: 6th International Workshop, Atal'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings (v. 6: Agent Theories, Architectures, and Languages (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nicolas R. Jennings, Yves Lesperance

Intelligent Agents: 6th International Workshop, Atal'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings (v. 6: Agent Theories, Architectures, and Languages (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nicolas R. Jennings, Yves Lesperance

£45.56

Tools and Algorithms for the Construction and Analysis of Systems (14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceed)

By C. R. Ramakrishnan, Jakob Rehof

Tools and Algorithms for the Construction and Analysis of Systems (14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceed)

By C. R. Ramakrishnan, Jakob Rehof

£53.87

The Incomputable (Journeys Beyond the Turing Barrier: 2017 (Theory and Applications of Computability))

By S. Barry Cooper, Mariya I. Soskova

The Incomputable (Journeys Beyond the Turing Barrier: 2017 (Theory and Applications of Computability))

By S. Barry Cooper, Mariya I. Soskova

£110

Electromigration Inside Logic Cells (Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS)

By Posser, Gracieli, Sapatnekar, Sachin S.

Electromigration Inside Logic Cells (Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS)

By Posser, Gracieli, Sapatnekar, Sachin S.

£46.36

Beyond-CMOS Technologies for Next Generation Computer Design

By Rasit O. Topaloglu, H.-S. Philip Wong

Beyond-CMOS Technologies for Next Generation Computer Design

By Rasit O. Topaloglu, H.-S. Philip Wong

£108

The TOGAF (R) Standard, Version 9.2

By Van Haren Publishing

The TOGAF (R) Standard, Version 9.2

By Van Haren Publishing

£101

Distributed Shared Memory (Concepts and Systems)

By Jelica Protic, Milo Tomasevic, Veljko Milutinovic

Distributed Shared Memory (Concepts and Systems)

By Jelica Protic, Milo Tomasevic, Veljko Milutinovic

£89.59 Elsewhere ~~£116.95~~ Save £27.36 (23%)

Signals and Systems (A Primer with Matlab(r))

By Matthew N. O. Sadiku, Warsame Hassan Ali, Sarhan M. Musa

Signals and Systems (A Primer with Matlab(r))

By Matthew N. O. Sadiku, Warsame Hassan Ali, Sarhan M. Musa

£72.73 Elsewhere ~~£81.99~~ Save £9.26 (11%)

Goldman, R (Dual Quaternions and Their Associated Clifford A)

By Goldman, Ronald (Rice University, Houston, Texas, USA Rice Unive

Goldman, R (Dual Quaternions and Their Associated Clifford A)

By Goldman, Ronald (Rice University, Houston, Texas, USA Rice Unive

£105 Elsewhere ~~£150.00~~ Save £45.00 (30%)

From Street-Smart to Web-Wise(r) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 1))

By Al Marcella, Brian Moore, Madeline Parisi

From Street-Smart to Web-Wise(r) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 1))

By Al Marcella, Brian Moore, Madeline Parisi

£91.15 Elsewhere ~~£110.00~~ Save £18.85 (17%)

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 2))

By Al Marcella, Brian Moore, Madeline Parisi

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 2))

By Al Marcella, Brian Moore, Madeline Parisi

£89.97 Elsewhere ~~£110.00~~ Save £20.03 (18%)

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 3))

By Al Marcella, Brian Moore, Madeline Parisi

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 3))

By Al Marcella, Brian Moore, Madeline Parisi

£118 Elsewhere ~~£130.00~~ Save £12.00 (9%)

From Street-Smart to Web-Wise(r) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 1))

By Al Marcella, Brian Moore, Madeline Parisi

From Street-Smart to Web-Wise(r) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 1))

By Al Marcella, Brian Moore, Madeline Parisi

£40.96 Elsewhere ~~£44.99~~ Save £4.03 (9%)

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 2))

By Al Marcella, Brian Moore, Madeline Parisi

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 2))

By Al Marcella, Brian Moore, Madeline Parisi

£42.52 Elsewhere ~~£44.99~~ Save £2.47 (5%)

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 3))

By Al Marcella, Brian Moore, Madeline Parisi

From Street-smart to Web-wise(R) (A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 3))

By Al Marcella, Brian Moore, Madeline Parisi

£48.16

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops (ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings (Lecture Not ..)

By Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops (ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings (Lecture Not ..)

By Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo

£89.15

Constructive Methods in Computing Science (International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:))

By F. L. Bauer, M. Broy, E. W. Dijkstra, C.A. Hoare

Constructive Methods in Computing Science (International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:))

By F. L. Bauer, M. Broy, E. W. Dijkstra, C.A. Hoare

£88.74

Logic of Programming and Calculi of Discrete Design (International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:))

By Manfred Broy, F. L. Bauer, M.- Broy, E.W. Dijkstra

Logic of Programming and Calculi of Discrete Design (International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:))

By Manfred Broy, F. L. Bauer, M.- Broy, E.W. Dijkstra

£53.67

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J. A. Robinson, J. Siekmann

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J. A. Robinson, J. Siekmann

£243 Elsewhere ~~£390.00~~ Save £147.00 (38%)

View:
Safe Search(?):