本文に飛ぶ

年 〜
年

検索結果 34 件

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館

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.

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 intelligence -...

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)
紙図書
Springerc2010.<M17-10-3742>
国立国会図書館
  • 件名Computable functions -- Congresses. Computational intelligence -...

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>
国立国会図書館

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)
紙図書
Springerc2008.<M17-08-2134>
国立国会図書館
  • 件名Computable functions -- Congresses. Computational intelligence -...

Connecting with computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings

Connecting with computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings
紙図書
Liesbeth De Mol ... [et al.], (eds.)Springerc2021
全国の図書館
  • 件名Computable functions -- Congresses Computer science -- Mathemati...
  • 件名（識別子）Computable functions -- Congresses Computer science -- Mathemati...

Mathematical theory and computational practice : 5th conference on computability in Europe, CiE 2009 : Heidelberg, Germany, July 19-24, 2009 : proceedings. : CiE-CS : annual CiE conference : Jul 2009, Heidelberg, Germany. (Lecture Notes in Computer Science ; 5635)

Mathematical theory and computational practice : 5th conference on computability in Europe, CiE 2009 : Heidelberg, Germany, July 19-24, 2009 : proceedings. : CiE-CS : annual CiE conference : Jul 2009, Heidelberg, Germany. (Lecture Notes in Computer Science ; 5635)
紙図書
Springerc2009.<M17-10-1586>
国立国会図書館
  • 件名Computable functions -- Congresses. Computer science -- Mathemat...

Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings

Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings
紙図書
Marcella Anselmo ... [et al.], (eds.)Springerc2020
全国の図書館
  • 件名Computable functions -- Congresses Computer science -- Mathemati...
  • 件名（識別子）Computable functions -- Congresses Computer science -- Mathemati...

Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009 : Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings. : Aug 2009, Novy Smokovec, Slovakia. (Lecture Notes in Computer Science ; 5734)

Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009 : Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings. : Aug 2009, Novy Smokovec, Slovakia. (Lecture Notes in Computer Science ; 5734)
紙図書
Springerc2009.<M17-10-1589>
国立国会図書館
  • 件名...-- Congresses. Computable functions -- Congresses. Machine theory -- Congresses...

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007 : Cesky Krumlov, Czech Republic, August 26-31, 2007 : proceedings. : Aug 2007, Cesky Krumlov, Czech Republic. (Lecture Notes in Computer Science ; 4708)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007 : Cesky Krumlov, Czech Republic, August 26-31, 2007 : proceedings. : Aug 2007, Cesky Krumlov, Czech Republic. (Lecture Notes in Computer Science ; 4708)
紙図書
Springerc2007.<M17-08-810>
国立国会図書館
  • 件名...-- Congresses. Computable functions -- Congresses. Machine theory -- Congresses...

Theory and applications of models of computation : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020 : proceedings

Theory and applications of models of computation : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020 : proceedings
紙図書
Jianer Chen, Qilong Feng, Jinhui Xu (eds.)Springerc2020
全国の図書館
  • 件名... -- Congresses Computable functions -- Congresses
  • 件名（識別子）... -- Congresses Computable functions -- Congresses

Computability and complexity in analysis : 4th international workshop, CCA 2000 : Swansea, UK, September 17-19, 2000 : selected papers. : Sep 2000, Swansea, UK. (Lecture Notes in Computer Science ; 2064)

Computability and complexity in analysis : 4th international workshop, CCA 2000 : Swansea, UK, September 17-19, 2000 : selected papers. : Sep 2000, Swansea, UK. (Lecture Notes in Computer Science ; 2064)
紙図書
Springer2001.<M17-03-4656>
国立国会図書館
  • 件名...-- Congresses. Computable functions -- Congresses. Computational complexity -- ...

Constructivity and computability in historical and philosophical perspective

Constructivity and computability in historical and philosophical perspective
紙図書
Jacques Dubucs, Michel Bourdeau, editorsSpringerc2014
全国の図書館
  • 件名... -- Congresses Computable functions -- Congresses Constructivism (Philosophy) -...
  • 件名（識別子）... -- Congresses Computable functions -- Congresses Constructivism (Philosophy) -...

Theory and applications of models of computation : 10th international conference, TAMC 2013, Hong Kong, China, May 20-22, 2013, proceedings

Theory and applications of models of computation : 10th international conference, TAMC 2013, Hong Kong, China, May 20-22, 2013, proceedings
紙図書
T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.)Springerc2013
全国の図書館
  • 件名... -- Congresses Computable functions -- Congresses TAMC
  • 件名（識別子）... -- Congresses Computable functions -- Congresses TAMC
RSS