ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

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

該当件数:79件

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

    Algorithm theory--SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 proceedings / Magnús M. Halldórsson (eds.).

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

     図書 [BA47401257]



  • 2.

    Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 proceedings / Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.).

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

     図書 [BA45498994]



  • 3.

    Data structures and algorithms / Kurt Mehlhorn.

    Berlin : Springer-Verlag , 1984.. - (EATCS monographs on theoretical computer science. ; 1-3)

     図書



  • 4.

    Towards dynamic randomized algorithms in computational geometry / Monique Teillaud.

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

     図書



  • 5.

    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]



  • 6.

    Algorithms for chemists / Jure Zupan.

    Chichester : J. Wiley , c1989.. - New York

     図書 [BA07337119]



  • 7.

    The design and analysis of computer algorithms / Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.

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

     図書



  • 8.

    Algorithms / Ivan Horabin and Brian Lewis.

    Englewood Cliffs, N.J. : Educational Technology Publications , c1978.. - (The Instructional design library ; v. 2)

     図書



  • 9.

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

     図書



  • 10.

    Algorithms and data structures / Niklaus Wirth.

    Englewood Cliffs, N.J. : Prentice-Hall , c1986.

     図書 [BA00131341]



  • 11.

    The modified algorithm of Jacobi-Perron.

    Providence, R.I. : American Mathematical Society , 1966.. - (Memoirs of the American Mathematical Society ; ; no. 67). - (Memoirs of the American Mathematical Society.)

     図書



  • 12.

    Algorithms and complexity : 5th Italian conference, CIAC 2003, Rome, Italy, May 28-30, 2003 proceedings / Rossella Petreschi, Giuseppe Persiano, Riccardo Silvestri (eds.).

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

     図書 [BA62262688]



  • 13.

    Algorithm theory - SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 proceedings / Martti Penttonen, Erik Meineche Schmidt (eds.).

    Berlin : Springer , c2002.. - (Lecture notes in computer science ; 2368)

     図書 [BA57603440]



  • 14.

    Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan

    : hbk.. - New York, N.Y. : Cambridge University Press , 1995

     図書 [BA25952031]



  • 15.

    Graph theory : modeling, applications, and algorithms / Geir Agnarsson, Raymond Greenlaw

    Upper Saddle River : Pearson, Prentice Hall , c2007

     図書 [BA80572337]



  • 16.

    Fundamental algorithms for permutation groups / G. Butler.

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

     図書



  • 17.

    New Developments in Parsing Technology / edited by Harry Bunt, John Carroll, Giorgio Satta

    Dordrecht : Springer Science + Business Media, Inc. , 2005. - (Text, Speech and Language Technology ; 23)

     電子ブック [1402022937]



  • 18.

    Using Algebraic Geometry / by David A. Cox, John Little, Donal O’shea

    Second Edition. - New York, NY : Springer Science+Business Media, Inc. , 2005. - (Graduate Texts in Mathematics ; 185)

     電子ブック [0387207063]



  • 19.

    Solving Polynomial Equations : Foundations, Algorithms, and Applications / edited by Manuel Bronstein, Arjeh M. Cohen, Henri Cohen, David Eisenbud, Bernd Sturmfels, Alicia Dickenstein, Ioannis Z. Emiris

    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2005. - (Algorithms and Computation in Mathematics ; 14)

     電子ブック [3540243267]



  • 20.

    Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 proceedings / Leo Bachmair (ed.).

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

     図書 [BA47496810]



  • 21.

    Graph-theoretic concepts in computer science : 27th international workshop, WG 2001, Boltenhagen, Germany, June 14-16, 2001 proceedings / Andreas Brandstädt, Van Bang Le (eds.).

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

     図書 [BA5417967X]



  • 22.

    Algorithms in invariant theory / Bernd Sturmfels.

    Wien : Springer-Verlag , c1993.. - New York. - (Texts and monographs in symbolic computation)

     図書 [BA2080325X]



  • 23.

    Many-body tree methods in physics / Susanne Pfalzner, Paul Gibbon.

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

     図書 [BA29075468]



  • 24.

    Network models / edited by M.O. Ball ... [et al.].

    Amsterdam : Elsevier , 1995.. - New York. - (Handbooks in operations research and management science. ; v. 7)

     図書 [BA24915277]



  • 25.

    Topics in advanced scientific computation / Richard E. Crandall.

    New York, N.Y. : Springer-Telos , c1996.

     図書 [BA27407115]



  • 26.

    The traveling salesman : computational solutions for TSP applications / Gerhard Reinelt.

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

     図書 [BA23286052]



  • 27.

    Axioms and hulls / D.E. Knuth.

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

     図書



  • 28.

    Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter.

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

     図書



  • 29.

    Practical numerical algorithms for chaotic systems / Thomas S. Parker, Leon O. Chua.

    New York : Springer-Verlag , c1989.. - Berlin. - Tokyo

     図書



  • 30.

    Finite algorithms in optimization and data analysis / M.R. Osborne.

    Chichester : J. Wiley , c1985.. - New York. - (Wiley series in probability and mathematical statistics. Applied probability and statistics.)

     図書 [BA00104622]



  • 31.

    Unobstructed shortest paths in polyhedral environments / Varol Akman.

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

     図書



  • 32.

    From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

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

     図書



  • 33.

    P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms / André Thayse.

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

     図書



  • 34.

    Graphs : theory and algorithms / K. Thulasiraman, M.N. S. Swamy.

    New York : Wiley , c1992.

     図書 [BA1439184X]



  • 35.

    Algorithms for parallel polygon rendering / T. Theoharis.

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

     図書



  • 36.

    A collection of test problems for constrained global optimization algorithms / C.A. Floudas, P.M. Pardalos.

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

     図書



  • 37.

    Algorithms and automatic computing machines. / Translated and adapted from the 2d Russian ed. (1960) by Jerome Kristian, James D. McCawley, and Samuel A. Schmitt.

    Boston, : Heath , [1963]. - (Topics in mathematics.)

     図書



  • 38.

    The Jacobi-Perron algorithm; : its theory and application.

    Berlin, : Springer-Verlag , 1971.. - New York,. - (Lecture notes in mathematics, 207). - (Lecture notes in mathematics (Springer-Verlag))

     図書



  • 39.

    Zufälligkeit und Wahrscheinlichkeit : eine algorithmische Begründung der Wahrscheinlichkeitstheorie.

    Berlin : Springer , [c1971]. - (Lecture notes in mathematics ; 218)

     図書



  • 40.

    The Earliest arithmetics in English / edited with introduction by Robert Steele.

    London : Published for the Early English Text Society by Humphrey Milford, Oxford University Press , 1922.. - (Extra series (Early English Text Society) ; no. 118)

     図書



  • 41.

    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; : Einführung in die Theorie der rekursiven Funktionen. -

    Berlin, : Springer , 1961.. - (Die Grundlehren der mathematischen Wissenschaften, ; Bd. 109). - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete.)

     図書



  • 42.

    Enumerability, decidability, computability; : an introduction to the theory of recursive functions / by Hans Hermes. Translated by G.T Herman and O. Plassmann.

    Berlin, : Springer-Verlag , 1965.. - New York,. - (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, ; Bd. 127). - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete.)

     図書



  • 43.

    Applied algebra, algebraic algorithms, and error-correcting codes : 15th international symposium, AAECC-15, Toulouse, France, May 12-16, 2003 proceedings / Marc Fossorier, Tom Høholdt, Alain Poli (eds.).

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

     図書 [BA62309974]



  • 44.

    Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 proceedings / Sophie Tison (ed.).

    Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science, ; 2378). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)

     図書 [BA57747360]



  • 45.

    Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 proceedings / Aart Middeldorp (ed.).

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

     図書 [BA51960208]



  • 46.

    JPEG still image data compression standard / William B. Pennebaker, Joan L. Mitchell.

    New York : Van Nostrand Reinhold , c1993.

     図書



  • 47.

    Hello world : being human in the age of algorithms / Hannah Fry

    : pbk. - New York : W.W. Norton , 2019, c2018

     図書 [BB29108280]



  • 48.

    Stochastic algorithms : foundations and applications international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 proceedings / Kathleen Steinhöfel (ed).

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

     図書 [BA54848317]



  • 49.

    The metrical theory of Jacobi-Perron algorithm.

    Berlin, : Springer-Verlag , 1973.. - New York,. - (Lecture notes in mathematics, 334). - (Lecture notes in mathematics (Springer-Verlag))

     図書



  • 50.

    Computational topology : an introduction / Herbert Edelsbrunner, John L. Harer

    Providence, R.I. : American Mathematical Society , c2010

     図書 [BB00854313]



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学