Jump to main content

yr 〜
yr

Search results 5

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8715>
National Diet Library
  • Author Heading...Woodcock, Jim. Oxford University Computing Laboratory. Programming Research Group.

3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park : us : gw

3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park : us : gw
Paper図書
Carroll Morgan and J.C.P. Woodcock (eds.)Springerc1991
Other Libraries in Japan
  • Author Heading... Woodcock, Jim Oxford University Computing Laboratory. Programming Research Group IBM UK Laboratories

Topics in interval analysis

Topics in interval analysis
Paper図書
edited by E. HansenClarendon Press1969
Other Libraries in Japan
  • Author Heading...nsen, Eldon R. Oxford University Computing Laboratory. Programming Research Group Culham Laboratory

Technical monograph

Technical monograph
Paper雑誌雑誌タイトル
Oxford University Computing Laboratory, Programming Research Group
Other Libraries in Japan
  • Author HeadingOxford University Computing Laboratory. Programming Research Group
  •  
  •  
  •  
  •  
  •  
    •  

Technical monographs

Technical monographs
Paper図書
Oxford University Computing Laboratory. Programming Research GroupOxford University Computing Laboratory, Programming Research Group
Other Libraries in Japan

Reached to the end of result.

RSS