Your search returned 63 results.

Sort
Results
21.
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.

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

23.
Combinatorial optimization: papers from the DIMACS Special Year/ William Cook, László Lovász, Paul Seymour, editors. by
  • Cook, William, 1957-
  • Lovász, László, 1948-
  • Seymour, Paul D
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 20
Publication details: [Providence, RI]: American Mathematical Society, c1995
Availability: Items available for loan: Castorina (1)Call number: 519.3 C731 1995 IMPA.

24.
Advances in computational complexity theory/ Jin-yi Cai, editor. by
  • Cai, Jin-yi, 1961-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 13
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.3 A244 1993 IMPA.

25.
Polyhedral combinatorics: proceedings of a DIMACS workshop : June 12-16, 1989/ William Cook, Paul D. Seymour, editors. by
  • Cook, William J, 1936-
  • Seymour, Paul D
  • DIMACS Workshop on Polyhedral Combinatorics (1989 : Center for Discrete Mathematics and Theoretical Computer Science)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 1
Publication details: Providence, R.I.: [New York]: American Mathematical Society, Association for Computing Machinery, c1990
Availability: Items available for loan: Castorina (1)Call number: 511.6 P782 1990 IMPA.

26.
Discrete and computational geometry: papers from the DIMACS special year/ Jacob E. Goodman, Richard Pollack, William Steiger, editors. by
  • Goodman, Jacob E
  • Pollack, Richard D
  • Steiger, William L, 1939-
  • DIMACS (Group)
  • American Mathematical Society
  • Association for Computing Machinery
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 6
Publication details: Providence, R.I.: Baltimore: American Mathematical Society, Association for Computing Machinery, c1991
Availability: Items available for loan: Castorina (1)Call number: 006.6 D611 1991 IMPA.

27.
Computational support for discrete mathematics: DIMACS workshop, March 12-14, 1992/ Nathaniel Dean, Gregory E. Shannon. by
  • Dean, Nathaniel, 1956-
  • Shannon, Gregory E, 1960-
  • DIMACS (Group)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 15
Publication details: Providence, R.I.: American Mathematical Society, 1994
Availability: Items available for loan: Castorina (1)Call number: 511.602 C738 1994 IMPA.

28.
African Americans in mathematics: DIMACS workshop, June 26-28, 1996/ Nathaniel Dean, editor. by
  • Dean, Nathaniel, 1956-
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • Conference for African-American Researchers in the Mathematical Sciences (2nd: 1996: Center for Discrete Mathematics and Theoretical Computer Science)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 34.
Publication details: Providence, R.I.: American Mathematical Society, 1997
Availability: Items available for loan: Castorina (1).

29.
Randomization methods in algorithm design: DIMACS workshop, December 12-14, 1997/ Panos Pardalos, Sanguthevar Rajasekaran, José Rolim, editors. by
  • Pardalos, P. M. (Panos M.), 1954-
  • Rajasekaran, Sanguthevar
  • Rolim, José D. P
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 43.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1)Call number: 516.35 R194 1999 IMPA.

30.
DNA based computers II: DIMACS workshop, June 10-12, 1996/ Laura F. Landweber, Eric B. Baum, editors. by
  • Landweber, Laura F. (Laura Faye), 1967-
  • 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. 44.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Other title:
  • DNA based computers 2.
  • DNA based computers two.
Availability: Items available for loan: Castorina (1)Call number: 511.3 D629 1999 IMPA.

31.
Multichannel optical networks: theory and practice : DIMACS Workshop, March 16-19, 1998/ Peng-Jun Wan, Ding-Zhu Du, Panos M. Pardalos, editors. by
  • Wan, Peng-Jun, 1970-
  • Du, Dingzhu
  • Pardalos, P. M. (Panos M.), 1954-
  • DIMACS Workshop on Multichannel Optical Networks: Theory and Practice (1998: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 46.
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 004 M427 1998 IMPA.

32.
DNA based computers III/ edited by Harvey Rubin and David Harlan Wood. by
  • Rubin, Harvey
  • Wood, David Harlan
Series: DIMACS series in discrete mathematics and theoretical computer science
Publication details: Providence, R.I.: Oxford: American Mathematical Society, Oxford University Press, 1999
Availability: Items available for loan: Castorina (1)Call number: 511.3 D629 1999 IMPA.

33.
Contemporary trends in discrete mathematics: from DIMACS and DIMATIA to the future : DIMATIA-DIMACS Conference, May 19-25, 1997, Stirín Castle, Czech Republic/ Ronald L. Graham ... [et al.], editors. by
  • Graham, Ronald L, 1935-
  • DIMATIA (Group)
  • DIMACS (Group)
  • DIMACS/DIMATIA Workshop on the Future of Discrete Mathematics (1997: Stirín Castle)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 49
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1)Call number: 511.5 C761 1999 IMPA.

34.
Mathematical support for molecular biology: papers related to the special year in mathematical support for molecular biology, 1994-1998/ Martin Farach-Colton ... [et al.], editors. by
  • Farach-Colton, Martin
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 47.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1)Call number: 572.8 M426 1999 IMPA.

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

36.
Network design: connectivity and facilities location : DIMACS Workshop, April 28-30, 1997/ Panos M. Pardalos, Dingzhu Du, editors. by
  • Pardalos, P. M. (Panos M.), 1954-
  • Du, Dingzhu
  • DIMACS Workshop on Network Design: Connectivity and Facilities Location (1997: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 40
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 519.7 N476 1998 IMPA.

37.
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996/ Paul W. Beame, Samuel R. Buss, editors. by
  • Beame, Paul W, 1959-
  • Buss, Samuel R
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 39
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 511.3 P965 1998 IMPA.

38.
Network threats: DIMACS workshop, December 2-4, 1996/ Rebecca N. Wright, Peter G. Neumann, editors. by
  • Wright, Rebecca N, 1967-
  • Neumann, Peter, 1932-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 38
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 004.6 N476 1998 IMPA.

39.
Advances in switching networks: DIMACS workshop, July 7-9, 1997/ Ding-Zhu Du, Frank K. Hwang, editors. by
  • Du, Dingzhu
  • Hwang, Frank
  • DIMACS Workshop on Network Switching (1997: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 42
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 004.66 A244 1998 IMPA.

40.
Microsurveys in discrete probability: DIMACS workshop, June 2-6, 1997/ David Aldous, James Propp, editors. by
  • Propp, James, 1960-
  • Aldous, D. J. (David J.)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 41
Publication details: Providence, R.I.: American Mathematical Society, 1998
Availability: Items available for loan: Castorina (1)Call number: 519.2 M626 1998 IMPA.

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


Powered by Koha