Results of search for 'ccl=se,phr:"Discrete mathematics and theoretical computer science;"'

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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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). Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)
	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. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 66 results.