Books : Search

1.

Applied Cryptology, Cryptographic Protocols, and Computer Security Models (Proceedings of Symposia in Applied Mathematics #29)
Author name: Michael A. Harrison (Editor), George J. Davida (Editor), George I. Davida (Editor) Richard A. Demillo (Editor)
1983

2.

Applied Cryptology, Cryptographic Protocols, and Computer Security Models (Proceedings of Symposia in Applied Mathematics #29)
Author name: Michael A. Harrison (Editor), George J. Davida (Editor), George I. Davida (Editor) Richard A. Demillo (Editor)
1983

3.

Applied Cryptology, Cryptographic Protocols, and Computer Security Models (Proceedings of Symposia in Applied Mathematics, Vol. 29)
from: Amer Mathematical Society
1983-10

4.

Foundations of Secure Computation
from: Academic Press Inc
1978-12

5.

Software Testing and Evaluation
Author name: Richard A. Demillo, W. Michael McCracken, R. J. Martin, John F. Passafiume
1987-01

6.

Studies in Computer Science: In Honor of Samuel D. Conte (Software Science and Engineering)
from: Springer
November 30, 1994

7.

Combinatorial graph embedding (GIT-ICS)
Author name: Richard A DeMillo
1980

8.

A comparison of some reliable test data generation procedures (GIT-ICS)
Author name: Richard A DeMillo
1981

9.

CROSSBOW-S workshop/ITEAMS technology, research, design and analysis program (related efforts)
Author name: Richard A DeMillo
1985

10.

Two papers on model theory and program schemata (CS research report)
Author name: Richard A DeMillo
1975