Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

Model Driven Engineering Languages and Systems (8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Lionel Briand, Clay Williams

£91.31

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

£46.52

Logic Programming (21st International Conference, ICLP 2005, Barcelona, Spain, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Maurizio Gabbrielli, Gopal Gupta

Logic Programming (21st International Conference, ICLP 2005, Barcelona, Spain, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Maurizio Gabbrielli, Gopal Gupta

£46.83

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

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

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

Practical Aspects of Declarative Languages (8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Pascal Van Hentenryck

Practical Aspects of Declarative Languages (8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Pascal Van Hentenryck

£46.34

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

£46.35

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

£46.36

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

£46.40

Extreme Programming and Agile Processes in Software Engineering (7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi

Extreme Programming and Agile Processes in Software Engineering (7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi

£46.34

Component-Based Software Engineering (9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt

Component-Based Software Engineering (9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt

£46.76

Ecoop 2006 - Object-Oriented Programming (20th European Conference, Nantes, France, July 3-7, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dave Thomas

Ecoop 2006 - Object-Oriented Programming (20th European Conference, Nantes, France, July 3-7, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dave Thomas

£46.28

Logic Programming (22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sandro Etalle, Miroslav Truszczynski

Logic Programming (22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sandro Etalle, Miroslav Truszczynski

£55.10

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

£95.69

Advanced Functional Programming (4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures: v. 2638 (Lecture Notes in Computer Science))

By Johan Jeuring, Simon Peyton Jones

Advanced Functional Programming (4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures: v. 2638 (Lecture Notes in Computer Science))

By Johan Jeuring, Simon Peyton Jones

£45.19

Implementation of Functional Languages (14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers (Lecture Notes in Computer Science))

By Ricardo Pena, Thomas Arts

Implementation of Functional Languages (14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers (Lecture Notes in Computer Science))

By Ricardo Pena, Thomas Arts

£46.21

Extreme Programming and Agile Processes in Software Engineering (4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings (Lecture Notes in Computer Science))

By Michele Marchesi, Giancarlo Succi, Michele Marchesi

Extreme Programming and Agile Processes in Software Engineering (4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings (Lecture Notes in Computer Science))

By Michele Marchesi, Giancarlo Succi, Michele Marchesi

£45.08

Rewriting Techniques and Applications (14th International Conference, Rta 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Nieuwenhuis

Rewriting Techniques and Applications (14th International Conference, Rta 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Nieuwenhuis

£46.27

Extreme Programming and Agile Methods - XP/Agile Universe 2003 (Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings (Lecture Notes in Computer Science))

By Frank Maurer, Don Wells

Extreme Programming and Agile Methods - XP/Agile Universe 2003 (Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings (Lecture Notes in Computer Science))

By Frank Maurer, Don Wells

£46.38

Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))

By Laszlo Boszormenyi, Peter Schojer

Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))

By Laszlo Boszormenyi, Peter Schojer

£46.11

FME 2003: Formal Methods (International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science))

By Keijiro Araki, Stefania Gnesi, Dion Mandrioli

FME 2003: Formal Methods (International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science))

By Keijiro Araki, Stefania Gnesi, Dion Mandrioli

£102

Grammatical Inference, Algorithms and Applications (5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Arlindo L. Oliveira

Grammatical Inference, Algorithms and Applications (5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Arlindo L. Oliveira

£46.13

View:
Safe Search(?):