Jump to main content

yr 〜
yr

Search results 6

定理証明手習い

定理証明手習い
Paper図書
Daniel P. Friedman, Carl Eastlund 著, 中野圭介 監訳ラムダノート2017.10<M159-L1476>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00440206 001290452 001290450

Scheme修行

Scheme修行
Paper図書
Daniel P.Friedman, Matthias Felleisen 著, 元吉文男, 横山晶一 共訳オーム社2011.6<M159-J1316>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00440206 00466381 00189027 00207323

Scheme手習い

Scheme手習い
Paper図書
Daniel P.Friedman, Matthias Felleisen 著, 元吉文男, 横山晶一 共訳オーム社2010.10<M159-J1114>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00440206 00466381 00189027 00207323

Javaとピザとデザインパターン

Javaとピザとデザインパターン
Paper図書
Matthias Felleisen, Daniel P.Friedman 著, 庄司速人, 庄司裕子 訳ソフトバンク1998.12<M159-G2312>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00466381 00440206 00314868 00538200

Scheme手習い : 直感で学ぶLisp (Computation & software science)

Scheme手習い : 直感で学ぶLisp (Computation & software science)
PaperDigital図書
D.P.フリードマン, M.フェライセン 著, 元吉文男, 横山晶一 訳マグロウヒル出版1990.4<M159-E1652>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00440206 00466381 00189027 00207323

協調型計算システム : 分散型ソフトウェアの技法と道具立て

協調型計算システム : 分散型ソフトウェアの技法と道具立て
PaperDigital図書障害者向け資料あり
R.E.フィルマン, D.P.フリードマン 共著, 雨宮真人 [ほか]共訳マグロウヒルブック1986.7<M154-882>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00439513 00440206 00156456

Reached to the end of result.

RSS