International Conference on the Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José N.
Springer
|
International Colloquium on Automata, Languages and Programming, Díaz, Josep, 1950-, Karhumäki, J, Lepistö, Arto, …
Springer
|
International Conference on the Mathematics of Program Construction, Boiten, Eerke A, Möller, Bernhard, 1953-
Springer
|
International Computer Software & Applications Conference, IEEE Computer Society
IEEE Computer Society
|
International Conference on the Mathematics of Program Construction, Möller, Bernhard, 1953-
Springer
|
International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, …
Springer
|
International Conference on the Mathematics of Program Construction, Jeuring, Johan, 1965-
Springer
|
European Symposium on Programming, Sagiv, Mooly, European Conferences on Theory and Practice of Software
Springer
|
International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. …
Springer-Verlag
|
International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Bachmair, Leo
Springer
|
MPC 2004, Kozen, Dexter
SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
|