Ada-Europe Home Page

Ada-Europe 2013: Berlin, Germany

• 
  Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (Eds.): Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7896 ISBN 978-3-642-38600-8 [ contents ]

Ada-Europe 2012: Stockholm, Sweden

• 
  Mats Brorsson, Luís Miguel Pinho (Eds.): Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7308 ISBN 978-3-642-30597-9 [ contents ]

Ada-Europe 2011: Edinburgh, UK

• 
  Alexander Romanovsky, Tullio Vardanega (Eds.): Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6652 ISBN 978-3-642-21337-3 [ contents ]

Ada-Europe 2010: Valencia, Spain

• 
  Jorge Real, Tullio Vardanega (Eds.): Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6106 ISBN 978-3-642-13549-1 [ contents ]

Ada-Europe 2009: Brest, France

• 
  Fabrice Kordon, Yvon Kermarrec (Eds.): Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5570 ISBN 978-3-642-01923-4 [ contents ]

Ada-Europe 2008: Venice, Italy

• 
  Fabrice Kordon, Tullio Vardanega (Eds.): Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5026 ISBN 978-3-540-68621-7 [ contents ]

Ada-Europe 2007: Geneva, Switzerland

• 
  Nabil Abdennadher, Fabrice Kordon (Eds.): Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4498 ISBN 978-3-540-73229-7 [ contents ]

Ada-Europe 2006: Porto, Portugal

• 
  Luís Miguel Pinho, Michael González Harbour (Eds.): Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4006 ISBN 3-540-34663-5 [ contents ]

Ada-Europe 2005: York, UK

• 
  Tullio Vardanega, Andy J. Wellings (Eds.): Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3555 ISBN 3-540-26286-5 [ contents ]

Ada-Europe 2004: Palma de Mallorca, Spain

• 
  Albert Llamosí, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3063 ISBN 3-540-22011-9 [ contents ]

Ada-Europe 2003: Toulouse, France

• 
  Jean-Pierre Rosen, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2655 ISBN 3-540-40376-0 [ contents ]

Ada-Europe 2002: Vienna, Austria

• 
  Johann Blieberger, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2361 ISBN 3-540-43784-3 [ contents ]

Ada-Europe 2001: Leuven, Belgium

• 
  Dirk Craeynest, Alfred Strohmeier (Eds.): Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2043 ISBN 3-540-42123-8 [ contents ]

- AdA-Europe 2001 Home Page

Ada-Europe 2000: Potsdam, Germany

• 
  Hubert B. Keller, Erhard Plödereder (Eds.): Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1845 ISBN 3-540-67669-4 [ contents ]

- Ada-Europe 2000 Home Page

Ada-Europe 1999: Santander, Spain

• 
  Michael González Harbour, Juan Antonio de la Puente (Eds.): Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1622 ISBN 3-540-66093-3 [ contents ]

Ada-Europe 1998: Uppsala, Sweden

• 
  Lars Asplund (Ed.): Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1411 ISBN 3-540-64536-5 [ contents ]

Ada-Europe 1997: London, UK

• 
  Keith Hardy, James S. Briggs (Eds.): Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1251 ISBN 3-540-63114-3 [ contents ]

Ada-Europe 1996: Montreux, Switzerland

• 
  Alfred Strohmeier (Ed.): Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1088 ISBN 3-540-61317-X [ contents ]

Ada-Europe 1995: Frankfurt/Main, Germany

• 
  Marcel Toussaint (Ed.): Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings. Springer 1996 Lecture Notes in Computer Science 1031 ISBN 3-540-60757-9 [ contents ]

Ada-Europe 1994: Copenhagen, Denmark

• 
  Marcel Toussaint (Ed.): Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 887 ISBN 3-540-58822-1 [ contents ]

Ada-Europe 1993: Paris, France

• 
  Michel Gauthier (Ed.): Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science 688 ISBN 3-540-56802-6 [ contents ]

Ada-Europe 1992: Zandvoort, The Netherlands

• 
  Jan van Katwijk (Ed.): Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings. Springer 1992 Lecture Notes in Computer Science 603 ISBN 3-540-55585-4 [ contents ]

Ada-Europe 1991: Athens, Greece

• 
  Dimitris Christodoulakis (Ed.): Ada: The Choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings. Springer 1991 Lecture Notes in Computer Science 499 ISBN 3-540-54092-X [ contents ]

System Development and Ada 1986: Capri, Italy

• 
  A. Nico Habermann, Ugo Montanari (Eds.): Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. Springer 1987 Lecture Notes in Computer Science 275 ISBN 3-540-18341-8 [ contents ]

Ada Software Tools Interfaces 1983: Bath, UK

• 
  Peter J. L. Wallis (Ed.): Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings. Springer 1984 Lecture Notes in Computer Science 180 ISBN 3-540-13878-1 [ contents ]