Your search returned 21 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Expanding graphs: proceedings of a DIMACS workshop, May 11-14, 1992/ Joel Friedman, editor. by
  • Friedman, Joel, 1962-
  • DIMACS (Group)
  • DIMACS Workshop on Expander Graphs (1992 : Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 10
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.5 E96 1993 IMPA.

Place hold Add to cart
2.
Network flows and matching: first DIMACS implementation challenge/ David S. Johnson, Catherine C. McGeoch, editors. by
  • Johnson, David S, 1945-
  • McGeoch, Catherine C, 1959-
  • DIMACS (Group)
  • Challenge Workshop (1991 : DIMACS)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 12.
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.8 N476 1993 IMPA.

Place hold Add to cart
3.
Parallel processing of discrete optimization problems: DIMACS workshop, April 28-29, 1994/ Panos M. Pardalos, Mauricio G.C Resende, K.G. Ramakrishnan, editors. by
  • Pardalos, P. M. (Panos M.), 1954-
  • Resende, Mauricio G. C, 1955-
  • Ramakrishnan, K. G, 1952-
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 22.
Publication details: [Providence, RI]: American Mathematical Society, c1995
Availability: Items available for loan: Castorina (1)Call number: 519.3 P222 1995 IMPA.

Place hold Add to cart
4.
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.

Place hold Add to cart
5.
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.

Place hold Add to cart
6.
Coding and quantizatiion: DIMACS/IEEE Workshop, October 19-21, 1992/ Robert Calderbank, G. David Forney, Jr., Nader Moayeri, editors. by
  • Calderbank, Robert, 1954-
  • Forney, G. David
  • Moayeri, Nader, 1956-
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS (Group)
  • IEEE Information Theory Society
  • Workshop on Coding and Quantization (1992 : Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 14.
Publication details: [Providence, RI]: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 003 C669 1993 IMPA.

Place hold Add to cart
7.
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.

Place hold Add to cart
8.
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.

Place hold Add to cart
9.
Mathematical hierarchies and biology: DIMACS workshop, November 13-15, 1996/ Boris Mirkin ... [et al.], editors. by
  • Mirkin, B. G. (Boris Grigorevich)
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 37.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 574.011 M426 1997 IMPA.

Place hold Add to cart
10.
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.

Place hold Add to cart
11.
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.

Place hold Add to cart
12.
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.

Place hold Add to cart
13.
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.

Place hold Add to cart
14.
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.

Place hold Add to cart
15.
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.

Place hold Add to cart
16.
Interconnection networks and mapping and scheduling parallel computations: DIMACS workshop, February 7-9, 1994/ D. Frank Hsu, Arnold L. Rosenberg, Dominique Sotteau, editors. by
  • Hsu, D. Frank (Derbiau Frank), 1948-
  • Rosenberg, Arnold L, 1941-
  • Sotteau, Dominique, 1950-
  • 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. 21
Publication details: [Providence, RI]: American Mathematical Society, c1995
Availability: Items available for loan: Castorina (1)Call number: 004.35 I61 1995 IMPA.

Place hold Add to cart
17.
Robust communication networks: interconnection and survivability : DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS Center/ Nathaniel Dean, D. Frank Hsu, R. Ravi, editors. by
  • Dean, Nathaniel, 1956-
  • Hsu, D. Frank (Derbiau Frank), 1948-
  • Ravi, R. (Ramamoorthi), 1969-
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS Workshop on Robust Communication Networks (1998: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 52
Publication details: Providence, R.I.: American Mathematical Society, c2000
Availability: Items available for loan: Castorina (1)Call number: 004.6 R667 2000 IMPA.

Place hold Add to cart
18.
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.

Place hold Add to cart
19.
Parallel algorithms: third DIMACS implementation challenge/ Sandeep N. Bhatt, editor. by
  • Bhatt, Sandeep Nautam
  • DIMACS (Group)
  • Challenge Workshop (1991: DIMACS)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 30.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 004.35 P222 1997 IMPA.

Place hold Add to cart
20.
Algebraic coding theory and information theory: DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey/ A. Ashikhmin, A. Barg, editors. by
  • Ashikhmin, A. (Alexei), 1966-
  • Barg, Alexander, 1960-
  • DIMACS (Group)
Series: DIMACS series in discrete mathematics and theoretical computer science ; 68,
Publication details: Providence, R.I.: American Mathematical Society, c2005
Other title:
  • Coding theory and information theory
Availability: Items available for loan: Castorina (1)Call number: 003.54 A394 2005 IMPA.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha