Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2013.<M17-14-558>
National Diet Library
  • Subject HeadingComputable functions--Congresses. Computer science--Mathematics...

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

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

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. Computer science--Mathematics...

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

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

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

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

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

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. Computer science--Mathematics...

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

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
Paper図書
Liesbeth De Mol ... [et al.], (eds.)Springerc2021
Other Libraries in Japan

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)
Paper図書
Springerc2009.<M17-10-1586>
National Diet Library

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
Paper図書
Marcella Anselmo ... [et al.], (eds.)Springerc2020
Other Libraries in Japan

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)
Paper図書
Springerc2009.<M17-10-1589>
National Diet Library

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)
Paper図書
Springerc2007.<M17-08-810>
National Diet Library

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
Paper図書
Jianer Chen, Qilong Feng, Jinhui Xu (eds.)Springerc2020
Other Libraries in Japan

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)
Paper図書
Springer2001.<M17-03-4656>
National Diet Library

Constructivity and computability in historical and philosophical perspective

Constructivity and computability in historical and philosophical perspective
Paper図書
Jacques Dubucs, Michel Bourdeau, editorsSpringerc2014
Other Libraries in Japan

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
Paper図書
T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.)Springerc2013
Other Libraries in Japan
RSS