WorldCat Identities

NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Overview
Works: 36 works in 57 publications in 1 language and 2,611 library holdings
Genres: Conference papers and proceedings 
Roles: Funder, Other
Classifications: QA248, 511.3
Publication Timeline
.
Most widely held works by NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Discrete mathematics in the schools by NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science( Book )

2 editions published in 1997 in English and held by 338 WorldCat member libraries worldwide

"Contains refereed articles on the theme of a conference held at DIMACS at Rutgers University in October 1992"
African Americans in mathematics : DIMACS workshop, June 26-28, 1996 by Conference for African-American Researchers in the Mathematical Sciences( Book )

1 edition published in 1997 in English and held by 226 WorldCat member libraries worldwide

DNA based computers : proceedings of a DIMACS workshop, April 4, 1995, Princeton University by Richard J Lipton( Book )

4 editions published in 1996 in English and held by 148 WorldCat member libraries worldwide

Combinatorial optimization : papers from the DIMACS Special Year by DIMACS Special Year on Combinatorial Optimization( Book )

4 editions published in 1995 in English and held by 142 WorldCat member libraries worldwide

Logic and random structures : DIMACS workshop, November 5-7, 1995 by DIMACS Workshop on Logic and Random Structures( Book )

3 editions published in 1997 in English and held by 131 WorldCat member libraries worldwide

Parallel processing of discrete optimization problems : DIMACS workshop, April 28-29, 1994 by Discrete mathematics and theoretical computer science( Book )

2 editions published in 1995 in English and held by 126 WorldCat member libraries worldwide

DNA based computers II : DIMACS workshop, June 10-12, 1996 by Annual Workshop on DNA Based Computers( Book )

3 editions published between 1998 and 1999 in English and held by 126 WorldCat member libraries worldwide

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 by Dingzhu Du( Book )

4 editions published in 1997 in English and held by 126 WorldCat member libraries worldwide

Mathematical hierarchies and biology : DIMACS workshop, November 13-15, 1996 by Discrete mathematics and theoretical computer science( Book )

2 editions published in 1997 in English and held by 125 WorldCat member libraries worldwide

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 by DIMACS workshop on feasible arithmetics and lenght of proofs( Book )

1 edition published in 1998 in English and held by 119 WorldCat member libraries worldwide

Quadratic assignment and related problems : DIMACS Workshop, May 20-21, 1993 by Discrete mathematics and theoretical computer science( Book )

2 editions published in 1994 in English and held by 115 WorldCat member libraries worldwide

Coding and quantization : DIMACS/IEEE Workshop, October 19-21, 1992 by Workshop on Coding and Quantization( Book )

2 editions published in 1993 in English and held by 115 WorldCat member libraries worldwide

Interconnection networks and mapping and scheduling parallel computations : DIMACS workshop, February 7-9, 1994( Book )

3 editions published in 1995 in English and held by 114 WorldCat member libraries worldwide

Robust communication networks : interconnection and survivability : DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS Center by DIMACS workshop Robust Communication Newtorks: Interconnections and survivability( Book )

1 edition published in 2000 in English and held by 111 WorldCat member libraries worldwide

Mobile networks and computing : DIMACS workshop, mobile networks and computing, March 25-27, 1999, DIMACS Center( Book )

2 editions published in 2000 in English and held by 110 WorldCat member libraries worldwide

DNA based computers III : DIMACS Workshop, June 23-25, 1997 by DIMACS workshop on DNA computers( Book )

1 edition published in 1999 in English and held by 110 WorldCat member libraries worldwide

Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994( Book )

1 edition published in 1994 in English and held by 102 WorldCat member libraries worldwide

Partitioning data sets : DIMACS workshop, April 19-21, 1993 by Workshop on Partitioning data sets( Book )

1 edition published in 1995 in English and held by 100 WorldCat member libraries worldwide

Set theory by A Hajnal( Book )

1 edition published in 2002 in English and held by 90 WorldCat member libraries worldwide

This is a classic introduction to set theory in three parts. The first part gives a general introduction to set theory, suitable for undergraduates; complete proofs are given and no background in logic is required. Exercises are included, and the more difficult ones are supplied with hints. An appendix to the first part gives a more formal foundation to axiomatic set theory, supplementing the intuitive introduction given in the first part. The final part gives an introduction to modern tools of combinatorial set theory. This part contains enough material for a graduate course of one or two semesters. The subjects discussed include stationary sets, delta systems, partition relations, set mappings, measurable and real-valued measurable cardinals. Two sections give an introduction to modern results on exponentiation of singular cardinals, and certain deeper aspects of the topics are developed in advanced problems
External memory algorithms : DIMACS Workshop External Memory and Visualization, May 20-22, 1998 by James M Abello( Book )

1 edition published in 1999 in English and held by 12 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.20 for Set theory ... to 0.72 for Logic and ...)

Discrete mathematics in the schools
Alternative Names
National Science Foundation (U.S.). Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Languages
English (41)

Covers
African Americans in mathematics : DIMACS workshop, June 26-28, 1996Logic and random structures : DIMACS workshop, November 5-7, 1995DNA based computers II : DIMACS workshop, June 10-12, 1996Mathematical hierarchies and biology : DIMACS workshop, November 13-15, 1996Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996Interconnection networks and mapping and scheduling parallel computations : DIMACS workshop, February 7-9, 1994Robust communication networks : interconnection and survivability : DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS CenterMobile networks and computing : DIMACS workshop, mobile networks and computing, March 25-27, 1999, DIMACS Center