Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division
Springer-Verlag
|
NATO Advanced Study Institute, Aarons, Jules, North Atlantic Treaty Organization. Scientific Affairs Division
North-Holland Pub. Co, Interscience Publishers
|
Broy, M., 1949-, NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific …
Springer-Verlag
|
Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael)
Springer-Verlag
|
NATO Advanced Study Institute on Constructive Methods in Computing Science, Broy, M., 1949-, North Atlantic Treaty …
Springer-Verlag
|
Bauer, F.L., Dijkstra, E.W., Gerhart, S.L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., …
|
Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on …
Springer
|
NATO Advanced Study Institute on Direct Methods for Solving Macromolecular Structures, Fortier, Suzanne, North Atlantic …
Kluwer Academic Publishers
|
Broy, M., 1949-, Schmidt, Gunther, 1939-, Marktoberdorf Summer School on Theoretical Foundations of Programming …
D. Reidel
|
NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic …
Springer-Verlag
|
NATO Advanced Research Workshop on Program Transformation and Programming Environments, Pepper, Peter, NATO Science …
Springer-Verlag
|
Schenk, H. (Henk), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute/18th …
Plenum Press
|