Gallier, Jean H.
University Microfilms International
|
Mayr, Ernst W., Prömel, H. J., Steger, Angelika
Springer
|
Gallier, Jean H.
Harper & Row
|
MKM, Asperti, Andrea, Buchberger, Bruno, 1942-, Davenport, J. H.
Springer
|
Schöning, Uwe, 1955-
Springer-Verlag
|
Köbler, Johannes, 1958-, Schöning, Uwe, 1955-, Torán, Jacobo, 1962-
Birkhäuser
|
Bundy, Alan
Academic Press
|
Ambos-Spies, K. (Klaus), Homer, S. (Steven), Schöning, Uwe, 1955-
Press Syndicate of the University of Cambridge
|
SPIN, Federated Logic Conference, World Congress on Formal Methods in the Development of Computing Systems, Dams, Dennis
Springer
|
Arbib, Michael A., 1940-, Kfoury, A. J., Moll, Robert N.
Springer-Verlag
|
Boyer, Robert S., Moore, J. Strother, 1947-
Academic Press
|
Bodlaender, Woeginger, Gerhard J.
SpringerLink Books - AutoHoldings, Springer International Publishing
|