Jump to main content

yr 〜
yr

Search results 186

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
Paper図書
Springerc2011.<M17-11-3217>
National Diet Library

The art of mathematics, take two : tea time in Cambridge pbk. 1st ed.

The art of mathematics, take two : tea time in Cambridge pbk. 1st ed.
Paper図書
Béla BollobásCambridge University Press2022
Other Libraries in Japan
  • LCCQA93

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
Paper図書
Springerc2010.<M17-11-152>
National Diet Library

The spirit of mathematics : algebra and all that

The spirit of mathematics : algebra and all that
Paper図書
David AchesonOxford University Press2023
Other Libraries in Japan
  • LCCQA93

The art of mathematics – take two : tea time in cambridge : hardback

The art of mathematics – take two : tea time in cambridge : hardback
Paper図書
Béla BollobásCambridge University Pressc2022
Other Libraries in Japan
  • LCCQA93

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
Paper図書
Springerc2009.<M17-10-304>
National Diet Library

Looking for math in all the wrong places : math in real life

Looking for math in all the wrong places : math in real life
Paper図書
Shai SimonsonMAA Pressc2022
Other Libraries in Japan
  • LCCQA93

Putting two and two together : selections from the mathologer file :pbk.

Putting two and two together : selections from the mathologer file :pbk.
Paper図書
Burkard Polster, Marty RossAmerican Mathematical Societyc2021
Other Libraries in Japan
  • LCCQA93

Handbook of satisfiability pt. 2 2nd ed

Handbook of satisfiability pt. 2 2nd ed
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2021
Other Libraries in Japan

Illustrating mathematics : pbk

Illustrating mathematics : pbk
Paper図書
Diana Davis, editorAmerican Mathematical Societyc2020
Other Libraries in Japan
  • LCCQA93

Pluses and minuses : how math solves our problems : [pbk.]

Pluses and minuses : how math solves our problems : [pbk.]
Paper図書
Stefan Buijsman ; translated from the Dutch by Andy BrownPenguin2020
Other Libraries in Japan
  • LCCQA93

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)
Paper図書
Springerc2006.<M17-06-2345>
National Diet Library

The maths of life and death : why maths of life is (almost) everything : hb

The maths of life and death : why maths of life is (almost) everything : hb
Paper図書
Kit YaresQuercus2019
Other Libraries in Japan
  • LCCQA93

Problems with a point : exploring math and computer science : hardback

Problems with a point : exploring math and computer science : hardback
Paper図書
William Gasarch, Clyde KruskalWorld Scientificc2019
Other Libraries in Japan
  • LCCQA93

The prime number conspiracy : the biggest ideas in math from Quanta : pbk

The prime number conspiracy : the biggest ideas in math from Quanta : pbk
Paper図書
edited by Thomas Lin ; [foreword by James Gleick]MIT Pressc2018
Other Libraries in Japan
  • LCCQA93

A readable introduction to real mathematics 2nd ed

A readable introduction to real mathematics 2nd ed
Paper図書
Daniel Rosenthal, David Rosenthal, Peter RosenthalSpringerc2018
Other Libraries in Japan
  • LCCQA93

The calculus of happiness : how a mathematical approach to life adds up to health, wealth, and love

The calculus of happiness : how a mathematical approach to life adds up to health, wealth, and love
Paper図書
Oscar E. FernandezPrinceton University Pressc2017
Other Libraries in Japan
  • LCCQA93

Burn math class : and reinvent mathematics for yourself : hbk

Burn math class : and reinvent mathematics for yourself : hbk
Paper図書
Jason WilkesBasic Books, a member of the Perseus Books Groupc2016
Other Libraries in Japan
  • LCCQA93

A dingo ate my math book : mathematics from Down Under : [pbk.]

A dingo ate my math book : mathematics from Down Under : [pbk.]
Paper図書
Burkard Polster, Marty RossAmerican Mathematical Societyc2017
Other Libraries in Japan
  • LCCQA93

A mathematical gallery

A mathematical gallery
Paper図書
Lisl GaalAmerican Mathematical Societyc2017
Other Libraries in Japan
  • LCCQA93
RSS