yr 〜
yr

Search results 13

Handbook of computability and complexity in analysis (Theory and applications of computability)

Handbook of computability and complexity in analysis (Theory and applications of computability)
Paper図書
Vasco Brattka, Peter Hertling, editorsSpringer[2021]<MA41-D7>
National Diet LibraryOther Libraries in Japan

Theory and Applications of Computational Peptide Design

Theory and Applications of Computational Peptide Design
Digital博士論文障害者向け資料あり
山岸, 純也2014-12-25
National Diet Library

Algorithmic randomness and complexity (Theory and applications of computability)

Algorithmic randomness and complexity (Theory and applications of computability)
Paper図書
Rodney G. Downey, Denis R. Hirschfeldt.Springerc2010.<MA41-B32>
National Diet Library
  • Title HeadingTheory and applications of computability.

Theory and applications of computational chemistry -- 2008 : Shanghai, China 23-27 September 2008. : TACC2008 symposium : theoretical and computational chemistry conference : TACC 2008 international conference : Sep 2008, Shanghai, China. (AIP Conference Proceedings ; 1102)

Theory and applications of computational chemistry -- 2008 : Shanghai, China 23-27 September 2008. : TACC2008 symposium : theoretical and computational chemistry conference : TACC 2008 international conference : Sep 2008, Shanghai, China. (AIP Conference Proceedings ; 1102)
Paper図書
American Institute of Physics2009.<M17-09-1958>
National Diet Library

Theory and applications of computational chemistry : the first forty years : hardback : flexi-cover 1st ed

Theory and applications of computational chemistry : the first forty years : hardback : flexi-cover 1st ed
Paper図書
editors, Clifford E. Dykstra ... [et al.]Elsevier2005
Other Libraries in Japan

Reverse mathematics : problems, reductions, and proofs : hardcover

Reverse mathematics : problems, reductions, and proofs : hardcover
Paper図書
Damir D. Dzhafarov, Carl MummertSpringerc2022
Other Libraries in Japan

Reverse mathematics : problems, reductions, and proofs :pbk

Reverse mathematics : problems, reductions, and proofs :pbk
Paper図書
Damir D. Dzhafarov, Carl MummertSpringerc2022
Other Libraries in Japan

The incomputable : journeys beyond the turing barrier : softcover

The incomputable : journeys beyond the turing barrier : softcover
Paper図書
S. Barry Cooper, Mariya I. SoskovaSpringer International Publishing : Springerc2017
Other Libraries in Japan

Turing computability : theory and applications : pbk

Turing computability : theory and applications : pbk
Paper図書
Robert I. SoareSpringerc2016
Other Libraries in Japan

Higher-order computability

Higher-order computability
Paper図書
John Longley, Dag NormannSpringerc2015
Other Libraries in Japan

Apartness and uniformity : a constructive development

Apartness and uniformity : a constructive development
Paper図書
Douglas S. Bridges, Luminiţa Simona VîţăSpringerc2011
Other Libraries in Japan

Algorithmic randomness and complexity : pbk

Algorithmic randomness and complexity : pbk
Paper図書
Rodney G. Downey, Denis R. HirschfeldtSpringer Science+Business Mediac2010
Other Libraries in Japan

Theory and applications of computability

Theory and applications of computability
Paper図書
Springer Science+Business Media
Other Libraries in Japan

Reached to the end of result.