Jump to main content

yr 〜
yr

Search results 23

定理証明手習い

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

The little learner : a straight line to deep learning

The little learner : a straight line to deep learning
Paper図書
Daniel P. Friedman, Anurag MendhekarThe MIT Press2023
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Mendhekar, Anurag

Scheme修行

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

Scheme手習い

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

The reasoned schemer : pbk 2nd ed

The reasoned schemer : pbk 2nd ed
Paper図書
Daniel P. Friedman ... [et al.]MIT Press[2018]
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P.

The little typer : pbk

The little typer : pbk
Paper図書
Daniel P. Friedman, David Thrane ChristiansenThe MIT Press[2018]
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Christiansen, David Thrane

The little prover : pbk

The little prover : pbk
Paper図書
Daniel P. Friedman , Carl EastlundMIT Pressc2015
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Eastlund, Carl

Essentials of programming languages : hbk 3rd ed

Essentials of programming languages : hbk 3rd ed
Paper図書
Daniel P. Friedman, Mitchell WandMIT Pressc2008
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Wand, Mitchell

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

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

The reasoned schemer pbk

The reasoned schemer pbk
Paper図書
Daniel P. Friedman, William E. Byrd, Oleg Kiselyov ; drawings by Duane BibbyMIT Pressc2005
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Byrd, William E. Kiselyov, O...

Essentials of programming languages 2nd ed

Essentials of programming languages 2nd ed
Paper図書
Daniel P. Friedman, Mitchell Wand, Christopher T. HaynesMIT Press2001
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Wand, Mitchell Haynes, Chris...

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 HeadingFriedman, Daniel P Felleisen, Matthias 元吉, 文男, 1...

A little Java, a few patterns pbk.

A little Java, a few patterns pbk.
Paper図書
Matthias Felleisen, Daniel P. FriedmanMIT Pressc1998
Other Libraries in Japan
  • Author HeadingFelleisen, Matthias Friedman, Daniel P.

The little MLer pbk.

The little MLer pbk.
Paper図書
Matthisa Felleisen, Daniel P. Friedman ; drawings by Duane Bibby ; foreword by Robin MilnerMIT Pressc1998
Other Libraries in Japan
  • Author HeadingFelleisen, Matthias Friedman, Daniel P.

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

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

The little Schemer 4th ed

The little Schemer 4th ed
Paper図書
Daniel P. Friedman, Matthias Felleisen ; drawings by Duane Bibby ; foreword by Gerald J. SussmanMIT Pressc1996
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Felleisen, Matthias

The seasoned schemer

The seasoned schemer
Paper図書
Daniel P. Friedman and Matthias Felleisen ; drawing by Duane Bibby ; foreword and afterword by Guy L. Steele Jr.MIT Pressc1996
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Felleisen, Matthias

Essentials of programming languages : MIT Press : McGraw-Hill : pbk

Essentials of programming languages : MIT Press : McGraw-Hill : pbk
Paper図書
Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes ; foreword by Harold AbelsonMIT Pressc1992
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Wand, Mitchell Haynes, Chris...

Scheme and the art of programming

Scheme and the art of programming
Paper図書
George Springer, Daniel P. Friedman ; foreword by Guy L. SteeleMIT Pressc1989
Other Libraries in Japan
  • Author HeadingSpringer, George Friedman, Daniel P.

The little LISPer : pbk. Trade ed.

The little LISPer : pbk. Trade ed.
Paper図書
Daniel P. Friedman and Matthias Felleisen ; illustrations by Duane BibbyMIT Pressc1987
Other Libraries in Japan
  • Author HeadingFriedman, Daniel P. Felleisen, Matthias
RSS