Search by Bookstore
Table of Contents
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
other
CiNii Research
Search ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- us
- Target Audience
- 一般
- Related Material
- DNA based computers III : DIMACS Workshop, June 23-25, 1997Expanding graphs : proceedings of a DIMACS workshop, May 11-14, 1992Modeling paradigms and analysis of disease transmission modelsRobust communication networks: interconnection and survivability : DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS CenterDescriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton UniversityCodes and association schemes : DIMACS Workshop Codes and Association Schemes, November 9-12, 1999, DIMACS CenterUnusual applications of number theory : DIMACS Workshop, Unusual Applications of Number Theory, January 10-14, 2000, DIMACS CenterPartitioning data sets : DIMACS workshop, April 19-21, 1993Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996Mathematical methods of analysis of biopolymer sequencesParallel processing of discrete optimization problems : DIMACS workshop, April 28-29, 1994The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996Global minimization of nonconvex energy functions : molecular conformation and protein folding : DIMACS workshop, March 20-21, 1995Formal power series and algebraic combinatorics, 1994 : DIMACS workshop, May 23-27, 1994 = Séries formelles et combinatoire algébrique, 1994Mathematical hierarchies and biology : DIMACS workshop, November 13-15, 1996Interconnection networks and mapping and scheduling parallel computations : DIMACS workshop, February 7-9, 1994Discrete mathematical chemistry : DIMACS Workshop Discrete Mathematical Chemistry, March 23-24, 1998, Rutgers UniversityMicrosurveys in discrete probability : DIMACS workshop, June 2-6, 1997Graphs and discovery : DIMACS working group, computer-generated conjectures from graph theoretic and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University : DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers UniversityAdvances in network information theory : DIMACS Workshop Network Information Theory, March 17-19, 2003, Piscataway, New JerseyQuadratic assignment and related problems : DIMACS workshop, May 20-21, 1993Language computations : DIMACS Workshop on Human Language, March 20-22, 1992Disease evolution : models, concepts, and data analysesParallel algorithms : third DIMACS implementation challenge, October 17-19, 1994Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996Network design : connectivity and facilities location : DIMACS Workshop, April 28-30, 1997Randomization methods in algorithm design : DIMACS workshop, December 12-14, 1997Advances in switching networks : DIMACS workshop, July 7-9, 1997Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994Distributed computing and cryptography : proceedings of a DIMACS workshop held at the Nassau Inn in Princeton, New Jersey, October 4-6, 1989DNA based computers II : DIMACS workshop, June 10-12, 1996Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993Algebraic coding theory and information theory : DIMACS workshop December 15-18, 2003Constraint programming and large scale discrete optimization : DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS CenterApplied geometry and discrete mathematics : the Victor Klee festschriftNetworks in distributed computing : DIMACS Workshop, October 27-30, 1997External memory algorithms : DIMACS Workshop External Memory Algorithms and Visualization, May 20-22, 1998Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,Data structures, near neibor searches, and methodology : fifth and sixth DIMACS implementation challenges : papers related to the DIMACS challenge on dictionaries and priority queues (1995-1996) and the DIMACS challenge on near neighbor searches (1998-1999)Groups and computationComputational support for discrete mathematics : DIMACS workshop, March 12-14, 1992Planar graphsDNA based computers V : DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of TechnologyReliability of computer and communication networks : proceedings of a DIMACS Workshop, December 2-4, 1989Multichannel optical networks : theory and practice : DIMACS Workshop, March 16-19, 1998Geometric and algorithmic aspects of computer-aided design and manufacturing : DIMACS Workshop Computer Aided Design and Manufacturing, October 7-9, 2003, Piscataway, New JerseyGeometric and computational perspectives on infinite groups : proceedings of a Joint DIMACS/Geometry Center Workshop, January 3-14 and March 17-20, 1994Coding and quantization : DIMACS/IEEE Workshop, October 19-21, 1992Network threats : DIMACS workshop, December 2-4, 1996Mobile networks and computing : DIMACS Workshop mobile networks and computing, March 25-27, 1999, DIMACS CenterAfrican Americans in mathematics : DIMACS workshop, June 26-28, 1996Data depth : robust multivariate analysis, computational geometry and applicationsDiscrete and computational geometry : papers from the DIMACS special yearDiscrete mathematics in the schoolsSet theory : the Hajnal Conference, October 15-17, 1999 DIMACS CenterBiomath in the schoolsAdvances in computational complexity theoryCombinatorial optimizationThe random projection methodPolyhedral combinatorics : proceedings of a DIMACS workshop : June 12-16, 1989DNA based computers : proceedings of a DIMACS workshop, April 4, 1995, Princeton UniversityAdvances in information recordingOn-line algorithms : proceedings of a DIMACS workshop, February 11-13, 1991Bioconsensus : DIMACS working group meetings on Bioconsensus, October 25-26, 2000 and October 2-5, 2001, DIMACS CenterThe shortest path problem : ninth DIMACS implementation challengeMathematical support for molecular biology : papers related to the special year in mathematical support for molecular biology 1994-1998Multiantenna channels : capacity, coding and signal processing : DIMACS Workshop Signal Processing for Wireless Transmission, October 7-9, 2002, DIMACS CenterGraphs, morphisms and statistical physics : DIMACS Workshop Graphs, Morphisms and Statistical Physics, March 19-21, 2001, DIMACS CenterComputer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990Algorithmic and quantitative real algebraic geometry : DIMACS workshop, Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS CenterDiscrete mathematical problems with medical applications : DIMACS workshop discrete mathematical problems with medical applications, December 8-10, 1999, DIMACS CenterContemporary trends in discrete mathematics : from DIMACS and DIMATIA to the future : DIMATIA-DIMACS conference, May 19-25, 1997, Štiřín Castle, Czech RepublicLogic and random structures : DIMACS workshop, November 5-7, 1995Discrete methods in epidemiologyNetwork flows and matching : first DIMACS implementation challenge
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books
- NCID
- https://ci.nii.ac.jp/ncid/BA12282377 : BA12282377