ADA Yearbook 1993 (Studies in Computer and Communications Systems, Vol 5)

ADA in Transition (Studies in Computer and Communications Systems, 4)

Grammatical Inference: Theoretical Results and Applications: 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings (Lecture Notes in Computer Science, 6339)

Case-Based Reasoning Research and Development: 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings

Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, ... (Lecture Notes in Computer Science, 5581)

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science, 4468)

Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June ... (Lecture Notes in Computer Science, 5026)

Ada 95 Rationale: The Language - The Standard Libraries (Lecture Notes in Computer Science, 1247)

Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, ... (Lecture Notes in Computer Science, 1251)

Ada in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 (Lecture Notes in Computer Science, 1031)