Your search returned 5 results.

Sort
Results
1.
Specification of parallel algorithms: DIMACS workshop, May 9-11, 1994/ Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors. by
  • Blelloch, Guy E
  • Chandy, K. Mani
  • Jagannathan, Suresh
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 18.
Publication details: [Providence, RI]: American Mathematical Society, 1994
Availability: Items available for loan: Castorina (1)Call number: 005.1 S741 1994 IMPA.

2.
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.

3.
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.

4.
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.

5.
External memory algorithms: DIMACS Workshop External Memory Algorithms and Visualization, May 20-22, 1998/ James M. Abello, Jeffrey Scott Vitter, editors. by
  • Abello, James M
  • Vitter, Jeffrey Scott, 1955-
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS Workshop External Memory and Visualization (1998: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 50
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1)Call number: 005.1 E96 1999 IMPA.

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


Powered by Koha