Springer Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare: 91 (Nato Science Series C:, 91)

Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)

Springer

Springer Data Base Management: Theory and Applications - NATO 98

Springer

Deterministic and Stochastic Scheduling: Proceedings of the NATO Advanced Study and Research Institute on Theoretical Approaches to Scheduling ... 6–17, 1981: 84 (Nato Science Series C:, 84)

Springer

Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983: 8 (NATO ASI Subseries F:, 8)

Springer

CRC Press Semantics of Programming Languages and Model Theory 5

CRC Press

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Springer

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Springer

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

Logic, Algebra, and Computation: International Summer School: 79 (NATO ASI Subseries F:, 79)

Springer

Tribological Technology Volume I; Volume II: Proceedings of the NATO Advanced Study Institute on Tribological Technology, Maratea, Italy, September 13–26, 1981: 56/57 (NATO Science Series E:, 56/57)

Springer

High Pressure Chemistry: Proceedings of the NATO Advanced Study Institute held in Corfu, Greece, September 24 – October 8, 1977: 41 (Nato Science Series C:, 41)

Springer

Instructional Models in Computer-Based Learning Environments: 104 (NATO ASI Subseries F:, 104)

Springer

New Directions for Intelligent Tutoring Systems: Proceedings of the NATO Advanced Research Workshop on New Directions for Intelligent Tutoring ... October, 1990: 91 (NATO ASI Subseries F:, 91)

Springer

Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25–27, 1991 Proceedings: 283 (Informatik-Fachberichte, 283)

Springer

Scattering Theory in Mathematical Physics: Proceedings of the NATO Advanced Study Institute held at Denver, Colo., U.S.A., June 11–29, 1973: 9 (Nato Science Series C:, 9)

Springer

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)

Springer

Springer - Scientific Computing on Supercomputers III

Springer

Numerical Methods in Geomechanics: Proceedings of the NATO Advanced Study Institute, University of Minho, Braga, Portugal, held at Vimeiro, August 24 ... 4, 1981: 92 (Nato Science Series C:, 92)

Springer

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Mathematical Problem Solving and New Information Technologies: Research in Contexts of Practice: 89 (NATO ASI Subseries F:)

Springer

Statistical Distributions in Scientific Work: Volume 5 ― Inferential Problems and Properties: 79 (Nato Science Series C:, 79)

Springer

Statistical Distributions in Scientific Work: Volume 4 ― Models, Structures, and Characterizations, Proceedings of the NATO Advanced Study Institute ... 1, 1980: 79 (Nato Science Series C:, 79)

Springer

Reliability and Optimization of Structural Systems ’91: Proceedings of the 4th IFIP WG 7.5 Conference Munich, Germany, September 11–13, 1991: 76 (Lecture Notes in Engineering, 76)

Springer

Theoretical and Mathematical Foundations of Computer Science: Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected ... in Computer and Information Science, 164)

Springer