Jump to main content

yr 〜
yr

Search results 11

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Paper図書
Paul Callaghan ... [et al.] (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Workshop on TYPES Callaghan, Paul Luo, Zhaohui McKinna, James P...

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)
Paper図書
Springerc2002.<M17-07-789>
National Diet Library
  • Author HeadingCallaghan, Paul, 1970- TYPES 2000 (2000 : Dur...

Christ our hope : an introduction to eschatology : pbk

Christ our hope : an introduction to eschatology : pbk
Paper図書
Paul O'CallaghanCatholic University of America Pressc2011
Other Libraries in Japan
  • Author HeadingO'Callaghan, Paul

Translational dynamics and magnetic resonance : principles of pulsed gradient spin echo NMR

Translational dynamics and magnetic resonance : principles of pulsed gradient spin echo NMR
Paper図書
Paul T. CallaghanOxford University Press2011
Other Libraries in Japan
  • Author HeadingCallaghan, Paul T.

The organisation in its environment 2nd ed

The organisation in its environment 2nd ed
Paper図書
Paul Callaghan, Tom HarrisonBusiness Education Publishers1982
Other Libraries in Japan
  • Author HeadingCallaghan, Paul

Design and management for energy conservation : a handbook for energy managers, plant engineers, and designers / by Paul W. O'Callaghan. 1st ed.

Design and management for energy conservation : a handbook for energy managers, plant engineers, and designers / by Paul W. O'Callaghan. 1st ed.
Paper図書
Pergamon Press1981.<M265-A15>
National Diet Library
  • Author HeadingO'Callaghan, Paul W.

Principles of nuclear magnetic resonance microscopy pbk

Principles of nuclear magnetic resonance microscopy pbk
Paper図書
Paul T. CallaghanOxford University Press1993
Other Libraries in Japan
  • Author HeadingCallaghan, Paul T.

Principles of nuclear magnetic resonance microscopy pbk

Principles of nuclear magnetic resonance microscopy pbk
Paper図書
Paul T. CallaghanOxford University Press1993
Other Libraries in Japan
  • Author HeadingCallaghan, Paul T.

Principles of nuclear magnetic resonance microscopy

Principles of nuclear magnetic resonance microscopy
Paper図書
Callaghan,Paul T.Clarendon Press1991
Other Libraries in Japan

Principles of nuclear magnetic resonance microscopy pbk

Principles of nuclear magnetic resonance microscopy pbk
Paper図書
Paul T. CallaghanOxford University Press1991
Other Libraries in Japan
  • Author HeadingCallaghan, Paul T.

Energy for industry : a collection of scientific and engineering papers concerned with utilising energy with maximum efficiency in industry

Energy for industry : a collection of scientific and engineering papers concerned with utilising energy with maximum efficiency in industry
Paper図書
editor, Paul W. O'CallaghanPergamon Press1979
Other Libraries in Japan
  • Author HeadingO'Callaghan, Paul W.

Reached to the end of result.

RSS