ようこそ  ゲスト さん

国際基督教大学OPAC

ヘルプ
入力補助
English
OPAC
資料案内
    • 新着図書
    • 雑誌最新巻号
    • 雑誌タイトル検索
    • AV資料リスト
    • 新着書評
MyLibrary
    • 貸出・予約・延滞状況の確認
    • 本の取寄せ・コピーの取寄せ申込み
    • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
    • 本の購入申込み
    • 本の購入申込み状況照会
    • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
    • 学生希望図書リクエスト状況照会
    • パスワード変更
  • 図書館 HP
  • リザーブブック
  • ICU Discovery
  • データベース一覧
  • ICUリポジトリ
  • ICU図書館
  • CiNii Books

蔵書検索

ICU図書館の所蔵資料を検索します。

CiNii Books

他大学図書館の所蔵資料を検索します。

検索をやりなおす
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

検索対象

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
  • 日本十進分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。

検索キーワード:(件名: #Electronic digital computers--Programming)

該当件数:152件

  • 件
  • 1
  • 2
  • 3
  • 4
  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1.

    The science of programming / David Gries.

    New York : Springer-Verlag , c1981.. - (Texts and monographs in computer science)

     図書



  • 2.

    The craft of programming / John C. Reynolds.

    Englewood Cliffs, N.J. : Prentice/Hall International , c1981.. - Tokyo. - (Prentice-Hall international series in computer science.)

     図書 [BA04650497]



  • 3.

    A connotational theory of program structure / James S. Royer.

    Berlin : Springer-Verlag , c1987.. - Tokyo. - (Lecture notes in computer science. ; 273)

     図書



  • 4.

    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)

     図書



  • 5.

    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)

     図書



  • 6.

    The art of computer programming.

    Reading, Mass. : Addison-Wesley Pub. Co. , [1969-73]. - (Addison-Wesley series in computer science and information processing)

     図書



  • 7.

    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)

     図書



  • 8.

    Genetic programming II : automatic discovery of reusable programs / John R. Koza.

    Cambridge, Mass. : MIT Press , c1994.. - (Complex adaptive systems.)

     図書



  • 9.

    Genetic programming : on the programming of computers by means of natural selection / John R. Koza.

    Cambridge, Mass. : MIT Press , c1992.. - (Complex adaptive systems.)

     図書 [BA1926018X]



  • 10.

    Programming from specifications / Carroll Morgan.

    2nd ed.. - New York : Prentice Hall , 1994.. - (Prentice-Hall international series in computer science.)

     図書 [BA24470556]



  • 11.

    Computer software; programming systems for digital computers.

    Englewood Cliffs, N.J. : Prentice-Hall , [1965]. - (Prentice-Hall series in applied mathematics)

     図書



  • 12.

    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

     図書



  • 13.

    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.)

     図書



  • 14.

    First-order programming theories / Tamás Gergely, László Úry.

    Berlin : Springer-Verlag , c1991.. - New York. - (EATCS monographs on theoretical computer science. ; v. 24)

     図書



  • 15.

    Programming from specifications / Carroll Morgan.

    New York : Prentice Hall , 1990.. - (Prentice-Hall international series in computer science.)

     図書



  • 16.

    A discipline of programming / Edsger W. Dijkstra.

    Englewood Cliffs, N.J. : Prentice-Hall , c1976.. - (Prentice-Hall series in automatic computation)

     図書 [BA01130843]



  • 17.

    Literate programming / Donald E. Knuth

    : pbk. - Stanford, CA : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 27)

     図書 [BA18145448]



  • 18.

    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]



  • 19.

    The cognitive computer : on language, learning, and artificial intelligence / Roger C. Schank with Peter G. Childers.

    Reading, Mass. : Addison-Wesley Pub. Co. , c1984.

     図書



  • 20.

    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)

     図書



  • 21.

    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.)

     図書



  • 22.

    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]



  • 23.

    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)

     図書



  • 24.

    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)

     図書



  • 25.

    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)

     図書



  • 26.

    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.)

     図書



  • 27.

    Multivariate procedures for the behavioral sciences / [by] William W. Cooley [and] Paul R. Lohnes.

    New York, : Wiley , [1962]

     図書 [BA04097948]



  • 28.

    Digital computers in research, : an introduction for behavioral and social scientists.

    New York, : McGraw-Hill , [1963]. - (Lincoln Laboratory publications)

     図書



  • 29.

    The logical basis for computer programming / Zohar Manna, Richard Waldinger.

    Reading, Mass. : Addison-Wesley , c1985-c1990.. - Tokyo. - (Addison-Wesley series in computer science.)

     図書



  • 30.

    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)

     図書



  • 31.

    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)

     図書



  • 32.

    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)

     図書



  • 33.

    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)

     図書



  • 34.

    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)

     図書



  • 35.

    The psychology of computer programming / [by] Gerald M. Weinberg. -

    New York: : Van Nostrand Reinhold , [1971]. - (Computer science series)

     図書



  • 36.

    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)

     図書



  • 37.

    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]



  • 38.

    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]



  • 39.

    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)

     図書



  • 40.

    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)

     図書



  • 41.

    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)

     図書



  • 42.

    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.)

     図書



  • 43.

    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]



  • 44.

    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]



  • 45.

    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]



  • 46.

    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)

     図書



  • 47.

    A relational theory of computing / John G. Sanderson.

    Berlin : Springer-Verlag , 1980.. - New York. - (Lecture notes in computer science. ; 82)

     図書



  • 48.

    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)

     図書



  • 49.

    Software tools / Brian W. Kernighan, P. J. Plauger.

    Reading, Mass. : Addison-Wesley Pub. Co. , c1976.

     図書 [BA00041216]



  • 50.

    Learning to program / Howard Johnston.

    Englewood Cliffs, NJ : Prentice/Hall International , c1985.

     図書



  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1
  • 2
  • 3
  • 4
CLOSE

絞込項目

CLOSE

資料案内

  • 新着図書
  • 雑誌最新巻号
  • 雑誌タイトル検索
  • AV資料リスト
  • 新着書評

MyLibrary

  • 貸出・予約・延滞状況の確認
  • 本の取寄せ・コピーの取寄せ申込み
  • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
  • 本の購入申込み
  • 本の購入申込み状況照会
  • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
  • 学生希望図書リクエスト状況照会
  • パスワード変更

関連

  • 図書館HP
  • ICU Discovery
  • データベース一覧

©2013 国際基督教大学