ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #Electronic digital computers--Programming)
該当件数:153件
Genetic programming II videotape : the next generation / John R. Koza Third Millennium Venture Capital Limited.
Version 1.. - Cambridge, Mass. : MIT Press , c1994.
AV資料
Programming from specifications / Carroll Morgan.
2nd ed.. - New York : Prentice Hall , 1994.. - (Prentice-Hall international series in computer science.)
図書 [BA24470556]
First-order programming theories / Tamás Gergely, László Úry.
Berlin : Springer-Verlag , c1991.. - New York. - (EATCS monographs on theoretical computer science. ; v. 24)
図書
New York : Prentice Hall , 1990.. - (Prentice-Hall international series in computer science.)
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds.
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 735)
The science of programming / David Gries.
New York : Springer-Verlag , c1981.. - (Texts and monographs in computer science)
The craft of programming / John C. Reynolds.
Englewood Cliffs, N.J. : Prentice/Hall International , c1981.. - Tokyo. - (Prentice-Hall international series in computer science.)
図書 [BA04650497]
A connotational theory of program structure / James S. Royer.
Berlin : Springer-Verlag , c1987.. - Tokyo. - (Lecture notes in computer science. ; 273)
Computer software; programming systems for digital computers.
Englewood Cliffs, N.J. : Prentice-Hall , [1965]. - (Prentice-Hall series in applied mathematics)
A discipline of programming / Edsger W. Dijkstra.
Englewood Cliffs, N.J. : Prentice-Hall , c1976.. - (Prentice-Hall series in automatic computation)
図書 [BA01130843]
Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus et al.].
Berlin : Springer-Verlag , 1977.. - New York. - (Lecture notes in computer science. ; 55)
Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
Berlin : Springer-Verlag , c1991.. - New York. - (Lecture notes in computer science. ; 544)
Formal description of programming concepts / Erich J. Neuhold, Manfred Paul (eds.) with contributions by K.R. Apt ... [et al.].
Berlin : Springer-Verlag , c1991.. - New York. - (IFIP state-of-the-art reports.)
Genetic programming : on the programming of computers by means of natural selection / John R. Koza.
Cambridge, Mass. : MIT Press , c1992.. - (Complex adaptive systems.)
図書 [BA1926018X]
Genetic programming II : automatic discovery of reusable programs / John R. Koza.
Cambridge, Mass. : MIT Press , c1994.. - (Complex adaptive systems.)
Tutorial on software design techniques / [edited by] Peter Freeman, Anthony I. Wasserman.
4th ed.. - Silver Spring, MD : IEEE Computer Society Press , c1983.. - Los Angeles, CA : Order from IEEE Computer Society
The art of computer programming.
Reading, Mass. : Addison-Wesley Pub. Co. , [1969-73]. - (Addison-Wesley series in computer science and information processing)
Literate programming / Donald E. Knuth
: pbk. - Stanford, CA : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 27)
図書 [BA18145448]
Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
: MIT Press,: McGraw-Hill. - Cambridge, Mass. : MIT Press. - New York : McGraw-Hill , c1985. - (The MIT electrical engineering and computer science series)
図書 [BA00008833]
A recursive introduction to the theory of computation / Carl H. Smith.
New York : Springer-Verlag , c1994.. - (Graduate texts in computer science). - (Graduate texts in computer science (Springer-Verlag New York Inc.))
図書 [BA23711216]
Introduction to computational science and mathematics / Charles F. Van Loan.
Sudbury, Mass. : Jones and Bartlett , c1996.. - (Jones and Bartlett series in computational science and applied mathematics.)
図書 [BA27668094]
Algorithms and programming : problems and solutions / Alexander Shen.
Boston : Birkhäuser , c1997.
図書 [BA29461133]
Temporal logic of programs / Fred Kröger.
Berlin : Springer-Verlag , c1987.. - New York. - (EATCS monographs on theoretical computer science. ; v. 8)
Programming : the derivation of algorithms / A. Kaldewaij.
図書 [BA17161915]
Programming language concepts and paradigms / David A. Watt with contributions by William Findlay, John Hughes.
Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 755)
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 proceedings / Dov M. Gabbay, Hans J. Ohlbach (eds.).
Berlin : Springer-Verlag , c1994.. - New York. - (Lecture notes in computer science ; ; 827.). - (Lecture notes in computer science.). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)
図書 [BA23177363]
Action semantics / Peter D. Mosses.
Cambridge : Cambridge University Press , 1992.. - (Cambridge tracts in theoretical computer science. ; 26)
The cognitive computer : on language, learning, and artificial intelligence / Roger C. Schank with Peter G. Childers.
Reading, Mass. : Addison-Wesley Pub. Co. , c1984.
The Munich Project CIP. The wide spectrum language CIP-L / by the CIP Language Group, F.L. Bauer ... [et al.].
Berlin : Springer-Verlag , c1985.. - Tokyo. - (Lecture notes in computer science. ; 183)
Fundamentals of the average case analysis of particular algorithms / Rainer Kemp.
Stuttgart : B.G. Teubner , c1984.. - Chichester [West Sussex] : Wiley. - New York. - (Wiley-Teubner series in computer science.)
Logic programming / edited by K.L. Clark and S.-A. Tärnlund.
London : Academic Press , c1982.. - Tokyo. - (A.P.I.C. studies in data processing. ; no. 16)
図書 [BA00327616]
Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 proceedings / edited by David Pitt ... [et al.].
Berlin : Tokyo , c1986.. - : Springer-Verlag. - (Lecture notes in computer science. ; 240)
Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik.
Berlin : Springer-Verlag , c1986.. - Tokyo. - (Lecture notes in computer science. ; 244)
ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, proceedings / J. Bézivin ... [et al.] (eds.).
Berlin : Springer-Verlag , c1987.. - Tokyo. - (Lecture notes in computer science. ; 276)
The Munich Project CIP. The program transformation system CIP-S / by the CIP Language Group, F.L. Bauer ... [et al.].
Berlin : Springer-Verlag , c1987.. - New York. - Tokyo. - (Lecture notes in computer science ; ; 292). - (Lecture notes in computer science.)
An introduction to computer programming. -
New York, : Gordon and Breach , [1966]. - (Notes on mathematics and its applications.)
Computer languages: : a practical guide to the chief programming languages / [by] Peter C. Sanderson.
London : Newnes-Butterworths , 1970.
図書 [BA00915862]
Principles of business computer programming / [by] David Breckner [and] Peter Abel.
Englewood Cliffs, N.J. : Prentice-Hall , [1970]
図書 [BA17127768]
Assemblers and BAL.
Englewood Cliffs, N.J. : Prentice-Hall , [1971]
図書 [BA0692390X]
Elementary BASIC with applications / [by] Mario V. Farina.
Englewood Cliffs, N.J., : Prentice-Hall , [1970]
Problem solving by digital computers with PL/I programming.
Englewood Cliffs, N.J. : Prentice-Hall , [1970]. - (Prentice-Hall series in automatic computation)
図書 [BA13670677]
Introduction to FORTRAN IV programming, using the watfor compiler / [by] John M. Blatt.
Pacific Palisades, Calif. : Goodyear Pub. Co. , [1968]. - (Goodyear computer series)
Introduction to programming and computer science.
New York : McGraw-Hill , [1971]. - (McGraw-Hill computer science series)
図書 [BA07572899]
How to control costs and improve profits through the effective management of computer software / [by] Warren J. Ridge and Leann E. Johnson. -
[Homewood, Ill.: : Dow Jones-Irwin , 1973.
WATFOR/WATFIV FORTRAN programming.
New York : Wiley , [1971]
図書 [BA07557319]
Multivariate procedures for the behavioral sciences / [by] William W. Cooley [and] Paul R. Lohnes.
New York, : Wiley , [1962]
図書 [BA04097948]
Digital computers in research, : an introduction for behavioral and social scientists.
New York, : McGraw-Hill , [1963]. - (Lincoln Laboratory publications)
The logical basis for computer programming / Zohar Manna, Richard Waldinger.
Reading, Mass. : Addison-Wesley , c1985-c1990.. - Tokyo. - (Addison-Wesley series in computer science.)
Program construction : international summer school / F. L. Bauer ... [et al.] edited by F. L. Bauer and M. Broy.
Berlin : Springer-Verlag , 1979.. - New York. - (Lecture notes in computer science. ; 69)
