yr 〜
yr

Search results 50

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
  • LCCQA9.59

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
  • LCCQA9.59

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
  • LCCQA9.59

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
  • LCCQA9.59

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
  • LCCQA9.59

Programs, proofs, processes : 6th conference on computability in Europe, CiE 2010 : Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings. : annual CiE conference : Jun 2010, Ponta Delgada, Portugal. (Lecture Notes in Computer Science ; 6158)

Programs, proofs, processes : 6th conference on computability in Europe, CiE 2010 : Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings. : annual CiE conference : Jun 2010, Ponta Delgada, Portugal. (Lecture Notes in Computer Science ; 6158)
Paper図書
Springerc2010.<M17-10-3742>
National Diet Library
  • LCCQA9.59

Logic and theory of algorithms : 4th conference on computability in Europe, CiE 2008 : Athens, Greece, June 15-20, 2008 : proceedings. : Athens meeting : annual CiE conference : Jun 2008, Athens, Greece. (Lecture Notes in Computer Science ; 5028)

Logic and theory of algorithms : 4th conference on computability in Europe, CiE 2008 : Athens, Greece, June 15-20, 2008 : proceedings. : Athens meeting : annual CiE conference : Jun 2008, Athens, Greece. (Lecture Notes in Computer Science ; 5028)
Paper図書
Springerc2008.<M17-08-2134>
National Diet Library
  • LCCQA9.59

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
  • LCCQA9.59

Computability in context : computation and logic in the real world

Computability in context : computation and logic in the real world
Paper図書
editors, S. Barry Cooper & Andrea SorbiImperlial College Press2011
Other Libraries in Japan
  • LCCQA9.59

Theory of computation

Theory of computation
Paper図書
George TourlakisJohn Wiley & Sonsc2012
Other Libraries in Japan
  • LCCQA9.59

New computational paradigms : changing conceptions of what is computable

New computational paradigms : changing conceptions of what is computable
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringerc2010
Other Libraries in Japan
  • LCCQA9.59

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings
Paper図書
Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)Springer2009
Other Libraries in Japan
  • LCCQA9.59

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings pbk.

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings pbk.
Paper図書
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)Springerc2008
Other Libraries in Japan
  • LCCQA9.59

New computational paradigms : changing conceptions of what is computable : pbk

New computational paradigms : changing conceptions of what is computable : pbk
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringer2008
Other Libraries in Japan
  • LCCQA9.59

Computability and logic : pbk : hard 5th ed

Computability and logic : pbk : hard 5th ed
Paper図書
George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2007
Other Libraries in Japan
  • LCCQA9.59

Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings

Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings
Paper図書
Arnold Beckmann ... [et al.]Springerc2006
Other Libraries in Japan
  • LCCQA9.59

Computability theory

Computability theory
Paper図書
S. Barry CooperChapman & Hall/CRCc2004
Other Libraries in Japan
  • LCCQA9.59

Computability, complexity, logic / E. Börger. (Studies in logic and the foundations of mathematics ; v. 128)

Computability, complexity, logic / E. Börger. (Studies in logic and the foundations of mathematics ; v. 128)
Paper図書
North-Holland1989.<MA41-A61>
National Diet Library
  • LCCQA9.59

Computability and logic : pbk 4th ed

Computability and logic : pbk 4th ed
Paper図書
George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2002
Other Libraries in Japan
  • LCCQA9.59

Computability : computable functions, logic, and the foundations of mathematics 2nd ed.

Computability : computable functions, logic, and the foundations of mathematics 2nd ed.
Paper図書
Richard L. Epstein, Walter A. CarnielliWadsworthc2000
Other Libraries in Japan
  • LCCQA9.59