年 〜
年

検索結果 3 件

Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler. (Lecture notes in computer science)

Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler. (Lecture notes in computer science)
紙図書
Springer1981.<M159-A6>
国立国会図書館
  • 著者標目（識別子）00438916

計算の理論入門 (コンピュータ・サイエンス研究書シリーズ ; 25)

計算の理論入門 (コンピュータ・サイエンス研究書シリーズ ; 25)
紙デジタル図書
Erwin Engeler 著, 稲垣康善 訳日本コンピュータ協会1976<MA41-70>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目（識別子）00438916 00019154

Symposium on semantics of algorithmic languages; edited by E. Engeler. (Lecture notes in mathematics, 188)

Symposium on semantics of algorithmic languages; edited by E. Engeler. (Lecture notes in mathematics, 188)
紙図書
Springer-Verlag1971.<M159-19>
国立国会図書館全国の図書館
  • 著者標目（識別子）00438916

検索結果は以上です。