Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

£89.31

Computer Aided Verification (14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science / Lecture)

By Ed. Brinksma, Kim G. Larsen

Computer Aided Verification (14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science / Lecture)

By Ed. Brinksma, Kim G. Larsen

£89.44

Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))

By Alberto Sangiovanni-Vincentelli, Joseph Sifakis

Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))

By Alberto Sangiovanni-Vincentelli, Joseph Sifakis

£45.67

Quality of Software Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner

Quality of Software Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner

£45.02

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.16

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (2nd: Proceedings of the Second International Symposium, Nijmegen, The NNetherlands, January 8-10, 1992 ()

By Jan Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (2nd: Proceedings of the Second International Symposium, Nijmegen, The NNetherlands, January 8-10, 1992 ()

By Jan Vytopil

£88.81

Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (3rd: International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Art)

By Kim G. Larsen, Arne Skou

Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (3rd: International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Art)

By Kim G. Larsen, Arne Skou

£45.09

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%)

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (7th: International Conference, CAV '95, Liege, Belguim, July 3-5, 1995 - Proceedings (Lecture Notes in Computer Science))

By Pierre Wolper

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (7th: International Conference, CAV '95, Liege, Belguim, July 3-5, 1995 - Proceedings (Lecture Notes in Computer Science))

By Pierre Wolper

£45.64

Deductive and Object-Oriented Databases (Fourth International Conference, DOOD '95, Singapore, December 4-7, 1995. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By T. W. Ling, Alberto O. Mendelzon, Laurent Vieille

Deductive and Object-Oriented Databases (Fourth International Conference, DOOD '95, Singapore, December 4-7, 1995. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By T. W. Ling, Alberto O. Mendelzon, Laurent Vieille

£45.75

Computer Aided Verification (8th: International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rejeev Alur, Thomas Henzinger

Computer Aided Verification (8th: International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rejeev Alur, Thomas Henzinger

£45.09

Hybrid Systems (v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode

Hybrid Systems (v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode

£45.04

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

£101

Hybrid Systems, Computation and Control (Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nancy A. Lynch, Bruce Krogh

Hybrid Systems, Computation and Control (Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nancy A. Lynch, Bruce Krogh

£45.05

Automata, Languages and Programming (27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ugo Montanari, Jose D. P. Rolim, Emo Welzl

Automata, Languages and Programming (27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ugo Montanari, Jose D. P. Rolim, Emo Welzl

£101

Model-Driven Development of Reliable Automotive Services (Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Ingolf Kruger, Michael Meisinger

Model-Driven Development of Reliable Automotive Services (Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Ingolf Kruger, Michael Meisinger

£47.50

Embedded Software and Systems (Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park

Embedded Software and Systems (Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park

£89.20

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

£44.99

Ergonomics and Health Aspects of Work with Computers (International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Not ..)

By Marvin J. Dainoff

Ergonomics and Health Aspects of Work with Computers (International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Not ..)

By Marvin J. Dainoff

£45.04

1

Human Interface and the Management of Information. Interacting in Information Environments (Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II (Lecture Notes in Computer Sci ..)

By Michael J. Smith, Gavriel Salvendy

Human Interface and the Management of Information. Interacting in Information Environments (Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II (Lecture Notes in Computer Sci ..)

By Michael J. Smith, Gavriel Salvendy

£128

Dependable Computing (Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum

Dependable Computing (Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum

£45.04

Hybrid Systems (Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Magnus Egerstedt, Bud Mishra

Hybrid Systems (Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Magnus Egerstedt, Bud Mishra

£88.96

Leveraging Applications of Formal Methods, Verification and Validation (Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in Computer and Information Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation (Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in Computer and Information Science))

By Tiziana Margaria, Bernhard Steffen

£128

Virtual Environments '98 (Proceedings of the Eurographics Workshop in Stuttgart, Germany, June 16-18, 1998 (Eurographics))

By Martin Göbel, Jürgen Landauer, J. Landauer, M. Wapler

Virtual Environments '98 (Proceedings of the Eurographics Workshop in Stuttgart, Germany, June 16-18, 1998 (Eurographics))

By Martin Göbel, Jürgen Landauer, J. Landauer, M. Wapler

£45.11

View:
Safe Search(?):