Springer
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
R 1,223
Springer
Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science, 4348)
R 2,933
Springer
Ada 95 Reference Manual: Language and Standard Libraries: International Standard ISO/IEC 8652:1995 (E) (Lecture Notes in Computer Science, 1246)
R 4,688
Springer
Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June ... (Lecture Notes in Computer Science, 1411)
R 3,124
Springer
Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science, 1845)
R 1,735
Springer
Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science, 1088)
R 2,545
Springer
Ada: Moving Towards 2000: 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings (Lecture Notes in Computer Science, 603)
R 2,506
Springer
Languages and Compilers for Parallel Computing: 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers (Lecture Notes in Computer Science, 2017)
R 1,961
Springer
Ada Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings (Lecture Notes in Computer Science, 180)
R 624