本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Vasco Brattka, Peter Hertling, editorsSpringer[2021]<MA41-D7>
国立国会図書館全国の図書館
  • 件名Computable 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)
紙図書
Springer[2014]<M17-15-595>
国立国会図書館
  • 件名Computable 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)
紙図書
Rodney G. Downey, Denis R. Hirschfeldt.Springerc2010.<MA41-B32>
国立国会図書館
  • 件名Computational complexity. Computable functions.

Concise guide to computation theory

Concise guide to computation theory
紙図書
Akira Maruoka.Springer[2011]<MA41-B40>
国立国会図書館全国の図書館
  • 件名Computational 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)
紙図書
Springer[2015]<M17-16-394>
国立国会図書館
  • 件名...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)
紙図書
Springerc2013.<M17-14-558>
国立国会図書館
  • 件名Computable 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)
紙図書
Springerc2011.<M17-12-25>
国立国会図書館
  • 件名Computable functions--Congresses. Computational in...

Computability

Computability
紙図書
George TourlakisSpringerc2022
全国の図書館
  • 件名Computable functions
  • 件名（識別子）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)
紙図書
Springerc2012.<M17-13-533>
国立国会図書館
  • 件名Computable functions--Congresses. Computer science...

Reverse mathematics : problems, reductions, and proofs : hardcover

Reverse mathematics : problems, reductions, and proofs : hardcover
紙図書
Damir D. Dzhafarov, Carl MummertSpringerc2022
全国の図書館
  • 件名Reverse mathematics Computable functions
  • 件名（識別子）Reverse mathematics Computable functions

Reverse mathematics : problems, reductions, and proofs :pbk

Reverse mathematics : problems, reductions, and proofs :pbk
紙図書
Damir D. Dzhafarov, Carl MummertSpringerc2022
全国の図書館
  • 件名Reverse mathematics Computable functions
  • 件名（識別子）Reverse mathematics Computable functions

Computable structure theory : within the arithmetic : hardback

Computable structure theory : within the arithmetic : hardback
紙図書
Antonio MontalbánCambridge University Press2021
全国の図書館
  • 件名Computable functions
  • 件名（識別子）Computable functions

Structure and randomness in computability and set theory

Structure and randomness in computability and set theory
紙図書
ed. by Douglas Cenzer, Christopher Porter, Jindrich ZapletalWorld Scientific[2021]
全国の図書館
  • 件名Set theory Computable functions
  • 件名（識別子）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)
紙図書
Springerc2009.<M17-10-749>
国立国会図書館
  • 件名Computational 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)
紙図書
Springerc2006.<M17-06-2273>
国立国会図書館
  • 件名Computable 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)
紙図書
Springerc2008.<M17-08-1259>
国立国会図書館
  • 件名Computational 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
紙図書
Huishi LiCRC Press2022
全国の図書館
  • 件名...olvable groups Computable functions Modules (Algebra) Free resolu...
  • 件名（識別子）...olvable groups Computable functions Modules (Algebra) Free resolu...

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)
紙図書
Springerc2007.<M17-07-1735>
国立国会図書館
  • 件名Computable functions -- Congresses. Computational ...

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]
紙図書
Rod Downey, Noam GreenbergPrinceton University Press2020
全国の図書館
  • 件名Unsolvability (Mathematical logic) Computable functions Recursively enumerable sets
  • 件名（識別子）Unsolvability (Mathematical logic) Computable functions Recursively enumerable sets

Minimal weak truth table degrees and computably enumerable Turing degrees

Minimal weak truth table degrees and computably enumerable Turing degrees
紙図書
Rodney G. Downey, Keng Meng Ng, Reed SolomonAmerican Mathematical Societyc2020
全国の図書館
  • 件名Unsolvability (Mathematical logic) Recursively enumerable sets Computable functions
  • 件名（識別子）Unsolvability (Mathematical logic) Recursively enumerable sets Computable functions
RSS