Jump to main content

yr 〜
yr

Search results 9

森林保健機能増進法の解説

森林保健機能増進法の解説
PaperDigital図書障害者向け資料あり
森林保健機能研究会 編ぎょうせい1990.7<AZ-431-E64>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00302280

Algorithmic problem solving : pbk

Algorithmic problem solving : pbk
Paper図書
Roland BackhouseWiley2011.
Other Libraries in Japan
  • Author Heading (ID)DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures
Paper図書
Roland Backhouse ... [et al.] (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading (ID)DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280

Generic programming : advanced lectures

Generic programming : advanced lectures
Paper図書
Roland Backhouse, Jeremy Gibbons (eds.)Springerc2003
Other Libraries in Japan
  • Author Heading (ID)DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280

Program construction : calculating implementations from specifications

Program construction : calculating implementations from specifications
Paper図書
Roland BackhouseWiley2003
Other Libraries in Japan
  • Author Heading (ID)DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Digital図書
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)Springer1899
Other Libraries in Japan
  • Author Heading (ID)DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280 DA08047890 https://ci.nii.ac....

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Paper図書
Roland Backhouse, José Nuno Oliveira (eds.)Springerc2000
Other Libraries in Japan
  • Author Heading (ID)...7CDA11479612 DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280 DA12510627 https://ci.nii.ac....

Program construction and verification : pbk

Program construction and verification : pbk
Paper図書
Roland C. BackhousePrentice-Hall1986
Other Libraries in Japan
  • Author Heading (ID)DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280

Syntax of programming languages : theory and practice

Syntax of programming languages : theory and practice
Paper図書
Roland C. BackhousePrentice-Hall Internationalc1979
Other Libraries in Japan
  • Author Heading (ID)DA00302280 https://ci.nii......ac.jp/author/DA00302280#entity https:/......urceID/NII%7CDA00302280

Reached to the end of result.

RSS