1.

図書
図書
1. Combinatorial algorithms (pt. 1)
Donald E. Knuth
出版情報: Upper Saddle River, NJ ; Tokyo : Addison-Wesley, c2011
シリーズ名: The art of computer programming ; v. 4A
所蔵情報: loading…
2.

図書
図書
2. Hackers : heroes of the computer revolution
Steven Levy
出版情報: New York : Penguin Putnam, 2001
シリーズ名: Penguin books
所蔵情報: loading…
3.

図書
図書
3. Seminumerical algorithms. 3rd ed
Donald E. Knuth
出版情報: Reading, Mass. ; Tokyo ; Addison-Wesley, c1998
シリーズ名: The art of computer programming ; v. 2
所蔵情報: loading…
4.

図書
図書
4. Sorting and searching. 2nd ed
Donald E. Knuth
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1998
シリーズ名: The art of computer programming ; v. 3
所蔵情報: loading…
5.

図書
図書
5. Fundamental algorithms. 3rd ed
Donald E. Knuth
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1997
シリーズ名: The art of computer programming ; v. 1
所蔵情報: loading…
6.

図書
図書
6. Genetic programming : on the programming of computers by means of natural selection ([1] ; 2)
John R. Koza
出版情報: Cambridge, Mass. : MIT Press, c1992-c1994
シリーズ名: Complex adaptive systems
Bradford book
所蔵情報: loading…
7.

図書
図書
7. Advances in genetic programming ([v. 1] ; v. 2 ; v. 3)
edited by Kenneth E. Kinnear, Jr.
出版情報: Cambridge, Mass. : MIT Press, c1994-
シリーズ名: Complex adaptive systems
Bradford book
所蔵情報: loading…
8.

図書
図書
8. Programming from specifications. 2nd ed
Carroll Morgan
出版情報: New York : Prentice Hall, 1994
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
9.

図書
図書
9. Programming classics : implementing the world's best algorithms
Ian Oliver
出版情報: New York : Prentice Hall, 1993
所蔵情報: loading…
10.

図書
図書
10. C4.5 : programs for machine learning
J. Ross Quinlan
出版情報: San Mateo, Calif. : Morgan Kaufmann Publishers, c1993
シリーズ名: The Morgan Kaufmann series in machine learning
所蔵情報: loading…
11.

図書
図書
11. Literate programming (: pbk)
Donald E. Knuth
出版情報: Stanford, CA : Center for the Study of Language and Information, c1992
シリーズ名: CSLI lecture notes ; no. 27
所蔵情報: loading…
12.

図書
図書
12. Design & efficiency
B.M.E. Moret, H.D. Shapiro
出版情報: Redwood City, CA : Benjamin/Cummings, c1991
シリーズ名: Algorithms from P to NP / B.M.E. Moret, H.D. Shapiro ; v. 1
所蔵情報: loading…
13.

図書
図書
13. Problems in programming : experience through practice
Andrej Vitek ... [et al.]
出版情報: Chichester, West Sussex, England ; New York : J. Wiley, c1991
シリーズ名: Wiley professional computing
所蔵情報: loading…
14.

図書
図書
14. Computer arithmetic (v. 1 ; v. 2)
edited by Earl E. Swartzlander, Jr
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1990-
シリーズ名: IEEE Computer Society Press tutorial
所蔵情報: loading…
15.

図書
図書
15. Data structures and search algorithms
Pierre Berlioux and Philippe Bizard ; translated by Jack Howlett
出版情報: Chichester : Wiley, c1990
シリーズ名: Algorithms ; 2
所蔵情報: loading…
16.

図書
図書
16. Mathematics for the analysis of algorithms. 3rd ed (: us ; : sz)
Daniel H. Greene, Donald E. Knuth
出版情報: Boston : Birkhäuser, c1990
シリーズ名: Progress in computer science and applied logic ; v. 1
所蔵情報: loading…
17.

図書
図書
17. Structured computer organization. 3rd ed (: us ; : uk)
Andrew S. Tanenbaum
出版情報: Englewood Cliffs, N.J. : Prentice Hall , London : Prentice Hall International, c1990
所蔵情報: loading…
18.

図書
図書
18. Combinatorial algorithms
Luděk Kučera
出版情報: Bristol ; Philadelphia : Adam Hilger, c1990
所蔵情報: loading…
19.

図書
図書
19. Introduction to algorithms (: MIT Press ; : MIT Press : pbk ; : McGraw-Hill)
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1990
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
20.

図書
図書
20. Scheme and the art of programming
George Springer, Daniel P. Friedman ; foreword by Guy L. Steele
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1989
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
21.

図書
図書
21. Computer algorithms : introduction to design and analysis. 2nd ed
Sara Baase
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, 1988
所蔵情報: loading…
22.

図書
図書
22. Algorithm animation
Marc H. Brown
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: ACM distinguished dissertations ; 1987
所蔵情報: loading…
23.

図書
図書
23. Temporal logic of programs
Fred Kröger
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: EATCS monographs on theoretical computer science ; v. 8
所蔵情報: loading…
24.

図書
図書
24. Algorithms : their complexity and efficiency. 2nd ed.
Lydia Kronsjö
出版情報: Chichester ; New York : Wiley, c1987
シリーズ名: Wiley series in computing
所蔵情報: loading…
25.

図書
図書
25. Data structures and program design. 2nd ed
Robert L. Kruse
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1987
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
26.

図書
図書
26. Computational complexity of sequential and parallel algorithms
Lydia Kronsjö
出版情報: Chichester : Wiley, 1986, c1985
シリーズ名: Wiley series in computing
所蔵情報: loading…
27.

図書
図書
27. Algorithms : the construction, proof, and analysis of programs (: pbk)
Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams
出版情報: Chichester [West Sussex] ; New York : J. Wiley, c1986
所蔵情報: loading…
28.

図書
図書
28. Programming principles in computer graphics (: pbk)
L. Ammeraal
出版情報: Chichester [West Sussex] ; New York : Wiley, c1986
所蔵情報: loading…
29.

図書
図書
29. Abstraction and specification in program development (: MIT Press ; : McGraw-Hill)
Barbara Liskov and John Guttag
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1986
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
30.

図書
図書
30. The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985
by C.A.R. Hoare
出版情報: Oxford [Oxfordshire] : Clarendon Press , New York : Oxford University Press, 1986
所蔵情報: loading…
31.

図書
図書
31. The theory and practice of compiler writing
Jean-Paul Tremblay, Paul G. Sorenson
出版情報: New York : McGraw-Hill, c1985
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
32.

図書
図書
32. Software engineering. 2nd ed. (: pbk.)
I. Sommerville
出版情報: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley, c1985
シリーズ名: International computer science series
所蔵情報: loading…
33.

図書
図書
33. Structure and interpretation of computer programs (: MIT Press ; : McGraw-Hill)
Julie Sussman, with Harold Abelson, and Gerald Jay Sussman
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1985
所蔵情報: loading…
34.

図書
図書
34. Computer science : a mathematical introduction (: pbk)
Art Lew
出版情報: Englewood Cliffs, NJ : Prentice/Hall, c1985
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
35.

図書
図書
35. Structure and interpretation of computer programs (: MIT Press ; : McGraw-Hill)
Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1985
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
36.

図書
図書
36. Fundamentals of the average case analysis of particular algorithms (: Wiley ; : Teubner)
Rainer Kemp
出版情報: Stuttgart : B.G. Teubner , Chichester [West Sussex] ; New York : Wiley, c1984
シリーズ名: Wiley-Teubner series in computer science
所蔵情報: loading…
37.

図書
図書
37. Handbook of algorithms and data structures (: pbk)
G.H. Gonnet
出版情報: London ; Reading, Mass. : Addison-Wesley Pub. Co., c1984
シリーズ名: International computer science series
所蔵情報: loading…
38.

図書
図書
38. The cognitive computer : on language, learning, and artificial intelligence (: [hbk] ; : pbk)
Roger C. Schank with Peter G. Childers
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984
所蔵情報: loading…
39.

図書
図書
39. Computer programming for graphical displays (pbk.)
Daniel L. Ryan
出版情報: Monterey, Calif. : Brooks/Cole Engineering Division, c1983
所蔵情報: loading…
40.

図書
図書
40. Advanced computer design
J.K. Iliffe
出版情報: London ; Englewoods Cliffs, N.J. : Prentice-Hall International, c1982
所蔵情報: loading…
41.

図書
図書
41. Algorithmic language and program development (: New York ; : Berlin)
F.L. Bauer, H. Wössner, in collaboration with H. Partsch and P. Pepper
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
42.

図書
図書
42. Mathematics for the analysis of algorithms. 2nd ed
Daniel H. Greene, Donald E. Knuth
出版情報: Boston : Birkhäuser, 1982
シリーズ名: Progress in computer science ; no. 1
所蔵情報: loading…
43.

図書
図書
43. Locally least-cost error correctors for context-free and context sensitive parsers
by Bernard A. Dion
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982
シリーズ名: Computer science ; Systems programming ; no. 14
所蔵情報: loading…
44.

図書
図書
44. Control and communication in programs
by Loretta Guarino Reid
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982
シリーズ名: Computer science ; Systems programming ; no. 13
所蔵情報: loading…
45.

図書
図書
45. How to solve it by computer (: pbk)
by R.G. Dromey
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1982
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
46.

図書
図書
46. Functional programming and its applications : an advanced course
edited by J. Darlington, P. Henderson, D.A. Turner
出版情報: Cambridge ; New York : Cambridge University Press, 1982
所蔵情報: loading…
47.

図書
図書
47. Writing efficient programs (: pbk)
Jon Louis Bentley
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1982
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
48.

図書
図書
48. Mathematics for the analysis of algorithms
Daniel H. Greene, Donald E, Knuth
出版情報: Boston : Birkhäuser, c1981
シリーズ名: Progress in computer science ; no. 1
所蔵情報: loading…
49.

図書
図書
49. Software design : methods & techniques (: pbk.)
Lawrence J. Peters ; foreword by L.A. Belady
出版情報: New York, N.Y. : Yourdon Press, c1981
所蔵情報: loading…
50.

図書
図書
50. Software tools in Pascal
Brian W. Kernighan, P.J. Plauger
出版情報: Reading, Mass. : Addison-Wesley, c1981
所蔵情報: loading…