Jump to main content

yr 〜
yr

Search results 96

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

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

Analysis of LOFT test L5-1 using RELAP5/MOD2 (NUREG ; NUREG/IA-0118; TD/SPB/REP-0130; TI93015049)

Analysis of LOFT test L5-1 using RELAP5/MOD2 (NUREG ; NUREG/IA-0118; TD/SPB/REP-0130; TI93015049)
Paper図書
Cooper, S.Nuclear Regulatory Commission, Office of Nuclear Regulatory Research1993.5.
Other Libraries in Japan
  • Author HeadingCooper, S.

PROPOSAL TO THE GRAN SASSO LABORATORY FOR A DARK MATTER SEARCH USING CRYOGENIC DETECTORS. (MPI ; MPI-PHE-93-29)

PROPOSAL TO THE GRAN SASSO LABORATORY FOR A DARK MATTER SEARCH USING CRYOGENIC DETECTORS. (MPI ; MPI-PHE-93-29)
Paper図書
COOPER, S.1993.
Other Libraries in Japan
  • Author HeadingCOOPER, S.

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

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

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

Informs that licensee has audited consolidated financial statements of licensee for FY95.Opinion on consolidated financial statements included in Annual Rept.

Informs that licensee has audited consolidated financial statements of licensee for FY95.Opinion on consolidated financial statements included in Annual Rept.
Paper図書
COOPERS,External (Affiliation Not Assigned)1996/06/17.
Other Libraries in Japan

Provides consolidated financial statements of Rio Algom Ltd for FY95.

Provides consolidated financial statements of Rio Algom Ltd for FY95.
Paper図書
COOPERS,External (Affiliation Not Assigned)1996/06/17.
Other Libraries in Japan

SPECTROSCOPY OF LIGHT AND HEAVY QUARKS (CONF ; CONF-860701-68)

SPECTROSCOPY OF LIGHT AND HEAVY QUARKS (CONF ; CONF-860701-68)
Paper図書
1986.
Other Libraries in Japan

Firewall products today UCRL-JC-119743 DE95 011007 CONF-95051913

Firewall products today UCRL-JC-119743 DE95 011007 CONF-95051913
Microform規格・テクニカルリポート類
Cooper, S. P1995<LS-DE95/011007>
National Diet Library

TESTING THE POTENTIAL MODEL IN THE UPSILON SYSTEM (CONF ; CONF-8407112-4)

TESTING THE POTENTIAL MODEL IN THE UPSILON SYSTEM (CONF ; CONF-8407112-4)
Paper図書
1985.
Other Libraries in Japan

HADRON SPECTROSCOPY (CONF ; CONF-850721--18)

HADRON SPECTROSCOPY (CONF ; CONF-850721--18)
Paper図書
1985.
Other Libraries in Japan
  • Author HeadingCooper, S.

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, Doroth...

Process for application of ATHEANA - a new HRA method BNL-NUREG-63257 DE96 014553 CONF-96091239

Process for application of ATHEANA - a new HRA method BNL-NUREG-63257 DE96 014553 CONF-96091239
Microform規格・テクニカルリポート類
Parry, G. W, Bley, D. C, Cooper, S. E1996<LS-DE96/014553>
National Diet Library

Trial application of a technique for human error analysis (ATHEANA) BNL-NUREG-63274 DE96 014558 CONF-96091238

Trial application of a technique for human error analysis (ATHEANA) BNL-NUREG-63274 DE96 014558 CONF-96091238
Microform規格・テクニカルリポート類
Bley, D. C, Cooper, S. E, Parry, G. W1996<LS-DE96/014558>
National Diet Library

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

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

Knowledge-base for the new human reliability analysis method, A Technique for Human Error Analysis (ATHEANA) BNL-NUREG-63256 DE96 014552 CONF-96091240

Knowledge-base for the new human reliability analysis method, A Technique for Human Error Analysis (ATHEANA) BNL-NUREG-63256 DE96 014552 CONF-96091240
Microform規格・テクニカルリポート類
Cooper, S. E, Wreathall, J, Thompson, C. M, Bley, D. C1996<LS-DE96/014552>
National Diet Library
RSS