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 .
F. Schneider, D. Gries, A. Mclver, 2003, Monographs in Computer Science.
David Gries, D. Gries, 1974, SIGCSE '74.
P. Widmayer, D. Gries, C. Wong, 2022 .
Juris Hartmanis, W. Brauer, P. Brinch Hansen, 1980 .
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 .
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..
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.
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, D. Gries, 1973, Acta Informatica.
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, 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 .
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.