VDM-Europe Symposium, Bjørner, D. (Dines), 1937-
Springer-Verlag
|
後藤, 英一(1931-), RIMS Symposium on Software Science and Engineering
Springer-Verlag
|
VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-
Springer-Verlag
|
Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich), Bjørner, D. (Dines), 1937-
Springer-Verlag
|
European Symposium on Programming, Jones, Neil D., 1941-
Springer-Verlag
|
Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V., Kumar, S. (Sanjeev)
Springer-Verlag
|
European Symposium on Programming, Krieg-Brückner, B. (Bernd)
Springer-Verlag
|
Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V.
Springer-Verlag
|
European Symposium on Programming, Ganzinger, Harald, 1950-, Colloquium on Trees in Algebra and Programming
Springer-Verlag
|
Robinet, Bernard, 1941-, International symposium on programming
Springer-Verlag
|
Oest, O. N., Bjørner, D. (Dines), 1937-
Springer-Verlag
|
Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of …
IEEE Computer Society Press
|