Software Configuration Management Using Vesta (Monographs in Computer Science)

By Heydon, Clark Allan, Levin, Roy, Timothy P. Mann, Yuan Yu

Software Configuration Management Using Vesta (Monographs in Computer Science)

By Heydon, Clark Allan, Levin, Roy, Timothy P. Mann, Yuan Yu

£93.30

Geo-Informatics in Resource Management and Sustainable Ecosystem (International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings (Communications in Computer and Information Science))

By Fuling Bian, Yichun Xie

Geo-Informatics in Resource Management and Sustainable Ecosystem (International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings (Communications in Computer and Information Science))

By Fuling Bian, Yichun Xie

£91.31

Trustworthy Computing and Services (International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers (Communications in Computer and Information Science))

By Lu Yueming, Wu Xu, Zhang XI

Trustworthy Computing and Services (International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers (Communications in Computer and Information Science))

By Lu Yueming, Wu Xu, Zhang XI

£48.56

Switching and Learning in Feedback Systems (European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Roderick Murray-Smith, Robert Shorten

Switching and Learning in Feedback Systems (European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Roderick Murray-Smith, Robert Shorten

£46.23

Embedded Systems Design (The ARTIST Roadmap for Research and Development (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bruno Bouyssounouse, Joseph Sifakis

Embedded Systems Design (The ARTIST Roadmap for Research and Development (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bruno Bouyssounouse, Joseph Sifakis

£91.04

Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Manfred Morari, Lothar Thiele, Francesca Rossi

Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Manfred Morari, Lothar Thiele, Francesca Rossi

£91.82

Embedded Computer Systems - Architectures, Modeling, and Simulation (5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Timo D. Hamalainen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis

Embedded Computer Systems - Architectures, Modeling, and Simulation (5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Timo D. Hamalainen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis

£46.24

Formal Modeling and Analysis of Timed Systems (Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Paul Pettersson, Wang Yi

Formal Modeling and Analysis of Timed Systems (Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Paul Pettersson, Wang Yi

£46.46

Principles of Distributed Systems (9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer

Principles of Distributed Systems (9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer

£46.81

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

£46.73

Leveraging Applications of Formal Methods (First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Tiziana Maragria, Bernhard Steffen

Leveraging Applications of Formal Methods (First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Tiziana Maragria, Bernhard Steffen

£46.19

Verification and Validation of Complex Systems (Human Factors Issues (NATO Asi Series / Computer and Systems Sciences))

By John A. Wise, V.David Hopkin, P. Stager

Verification and Validation of Complex Systems (Human Factors Issues (NATO Asi Series / Computer and Systems Sciences))

By John A. Wise, V.David Hopkin, P. Stager

£229 Elsewhere ~~£249.99~~ Save £20.99 (8%)

Digital Circuit Design for Computer Science Students (An Introductory Textbook)

By Wirth, Niklaus

Digital Circuit Design for Computer Science Students (An Introductory Textbook)

By Wirth, Niklaus

£70.89 Elsewhere ~~£74.99~~ Save £4.10 (5%)

Formal Methods in Systems Biology (First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Bioinformatics))

By Jasmin Fisher

Formal Methods in Systems Biology (First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Bioinformatics))

By Jasmin Fisher

£46.15

Passive and Active Network Measurement (8th International Conference, PAM 2007, Louvain-la-Neuve, Belgium, April 5-6, 2007, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Steve Uhlig, Konstantina Papagiannaki, Olivier Bonaventure

Passive and Active Network Measurement (8th International Conference, PAM 2007, Louvain-la-Neuve, Belgium, April 5-6, 2007, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Steve Uhlig, Konstantina Papagiannaki, Olivier Bonaventure

£46.17

Pervasive Computing for Quality of Life Enhancement (5th International Conference on Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl.)

By Takeshi Okadome, Tatsuya Yamazaki, Mounir Mokhtari

Pervasive Computing for Quality of Life Enhancement (5th International Conference on Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl.)

By Takeshi Okadome, Tatsuya Yamazaki, Mounir Mokhtari

£46.17

Virtual Reality (Second International Conference, ICVR 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Randall Shumaker

Virtual Reality (Second International Conference, ICVR 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Randall Shumaker

£91.51

Information Security Applications (9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers (Lecture Notes in Computer Science) (Security and Cryptology))

By Kyo-Il Chung, Kiwook Sohn, Moti Yung

Information Security Applications (9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers (Lecture Notes in Computer Science) (Security and Cryptology))

By Kyo-Il Chung, Kiwook Sohn, Moti Yung

£46.23

Distributed Computing in Sensor Systems (5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Bhaskar Krishnamachari, Subhash Suri, Wendi Heinzelman, Urbashi Mitra

Distributed Computing in Sensor Systems (5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Bhaskar Krishnamachari, Subhash Suri, Wendi Heinzelman, Urbashi Mitra

£46.26

Human Interface and the Management of Information. Designing Information Environments (Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I (Lecture Notes in Computer Science))

By Michael J. Smith, Gavriel Salvendy

Human Interface and the Management of Information. Designing Information Environments (Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I (Lecture Notes in Computer Science))

By Michael J. Smith, Gavriel Salvendy

£101

Scalability of Networks and Services (Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30 - July 2, 2009, Proceedings (Lecture Notes in Computer Science) (Computer Communica ..)

By Ramin Sadre, Aiko Pras

Scalability of Networks and Services (Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30 - July 2, 2009, Proceedings (Lecture Notes in Computer Science) (Computer Communica ..)

By Ramin Sadre, Aiko Pras

£46.20

Ambient Assistive Health and Wellness Management in the Heart of the City (7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science) (Information System ..)

By Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang

Ambient Assistive Health and Wellness Management in the Heart of the City (7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science) (Information System ..)

By Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang

£46.21

Interactive Theorem Proving and Program Development (Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series))

By Castéran, Pierre, Bertot, Yves, G. Huet, Christine Paulin-Mohring

Interactive Theorem Proving and Program Development (Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series))

By Castéran, Pierre, Bertot, Yves, G. Huet, Christine Paulin-Mohring

£65.25 Elsewhere ~~£69.99~~ Save £4.74 (7%)

Foundations of Computer Software (Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Choppy, Oleg Sokolsky

Foundations of Computer Software (Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Choppy, Oleg Sokolsky

£50.56

View:
Safe Search(?):