International Conference on Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José Nuno
Springer
|
Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot
Springer
|
SAC, Matsui, Mitsuru, Zuccherato, Robert
Springer
|
|
EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter
Springer
|
DIKU International Summer School on Partial Evaluation, Hatcliff, John, Mogensen, Torben Æ, Thiemann, P. (Peter), 1964-
Springer
|
European Summer School in Logic, Language, and Information, Väänänen, J. (Jouko), 1950-
Springer
|
SAC, Avanzi, Roberto, Keliher, Liam, Sica, Francesco
Springer
|
Process Algebras and Performance Modeling Workshop, Probabilistic Methods in Verification, Alfaro, Luca de, Gilmore, …
Springer
|
International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael
Springer
|
International Workshop on Coding and Cryptography, Ytrehus, Øyvind
Springer
|
Workshop Theoretical Foundations of Computer Vision, Klette, Reinhard, Huang, Thomas S., 1936-, Gimelʹfarb, Georgiĭ …
Springer, c2001
|