yr 〜
yr

Search results 150

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
  • Subject HeadingComputable functions--Handbooks, manuals, etc Computable functions

Language, life, limits : 10th conference on computability in Europe, CiE 2014 : Budapest, Hungary, June 23-27, 2014 : proceedings : annual CiE conference : Jun 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8493)

Language, life, limits : 10th conference on computability in Europe, CiE 2014 : Budapest, Hungary, June 23-27, 2014 : proceedings : annual CiE conference : Jun 2014, Budapest, Hungary. (Lecture Notes in Computer Science ; 8493)
Paper図書
Springer[2014]<M17-15-595>
National Diet Library
  • Subject HeadingComputable functions--Congresses. C......s--Congresses. Computable functions. Computer science--Mathematic...

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
  • Subject HeadingComputational complexity. Computable functions.

Concise guide to computation theory

Concise guide to computation theory
Paper図書
Akira Maruoka.Springer[2011]<MA41-B40>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingComputational complexity. Machine theory. Computable functions.

Evolving computability : 11th conference on computability in Europe, CiE 2015 : Bucharest, Romania, June 29-July 3, 2015 : proceedings : annual CiE conference : Jun 2015, Bucharest, Romania. (Lecture Notes in Computer Science ; 9136)

Evolving computability : 11th conference on computability in Europe, CiE 2015 : Bucharest, Romania, June 29-July 3, 2015 : proceedings : annual CiE conference : Jun 2015, Bucharest, Romania. (Lecture Notes in Computer Science ; 9136)
Paper図書
Springer[2015]<M17-16-394>
National Diet Library
  • Subject Heading...mal Languages. Computable functions--Congresses. C......s--Congresses. Computable functions. Computer science--Mathematic...

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)
Paper図書
Springerc2013.<M17-14-558>
National Diet Library
  • Subject HeadingComputable functions--Congresses. Computer science...

Models of computation in context : 7th conference on computability in Europe, CiE 2011 : Sofia, Bulgaria, June 27-July 2, 2011 : proceedings : annual CiE conference : Jun 2011, Sofia, Bulgaria. (Lecture Notes in Computer Science ; 6735)

Models of computation in context : 7th conference on computability in Europe, CiE 2011 : Sofia, Bulgaria, June 27-July 2, 2011 : proceedings : annual CiE conference : Jun 2011, Sofia, Bulgaria. (Lecture Notes in Computer Science ; 6735)
Paper図書
Springerc2011.<M17-12-25>
National Diet Library
  • Subject HeadingComputable functions--Congresses. Computational in...

Computability

Computability
Paper図書
George TourlakisSpringerc2022
Other Libraries in Japan
  • Subject HeadingComputable functions
  • Subject Heading (ID)Computable functions

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012 : Cambridge, UK, June 18-23, 2012 : proceedings : annual CiE conference : Jun 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7318)

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012 : Cambridge, UK, June 18-23, 2012 : proceedings : annual CiE conference : Jun 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7318)
Paper図書
Springerc2012.<M17-13-533>
National Diet Library
  • Subject HeadingComputable functions--Congresses. Computer science...

Reverse mathematics : problems, reductions, and proofs : hardcover

Reverse mathematics : problems, reductions, and proofs : hardcover
Paper図書
Damir D. Dzhafarov, Carl MummertSpringerc2022
Other Libraries in Japan
  • Subject HeadingReverse mathematics Computable functions
  • Subject Heading (ID)Reverse mathematics Computable functions

Reverse mathematics : problems, reductions, and proofs :pbk

Reverse mathematics : problems, reductions, and proofs :pbk
Paper図書
Damir D. Dzhafarov, Carl MummertSpringerc2022
Other Libraries in Japan
  • Subject HeadingReverse mathematics Computable functions
  • Subject Heading (ID)Reverse mathematics Computable functions

Computable structure theory : within the arithmetic : hardback

Computable structure theory : within the arithmetic : hardback
Paper図書
Antonio MontalbánCambridge University Press2021
Other Libraries in Japan
  • Subject HeadingComputable functions
  • Subject Heading (ID)Computable functions

Structure and randomness in computability and set theory

Structure and randomness in computability and set theory
Paper図書
ed. by Douglas Cenzer, Christopher Porter, Jindrich ZapletalWorld Scientific[2021]
Other Libraries in Japan
  • Subject HeadingSet theory Computable functions
  • Subject Heading (ID)Set theory Computable functions

Theory and applications of models of computation : 6th annual conference, TAMC 2009 : Changsha, China, May 18-22, 2009 : proceedings. : May 2009, Changsha, China. (Lecture Notes in Computer Science ; 5532)

Theory and applications of models of computation : 6th annual conference, TAMC 2009 : Changsha, China, May 18-22, 2009 : proceedings. : May 2009, Changsha, China. (Lecture Notes in Computer Science ; 5532)
Paper図書
Springerc2009.<M17-10-749>
National Diet Library
  • Subject HeadingComputational complexity -- Congresses. Computable functions -- Congresses.

Logical approaches to computational barriers : second conference on computability in Europe, CiE 2006 : Swansea, UK, June 30-July 5, 2006 : proceedings. : Swansea meeting : Jun 2006, Swansea, UK. (Lecture Notes in Computer Science ; 3988)

Logical approaches to computational barriers : second conference on computability in Europe, CiE 2006 : Swansea, UK, June 30-July 5, 2006 : proceedings. : Swansea meeting : Jun 2006, Swansea, UK. (Lecture Notes in Computer Science ; 3988)
Paper図書
Springerc2006.<M17-06-2273>
National Diet Library
  • Subject HeadingComputable functions -- Congresses.

Theory and applications of models of computation : 5th international conference, TAMC 2008 : Xi'an, China, April 25-29, 2008 : proceedings. : Apr 2008, Xi'an, China. (Lecture Notes in Computer Science ; 4978)

Theory and applications of models of computation : 5th international conference, TAMC 2008 : Xi'an, China, April 25-29, 2008 : proceedings. : Apr 2008, Xi'an, China. (Lecture Notes in Computer Science ; 4978)
Paper図書
Springerc2008.<M17-08-1259>
National Diet Library
  • Subject HeadingComputational complexity -- Congresses. Computable functions -- Congresses.

Noncommutative polynomial algebras of solvable type and their modules : basic constructive-computational theory and methods : hbk 1st ed

Noncommutative polynomial algebras of solvable type and their modules : basic constructive-computational theory and methods : hbk 1st ed
Paper図書
Huishi LiCRC Press2022
Other Libraries in Japan
  • Subject Heading...olvable groups Computable functions Modules (Algebra) Free resolu...
  • Subject Heading (ID)...olvable groups Computable functions Modules (Algebra) Free resolu...

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability : pbk : [hardback]

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability : pbk : [hardback]
Paper図書
Rod Downey, Noam GreenbergPrinceton University Press2020
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Computable functions Recursively enumerable sets
  • Subject Heading (ID)Unsolvability (Mathematical logic) Computable functions Recursively enumerable sets

Computation and logic in the real world : third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings. : annual CiE conference : women in computability workshop : Jun 2007, Siena, Italy. (Lecture Notes in Computer Science ; 4497)

Computation and logic in the real world : third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings. : annual CiE conference : women in computability workshop : Jun 2007, Siena, Italy. (Lecture Notes in Computer Science ; 4497)
Paper図書
Springerc2007.<M17-07-1735>
National Diet Library
  • Subject HeadingComputable functions -- Congresses. Computational ...

Minimal weak truth table degrees and computably enumerable Turing degrees

Minimal weak truth table degrees and computably enumerable Turing degrees
Paper図書
Rodney G. Downey, Keng Meng Ng, Reed SolomonAmerican Mathematical Societyc2020
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Recursively enumerable sets Computable functions
  • Subject Heading (ID)Unsolvability (Mathematical logic) Recursively enumerable sets Computable functions