ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Electronic digital computers--Programming)
該当件数:152件
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)
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)
The art of computer programming.
Reading, Mass. : Addison-Wesley Pub. Co. , [1969-73]. - (Addison-Wesley series in computer science and information processing)
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)
Genetic programming II : automatic discovery of reusable programs / John R. Koza.
Cambridge, Mass. : MIT Press , c1994.. - (Complex adaptive systems.)
Genetic programming : on the programming of computers by means of natural selection / John R. Koza.
Cambridge, Mass. : MIT Press , c1992.. - (Complex adaptive systems.)
図書 [BA1926018X]
Programming from specifications / Carroll Morgan.
2nd ed.. - New York : Prentice Hall , 1994.. - (Prentice-Hall international series in computer science.)
図書 [BA24470556]
Computer software; programming systems for digital computers.
Englewood Cliffs, N.J. : Prentice-Hall , [1965]. - (Prentice-Hall series in applied mathematics)
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
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.)
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.)
A discipline of programming / Edsger W. Dijkstra.
Englewood Cliffs, N.J. : Prentice-Hall , c1976.. - (Prentice-Hall series in automatic computation)
図書 [BA01130843]
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]
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.)
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)
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 proceedings / edited by J. Díaz and I. Ramos.
Berlin : Springer-Verlag , 1981.. - New York. - (Lecture notes in computer science. ; 107)
Logics of programs, workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.
Berlin : Springer-Verlag , 1982.. - New York. - (Lecture notes in computer science. ; 131)
International Symposium on Programming : 5th colloquium, Turin, April 6-8, 1982, proceedings / edited by M. Dezani-Ciancaglini and U. Montanari.
Berlin : Springer-Verlag , 1982.. - New York. - (Lecture notes in computer science. ; 137)
Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare / lecturers, M. Broy ... [et al.] edited by Manfred Broy and Gunther Schmidt.
Dordrecht, Holland : D. Reidel , c1982.. - Boston, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Boston. - Hingham, MA. - (NATO advanced study institutes series. Mathematical and physical sciences. ; v. 91)
The psychology of computer programming / [by] Gerald M. Weinberg. -
New York: : Van Nostrand Reinhold , [1971]. - (Computer science series)
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki.
Berlin : Springer-Verlag , 1983.. - New York. - (Lecture notes in computer science. ; 148)
Mathematics for the analysis of algorithms / Daniel H. Greene, Donald E. Knuth.
2nd ed.. - Boston : Birkäuser , 1982.. - (Progress in computer science ; ; v. 1). - (Progress in computer science.)
図書 [BA00903670]
Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho.
Dordrecht, Holland : D. Reidel Pub. Co. , c1983.. - Boston, U.S.A. : Distributed in the U.S.A. and Canada by Kluwer Boston Inc.. - Hingham, MA. - (NATO advanced study institutes series. Mathematical and physical sciences. ; v. 95)
図書 [BA10749078]
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen.
Berlin : Springer-Verlag , 1984.. - New York. - Tokyo. - (Lecture notes in computer science. ; 164)
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984, Proceedings / edited by M. Paul and B. Robinet.
Berlin : Springer-Verlag , 1984.. - Tokyo. - (Lecture notes in computer science. ; 167)
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970. / Hrsg. im Auftrag der GI von W. Händler und P. P. Spies.
Berlin, : Springer-Verlag , 1974.. - New York,. - (Lecture notes in computer science. ; 13)
Programming Symposium; : proceedings. Colloque sur la programmation, Paris, April 9-11, 1974. / Edited by B. Robinet.
Berlin, : Springer-Verlag , 1974.. - New York,. - (Lecture notes in computer science, ; v. 19). - (Lecture notes in computer science.)
The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib.
New York : Springer-Verlag , c1978.. - (Texts and monographs in computer science)
図書 [BA02970908]
Computers and languages : theory and practice / Anton Nijholt.
Amsterdam : North-Holland , 1988.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. - New York, N.Y., U.S.A.. - (Studies in computer science and artificial intelligence. ; 4)
図書 [BA05012430]
An introduction to programming with specifications : a mathematical approach / Ryszard Kubiak, Roman Rudzinski, Stefan Sokolowski.
London : Academic Press , 1991.. - (The A.P.I.C. series ; ; no.35). - (A.P.I.C. studies in data processing.)
図書 [BA12603073]
International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / edited by B. Robinet.
Berlin : Springer-Verlag , 1980.. - New York. - (Lecture notes in computer science. ; 83)
A relational theory of computing / John G. Sanderson.
Berlin : Springer-Verlag , 1980.. - New York. - (Lecture notes in computer science. ; 82)
Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 proceedings / edited by D. Bjørner.
Berlin : New York Springer-Verlag , 1980.. - (Lecture notes in computer science. ; 86)
Software tools / Brian W. Kernighan, P. J. Plauger.
Reading, Mass. : Addison-Wesley Pub. Co. , c1976.
図書 [BA00041216]
Learning to program / Howard Johnston.
Englewood Cliffs, NJ : Prentice/Hall International , c1985.