Jump to main content

yr 〜
yr

Search results 90

Codes and association schemes : DIMACS Workshop Codes and Association Schemes, November 9-12, 1999, DIMACS Center : Nov 1999, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 56)

Codes and association schemes : DIMACS Workshop Codes and Association Schemes, November 9-12, 1999, DIMACS Center : Nov 1999, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 56)
Paper図書
American Mathematical Society2001.<M17-01-1649>
National Diet Library
  • Author HeadingDIMACS.

DNA based computers II : DIMACS workshop -- : DNA based computers : Annual workshop : 2nd : Jun 1996, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 44)

DNA based computers II : DIMACS workshop -- : DNA based computers : Annual workshop : 2nd : Jun 1996, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 44)
Paper図書
American Mathematical Society1999.<M17-01-1002>
National Diet Library
  • Note (General)Papers. Index term: DNA based computers ; DIMACS. BL shelfmark: 3588.4617 vol 4...
  • Author HeadingDIMACS.

Discrete mathematical chemistry : DIMACS workshop, discrete mathematical chemistry, March 23-24, 1998, Rutgers University : Mar 1998, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 51)

Discrete mathematical chemistry : DIMACS workshop, discrete mathematical chemistry, March 23-24, 1998, Rutgers University : Mar 1998, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 51)
Paper図書
American Mathematical Societyc2000.<M17-01-1645>
National Diet Library
  • Author HeadingDIMACS.

Randomization methods in algorithm design : DIMACS workshop, December 12-14, 1997 : Dec 1997, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 43)

Randomization methods in algorithm design : DIMACS workshop, December 12-14, 1997 : Dec 1997, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 43)
Paper図書
American Mathematical Society1999.<M17-01-1640>
National Diet Library
  • Note (General)...rithm design ; DIMACS. BL shelfmark: 3588.4617 vol 4...
  • Author HeadingDIMACS.

DNA based computers III : DIMACS Workshop, June 23-25, 1997 -- : DNA based computers : Workshop : 3rd : Jun 1997, Philadelphia, PA. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 48)

DNA based computers III : DIMACS Workshop, June 23-25, 1997 -- : DNA based computers : Workshop : 3rd : Jun 1997, Philadelphia, PA. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 48)
Paper図書
American Mathematical Society1999.<M17-01-1003>
National Diet Library
  • Note (General)Papers. Index term: DNA based computers ; DIMACS. BL shelfmark: 3588.4617 vol 4...
  • Author HeadingDIMACS.

Networks in distributed computing : DIMACS Workshop, October 27-29, 1997 : Oct 1997, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 45)

Networks in distributed computing : DIMACS Workshop, October 27-29, 1997 : Oct 1997, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 45)
Paper図書
American Mathematical Society1999.<M17-01-1641>
National Diet Library
  • Note (General)...ed computing ; DIMACS. BL shelfmark: 3588.4617 vol 4...
  • Author HeadingDIMACS.

Microsurveys in discrete probability -- : Microsurveys in discrete probability : Workshop : Jun 1997, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 41)

Microsurveys in discrete probability -- : Microsurveys in discrete probability : Workshop : Jun 1997, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 41)
Paper図書
American Mathematical Society1998.<M17-01-1638>
National Diet Library
  • Note (General)...microsurveys ; DIMACS. BL shelfmark: 3588.4617 vol 4...
  • Author HeadingDIMACS.

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 -- : Feasible arithmetics and length of proofs : Workshop : Apr 1996, Rutgers, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 39)

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 -- : Feasible arithmetics and length of proofs : Workshop : Apr 1996, Rutgers, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 39)
Paper図書
American Mathematical Society1998.<M17-01-1636>
National Diet Library
  • Note (General)...f complexity ; DIMACS. BL shelfmark: 3588.4617 vol 3...
  • Author HeadingDIMACS.

Robust communication networks : interconnection and survivability: DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS Center : Nov 1998, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 52)

Robust communication networks : interconnection and survivability: DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS Center : Nov 1998, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 52)
Paper図書
American Mathematical Societyc2000.<M17-01-1647>
National Diet Library
  • Author HeadingDIMACS. NSF Science and Technology Ce...

Advances in switching networks -- : Network switching : Workshop : Jul 1997, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 42)

Advances in switching networks -- : Network switching : Workshop : Jul 1997, Princeton, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 42)
Paper図書
American Mathematical Society1998.<M17-01-1639>
National Diet Library
  • Note (General)...ing networks ; DIMACS. BL shelfmark: 3588.4617 vol 4...
  • Author HeadingDIMACS.

The SPIN verification system -- : SPIN verification system : Workshop : 2nd : Aug 1996, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 32)

The SPIN verification system -- : SPIN verification system : Workshop : 2nd : Aug 1996, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 32)
Paper図書
American Mathematical Society1997.<M17-01-1630>
National Diet Library
  • Author HeadingDIMACS.

Parallel algorithms : third DIMACS implementation challenge -- : Annual DIMACS implementation challenge workshop : 3rd : Oct 1994, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 30)

Parallel algorithms : third DIMACS implementation challenge -- : Annual DIMACS implementation challenge workshop : 3rd : Oct 1994, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 30)
Paper図書
American Mathematical Society1997.<M17-01-1628>
National Diet Library
  • Note (General)Papers. Held at DIMACS. Index term: DIMACS ; parallel...
  • Author HeadingDIMACS.

Global minimization of nonconvex energy functions : molecular conformation and protein folding -- : Global minimization of nonconvex energy functions : molecular conformation and protein folding : Workshop : Mar 1995, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 23)

Global minimization of nonconvex energy functions : molecular conformation and protein folding -- : Global minimization of nonconvex energy functions : molecular conformation and protein folding : Workshop : Mar 1995, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 23)
Paper図書
American Mathematical Society1996.<M17-01-1622>
National Diet Library
  • Author HeadingDIMACS.

Mathematical hierarchies and biology : DIMACS workshop, November 13-15, 1996 : Nov 1996, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 37)

Mathematical hierarchies and biology : DIMACS workshop, November 13-15, 1996 : Nov 1996, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 37)
Paper図書
American Mathematical Society1997.<M17-01-1634>
National Diet LibraryOther Libraries in Japan
  • Note (General)Selected papers. Held at DIMACS. Index term: DIMACS ; mathemat...
  • Author HeadingDIMACS.

Formal power series and algebraic combinatorics, 1994 : DIMACS workshop, May 23-27, 1994 (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 24)

Formal power series and algebraic combinatorics, 1994 : DIMACS workshop, May 23-27, 1994 (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 24)
Paper図書
American Mathematical Societyc1996.<M17-01-1623>
National Diet Library
  • Note (General)Papers. Held at DIMACS. Invited lectur......ombinatorics ; DIMACS.
  • Alternative Title...-----. Held at DIMACS. Invited lectures presented at...
  • Alternative Title...-----. Held at DIMACS. Invited lectures presented at...

Geometric and computational perspectives on infinite groups -- : Geometric and computational perspectives on infinite groups : Joint workshop : Jan 1994, Minneapolis, MN. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 25)

Geometric and computational perspectives on infinite groups -- : Geometric and computational perspectives on infinite groups : Joint workshop : Jan 1994, Minneapolis, MN. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 25)
Paper図書
American Mathematical Society1996.<M17-01-1624>
National Diet Library
  • Author HeadingDIMACS. Geometry Center.

Network flows and matching : Challenge workshop : Oct 1991, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 12)

Network flows and matching : Challenge workshop : Oct 1991, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 12)
Paper図書
American Mathematical Society1993.<M17-01-1612>
National Diet Library
  • Note (General)...ork matching ; DIMACS. BL shelfmark: 3588.4617 vol 1...
  • Author HeadingDIMACS.

Coding and quantization : Workshop : Oct 1992, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 14)

Coding and quantization : Workshop : Oct 1992, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 14)
Paper図書
American Mathematical Society1993.<M17-01-1614>
National Diet Library
  • Note (General)Papers. Index term: coding ; quantization ; DIMACS. BL shelfmark: 3588.4617 vol 1...
  • Author HeadingIEEE. Information Theory Society. DIMACS.

Graphs, morphisms and statistical physics : DIMACS workshop graphs, morphisms and statistical physics : March 19-21, 2001 : DIMACS Center. : Mar 2001, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 63)

Graphs, morphisms and statistical physics : DIMACS workshop graphs, morphisms and statistical physics : March 19-21, 2001 : DIMACS Center. : Mar 2001, ------. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 63)
Paper図書
American Mathematical Societyc2004.<M17-04-2469>
National Diet Library

Unconventional computation : 10th international conference, UC 2011 : Turku, Finland, June 6-10, 2011 : proceedings. : main UC2010 [i.e. UC2011] conference : Jun 2011, Turku, Finland. (Lecture Notes in Computer Science ; 6714)

Unconventional computation : 10th international conference, UC 2011 : Turku, Finland, June 6-10, 2011 : proceedings. : main UC2010 [i.e. UC2011] conference : Jun 2011, Turku, Finland. (Lecture Notes in Computer Science ; 6714)
Paper図書
Springerc2011.<M17-11-3224>
National Diet Library
RSS