Cryo-EM, Part C: Analyses, Interpretation, and Case Studies (Volume 483) (Methods in Enzymology, Volume 483)

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)

Ada: Moving Towards 2000: 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings (Lecture Notes in Computer Science, 603)

Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance: 15th International GI/ITG Conference, MMB & DFT ... (Lecture Notes in Computer Science, 5987)

Ada Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings (Lecture Notes in Computer Science, 180)

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science, 1088)

Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June ... (Lecture Notes in Computer Science, 1411)

Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)

Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science, 1845)