Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
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:
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
Global minimization of nonconvex energy functions: molecular conformation and protein folding : DIMACS workshop, March 20-21, 1995/ P.M. Pardalos, D. Shalloway, G. Xue, editors. by
- Pardalos, P. M. (Panos M.), 1954-
- Shalloway, D. (David), 1948-
- Hsueh, Kuo-liang
- DIMACS (Group)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 23.
Publication details: Providence, R.I.: American Mathematical Society, c1996
Other title: - Global minimization for molecular conformation
Availability: Items available for loan: Castorina (1)Call number: 574.011 G562 1996 IMPA.
Found in Open Library:
|
|
9.
|
Formal power series and algebraic combinatorics, 1994: DIMACS workshop, May 23-27, 1994 = Séries formelles et combinatoire algébrique, 1994/ Louis J. Billera ... [et al.], editors. by
- Billera, Louis J, 1943-
- DIMACS (Group)
- International Conference on Formal Power Series and Algebraic Combinatorics (6th : 1994 : DIMACS)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 24.
Publication details: Providence, R.I.: American Mathematical Society, c1996
Other title: - Séries formelles et combinatoire algébrique, 1994
Availability: Items available for loan: Castorina (1)Call number: 511.6 F723 1996 IMPA.
Found in Open Library:
|
|
10.
|
|
|
11.
|
DNA based computers: proceedings of a DIMACS workshop, April 4, 1995, Princeton University/ Richard J. Lipton, Eric B. Baum, editors. by
- Lipton, Richard J
- Baum, Eric B, 1957-
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
- DIMACS (Group)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 27.
Publication details: Providence, R.I.: American Mathematical Society, 1996
Availability: Items available for loan: Castorina (1)Call number: 511.3 D629 1996 IMPA.
Found in Open Library:
|
|
12.
|
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993/ David S. Johnson, Michael A. Trick, editors. by
- Johnson, David S, 1945-
- Trick, Michael A
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 26.
Publication details: Providence, R.I.: American Mathematical Society, c1996
Availability: Items available for loan: Castorina (1)Call number: 511.5 C641 1996 IMPA.
Found in Open Library:
|
|
13.
|
Discrete mathematics in the schools/ Joseph G. Rosenstein, Deborah S. Franzblau, Fred S. Roberts, editors. by
- Rosenstein, Joseph G
- Franzblau, Deborah S, 1957-
- Roberts, Fred S
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 36.
Publication details: Providence, R.I.: American Mathematical Society, National Council of Teachers of Mathematics, c1997
Availability: Items available for loan: Castorina (1)Call number: 510.71 D611 1997 IMPA.
Found in Open Library:
|
|
14.
|
Geometric and computational perspectives on infinite groups: proceedings of a joint DIMACS/Geometry Center workshop, January 3-14 and March 17-20, 1994/ Gilbert Baumslag ... [et al.], editors. by
- Gilman, Robert H, 1942-
- Sims, Charles C
- Epstein, David
- Baumslag, Gilbert
- Short, Hamish
Series: DIMACS series in discrete mathematics and theoretical computer science ; 25.
Publication details: Providence, R.I.: American Mathematical Society, c1996
Availability: Items available for loan: Castorina (1)Call number: 512.2 G345 1994 IMPA.
Found in Open Library:
|
|
15.
|
Satisfiability problem: theory and applications : DIMACS workshop, March 11-13, 1996/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors. by
- Du, Dingzhu
- Gu, Jun, 1956-
- Pardalos, P. M. (Panos M.), 1954-
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; 35.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 S253 1997 IMPA.
Found in Open Library:
|
|
16.
|
Logic and random structures: DIMACS workshop, November 5-7, 1995/ Ravi B. Boppana, James F. Lynch, editors. by
- Boppana, Ravi B. (Ravi Bopu), 1963-
- Lynch, James F, 1947-
- DIMACS (Group)
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; 33.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1997 IMPA.
Found in Open Library:
|
|
17.
|
|
|
18.
|
Computer-aided verification '90: proceedings of a DIMACS workshop, June 18-21, 1990/ E. M. Clarke, R. P. Kurshan, editors. by
- Clarke, E. M, 1945-
- Kurshan, R. P, 1943-
- DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 3.
Publication details: Providence, R.I.: Baltimore: American Mathematical Society, Association for Computing Machinery, 1991
Availability: Items available for loan: Castorina (1)Call number: 621.38 C738 1991 IMPA.
Found in Open Library:
|
|
19.
|
On-line algorithms: proceedings of a DIMACS workshop, February 11-13, 1991/ Lyle A. McGeoch, Daniel D. Sleator, editors. by
- McGeoch, Lyle A, 1959-
- Sleator, Daniel D. (Daniel Dominic), 1953-
- DIMACS (Group)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 7.
Publication details: Providence, R.I.: Baltimore: American Mathematical Society, Association for Computing Machinery, c1992
Availability: Items available for loan: Castorina (1)Call number: 511.8 O58 1992 IMPA.
Found in Open Library:
|
|
20.
|
|