Results
|
|
1.
|
Distributed computing and cryptography: proceedings of a DIMACS Workshop, October 4-6, 1989/ Joan Feigenbaum, Michael Merritt, editors. by
- Feigenbaum, Joan, 1958-
- Merritt, Michael, 1957-
- DIMACS Workshop in Distributed Computing and Cryptography (1989 : Princeton, N.J.)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 2.
Publication details: Providence, R.I.: Baltimore: American Mathematical Society, Association for Computing Machinery, c1991
Availability: Items available for loan: Castorina (1)Call number: 005.82 D614 1991 IMPA.
Found in Open Library:
|
|
|
2.
|
Networks in distributed computing/ DIMACS Workshop, October 27-30, 1997 ; Marios Mavronicolas, Michael Merritt, Nir Shavit, editors. by
- Mavronicolas, Marios
- Merritt, Michael, 1957-
- Shavit, Nir, 1959-
- DIMACS Workshop on Networks in Distributed Computing (1997: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 45.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1)Call number: 004.36 N476 1999 IMPA.
Found in Open Library:
|
|
|
3.
|
Partial order methods in verification: DIMACS workshop July 24-26, 1996/ Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors. by
- Peled, Doron, 1962-
- Pratt, Vaughan R
- Holzmann, Gerard J, 1951-
- DIMACS (Group)
- Workshop on Partial Order Methods in Verification (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; 29
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 006.601 P273 1997 IMPA.
Found in Open Library:
|
