東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: QA76)
該当件数:19件
The essentials of computer science / Randall Raus
1. - Piscataway, N.J. : Research & Education Association , c2000
図書
2. - Piscataway, N.J. : Research & Education Association , c1998
Beyond calculation : the next fifty years of computing / Peter J. Denning, Robert M. Metcalfe ; foreword by James Burke
: softcover. - New York : Copernicus , 1998
Logic and information flow / edited by Jan van Eijck and Albert Visser
Cambridge, Mass. : MIT Press , c1994. - (Foundations of computing)
Hyperproof / Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]
: pbk. - Stanford, Calif. : CSLI Publications , c1994. - (CSLI lecture notes ; no. 42)
Selected papers on computer science / Donald E. Knuth
: pbk,: hardback. - [Stanford, Calif.] : CSLI Publications. - [Cambridge] : [Co-published by] Cambridge University Press , c1996. - (CSLI lecture notes ; no. 59)
Guide to the design of real-time systems / Michael F. Rothstein
New York : Wiley-Interscience , c1970
Computer power and human reason : from judgment to calculation / Joseph Weizenbaum
: pbk. - San Francisco : W.H. Freeman , c1976
International Symposium on Theoretical Programming : [proceedings held on August 7-11, 1972 / edited by Andrei Ershov and Valery A. Nepomniaschy
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 5)
Theoretical studies in computer science / edited by Jeffrey D. Ullman
Boston : Academic Press , c1992
Algorithms and complexity / edited by Jan van Leeuwen
: MIT Press,: Elsevier. - Amsterdam ; Tokyo : Elsevier. - (Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A)
Handbook of theoretical computer science / editor, Jan van Leeuwen
Amsterdam ; Tokyo : Elsevier
International Computing Symposium, 1975 : proceedings of the International Computing Symposium, 1975, Antibes, France, 2-4 June 1975 / organized by the French Chapter of the Association for Computing Machinery (ACM), Association française pour la cybernétique économique et technique (AFCET) and sponsored by the chapters of the ACM European region, European Cooperation in Informatics (E.C.I.) ; edited by E. Gelenbe and D. Potier
: ne,: us. - Amsterdam : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co. , 1975
Mobile IP : present state and future / Abdul Sakib Mondal
New York : Kluwer Academic/Plenum Publishers , c2003. - (Series in computer science)
Computer science : an overview / J. Glenn Brookshear
7th ed. - Reading, Mass. : Addison-Wesley , c2003
Great ideas in computer science : a gentle introduction / Alan W. Biermann
: pbk. - 2nd ed. - Cambridge, Mass. : MIT Press , c1997
Computers in knowledge-based fields / [by] Charles A. Myers
Cambridge, Mass. : MIT Press , c1970
Use of files / [by] D. R. [i.e. D. O.] Judd
American Elsevier,Macdonald. - London : Macdonald and Co.. - New York : American Elsevier , 1973. - (Computer monographs ; 9)
Simulation using digital computers / [by] George W. Evans, II, Graham F. Wallace [and] Georgia L. Sutherland
Englewood Cliffs, N.J. : Prentice-Hall , [1967]. - (Prentice-Hall series in automatic computation)
