Transactions on Computational Science IV (Special Issue on Security in Computing (Transactions on Computational Science))

By C. J. Kenneth Tan

Transactions on Computational Science IV (Special Issue on Security in Computing (Transactions on Computational Science))

By C. J. Kenneth Tan

£46.23

Information Security Applications (5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers: Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Chae Hoon Lim, Moti Yung

Information Security Applications (5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers: Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Chae Hoon Lim, Moti Yung

£46.24

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Lecture Notes in Computer Science))

By Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Lecture Notes in Computer Science))

By Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

£46.22

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

£46.84

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 (18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and ..)

By Michael Beigl, Paul Lukowicz

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 (18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and ..)

By Michael Beigl, Paul Lukowicz

£46.22

Passive and Active Network Measurement (6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Constantinos Dovrolis

Passive and Active Network Measurement (6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Constantinos Dovrolis

£46.18

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

£91.64

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

£46.40

Dependable Computing - EDCC 2005 (5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mario Dal Cin, Mohamed Kaaniche, András Pataricza

Dependable Computing - EDCC 2005 (5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mario Dal Cin, Mohamed Kaaniche, András Pataricza

£46.84

Pervasive Computing (Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Hans W. Gellersen, Roy Want, Albrecht Schmidt

Pervasive Computing (Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Hans W. Gellersen, Roy Want, Albrecht Schmidt

£46.22

Reliable Software Technology - Ada Europe 2005 (10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Tullio Vardanega, Andy Wellings

Reliable Software Technology - Ada Europe 2005 (10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Tullio Vardanega, Andy Wellings

£46.18

Principles of Distributed Systems (8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Teruo Higashino

Principles of Distributed Systems (8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Teruo Higashino

£46.23

Biomimetic Neural Learning for Intelligent Robots (Intelligent Systems, Cognitive Robotics, and Neuroscience (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Stefan Wermter, Günther Palm, Mark Elshaw

Biomimetic Neural Learning for Intelligent Robots (Intelligent Systems, Cognitive Robotics, and Neuroscience (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Stefan Wermter, Günther Palm, Mark Elshaw

£46.94

Nonlinear Speech Modeling and Applications (Advanced Lectures and Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Gerard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro

Nonlinear Speech Modeling and Applications (Advanced Lectures and Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Gerard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro

£46.22

Ubiquitous Computing Systems (Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Hitomi Murakami, Hideyuki Nakashima, Hideyuki Tokuda, Michiaki Yasumura

Ubiquitous Computing Systems (Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Hitomi Murakami, Hideyuki Nakashima, Hideyuki Tokuda, Michiaki Yasumura

£42.27 Elsewhere ~~£44.99~~ Save £2.72 (6%)

Embedded Software and Systems (First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Zhaohui Wu, Minyi Guo, Chun Chen, Jiajun Bu

Embedded Software and Systems (First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Zhaohui Wu, Minyi Guo, Chun Chen, Jiajun Bu

£91.12

Architecting Dependable Systems (v. 3 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky

Architecting Dependable Systems (v. 3 (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky

£46.22

Correct Hardware Design and Verification Methods (13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Is ..)

By Dominique Borrione, Wolfgang Paul

Correct Hardware Design and Verification Methods (13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Is ..)

By Dominique Borrione, Wolfgang Paul

£42.72 Elsewhere ~~£44.99~~ Save £2.27 (5%)

Computer Safety, Reliability, and Security (24th International Conference, Safecomp 2005, Fredrickstad, Norway, September 28-30, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rune Winther, Bjoern Axel Gran, Gustav Dahll

Computer Safety, Reliability, and Security (24th International Conference, Safecomp 2005, Fredrickstad, Norway, September 28-30, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rune Winther, Bjoern Axel Gran, Gustav Dahll

£46.77

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

£46.87

Advances in Biometric Person Authentication (International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 – 23, 2005, Proceedings (Lecture Notes in Computer Science) (Image Processing, Computer Vision, Pattern Recogni ..)

By Gerard Chollet, Stan Z. Li, Zhenan Sun, Tieniu Tan

Advances in Biometric Person Authentication (International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 – 23, 2005, Proceedings (Lecture Notes in Computer Science) (Image Processing, Computer Vision, Pattern Recogni ..)

By Gerard Chollet, Stan Z. Li, Zhenan Sun, Tieniu Tan

£46.22

Dependable Computing (Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Alberto Maziero, Joao Gabriel Silva, Aline Maria Santos Andrade, Flavio Morais de Assis Silva

Dependable Computing (Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Alberto Maziero, Joao Gabriel Silva, Aline Maria Santos Andrade, Flavio Morais de Assis Silva

£46.22

Self-Stabilizing Systems (7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sebastien Tixeuil, Ted Herman

Self-Stabilizing Systems (7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sebastien Tixeuil, Ted Herman

£46.20

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling (Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, ..)

By Gerard Subsol

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling (Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, ..)

By Gerard Subsol

£46.37

View:
Safe Search(?):