ようこそ  ゲスト さん

E-Cats大学OPAC

ヘルプ
入力補助
English
TOP
図書館サービス
    • 図書新着案内
    • リザーブブック
    • データベースを探す
利用者サービス
    • My OPAC ログイン
  • 図書館
  • データベースを探す
  • e-Resources Access Page
  • 学術情報リポジトリ Sophia-R
  • 上智大学
  • Sophia Search
  • CiNii Books
  • CiNii Research
  • 国立国会図書館サーチ
  • その他の検索
    • Sophia Search
    • CiNii Books
    • CiNii Research
    • 国立国会図書館サーチ

蔵書検索

上智大学図書館の蔵書を検索します。

Sophia Search

本学蔵書と電子資料をまとめて検索します。

CiNii Books

日本の大学図書館の蔵書を検索します。

CiNii Research

日本の論文を検索します。

国立国会図書館サーチ

日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。

検索条件を開く
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

キャンパス

検索オプション

全ての項目:
タイトル:
著者名:
出版者:
ISBN:
並び順:
一覧表示件数:
資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
全ての項目:
論文名:
著者名:
刊行物名:
並び順:
一覧表示件数:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
出版者:
件名:
ISBN:
ISSN:
出版年: –
並び順:
一覧表示件数:
分類検索の対象となる資料は、中央図書館、法科大学院図書室、目白聖母キャンパス図書室所蔵の図書です。
和書は日本十進分類、洋書はLC分類で分類されています。

(USW-103)
  • 日本十進分類
  • LC分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。
自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。

検索キーワード:(標準分類: QA76.5)

該当件数:78件

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

    Digitale Simulation / hrsg. von K. Bauknecht und W. Nef

    New York : Springer-Verlag , 1971. - (Lecture notes in operations research and mathematical systems ; 51)

     図書 <1000657898>

  • 2.

    Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.)

    Berlin : Springer , c2001. - (Lecture notes in computer science ; 2067)

     図書 <1001341818>

  • 3.

    Computers and games : Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000 : revised papers / Tony Marsland, Ian Frank (eds.)

    Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2063)

     図書 <1001356371>

  • 4.

    Handheld and ubiquitous computing : Second International Symposium, HUC 2000 Bristol, UK, September 25-27, 2000 : proceedings / Peter Thomas, Hans-W. Gellersen (eds.)

    Berlin : Springer , c2000. - (Lecture notes in computer science ; 1927)

     図書 <1001195209>

  • 5.

    Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper

    : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 362)

     図書 <1000347187>

  • 6.

    Proceedings, the 2nd Symposium on the Frontiers of Massively Parallel Computations : proceedings of the second symposium sponsored by the Computer Society of the IEEE, NASA/Goddard Space Fight [sic] Center, IEEE National Capital Area Council, and George Mason University, and held at George Mason University, Fairfax, Virginia, October 10-12, 1988 / Ronnie Mills, editor

    Washington : IEEE Computer Society Press. - Piscataway, NJ : IEEE Service Center [distributor] , 1988

     図書 <1000646213>

  • 7.

    System modeling and analysis : foundations of system performance evaluation / Hisashi Kobayashi, Brian L. Mark

    Pearson international ed. - Upper Saddle River, N.J. : Pearson Prentice Hall/Pearson Education International , c2009

     図書 <1002001909>

  • 8.

    Ubicomp 2001 : ubiquitous computing : International Conference, Atlanta, Georgia, USA, September 30 - October 2, 2001 : proceedings / Gregory D. Abowd, Barry Brumitt, Steven Shafer (eds.)

    Berlin : Springer , c2001. - (Lecture notes in computer science ; 2201)

     図書 <1001337027>

  • 9.

    The architecture of computer hardware and systems software : an information technology approach / Irv Englander

    2nd ed. - New York : John Wiley & Sons , c2000

     図書 <1001142655>

  • 10.

    Proceedings / Supercomputing ; sponsored by IEEE Computer Society and ACM SIGARCH

    1988- - 1993. - Washington, D.C : IEEE Computer Society Press , 1988-

     図書 <1000672814>

  • 11.

    Introduction to computer theory / Daniel I.A. Cohen

    New York : Wiley , c1986

     図書 <1000619367>

  • 12.

    Microcomputers and their applications for developing countries : report of an ad hoc panel on the use of microcomputers for developing countries

    Boulder : Westview Press , c1986. - (Westview special studies in science, technology, and public policy.)

     図書 <1000621767>

  • 13.

    Designing efficient algorithms for parallel computers / Michael J. Quinn

    New York : McGraw-Hill , c1987. - (McGraw-Hill series in supercomputing and artificial intelligence.)

     図書 <1000586396>

  • 14.

    Supercomputers : technology and applications : Fourteenth Euromicro Symposium on Microprocessing and Microprogramming (Euromicro '88), Zurich, August 29-September 1, 1988 / edited by Stephen Winter, Harald Schumny

    Amsterdam ; New York ; New York, N.Y., U.S.A. : North-Holland : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1988

     図書 <1000586561>

  • 15.

    A survey of verification techniques for parallel programs / Howard Barringer

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

     図書 <1000586725>

  • 16.

    Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg

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

     図書 <1000587379>

  • 17.

    LUCAS associative array processor : design, programming, and application studies / Christer Fernstrom, Ivan Kruzela, Bertil Svensson

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

     図書 <1000587398>

  • 18.

    PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings / edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven

    v. 1,v. 2. - Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 258-259)

     図書 <1000587409>

  • 19.

    Future parallel computers : an advanced course, Pisa, Italy, June 9-10, 1986 : proceedings / P. Treleaven, M. Vanneschi (eds.)

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

     図書 <1000587426>

  • 20.

    Supercomputing : 1st international conference, Athens, Greece, June 8-12, 1987 : proceedings / E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos, eds

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

     図書 <1000587437>

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

絞込項目

CLOSE

図書館サービス

  • 図書新着案内
  • リザーブブック
  • データベースを探す

利用者サービス

  • My OPAC ログイン

関連

  • 上智大学図書館
  • e-Resources Access Page
  • 学術情報リポジトリ Sophia-R
  • 上智大学
  • 上智大学情報システム室