VSTTE, Meyer, Bertrand, Woodcock, Jim
Springer
|
Workshop on Theoretical Foundations of Computer Vision, Klette, Reinhard, Huang, Thomas S., 1936-, Gimelʹfarb, Georgiĭ …
Springer, c2001
|
Partial Evaluation International Seminar, Danvy, Olivier, Glück, R. (Robert), 1961-, Thiemann, P. (Peter), 1964-
Springer
|
Schneider, Hans-Jürgen, 1937-, Ehrig, Hartmut
Springer-Verlag
|
CAV (Conference), Emerson, E. Allen, Sistla, A. Prasad
Springer
|
Proof Theory in Computer Science, Kahle, Reinhard, 1967-, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert F., …
Springer
|
SPIN, Havelund, Klaus, 1955-, Penix, John, 1970-, Visser, Willem, 1968-
Springer
|
CAV (Conference), Halbwachs, Nicolas, Peled, Doron
Springer-Verlag
|
Leue, Stefan, Systä, Tarja Johanna
Springer
|
CAV (Conference), Brinksma, Ed, Larsen, K. G. (Kim G.), 1957-
Springer
|
SPIN, Dwyer, Matthew, 1963-
Springer
|
CAV (Conference), Berry, Gérard, 1948-, Comon, Hubert, Finkel, Alain
Springer
|