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"
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 2628, 1996 by Conference for AfricanAmerican Researchers in the Mathematical Sciences(
Book
)
1 edition published in 1997 in English and held by 226 WorldCat member libraries worldwide
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
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
4 editions published in 1995 in English and held by 142 WorldCat member libraries worldwide
Logic and random structures : DIMACS workshop, November 57, 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
3 editions published in 1997 in English and held by 131 WorldCat member libraries worldwide
Parallel processing of discrete optimization problems : DIMACS workshop, April 2829, 1994 by Discrete mathematics and theoretical computer science(
Book
)
2 editions published in 1995 in English and held by 126 WorldCat member libraries worldwide
2 editions published in 1995 in English and held by 126 WorldCat member libraries worldwide
DNA based computers II : DIMACS workshop, June 1012, 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
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 1113, 1996 by
Dingzhu Du(
Book
)
4 editions published in 1997 in English and held by 126 WorldCat member libraries worldwide
4 editions published in 1997 in English and held by 126 WorldCat member libraries worldwide
Mathematical hierarchies and biology : DIMACS workshop, November 1315, 1996 by Discrete mathematics and theoretical computer science(
Book
)
2 editions published in 1997 in English and held by 125 WorldCat member libraries worldwide
2 editions published in 1997 in English and held by 125 WorldCat member libraries worldwide
Proof complexity and feasible arithmetics : DIMACS workshop, April 2124, 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
1 edition published in 1998 in English and held by 119 WorldCat member libraries worldwide
Quadratic assignment and related problems : DIMACS Workshop, May 2021, 1993 by Discrete mathematics and theoretical computer science(
Book
)
2 editions published in 1994 in English and held by 115 WorldCat member libraries worldwide
2 editions published in 1994 in English and held by 115 WorldCat member libraries worldwide
Coding and quantization : DIMACS/IEEE Workshop, October 1921, 1992 by Workshop on Coding and Quantization(
Book
)
2 editions published in 1993 in English and held by 115 WorldCat member libraries worldwide
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 79, 1994(
Book
)
3 editions published in 1995 in English and held by 114 WorldCat member libraries worldwide
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 1820, 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
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 2527, 1999, DIMACS Center(
Book
)
2 editions published in 2000 in English and held by 110 WorldCat member libraries worldwide
2 editions published in 2000 in English and held by 110 WorldCat member libraries worldwide
DNA based computers III : DIMACS Workshop, June 2325, 1997 by DIMACS workshop on DNA computers(
Book
)
1 edition published in 1999 in English and held by 110 WorldCat member libraries worldwide
1 edition published in 1999 in English and held by 110 WorldCat member libraries worldwide
Specification of parallel algorithms : DIMACS workshop, May 911, 1994(
Book
)
1 edition published in 1994 in English and held by 102 WorldCat member libraries worldwide
1 edition published in 1994 in English and held by 102 WorldCat member libraries worldwide
Partitioning data sets : DIMACS workshop, April 1921, 1993 by Workshop on Partitioning data sets(
Book
)
1 edition published in 1995 in English and held by 100 WorldCat member libraries worldwide
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 realvalued 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
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 realvalued 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 2022, 1998 by
James M Abello(
Book
)
1 edition published in 1999 in English and held by 12 WorldCat member libraries worldwide
1 edition published in 1999 in English and held by 12 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Associated Subjects
African American mathematicians Biomathematics Cluster analysis Coding theory Combinatorial optimization Computational complexity Computer algorithms Computer networks Computer science Computer scienceMathematics Computer vision Constructive mathematics Decision making Discretetime systems Graph theory Hierarchies Inference Logic, Symbolic and mathematical Mathematical optimization Mathematics MathematicsStudy and teaching Memory management (Computer science) Mobile communication systems Mobile computing Molecular computers Multicasting (Computer networks) Parallel processing (Electronic computers) Parallel programming (Computer science) Partitions (Mathematics) Probabilities Proof theory Propositional calculus Quadratic assignment problem Set theory Telecommunication systems
Alternative Names
National Science Foundation (U.S.). Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Languages
Covers