FM 2005 (Formal Methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By John Fitzgerald, Ian J. Hayes, Tarlecki Andrzej

FM 2005 (Formal Methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By John Fitzgerald, Ian J. Hayes, Tarlecki Andrzej

£46.93

Advanced Distributed Systems (5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Felix F. Ramos, Victor Lrios Rosillo, Herwig Unger

Advanced Distributed Systems (5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Felix F. Ramos, Victor Lrios Rosillo, Herwig Unger

£46.30

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

Formal Methods and Software Engineering (7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Kung-Kiu Lau, Richard Branach

Formal Methods and Software Engineering (7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Kung-Kiu Lau, Richard Branach

£46.87

Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

£46.78

Distributed Computing – IWDC 2005 (7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ajit Pal, Ajay D. Kshemkalyani, Rajeev Kumar, Arobinda Gupta

Distributed Computing – IWDC 2005 (7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ajit Pal, Ajay D. Kshemkalyani, Rajeev Kumar, Arobinda Gupta

£91.11

Computational Science and Its Applications - ICCSA 2006 (International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan

Computational Science and Its Applications - ICCSA 2006 (International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan

£146

Trust Management (4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Ketil Stolen, William H. Winsborough, Fabio Martinelli, Fabio Massacci

Trust Management (4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Ketil Stolen, William H. Winsborough, Fabio Martinelli, Fabio Massacci

£46.25

Formal Methods and Software Engineering (8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Programming and Software Engineering))

By Zhiming Liu, He Jifeng

Formal Methods and Software Engineering (8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Programming and Software Engineering))

By Zhiming Liu, He Jifeng

£91.93

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna

£46.20

Formal Approaches to Software Testing and Runtime Verification (First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Comput ..)

By Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Formal Approaches to Software Testing and Runtime Verification (First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Comput ..)

By Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

£46.23

Specification of a CAD * I Neutral File for CAD Geometry (Wireframes, Surfaces, Solids Version 3.3 (Project 322. CAD Interfaces (CAD*1)) (Research Reports Esprit))

By E. G. Schlechtendahl, E. G. Schlechtendahl

Specification of a CAD * I Neutral File for CAD Geometry (Wireframes, Surfaces, Solids Version 3.3 (Project 322. CAD Interfaces (CAD*1)) (Research Reports Esprit))

By E. G. Schlechtendahl, E. G. Schlechtendahl

£90.96

The Programming and Proof System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))

By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont

The Programming and Proof System ATES (Advanced Techniques Integration into Efficient Scientific Software (Research reports ESPRIT: project 1158))

By Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont

£91

The COMANDOS Distributed Application Platform (Research Reports Esprit / Project 2071. Comandos)

By Vinny Cahill, Roland Balter, N. R. Harris, Xavier Rousset De Pina

The COMANDOS Distributed Application Platform (Research Reports Esprit / Project 2071. Comandos)

By Vinny Cahill, Roland Balter, N. R. Harris, Xavier Rousset De Pina

£46.22

CAD Geometry Data Exchange Using STEP (Realisation of Interface Processors (Research Reports Esprit) (Project 2195. CADEX))

By Helmut J. Helpenstein

CAD Geometry Data Exchange Using STEP (Realisation of Interface Processors (Research Reports Esprit) (Project 2195. CADEX))

By Helmut J. Helpenstein

£46.24

Logic Programming and Nonmonotonic Reasoning: 5th International Conference, Lpnmr '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings (5th: International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999, Proceedings (Lecture Notes in Co)

By Michael Gelfond, Nicole Leone, Gerald Pfeifer

Logic Programming and Nonmonotonic Reasoning: 5th International Conference, Lpnmr '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings (5th: International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999, Proceedings (Lecture Notes in Co)

By Michael Gelfond, Nicole Leone, Gerald Pfeifer

£46.20

Innovative Projektfuhrung [German] (Erfolgreiches Fuhrungsverhalten Durch Supervision Und Coaching)

By Gregor-Rauschtenberger, Brigitte, Hansel, Jürgen

Innovative Projektfuhrung [German] (Erfolgreiches Fuhrungsverhalten Durch Supervision Und Coaching)

By Gregor-Rauschtenberger, Brigitte, Hansel, Jürgen

£41.09

Theory and Applications of Diagrams (First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Anderson, Peter Cheng, Volker Haarslev

Theory and Applications of Diagrams (First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Anderson, Peter Cheng, Volker Haarslev

£91.85

Distributed Computing and Networking (8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura

Distributed Computing and Networking (8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura

£91.77

Service-Oriented Computing - ICSOC 2006 (4th International Conference, Chicago, IL, USA, December 4-7, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Asit Dan, Winfried Lamersdorf

Service-Oriented Computing - ICSOC 2006 (4th International Conference, Chicago, IL, USA, December 4-7, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Asit Dan, Winfried Lamersdorf

£91.50

Automata, Languages and Programming (35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II (Theoretical Computer Science and General Issues))

By Luca Aceto, Ivan Bjerre Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson

Automata, Languages and Programming (35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II (Theoretical Computer Science and General Issues))

By Luca Aceto, Ivan Bjerre Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson

£91.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

£91.55

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

£91.29

Automata, Languages and Programming (34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki

Automata, Languages and Programming (34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki

£91.61

View:
Safe Search(?):