Computer Aided Verification (16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science))

By Rajeev Alur, Doron A. Peled

Computer Aided Verification (16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science))

By Rajeev Alur, Doron A. Peled

£89.33

Formal Approaches to Agent-based Systems (Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Formal Approaches to Agent-based Systems (Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

£45.67

Component-Based Software Engineering (8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 (Programming and Software Engineering) (Lecture Notes in Computer Science))

By George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford

Component-Based Software Engineering (8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 (Programming and Software Engineering) (Lecture Notes in Computer Science))

By George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford

£45.54

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

£104

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By V. S. Sunderam, Geert Dick van Albada, Peter M. A. Sloot, Jack Dongarra

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By V. S. Sunderam, Geert Dick van Albada, Peter M. A. Sloot, Jack Dongarra

£142

Engineering Self-Organising Systems (Methodologies and Applications (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal

Engineering Self-Organising Systems (Methodologies and Applications (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal

£45.02

Quality of Software Architectures and Software Quality (First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedi)

By Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage

Quality of Software Architectures and Software Quality (First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedi)

By Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage

£45.19

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

£45.69

Computer Supported Cooperative Work in Design (8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004, Revised Selected Papers: v. 1 (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Weiming Shen, Zongkai Lin, Jean-Paul A. Barthes, Tangqiu Li

Computer Supported Cooperative Work in Design (8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004, Revised Selected Papers: v. 1 (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Weiming Shen, Zongkai Lin, Jean-Paul A. Barthes, Tangqiu Li

£45.08

Computer Supported Cooperative Work in Design II (9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Weiming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthes

Computer Supported Cooperative Work in Design II (9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Weiming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthes

£89.45

Engineering Self-Organising Systems (Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Sven A. Brueckner, Giovanni Di Marzo Serugendo, David Hales

Engineering Self-Organising Systems (Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Sven A. Brueckner, Giovanni Di Marzo Serugendo, David Hales

£45.18

Security in Pervasive Computing (Third International Conference, SPC 2006, York, UK, April 18-21, 2006 : Proceedings (Lecture Notes in Computer Science / Security and Cryptology))

By John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke

Security in Pervasive Computing (Third International Conference, SPC 2006, York, UK, April 18-21, 2006 : Proceedings (Lecture Notes in Computer Science / Security and Cryptology))

By John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke

£45.18

Testing of Communicating Systems (18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By M.Umit Uyar, Ali Y. Duale, Mariusz A. Fecko

Testing of Communicating Systems (18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By M.Umit Uyar, Ali Y. Duale, Mariusz A. Fecko

£44.99

Computational Science - ICCS 2006 (6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Vassil N. Alexandrov, Geert Dick van Albada, Peter M. A. Sloot, J. J. Dongarra

Computational Science - ICCS 2006 (6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Vassil N. Alexandrov, Geert Dick van Albada, Peter M. A. Sloot, J. J. Dongarra

£142

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

£44.95

Grid Computing - GRID 2001 (Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings (Lecture Notes in Computer Science))

By Craig A. Lee

Grid Computing - GRID 2001 (Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings (Lecture Notes in Computer Science))

By Craig A. Lee

£44.99

The Semantic Web - ISWC 2002 (First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings (Lecture Notes in Computer Science))

By Ian Horrocks, James A. Hendler

The Semantic Web - ISWC 2002 (First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings (Lecture Notes in Computer Science))

By Ian Horrocks, James A. Hendler

£45.09

Principles of Distributed Systems (10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Alexander A. Shvartsman

Principles of Distributed Systems (10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Alexander A. Shvartsman

£45.10

Collaboration between Human and Artificial Societies (Coordination and Agent-Based Distributed Computing (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Julian A. Padget

Collaboration between Human and Artificial Societies (Coordination and Agent-Based Distributed Computing (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Julian A. Padget

£45.01

Innovative Concepts for Autonomic and Agent-Based Systems (Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial In ..)

By Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff

Innovative Concepts for Autonomic and Agent-Based Systems (Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial In ..)

By Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff

£45.67

High Performance Computing for Computational Science - VECPAR 2006 (7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Michel Daydé, José M.L.M. Palma, Álvaro L.G.A. Couthino, Esther Pacitti

High Performance Computing for Computational Science - VECPAR 2006 (7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Michel Daydé, José M.L.M. Palma, Álvaro L.G.A. Couthino, Esther Pacitti

£88.96

Computer Supported Cooperative Work in Design III (10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. Barthès

Computer Supported Cooperative Work in Design III (10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. Barthès

£89.16

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments (12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings: Part III (Lecture Notes in Computer Science / Programming and Software E)

By Julie A. Jacko

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments (12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings: Part III (Lecture Notes in Computer Science / Programming and Software E)

By Julie A. Jacko

£128

Component-Based Software Engineering (10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

Component-Based Software Engineering (10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

£45.01

View:
Safe Search(?):