本文に飛ぶ

年 〜
年

検索結果 21 件

Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings

Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings
紙図書
Gianluca Della Vedova ... [et al.], editorsSpringerc2023
全国の図書館
  • 著者標目Conference on Computability in Europe Della Vedova, Gianluca Dundua...

Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings

Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings
紙図書
Ulrich Berger ... [et al.] (eds.)Springerc2022
全国の図書館
  • 著者標目Conference on Computability in Europe Berger, Ulrich Franklin, Joha...

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
全国の図書館
  • 著者標目Conference on Computability in Europe De Mol, Liesbeth Weiermann, A...

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
全国の図書館
  • 著者標目Conference on Computability in Europe Anselmo, Marcella Della Vedov...

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>
国立国会図書館
  • 著者標目Conference on Computability in Europe (7th : 2011 : Sofia, Bulgaria...

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>
国立国会図書館
  • 要約等...gs of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest,...
  • 著者標目Conference on Computability in Europe (11th : 2015 : Bucharest, Rom...

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings
紙図書
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)Springerc2013
全国の図書館
  • 著者標目Conference on Computability in Europe Bonizzoni, Paola Brattka, Vas...

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>
国立国会図書館
  • 著者標目Conference on Computability in Europe (10th : 2014 : Budapest, Hung...

Models of computation in context : 7th Conference on Computability in Europe, CIE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings : pbk

Models of computation in context : 7th Conference on Computability in Europe, CIE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings : pbk
紙図書
Benedikt Löwe ... [et al.] , (eds.)Springerc2011
全国の図書館
  • 著者標目Conference on Computability in Europe Löwe, Benedikt

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>
国立国会図書館
  • 著者標目Ferreira, Fernando. Conference on Computability in Europe (6th : 2010 : Ponta Delgada, ...

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>
国立国会図書館
  • 著者標目Conference on Computability in Europe (9th : 2013 : Milan, Italy) B...

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>
国立国会図書館
  • 著者標目Conference on Computability in Europe (8th : 2012 : Cambridge, Engl...

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>
国立国会図書館
  • 著者標目...kle, Wolfgang. Conference on Computability in Europe (5th : 2009 : Heidelberg, Ger...

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>
国立国会図書館
  • 著者標目...öwe, Benedikt. Conference on Computability in Europe (4th : 2008 : Athens, Greece)

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
紙図書
Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)Springer2009
全国の図書館
  • 著者標目Conference on Computability in Europe Ambos-Spies, K. (Klaus) Löwe,...

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007 Siena, Italy, June 18-23, 2007 : proceedings

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007 Siena, Italy, June 18-23, 2007 : proceedings
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)Springerc2007
全国の図書館
  • 著者標目Conference on Computability in Europe Cooper, S. B. (S. Barry) Löwe...

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>
国立国会図書館
  • 並列タイトル等（連結）...al world : 3rd conference on computability in Europe, CiE 2007 : Siena, Italy, Jun...
  • 並列タイトル等...al world : 3rd conference on computability in Europe, CiE 2007 : Siena, Italy, Jun...
  • 著者標目... Andrea, 1956- Conference on Computability in Europe (3rd : 2007 : Siena, Italy)

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
紙図書
Arnold Beckmann ... [et al.]Springerc2006
全国の図書館
  • 著者標目Conference on Computability in Europe Beckmann, Arnold Berger, Ulri...

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>
国立国会図書館
  • 並列タイトル等（連結）...barriers : 2nd conference on computability in Europe, CiE 2006 : Swansea, UK, June...
  • 並列タイトル等...barriers : 2nd conference on computability in Europe, CiE 2006 : Swansea, UK, June...
  • 著者標目...ucker, John V. Conference on Computability in Europe (2nd : 2006 : Swansea, Wales)

New computational paradigms : first Conference on Computability in Europe, CiE 2005, Amsterdam,The Netherlands, June 8-12, 2005 : proceedings

New computational paradigms : first Conference on Computability in Europe, CiE 2005, Amsterdam,The Netherlands, June 8-12, 2005 : proceedings
紙図書
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.)Springerc2005
全国の図書館
  • 著者標目Conference on Computability in Europe Cooper, S. Barry Löwe, Benedi...
RSS