本文に飛ぶ

年 〜
年

検索結果 23 件

New computational paradigms : changing conceptions of what is computable

New computational paradigms : changing conceptions of what is computable
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringerc2010
全国の図書館
  • 著者標目Cooper, S. B. Löwe, Benedikt Sorbi, Andrea,

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

New computational paradigms : changing conceptions of what is computable : pbk
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringer2008
全国の図書館
  • 著者標目Cooper, S. B. Löwe, Benedikt Sorbi, Andrea,

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>
国立国会図書館
  • 著者標目...idge, England) Cooper, S. B. (S. Barry) Dawar, Anuj. Löwe,...

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>
国立国会図書館
  • 著者標目Chen, Jianer. Cooper, S. B. (S. Barry) TAMC 2009 (2009 : ...

Theory and applications of models of computation : 9th annual conference, TAMC 2012 : Beijing, China, May 16-21, 2012 : proceedings : turing lectures 2012 : May 2012, Beijing, China. (Lecture Notes in Computer Science ; 7287)

Theory and applications of models of computation : 9th annual conference, TAMC 2012 : Beijing, China, May 16-21, 2012 : proceedings : turing lectures 2012 : May 2012, Beijing, China. (Lecture Notes in Computer Science ; 7287)
紙図書
Springerc2012.<M17-13-41>
国立国会図書館
  • 著者標目...anindra, 1966- Cooper, S. B. (S. Barry) Li, Angsheng. Chin...

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>
国立国会図書館
  • 著者標目Cooper, S. B. (S. Barry) Löwe, Benedikt. So...

The incomputable : journeys beyond the turing barrier : softcover

The incomputable : journeys beyond the turing barrier : softcover
紙図書
S. Barry Cooper, Mariya I. SoskovaSpringer International Publishing : Springerc2017
全国の図書館
  • 著者標目Cooper, S. B. (S. Barry) Soskova, Mariya I.

The once and future Turing : computing the world : hbk

The once and future Turing : computing the world : hbk
紙図書
S. Barry Cooper, Andrew HodgesCambridge University Press2016
全国の図書館
  • 著者標目Cooper, S. B. (S. Barry) Hodges, Andrew

Applied issues in investigative interviewing, eyewitness memory, and credibility assessment

Applied issues in investigative interviewing, eyewitness memory, and credibility assessment
紙図書
Barry S. Cooper, Dorothee Griesel, Marguerite Ternes, editorsSpringerc2013
全国の図書館
  • 著者標目Cooper, S. B. (S. Barry) Griesel, Dorothee ...

Computability in context : computation and logic in the real world

Computability in context : computation and logic in the real world
紙図書
editors, S. Barry Cooper & Andrea SorbiImperlial College Press2011
全国の図書館
  • 著者標目Cooper, S. B. (S. Barry) Sorbi, Andrea

Alan Turing : his work and impact

Alan Turing : his work and impact
紙図書
edited by S. Barry Cooper and Jan van LeeuwenElsevierc2013
全国の図書館
  • 著者標目Turing, Alan Mathison Cooper, S. B. (S. Barry) Leeuwen, Jan van

Theory and applications of models of computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings : pbk

Theory and applications of models of computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings : pbk
紙図書
Manindra Agrawal, S. Barry Cooper, Angsheng Li (eds.)Springerc2012
全国の図書館
  • 著者標目TAMC Agrawal, Manindra Cooper, S. B. (S. Barry) Li, Angsheng

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
紙図書
Cambridge University Press1996.<MA41-A95>
国立国会図書館
  • 著者標目Cooper, S. B. (S. Barry) Slaman, T. A. (The...

Logic Colloquium 2006 : hbk

Logic Colloquium 2006 : hbk
紙図書
edited by S. Barry Cooper ... [et al.]Association for Symbolic Logic2009
全国の図書館
  • 著者標目Logic Colloquium Cooper, S. B. (S. Barry)

Theory and applications of models of computation : 6th International Conference, TAMC 2009, Changsa, China, May 18-22, 2009 : proceedings

Theory and applications of models of computation : 6th International Conference, TAMC 2009, Changsa, China, May 18-22, 2009 : proceedings
紙図書
Jianer Chen, S. Barry Cooper (eds.)Springerc2009
全国の図書館
  • 著者標目TAMC Chen, Jianer Cooper, S. B. (S. Barry)

Computability theory

Computability theory
紙図書
S. Barry CooperChapman & Hall/CRCc2004
全国の図書館
  • 著者標目Cooper, S. B. (S. Barry)

Theory and applications of models of computation : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings

Theory and applications of models of computation : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings
紙図書
Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.)Springerc2007
全国の図書館
  • 著者標目TAMC Cai, Jin-yi Cooper, S. B. (S. Barry) Zhu, Hong

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, Benedikt Sor...

Theory and applications of models of computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings

Theory and applications of models of computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings
紙図書
Jin-Yi Cai, S.Barry Cooper, Angsheng Li (eds.)Springerc2006
全国の図書館
  • 著者標目TAMC Cai, Jin-yi Cooper, S. B. (S. Barry) Li, Angsheng

Computability and models : perspectives east and west

Computability and models : perspectives east and west
紙図書
[edited by] S. Barry Cooper and Sergey S. GoncharovKluwer Academic/Plenum Publishersc2003
全国の図書館
  • 著者標目Cooper, S. B. (S. Barry) Goncharov, S. S. (...
RSS