1.

図書
図書
1. Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings (pt. 1 ; pt. 2)
Erick Cantú-Paz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2723-2724
所蔵情報: 図書館
2.

図書
図書
2. Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
出版情報: New York : Springer, c1998
シリーズ名: Graduate texts in computer science
所蔵情報: 図書館
3.

図書
図書
3. Seminumerical Algorithms. 3rd ed
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, 1998
シリーズ名: The art of computer programming ; v. 2
所蔵情報: 図書館, 研究室
4.

図書
図書
4. Mathematical methods in program development
edited by Manfred Broy, Birgit Schieder
出版情報: Berlin : Springer, 1997
シリーズ名: NATO ASI series ; Series F, Computer and systems sciences ; v. 158
所蔵情報: 図書館
5.

図書
図書
5. Computability and complexity : from a programming perspective
Neil D. Jones
出版情報: Cambridge, Mass. : MIT Press, c1997
シリーズ名: Foundations of computing
所蔵情報: 図書館
6.

図書
図書
6. Fundamental algorithms. 3rd ed
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, 1997
シリーズ名: The art of computer programming ; v. 1
所蔵情報: 図書館, 研究室
7.

図書
図書
7. Introduction to scientific programming : computational problem solving using Maple and C (: alk. paper)
Joseph L. Zachary
出版情報: New York : Springer , Santa Clara, Calif. : TELOS, c1996
所蔵情報: 図書館
8.

図書
図書
8. Structure and interpretation of computer programs. 2nd ed (: hbk ; : pbk. : alk. paper)
Harold Abelson and Gerald Jay Sussman, with Julie Sussman
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: MIT electrical engineering and computer science series
所蔵情報: 図書館
9.

図書
図書
9. Genetic programming : proceedings of the First Annual Conference, 1996
edited by John R. Koza ... [et al.]
出版情報: Cambridge, Mass. ; London : MIT Press, c1996
シリーズ名: Complex adaptive systems
所蔵情報: 図書館
10.

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

図書
図書
11. Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence
所蔵情報: 図書館
12.

図書
図書
12. Temporal logic : mathematical foundations and computational aspects (v. 1 ; v. 2)
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
出版情報: Oxford ; New York : Clarendon Press , New York : Oxford University Press, 1994-
シリーズ名: Oxford logic guides ; 28, 40
所蔵情報: 図書館
13.

図書
図書
13. Subrecursive programming systems : complexity & succinctness (:us ; :sz)
James S. Royer, John Case
出版情報: Boston : Birkhäuser, 1994
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
14.

図書
図書
14. 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
所蔵情報: 図書館
15.

図書
図書
15. Formal program development : IFIP TC 2/WG 2.1 state of the art report (: gw ; : us)
Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 755
所蔵情報: 図書館
16.

図書
図書
16. Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us)
Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 735
所蔵情報: 図書館
17.

図書
図書
17. The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)
Zohar Manna, Amir Pnueli
出版情報: New York ; Tokyo : Springer-Verlag, c1992-
所蔵情報: 図書館
18.

図書
図書
18. Intensional logics for programming
edited by Luis Fariñas del Cerro and Martti Penttonen
出版情報: Oxford [England] : Clarendon Press , New York : Oxford University Press, 1992
シリーズ名: Studies in logic and computation ; 1
所蔵情報: 図書館
19.

図書
図書
19. Programming and mathematical method (: gw ; : us)
edited by Manfred Broy
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; no. 88
所蔵情報: 図書館
20.

図書
図書
20. Paradigms of artificial intelligence programming : case studies in common LISP
Peter Norvig
出版情報: San Mateo, Calif. : Morgan Kaufman Publishers, c1992
所蔵情報: 図書館
21.

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

図書
図書
22. First-order programming theories (: Berlin ; : New York)
Tamás Gergely, László Úry
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: EATCS monographs on theoretical computer science ; v. 24
所蔵情報: 図書館
23.

図書
図書
23. Categories and computer science (: hard ; : pbk)
R.F.C. Walters
出版情報: Cambridge : Cambridge University Press, c1991
シリーズ名: Cambridge computer science texts ; 28
所蔵情報: 図書館
24.

図書
図書
24. The programming and proof systems ATES : advanced techniques integration into efficient scientific software
Armand Puccetti, ed. ; with contributions by D. Brocard ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Research reports ESPRIT ; Project 1158, ATES ; vol. 1
所蔵情報: 図書館
25.

図書
図書
25. Methods of programming : selected papers on the CIP-project (: Berlin ; : New York)
M. Broy, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 544
所蔵情報: 図書館
26.

図書
図書
26. 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
所蔵情報: 図書館, 研究室
27.

図書
図書
27. Computational category theory
David E. Rydeheard, Rod M. Burstall
出版情報: New York ; Tokyo : Prentice Hall, 1988
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: 図書館
28.

図書
図書
28. Translating relational queries into iterative programs (: gw ; : us)
Johann Christoph Freytag
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 261
所蔵情報: 図書館
29.

図書
図書
29. A Little Smalltalk (pbk.)
Timothy Budd
出版情報: Reading, Mass. : Addison-Wesley, c1987
所蔵情報: 図書館
30.

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

図書
図書
31. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us)
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: 図書館
32.

図書
図書
32. 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
所蔵情報: 図書館
33.

図書
図書
33. Foundations of programming (alk. paper)
Jacques Arsac; translated by Fraser Duncan
出版情報: London; Orlando : Academic Press, 1985
シリーズ名: A.P.I.C. studies in data processing ; vol. 23
所蔵情報: 図書館
34.

図書
図書
34. Advanced programming : a practical course (pbk.)
D.W. Barron and J.M. Bishop
出版情報: Chichester ; New York : Wiley, c1984
シリーズ名: Wiley series in computing
所蔵情報: 図書館
35.

図書
図書
35. P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us)
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: 図書館
36.

図書
図書
36. Software engineering with Modula-2 and Ada
Richard Wiener, Richard Sincovec
出版情報: New York : Wiley, c1984
所蔵情報: 図書館
37.

図書
図書
37. The IOTA programming system : a modular programming environment (: gw ; : us)
edited by R. Nakajima and T. Yuasa
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 160
所蔵情報: 図書館
38.

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

図書
図書
39. Computer arithmetic : logic and design
Otto Spaniol
出版情報: Chichester [West Sussex] ; New York : Wiley, c1981
シリーズ名: Wiley series in computing
所蔵情報: 図書館
40.

図書
図書
40. Seminumerical algorithms. 2nd ed
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1981
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 2
所蔵情報: 図書館, 研究室
41.

図書
図書
41. Discrete structures of computer science
Leon S. Levy
出版情報: New York : Wiley, c1980
所蔵情報: 図書館
42.

図書
図書
42. Functional programming : application and implementation
Peter Henderson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1980
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: 図書館
43.

図書
図書
43. Computer programs for spelling correction : an experiment in program design (: gw ; : us)
James L. Peterson
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 96
所蔵情報: 図書館
44.

図書
図書
44. A relational theory of computing (: gw ; : us)
John G. Sanderson
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 82
所蔵情報: 図書館
45.

図書
図書
45. Algorithms, their complexity and efficiency
Lydia I. Kronsjö
出版情報: Chichester ; New York : John Wiley, c1979
シリーズ名: Wiley series in computing
所蔵情報: 図書館
46.

図書
図書
46. First-order dynamic logic (: gw ; : us)
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: 図書館
47.

図書
図書
47. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 (: gw ; : us)
edited by E. K. Blum, M. Paul and S. Takasu
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 75
所蔵情報: 図書館
48.

図書
図書
48. Introduction to computer programming with the BASIC language
Harvey M. Deitel
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1977
所蔵情報: 図書館
49.

図書
図書
49. Mes premières constructions de programmes (: gw ; : us)
A. Gerbier, [avec la collaboration de Pierre Bacchus et al.]
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 55
所蔵情報: 図書館
50.

図書
図書
50. Introduction to the design and analysis of algorithms
S. E. Goodman, S. T. Hedetniemi
出版情報: New York : McGraw-Hill, c1977
シリーズ名: McGraw-Hill computer science series
所蔵情報: 図書館
51.

図書
図書
51. Algorithms+data structures=programs
Niklaus Wirth
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1976
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: 図書館
52.

図書
図書
52. Fundamental concepts of programming systems
Jeffrey D. Ullman
出版情報: Reading, Mass. : Addison-Wesley, c1976
シリーズ名: Addison-Wesley series in computer science and information processing
所蔵情報: 図書館
53.

図書
図書
53. Theory of program structures : schemes, semantics, verification (: gw ; : us)
Sheila A. Greibach
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 36
所蔵情報: 図書館
54.

図書
図書
54. Computational structures : an introduction to non-numerical computing (: u.s. ; : u.k.)
Patrick A.V. Hall
出版情報: London : Macdonald and Jane's , New York : American Elsevier, 1975
シリーズ名: Computer monographs ; 23
所蔵情報: 図書館
55.

図書
図書
55. The design and analysis of computer algorithms
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1974
シリーズ名: Addison-Wesley series in computer science and information processing
所蔵情報: 図書館
56.

図書
図書
56. Program style, design, efficiency, debugging, and testing
Dennie Van Tassel
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1974
所蔵情報: 図書館
57.

図書
図書
57. Discrete computational structures
[by] Robert R. Korfhage
出版情報: New York : Academic Press, c1974
シリーズ名: Computer science and applied mathematics
所蔵情報: 図書館
58.

図書
図書
58. Mathematical theory of computation
by Zohar Manna
出版情報: Tokyo : McGraw-Hill Kogakusha, c1974
シリーズ名: McGraw-Hill computer science series
所蔵情報: 図書館
59.

図書
図書
59. Sorting and searching. [2nd printing]
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, c1973
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 3
所蔵情報: 図書館
60.

図書
図書
60. Data management systems
Carl Cagan
出版情報: Los Angeles, Cali. : Melville Pub. Co., [1973]
所蔵情報: 図書館
61.

図書
図書
61. Fundamental algorithms. 2nd ed (: hard ; : pbk)
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, c1973
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 1
所蔵情報: 図書館, 研究室
62.

図書
図書
62. Sorting and searching
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, c1973
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 3
所蔵情報: 図書館, 研究室
63.

図書
図書
63. Systems programming
John J. Donovan
出版情報: New York : McGraw-Hill, c1972
シリーズ名: McGraw-Hill computer science series
所蔵情報: 図書館
64.

図書
図書
64. Computer semantics; studies of algorithms, processors, and languages
[by] John A. N. Lee
出版情報: New York : Van Nostrand Reinhold, [1972]
シリーズ名: Computer science series
所蔵情報: 図書館
65.

図書
図書
65. Data base systems : Courant Computer Science Symposium 6, May 24-25, 1971
edited by Randall Rustin
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: 図書館
66.

図書
図書
66. Introduction to computer organization and data structures
Harold S. Stone
出版情報: New York : McGraw-Hill, c1972
シリーズ名: McGraw-Hill computer science series
所蔵情報: 図書館
67.

図書
図書
67. Programming time-shared computers in BASIC
by Eugene H. Barnett
出版情報: New York : Wiley-Interscience, c1972
所蔵情報: 図書館
68.

図書
図書
68. Data processing mathematics
[by] George A. Gleim [and] Mario V. Farina
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1972
所蔵情報: 図書館
69.

図書
図書
69. Artificial intelligence and heuristic programming
editors, N.V. Findler, Bernard Meltzer
出版情報: Edinburgh : Edinburgh University Press, c1971
所蔵情報: 図書館
70.

図書
図書
70. FORTRAN IV computing and applications
[by] Richard L. Nolan
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1971
所蔵情報: 図書館
71.

図書
図書
71. Digital networks and computer systems
[by] Taylor L. Booth
出版情報: New York : John Wiley, c1971
所蔵情報: 図書館
72.

図書
図書
72. Seminumerical algorithms
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1969
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 2
所蔵情報: 図書館
73.

図書
図書
73. An introduction to computer programming : with an emphasis on FORTRAN IV
[by] Adolph C. Nydegger
出版情報: Reading, Mass. : Addison-Wesley, c1968
所蔵情報: 図書館
74.

図書
図書
74. Fundamental algorithms (: hard ; : pbk)
Donald E. Knuth
出版情報: Reading, Mass. : Addison-Wesley, 1968
シリーズ名: Addison-Wesley series in computer science and information processing ; . The art of computer programming / Donald E. Knuth ; v. 1
所蔵情報: 図書館
75.

図書
図書
75. An introduction to computer programming
Mullish, Henry
出版情報: New York : Gordon and Breach, c1966
シリーズ名: Notes on mathematics and its applications
所蔵情報: 図書館
76.

図書
図書
76. Numerical methods (1 ; 2)
Ben Noble
出版情報: Edinburgh : Oliver and Boyd , New York : Interscience Publishers, 1964
シリーズ名: University mathematical texts
所蔵情報: 図書館
77.

図書
図書
77. Computer programming : a mixed language approach
by Marvin L. Stein and William D. Munro
出版情報: New York : Academic Press, [1964]
所蔵情報: 図書館
78.

図書
図書
78. Smoothing, forecasting and prediction of discrete time series
Robert Goodell Brown
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, [1963]
シリーズ名: Prentice-Hall international series in management
Prentice-Hall quantitative methods series
所蔵情報: 図書館
79.

図書
図書
79. Programming and coding for automatic digital computers
[by] G.W. Evans II [and] C.L. Perry. Chapter 8: Some aspects of automatic programming, by R.E. Keirstead, Jr
出版情報: New York : McGraw-Hill, 1961
シリーズ名: McGraw-Hill series in information processing and computers
所蔵情報: 図書館
80.

図書
図書
80. Programming for digital computers
Joachim Jeenel
出版情報: New York : McGraw-Hill, 1959
所蔵情報: 図書館