D. Gries
发表
David Gries,
D. Gries,
1971
.
David Gries,
D. Gries,
1987,
Inf. Process. Lett..
David Gries,
D. Gries,
1978
.
Norman W. Paton,
D. Gries,
F. Schneider,
1998,
Monographs in Computer Science.
Jayadev Misra,
David Gries,
J. Misra,
1982,
Sci. Comput. Program..
J. Prins,
D. Gries,
1985,
SLIPE '85.
Fred B. Schneider,
David Gries,
F. Schneider,
1993
.
D. Gries,
1995
.
F. Schneider,
D. Gries,
A. Mclver,
2003,
Monographs in Computer Science.
David Gries,
D. Gries,
1974,
SIGCSE '74.
D. Batory,
K. Bellman,
M. Graham,
2022
.
F. Schneider,
D. Gries,
1998
.
F. Schneider,
D. Gries,
1998
.
P. Widmayer,
D. Gries,
C. Wong,
2022
.
Juris Hartmanis,
W. Brauer,
P. Brinch Hansen,
1980
.
D. Gries,
1986
.
N. Gehani,
D. Gries,
1977,
Conference on Data: Abstraction, Definition and Structure.
Juris Hartmanis,
Niklaus Wirth,
G. Goos,
1983,
Lecture Notes in Computer Science.
Dennis M. Volpano,
David Gries,
D. Gries,
1990,
Struct. Program..
D. Gries,
2022,
Edsger Wybe Dijkstra.
Fred B. Schneider,
David Gries,
F. Schneider,
1993
.
Fred B. Schneider,
David Gries,
F. Schneider,
2015
.
Peter J. Denning,
Michael C. Mulder,
Paul R. Young,
1989,
Computer.
P. Denning,
M. Mulder,
D. Gries,
2022
.
S. Owicki,
D. Gries,
1976,
CACM.
J. Stoer,
C. Moler,
N. Wirth,
1980
.
F. Schneider,
D. Gries,
1995
.
Anil Nerode,
David Gries,
A. Nerode,
2014
.
David Gries,
D. Gries,
1972,
Inf. Process. Lett..
David Gries,
Gary Levin,
David Gries,
1980,
Inf. Process. Lett..
David Gries,
D. Gries,
1996
.
David Gries,
D. Gries,
1990
.
Narain H. Gehani,
David Gries,
N. Gehani,
1976,
CACM.
Fred B. Schneider,
David Gries,
F. Schneider,
1993
.
David Gries,
Gary Levin,
D. Gries,
1980,
TOPL.
Juris Hartmanis,
Niklaus Wirth,
G. Goos,
1983,
Lecture Notes in Computer Science.
Jerome A. Feldman,
David Gries,
J. Feldman,
1968,
Commun. ACM.
David Gries,
Alain J. Martin,
Jan L. A. van de Snepscheut,
1989,
Sci. Comput. Program..
Peter J. Denning,
Michael C. Mulder,
Paul R. Young,
1989,
Computer.
Susan Owicki,
David Gries,
S. Owicki,
1976,
Acta Informatica.
Fred B. Schneider,
David Gries,
F. Schneider,
1993,
Texts and Monographs in Computer Science.
David Gries,
T. V. Raman,
D. Gries,
1997
.
David Gries,
T. V. Raman,
D. Gries,
1994,
ASSETS.
David Gries,
D. Gries,
1978,
TOPL.
David Gries,
D. Gries,
1981,
Text and Monographs in Computer Science.
Jayadev Misra,
David Gries,
J. Misra,
1992,
Inf. Process. Lett..
Peter J. Denning,
Michael C. Mulder,
Paul R. Young,
1988,
SIGCSE '88.
Jennifer Widom,
Fred B. Schneider,
David Gries,
1987,
POPL '87.
Richard D. Schlichting,
Fred B. Schneider,
David Gries,
1984,
Sci. Comput. Program..
David Gries,
Dorothy Marsh,
D. Gries,
1990,
Computer.
David Gries,
Gary Levin,
D. Gries,
1981,
Acta Informatica.
David Gries,
D. Gries,
1976,
Program Construction.
David Gries,
D. Gries,
1991,
CACM.
S. Thomas Alexander,
S. Alexander,
D. Gries,
1986,
Texts and Monographs in Computer Science.
Jennifer Widom,
Fred B. Schneider,
David Gries,
1987,
TOPL.
Van Nguyen,
David Gries,
Susan S. Owicki,
1985,
Logic of Programs.
Van Nguyen,
David Gries,
Susan S. Owicki,
1985,
Distributed Computing.
Ralph-Johan Back,
D. Gries,
F. B. Schneider,
1998
.
David Gries,
Ali Erkan,
James Heliotis,
2009
.
David Gries,
D. Gries,
1973,
Acta Informatica.
J. Stoer,
D. Gries,
1967
.
David Gries,
D. Gries,
1967
.
Juris Hartmanis,
David Gries,
M. Stuart Lynn,
1989,
Commun. ACM.
Fred B. Schneider,
David Gries,
F. Schneider,
1995,
Computer Science Today.
David Gries,
Edward M. Reingold,
Kenneth J. Urban,
1997,
Inf. Process. Lett..
P. Denning,
M. Mulder,
D. Gries,
1989,
Computer.
Niklaus Wirth,
W. Brauer,
C. Moler,
2000,
Lecture Notes in Computer Science.
David Gries,
Eric Aaron,
Eric Aaron,
2000
.
David Gries,
D. Gries,
1978,
SIGP.
David Gries,
D. Gries,
1982,
Sci. Comput. Program..
David Lorge Parnas,
Robert L. Glass,
Cliff B. Jones,
1996,
Computer.
Fred B. Schneider,
David Gries,
F. Schneider,
1996,
J. Log. Comput..
David Gries,
D. Gries,
1996,
NATO ASI PDC.
David Gries,
Bill Burkhardt,
D. Gries,
1988
.
David Gries,
D. Gries,
1989
.
F. Schneider,
D. Gries,
1993,
Texts and Monographs in Computer Science.
David Gries,
D. Gries,
1977
.
David Gries,
D. Gries,
1978,
IEEE Transactions on Software Engineering.
Jayadev Misra,
David Gries,
J. Misra,
1978,
CACM.