年 〜
年

検索結果 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)
紙図書
Springer-Verlagc1993.<M15-A8715>
国立国会図書館
  • 著者標目...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
紙図書
Carroll Morgan and J.C.P. Woodcock (eds.)Springerc1991
全国の図書館
  • 著者標目... Woodcock, Jim Oxford University Computing Laboratory. Programming Research Group IBM UK Laboratories

Topics in interval analysis

Topics in interval analysis
紙図書
edited by E. HansenClarendon Press1969
全国の図書館
  • 著者標目...nsen, Eldon R. Oxford University Computing Laboratory. Programming Research Group Culham Laboratory

Technical monograph

Technical monograph
紙雑誌
Oxford University Computing Laboratory, Programming Research Group
全国の図書館
  • 著者標目Oxford University Computing Laboratory. Programming Research Group
  •  
  •  
  •  
  •  
  •  
    •  

Technical monographs

Technical monographs
紙図書
Oxford University Computing Laboratory. Programming Research GroupOxford University Computing Laboratory, Programming Research Group
全国の図書館

検索結果は以上です。