Joyce, Jeffrey J., Seger, Carl-Johan H., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Wright, Joakim von., Grundy, Jim., Harrison, John., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online …
Springer-Verlag
|
Enjalbert, P., Finkel, A., Wagner, K. W., SpringerLink (Online service)
Springer-Verlag
|
Thomas Schubert, E., Windley, Philip J., Alves-Foss, James, SpringerLink (Online service)
Springer-Verlag
|
Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service)
Springer-Verlag
|
HOL User's Group Workshop, Joyce, Jeffrey J., 1960-, Seger, Carl-Johan H.
Springer-Verlag
|
Maluszyński, Jan, Wirsing, Martin, SpringerLink (Online service)
Springer-Verlag
|
Bruynooghe, Maurice, Penjam, Jaan, SpringerLink (Online service)
Springer-Verlag
|
Bruynooghe, Maurice, Wirsing, Martin, SpringerLink (Online service)
Springer-Verlag
|
Paulson, Lawrence C., SpringerLink (Online service)
Springer-Verlag
|
Mosses, Peter D., Nielsen, Mogens, Schwartzbach, Michael I., SpringerLink (Online service)
Springer-Verlag
|