ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

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

該当件数:34件

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

    Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], eds.

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

     図書



  • 2.

    System design with Ada / R.J.A. Buhr

    Englewood Cliffs, N.J. ; Tokyo : Prentice-Hall , c1984. - (Prentice-Hall software series)

     図書 [BA00013389]



  • 3.

    Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 proceedings / Susanne Graf, Michael Schartzbach (eds.).

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

     図書 [BA46078735]



  • 4.

    Information systems development and data modeling : conceptual and philosophical foundations / Rudy Hirschheim, Heinz K. Klein, Kalle Lyytinen.

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

     図書 [BA26220345]



  • 5.

    Applications of formal methods / edited by Michael G. Hinchey and Jonathan P. Bowen.

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

     図書



  • 6.

    Nets, terms, and formulas : three views of concurrent processes and their relationship / E.-R. Olderog.

    Cambridge : Cambridge University Press , 1991.. - New York. - (Cambridge tracts in theoretical computer science. ; 23)

     図書 [BA13103586]



  • 7.

    Design theory and computer science : processes and methodology of computer systems design / Subrata Dasgupta.

    Cambridge : Cambridge University Press , 1991.. - New York. - (Cambridge tracts in theoretical computer science. ; 15)

     図書 [BA12218640]



  • 8.

    Computer systems and software engineering : state-of-the-art / edited by Patrick Dewilde and Joos Vandewalle.

    Dordrecht : Kluwer Academic Publishers , c1992.. - Boston

     図書



  • 9.

    Object-oriented systems design : an integrated approach / Edward Yourdon.

    Englewood Cliffs, N.J. : Yourdon Press , c1994.. - (Yourdon Press computing series.)

     図書 [BA22741528]



  • 10.

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

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

     図書



  • 11.

    Microcomputer system design : an advanced course, Trinity College, Dublin, June 1981 / edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy.

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

     図書



  • 12.

    Structured analysis and design of information systems / K. Wigander ... [et al.] adapted by B. Werbell and R. Gibson.

    New York : McGraw-Hill , c1984.. - Tokyo

     図書



  • 13.

    Systems analysis and design / H.L. Capron.

    Reading, Mass. : Benjamin/Cummings Pub. Co. , c1986.. - Tokyo

     図書 [BA0088817X]



  • 14.

    Understanding computers and cognition : a new foundation for design / Terry Winograd, Fernando Flores.

    Norwood, N.J. : Ablex Pub. Corp. , c1986.

     図書



  • 15.

    The practical guide to structured systems design / Meilir Page-Jones.

    2nd ed.. - Englewood Cliffs, N.J. : Prentice Hall , c1988.. - (Yourdon Press computing series.)

     図書



  • 16.

    Object-oriented modeling and design / James Rumbaugh ... [et al.].

    Englewood Cliffs, N.J. : Prentice Hall , c1991.

     図書



  • 17.

    Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 proceedings / Hubert Garavel, John Hatcliff (eds.).

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

     図書 [BA61606238]



  • 18.

    Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.).

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

     図書 [BA56331866]



  • 19.

    Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 proceedings / Tiziana Margaria, Wang Yi (eds.).

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

     図書 [BA51737400]



  • 20.

    An introduction to discrete mathematics and formal system specification / D.C. Ince.

    Oxford [England] : Clarendon Press , 1988.. - New York : Oxford University Press. - (Oxford applied mathematics and computing science series.)

     図書



  • 21.

    Information engineering / James Martin.

    Englewood Cliffs, N.J.: : Prentice Hall , 1989-c1990.

     図書



  • 22.

    Temporal logic in specification : Altrincham, UK, April 8-10, 1987 proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).

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

     図書



  • 23.

    Correct system design : recent insights and advances / Ernst Rüdiger Olderog, Bernhard Steffen (eds.).

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

     図書 [BA43522588]



  • 24.

    Structured systems analysis and design method : application and context / Ed Downs, Peter Clare, Ian Coe.

    New York : Prentice-Hall , 1988.

     図書 [BA0429290X]



  • 25.

    Standards, guidelines, and examples on system and software requirements engineering / edited by Martin Dorfman and Richard H. Thayer foreword by Fletcher J. Buckley.

    Los Alamitos, Calif. : IEEE Computer Society Press , 1990.. - Tokyo

     図書



  • 26.

    CAD of concurrent computers / Patrick W. Foulk.

    Letchworth, Hertfordshire, England : Research Studies Press , c1985.. - New York : Wiley. - (Electronic & electrical engineering research studies. Computer engineering series ; ; 4). - (Electronic & electrical engineering research studies.)

     図書



  • 27.

    Designing for human-computer communication / edited by M.E. Sime and M.J. Coombs.

    London : Academic Press , c1983.. - Tokyo. - (Computers and people series.)

     図書



  • 28.

    A professional's guide to systems analysis / Martin E. Modell.

    2nd ed.. - New York : McGraw-Hill , c1996.

     図書 [BA42474821]



  • 29.

    Object-oriented development : the fusion method / Derek Coleman ... [et al.].

    Englewood Cliffs, N.J. : Prentice Hall , c1994.. - (Prentice Hall object-oriented series.)

     図書 [BA21808485]



  • 30.

    Foundations of computing : system development with set theory and logic / Thierry Scheurer.

    Wokingham, England : Addison-Wesley , c1994.. - Reading, Mass.. - (International computer science series.)

     図書 [BA24125762]



  • 31.

    Artificial intelligence and human learning : intelligent computer-aided instruction / edited by John Self.

    London : Chapman and Hall , 1988.. - New York

     図書



  • 32.

    Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 proceedings / Judith Bishop (ed.).

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

     図書 [BA57603961]



  • 33.

    Proof in VDM : a practitioner's guide / by Juan C. Bicarregui ... [et al.].

    London : Springer-Verlag , c1994.. - New York. - (Formal approaches to computing and information technology.)

     図書 [BA21870999]



  • 34.

    The Formal description technique LOTOS : results of the ESPRIT/SEDOS Project / edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz.

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

     図書 [BA06991466]



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学