Periódicos correntes

Your search returned 3 results.

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: Place hold Add to cart (remove)
	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: Place hold Add to cart (remove)
	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: Place hold Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha