Knowledge Based Computer Systems (International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Srinivasan Ramani, R. Chandrasekar, K. S. R. Anjaneyulu

Knowledge Based Computer Systems (International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Srinivasan Ramani, R. Chandrasekar, K. S. R. Anjaneyulu

£45.10

Scientific Applications of Grid Computing (First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Pilar Herrero Martin, Maria S. Perez, Victor Robles

Scientific Applications of Grid Computing (First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Pilar Herrero Martin, Maria S. Perez, Victor Robles

£44.99

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

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

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

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

Arkitektura E Kompjuterave [Albanian] (Computer Architecture and Organization)

By Agim Cami

Arkitektura E Kompjuterave [Albanian] (Computer Architecture and Organization)

By Agim Cami

£18.36

Collaborative Business Ecosystems and Virtual Enterprises (IFIP TC5 / WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE’02) May 1–3, 2002, Sesimbra, Portugal (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos

Collaborative Business Ecosystems and Virtual Enterprises (IFIP TC5 / WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE’02) May 1–3, 2002, Sesimbra, Portugal (IFIP Advances in Information and Communication Technology))

By Luis M. Camarinha-Matos

£128

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems (The PAAMS Collection: 17th International Conference, PAAMS 2019, Avila, Spain, June 26-28, 2019, Proceedings (Lecture Notes in Computer Science))

By Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando De la Prieta

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems (The PAAMS Collection: 17th International Conference, PAAMS 2019, Avila, Spain, June 26-28, 2019, Proceedings (Lecture Notes in Computer Science))

By Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando De la Prieta

£44.99

Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Radhia Cousot

£45.66

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

£89.29

Algebra, Meaning, and Computation (Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

Algebra, Meaning, and Computation (Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

£89.46

Intelligent Agents VII. Agent Theories Architectures and Languages (7th International Workshop, Atal 2000, Boston, MA, USA, July 7-9, 2000, Poceedings: v. 7 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Cristiano Castelfranchi, Yves Lesperance

Intelligent Agents VII. Agent Theories Architectures and Languages (7th International Workshop, Atal 2000, Boston, MA, USA, July 7-9, 2000, Poceedings: v. 7 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Cristiano Castelfranchi, Yves Lesperance

£45.54

Automated Deduction - CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Claude Kirchner, Helene Kirchner

Automated Deduction - CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Claude Kirchner, Helene Kirchner

£45.63

Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)

By Harald Ganzinger

Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)

By Harald Ganzinger

£45.61

Distributed Computing and Internet Technology (Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Sanjay Kumar Madria, Kajal Claypool, Rajgopal Kannan, Prem Uppuluri

Distributed Computing and Internet Technology (Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Sanjay Kumar Madria, Kajal Claypool, Rajgopal Kannan, Prem Uppuluri

£45.06

Model Driven Architecture - Foundations and Applications (Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By David Akehurst, Regis Vogel, Richard Paige

Model Driven Architecture - Foundations and Applications (Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By David Akehurst, Regis Vogel, Richard Paige

£45.01

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

£45.05

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

£97.69

Communicating Process Architectures 2008 (WoTUG-31 (Concurrent Systems Engineering Series))

By P. H. Welch, S. Stepney, F.A.C. Polack, F. R. M. Barnes

Communicating Process Architectures 2008 (WoTUG-31 (Concurrent Systems Engineering Series))

By P. H. Welch, S. Stepney, F.A.C. Polack, F. R. M. Barnes

Currently
Unavailable

Application Architecture for .NET (Designing Applications and Services)

By Microsoft Press

Application Architecture for .NET (Designing Applications and Services)

By Microsoft Press

Currently
Unavailable

Smart Client Architecture and Design Guide

By Microsoft Corporation

Smart Client Architecture and Design Guide

By Microsoft Corporation

Currently
Unavailable

Wafer Scale Integration (I.F.I.P.Workshop Proceedings, 1st)

By Gabriele Saucier, Jacques Trilhe

Wafer Scale Integration (I.F.I.P.Workshop Proceedings, 1st)

By Gabriele Saucier, Jacques Trilhe

Currently
Unavailable

View:
Safe Search(?):