yr 〜
yr

Search results 4

論理とプログラム意味論 (コンピュータサイエンス入門)

論理とプログラム意味論 (コンピュータサイエンス入門)
Paper図書
田辺誠, 中島玲二, 長谷川真人 著岩波書店1999.9<M159-G2859>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00759765 00125914 00759766

The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa. (Lecture notes in computer science)

The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa. (Lecture notes in computer science)
Paper図書
Springer-Verlag1983.<M159-A20>
National Diet Library
  • Author Heading (ID)00125914 00159021

数理情報学入門 : スコット・プログラム理論 (数理科学ライブラリー ; 3)

数理情報学入門 : スコット・プログラム理論 (数理科学ライブラリー ; 3)
PaperDigital図書障害者向け資料あり
中島玲二 著朝倉書店1982.3<M159-491>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00125914

構造的PASCALプログラミング : プログラム設計と証明の組織的方法 (コンピュータ・サイエンス研究書シリーズ ; 44)

構造的PASCALプログラミング : プログラム設計と証明の組織的方法 (コンピュータ・サイエンス研究書シリーズ ; 44)
PaperDigital図書障害者向け資料あり
Suad Alagic, Michael A.Arbib 著, 中島玲二 訳日本コンピュータ協会1980.9<M159-1912>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00431135 00431649 00125914

Reached to the end of result.