yr 〜
yr

Search results 21

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
  • Author Heading...idge, England) Cooper, S. B. (S. Barry) Dawar, Anuj. Löwe, Benedikt.

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)
Paper図書
Springerc2012.<M17-13-41>
National Diet Library
  • Author Heading...anindra, 1966- Cooper, S. B. (S. Barry) Li, Angsheng. Chinese Academy...

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
  • Author HeadingChen, Jianer. Cooper, S. B. (S. Barry) TAMC 2009 (2009 : Changsha, C...

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
  • Author HeadingCooper, S. B. (S. Barry) Löwe, Benedikt. Sorbi, Andrea...

The incomputable : journeys beyond the turing barrier : softcover

The incomputable : journeys beyond the turing barrier : softcover
Paper図書
S. Barry Cooper, Mariya I. SoskovaSpringer International Publishing : Springerc2017
Other Libraries in Japan
  • Author HeadingCooper, 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
Paper図書
S. Barry Cooper, Andrew HodgesCambridge University Press2016
Other Libraries in Japan
  • Author HeadingCooper, 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
Paper図書
Barry S. Cooper, Dorothee Griesel, Marguerite Ternes, editorsSpringerc2013
Other Libraries in Japan
  • Author HeadingCooper, S. B. (S. Barry) Griesel, Dorothee Ternes, Mar...

Alan Turing : his work and impact

Alan Turing : his work and impact
Paper図書
edited by S. Barry Cooper and Jan van LeeuwenElsevierc2013
Other Libraries in Japan
  • Author HeadingTuring, 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
Paper図書
Manindra Agrawal, S. Barry Cooper, Angsheng Li (eds.)Springerc2012
Other Libraries in Japan
  • Author HeadingTAMC Agrawal, Manindra Cooper, S. B. (S. Barry) Li, Angsheng

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
  • Author HeadingCooper, S. B. (S. Barry) Sorbi, Andrea

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)
Paper図書
Cambridge University Press1996.<MA41-A95>
National Diet Library
  • Author HeadingCooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen...

Logic Colloquium 2006 : hbk

Logic Colloquium 2006 : hbk
Paper図書
edited by S. Barry Cooper ... [et al.]Association for Symbolic Logic2009
Other Libraries in Japan
  • Author HeadingLogic 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
Paper図書
Jianer Chen, S. Barry Cooper (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingTAMC Chen, Jianer Cooper, S. B. (S. Barry)

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
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingConference on Computability in Europe Cooper, S. B. (S. Barry) Löwe, Benedikt Sorbi, Andrea

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
Paper図書
Jin-Yi Cai, S. Barry Cooper, Hong Zhu (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingTAMC Cai, Jin-yi Cooper, S. B. (S. Barry) Zhu, Hong

Computability theory

Computability theory
Paper図書
S. Barry CooperChapman & Hall/CRCc2004
Other Libraries in Japan
  • Author HeadingCooper, S. B. (S. Barry)

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
Paper図書
Jin-Yi Cai, S.Barry Cooper, Angsheng Li (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingTAMC Cai, Jin-yi Cooper, S. B. (S. Barry) Li, Angsheng

Computability and models : perspectives east and west

Computability and models : perspectives east and west
Paper図書
[edited by] S. Barry Cooper and Sergey S. GoncharovKluwer Academic/Plenum Publishersc2003
Other Libraries in Japan
  • Author HeadingCooper, S. B. (S. Barry) Goncharov, S. S. (Sergeĭ Sevo...

Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Paper図書
edited by S. Barry Cooper, John K. TrussCambridge University Press1999
Other Libraries in Japan
  • Author HeadingLogic Colloquium Cooper, S. B. (S. Barry) Truss, J. K

Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Paper図書
edited by S. Barry Cooper, John K. TrussCambridge University Press1999
Other Libraries in Japan
  • Author HeadingLogic Colloquium Cooper, S. B. (S. Barry) Truss, J. K Association for S...