ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

検索キーワード:(件名: #Programming )

該当件数:67件

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

    Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl.

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

     図書



  • 2.

    Proceedings. / Edited by Harold W. Kuhn.

    Princeton, N.J., : Princeton University Press , 1970.

     図書 [BA03945473]



  • 3.

    Algorithms and model formulations in mathematical programming / edited by Stein W. Wallace

    : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1989. - (NATO ASI series ; ser. F . Computer and systems sciences ; v. 51)

     図書 [BA06908666]



  • 4.

    Optimization techniques : an introduction / L.R. Foulds.

    New York : Springer-Verlag , c1981.. - (Undergraduate texts in mathematics.)

     図書



  • 5.

    Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar.

    Berlin : Springer-Verlag , 1984.. - New York. - Tokyo. - (Lecture notes in computer science. ; 181)

     図書



  • 6.

    Optimization / edited by G.L. Nemhauser, A.H.G. Rinnooy Kan, M.J. Todd.

    Amsterdam : North-Holland , 1989.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. - Tokyo. - New York, NY, U.S.A.. - (Handbooks in operations research and management science. ; v. 1)

     図書 [BA07416805]



  • 7.

    Elementary mathematical programming.

    New York : Wiley , 1963. - (Science editions ; ; 450-S)

     図書



  • 8.

    Linear programming and associated techniques; : a comprehensive bibliography on linear, nonlinear, and dynamic programming, / by Vera Riley and Saul I. Gass.

    [Rev. ed.]. - Baltimore : Published for Operations Research Office, the Johns Hopkins University, by the Johns Hopkins Press , [1959]. - (Johns Hopkins University. Operations Research Office. Bibliographic reference series, no. 5. Programming for policy decision, v. 1). - (Bibliographic reference series (Johns Hopkins University. Operations Research Office))

     図書



  • 9.

    Quadratic programming: : algorithms, anomalies [and] applications.

    Amsterdam, : North-Holland Pub. Co. , 1964.

     図書



  • 10.

    Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth.

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

     図書



  • 11.

    Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler.

    Berlin : Springer-Verlag , 1981.. - (Lecture notes in computer science. ; 125)

     図書



  • 12.

    The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa.

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

     図書



  • 13.

    Nonlinear programming / [by] Olvi L. Mangasarian.

    New York : McGraw-Hill , [1969]. - (McGraw-Hill series in systems science)

     図書



  • 14.

    International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] / Edited by Andrei Ershov and Valery A. Nepomniaschy.

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

     図書



  • 15.

    Simple program schemes and formal languages / Joost Engelfriet.

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

     図書



  • 16.

    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]



  • 17.

    Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 proceedings / Patrick Cousot ... [et al.].

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

     図書



  • 18.

    Goal programming : methodology and applications / by Marc J. Schniederjans.

    Boston : Kluwer Academic Publishers , c1995.

     図書 [BA25657326]



  • 19.

    Theory of duality in mathematical programming / Manfred Walk.

    Wien : Springer-Verlag , c1989.. - New York

     図書



  • 20.

    The B-book : assigning programs to meanings / J.-R. Abrial.

    Cambridge : Cambridge University Press , 1996.. - New York

     図書 [BA28484188]



  • 21.

    Computational combinatorial optimization : optimal or provably near-optimal solutions / Michael Juünger, Denis Naddef (eds.).

    Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 2241)

     図書 [BA54616876]



  • 22.

    Nonlinear programming; : a unified approach, / by Willard I. Zangwill.

    Englewood Cliffs, N.J. : Prentice-Hall , [1969]. - (Prentice-Hall international series in management)

     図書



  • 23.

    Applied programming for management / [by] Narendra Paul Loomba [and] Efraim Turban.

    New York, : Holt, Rinehart and Winston , [1974]

     図書 [BA14382328]



  • 24.

    Introduction to optimization techniques; : fundamentals and applications of nonlinear programming. -

    New York, : Macmillan , [1971]. - (Macmillan series in applied computer sciences)

     図書



  • 25.

    Contributions to input-output analysis : proceedings of the 4th International Conference on Input-Output Techniques, Geneva, 8-12 Jan. 1968. / edited by A.P. Carter and A. Brody.

    Amsterdam : North Holland Publishing Co. , 1970.

     図書



  • 26.

    Pseudo-Boolean methods for bivalent programming / [by] P. L. Ivanescu [and] S. Rudeanu.

    Berlin : Springer-Verlag , 1966.. - New York. - (Lecture notes in mathematics ; 23)

     図書



  • 27.

    A Unified approach to interior point algorithms for linear complementarity problems / M. Kojima ... [et al.].

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

     図書



  • 28.

    Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 proceedings / S. Doaites Swierstra (ed.).

    Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1576)

     図書 [BA40723947]



  • 29.

    A first course in optimization theory / Rangarajan K. Sundaram

    : hard,: pbk. - New York ; Cambridge : Cambridge University Press , 1996

     図書 [BA28191893]



  • 30.

    Foundations of optimization / Osman Güler

    New York ; London : Springer , c2010. - (Graduate texts in mathematics ; 258)

     図書 [BB03397852]



  • 31.

    Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.

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

     図書



  • 32.

    Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 proceedings / Thomas Ottmann, ed.

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

     図書



  • 33.

    Macroeconomics and programming / [by] Kenneth K. Kurihara.

    London, : Allen & Unwin , [1964]

     図書



  • 34.

    Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings / Timo Lepistö, Arto Salomaa (eds.).

    Berlin : Springer-Verlag , c1988.. - New York. - Tokyo. - (Lecture notes in computer science. ; 317)

     図書



  • 35.

    Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 proceedings / [ICALP 89] G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds.

    Berlin : Springer-Verlag , c1989.. - New York. - Tokyo. - (Lecture notes in computer science. ; 372)

     図書



  • 36.

    Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz.

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

     図書



  • 37.

    Progress in operations research. / Edited by A. Prékopa.

    Amsterdam, : North-Holland, , 1976.. - (Colloquia mathematica societatis János Bolyai, 12). - (Colloquia mathematica Societatis János Bolyai.)

     図書



  • 38.

    Automata, languages and programming. : 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974. / Edited by Jacques Loeckx.

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

     図書



  • 39.

    Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle.

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

     図書



  • 40.

    Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976 / edited by A. Mazurkiewicz.

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

     図書



  • 41.

    Automata, languages, and programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 / edited by Jan Paredaens.

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

     図書



  • 42.

    Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Reitz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke.

    Berlin : Spring-Verlag , c1986.. - Tokyo. - (Lecture notes in computer science. ; 215)

     図書



  • 43.

    Random processes in physical systems : an introduction to probability-based computer simulations / Charles A. Whitney.

    New York : Wiley , c1990.

     図書 [BA1138303X]



  • 44.

    Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.).

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

     図書 [BA25433748]



  • 45.

    Automata, languages, and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 proceedings / Serge Abiteboul, Eli Shamir (eds.).

    Berlin : Springer-Verlag , c1994.. - (Lecture notes in computer science. ; 820)

     図書 [BA23004387]



  • 46.

    Automata, languages, and programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 proceedings / A. Lingas, R. Karlsson, S. Carlsson, eds.

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

     図書



  • 47.

    Programming and mathematical techniques in physics : International Conference on Programming and Mathematical Methods for Solving Physical Problems / editors, Yu. Yu. Lobanov, E.P. Zhidkov.

    Singapore : World Scientific , c1994.. - River Edge, NJ

     図書 [BA23102590]



  • 48.

    Multiobjective programming and planning / Jared L. Cohon.

    San Diego, Calif. : Academic Press , c1978.. - (Mathematics in science and engineering. ; v. 140)

     図書



  • 49.

    Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 proceedings / F. Meyer auf der Heide, B. Monien (eds.).

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

     図書



  • 50.

    Programming, games and transportation networks, / by Claude Berge and A. Ghouila-Houri. Translated by Maxine Merrington and C. Ramanujacharyulu. -

    London, : Methuen; , [1965]. - New York, : Wiley

     図書



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学