※一部利用できない機能があります
| 1.
図書 |
図書
|
雪田修一著
|
||||||
| 2.
図書 |
図書
|
Brendan Fong, David I. Spivak
|
||||||
| 3.
図書 |
図書
|
ハンス・ロスリング, オーラ・ロスリング, アンナ・ロスリング・ロンランド著 ; 上杉周作, 関美和訳
|
||||||
| 4.
図書 |
|
猪股俊光, 山田敬三共著
|
||||||
| 5.
図書 |
|
柴田望洋著
|
||||||
| 6.
図書 |
図書
|
小川雄太郎著
|
||||||
| 7.
図書 |
図書
|
小川雄太郎著
|
||||||
| 8.
図書 |
|
富士通エフ・オー・エム株式会社著・制作
|
||||||
| 9.
図書 |
図書
|
大谷紀子著
|
||||||
| 10.
図書 |
図書
|
北山洋幸著
|
||||||
| 11.
図書 |
図書
|
北山洋幸著
|
||||||
| 12.
図書 |
図書
|
﨑山理史, 松野陽一郎著
|
||||||
| 13.
図書 |
図書
|
増井敏克著
|
||||||
| 14.
図書 |
|
長岡亮介著
|
||||||
| 15.
図書 |
図書
|
Martin Odersky, Lex Spoon, Bill Venners著 ; 長尾高弘訳
|
||||||
| 16.
図書 |
図書
|
秋山仁, 酒井利訓著 ; シュプリンガー・ジャパン編
|
||||||
| 17.
図書 |
|
エディテージ著 ; 熊沢美穂子訳
|
||||||
| 18.
図書 |
図書
|
圏論の歩き方委員会編
|
||||||
| 19.
図書 |
|
Paul Chiusano, Rúnar Bjarnason著 ; クイープ訳
|
||||||
| 20.
図書 |
図書
|
杉浦学著
|
||||||
| 21.
図書 |
|
中植正剛, 太田和志, 鴨谷真知子著
|
||||||
| 22.
図書 |
図書
|
Richard Bird著 ; 山下伸夫訳
|
||||||
| 23.
図書 |
|
アンク著
|
||||||
| 24.
図書 |
図書
|
蒲生睦男著
|
||||||
| 25.
図書 |
図書
|
菊池誠著
|
||||||
| 26.
図書 |
|
秋山仁著
|
||||||
| 27.
図書 |
図書
|
Henk Barendregt, Wil Dekkers, Richard Statman
|
||||||
| 28.
図書 |
図書
|
高橋麻奈著
|
||||||
| 29.
図書 |
図書
|
和久井道久著
|
||||||
| 30.
図書 |
図書
|
加納幹雄著
|
||||||
| 31.
図書 |
図書
|
ジョン・マコーミック著 ; 長尾高弘訳
|
||||||
| 32.
図書 |
図書
|
Miran Lipovača著 ; 田中英行, 村主崇行訳
|
||||||
| 33.
図書 |
図書
|
千葉滋著
|
||||||
| 34.
図書 |
図書
|
水口克也著
|
||||||
| 35.
図書 |
図書
|
寺園聖文著
|
||||||
| 36.
図書 |
図書
|
原田英生著
|
||||||
| 37.
図書 |
図書
|
佐々木整著
|
||||||
| 38.
図書 |
|
五十嵐淳著
|
||||||
| 39.
図書 |
図書
|
Ian Griffiths, Matthew Adams, Jesse Liberty著 ; 鈴木幸敏, 首藤一幸, 情報技研訳
|
||||||
| 40.
図書 |
|
フランセスコ・セサリーニ, サイモン・トンプソン著 ; 佐藤嘉一訳
|
||||||
| 41.
図書 |
図書
|
デイビッド・ポラック著 ; 大塚庸史訳 ; 羽生田栄一解説
|
||||||
| 42.
図書 |
図書
|
オフィス加減著
|
||||||
| 43.
図書 |
図書
|
Graham Hutton著 ; 山本和彦訳
|
||||||
| 44.
図書 |
図書
|
鹿島亮著
|
||||||
| 45.
図書 |
|
南谷崇著
|
||||||
| 46.
図書 |
図書
|
Donis Marshall著 ; トップスタジオ訳
|
||||||
| 47.
図書 |
図書
|
Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Algorithms and Computation Theory (SIGACT)
|
||||||
| 48.
図書 |
図書
|
Morten Heine Sørensen, Paweł Urzyczyn
|
||||||
| 49.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
|
||||||
| 50.
図書 |
図書
|
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
||||||
| 51.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
|
||||||
| 52.
図書 |
図書
|
高木直史著
|
||||||
| 53.
図書 |
図書
|
Tamal Bose ; with Francois Meyer contributing Chapter 10 and Mei-Qin Chen contributing the Appendix
|
||||||
| 54.
図書 |
図書
|
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
||||||
| 55.
図書 |
図書
|
David J. Pym and Eike Ritter
|
||||||
| 56.
図書 |
図書
|
by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
|
||||||
| 57.
図書 |
図書
|
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
|
||||||
| 58.
図書 |
図書
|
伊藤武, 森地敏樹編集委員
|
||||||
| 59.
図書 |
図書
|
Richard Johnsonbaugh, Marcus Schaefer
|
||||||
| 60.
図書 |
図書
|
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
||||||
| 61.
図書 |
図書
|
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for Programming Languages and Systems & Cybertex
|
||||||
| 62.
図書 |
図書
|
edited by Ruy J.G.B. de Queiroz
|
||||||
| 63.
図書 |
図書
|
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
|
||||||
| 64.
図書 |
図書
|
Paritosh K. Pandya, Jaikumar Radhakrishnan (eds.)
|
||||||
| 65.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
|
||||||
| 66.
図書 |
図書
|
松本慶蔵編
|
||||||
| 67.
図書 |
図書
|
古田武 [ほか] 編集委員
|
||||||
| 68.
図書 |
|
酒井聡樹著
|
||||||
| 69.
図書 |
図書
|
Ralf Herbrich
|
||||||
| 70.
図書 |
図書
|
Stephen Wolfram
|
||||||
| 71.
図書 |
図書
|
Kim B. Bruce
|
||||||
| 72.
図書 |
図書
|
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
|
||||||
| 73.
図書 |
図書
|
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
|
||||||
| 74.
図書 |
図書
|
Paul Callaghan ... [et al.] (eds.)
|
||||||
| 75.
図書 |
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Lofic European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
|
||||||
| 76.
図書 |
図書
|
ポール・グレアム著 ; 久野雅樹, 須賀哲夫訳
|
||||||
| 77.
図書 |
図書
|
Stephen Huggett and David Jordan
|
||||||
| 78.
図書 |
図書
|
Jeffrey J. McConnell
|
||||||
| 79.
図書 |
図書
|
Doron A. Peled ; foreword by Edmund M. Clarke
|
||||||
| 80.
図書 |
図書
|
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
||||||
| 81.
図書 |
図書
|
edited by Henry Lieberman
|
||||||
| 82.
図書 |
図書
|
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
|
||||||
| 83.
図書 |
図書
|
Samson Abramsky (ed.)
|
||||||
| 84.
図書 |
図書
|
Herbert Kuchen, Kazunori Ueda (eds.)
|
||||||
| 85.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
||||||
| 86.
図書 |
|
大堀淳著
|
||||||
| 87.
図書 |
図書
|
レオン・アトキンソン著 ; 玉川竜司訳
|
||||||
| 88.
図書 |
図書
|
Richard Hartley, Andrew Zisserman
|
||||||
| 89.
図書 |
図書
|
edited by Gary T. Leavens, Murali Sitaraman
|
||||||
| 90.
図書 |
図書
|
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
|
||||||
| 91.
図書 |
図書
|
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
|
||||||
| 92.
図書 |
図書
|
Harold Simmons
|
||||||
| 93.
図書 |
図書
|
Bruno Poizat ; translated [from the French] by Moses Klein
|
||||||
| 94.
図書 |
図書
|
Michael Huth, Mark Ryan
|
||||||
| 95.
図書 |
図書
|
David Harel, Dexter Kozen, Jerzy Tiuryn
|
||||||
| 96.
図書 |
図書
|
Leo Bachmair (ed.)
|
||||||
| 97.
図書 |
図書
|
Jens Palsberg (ed.)
|
||||||
| 98.
図書 |
図書
|
John Lloyd ... [et al.] (eds.)
|
||||||
| 99.
図書 |
図書
|
sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science
|
||||||
| 100.
図書 |
図書
|
奥村晴彦著
|
