ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

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

該当件数:182件

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

    Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 proceedings / I.V. Ramakrishnan (ed.).

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

     図書 [BA51105360]



  • 2.

    Compiling natural semantics / Mikael Pettersson.

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

     図書 [BA41373556]



  • 3.

    Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 1996, selected papers / Mads Dam (ed.).

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

     図書 [BA29527402]



  • 4.

    Semantics of programming languages : structures and techniques / Carl A. Gunter.

    Cambridge, Mass. : MIT Press , c1992.. - (Foundations of computing.)

     図書 [BA18859524]



  • 5.

    The formal semantics of programming languages : an introduction / Glynn Winskel.

    Cambridge, Mass. : MIT Press , c1993.. - (Foundations of computing.)

     図書 [BA19992858]



  • 6.

    Semantics with applications : a formal introduction / Hanne Riis Nielson and Flemming Nielson.

    Chichester : J. Wiley , c1992.. - New York. - (Wiley professional computing.)

     図書 [BA18937912]



  • 7.

    Attribute grammars : definitions, systems, and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho.

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

     図書



  • 8.

    Programming language theory and its implementation : applicative and imperative paradigms / Michael J.C. Gordon.

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

     図書



  • 9.

    Methods of algorithmic language implementation / edited by A. Ershov and C. H. A. Koster.

    Berlin : Springer-Verlag, , 1977.. - (Lecture notes in computer science. ; 47)

     図書



  • 10.

    Programming languages and their definition / H. Bekic selected papers edited by C.B. Jones.

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

     図書



  • 11.

    Semantics of programming languages / R.D. Tennent.

    Hemel Hempstead, Hertfordshire : Prentice Hall International , 1991.. - (Prentice-Hall international series in computer science.)

     図書



  • 12.

    Students' guide to programming languages / Malcolm Bull.

    Oxford [England] : Newnes , 1992.. - Boston. - (The Newnes information series)

     図書



  • 13.

    Principles of programming languages / R.D. Tennent.

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

     図書 [BA05044095]



  • 14.

    Denotational semantics : the Scott-Strachey approach to programming language theory / Joseph E. Stoy.

    1st MIT pbk. ed.. - Cambridge, Mass. : MIT Press , 1981, c1977.

     図書 [BA0147457X]



  • 15.

    Concepts of programming languages / Robert W. Sebesta.

    6th ed.. - Boston : Addison-Wesley , c2004.

     図書 [BA67871741]



  • 16.

    Applied semantics : International summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 advanced lectures / Gilles Barthe ... [et al.] (eds.).

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

     図書 [BA58613199]



  • 17.

    Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 proceedings / Veronica Dahl, Philip Wadler (eds.).

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

     図書 [BA60719636]



  • 18.

    Programming languages and systems : first Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003 proceedings / Atsushi Ohori (ed.).

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

     図書 [BA64779731]



  • 19.

    Programming languages : concepts and constructs / Ravi Sethi.

    2nd ed.. - Reading, Mass. : Addison-Wesley , c1996.

     図書 [BA27639223]



  • 20.

    Denotational semantics : a methodology for language development / David A. Schmidt.

    Dubuque, Iowa : Wm. C. Brown Publishers , c1988.

     図書 [BA01294294]



  • 21.

    Concepts of programming languages / Robert W. Sebesta

    8th ed. - Boston ; Tokyo : Pearson/Addison Wesley , c2008

     図書 [BA82468314]



  • 22.

    Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).

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

     図書 [BA55287033]



  • 23.

    Formal language description languages for computer programming : proceedings. / Edited by T.B. Steel, Jr.

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

     図書



  • 24.

    Types and programming languages / Benjamin C. Pierce

    : hc. - Cambridge, Mass. : MIT Press , c2002

     図書 [BA55431934]



  • 25.

    Introduction to the theory of programming languages / Bertrand Meyer.

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

     図書



  • 26.

    Programming language syntax and semantics / David A. Watt with a contribution by Muffy Thomas.

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

     図書



  • 27.

    Nominal sets : names and symmetry in computer science / Andrew M. Pitts

    : hardback. - Cambridge : Cambridge University Press , 2013. - (Cambridge tracts in theoretical computer science ; 57)

     図書 [BB12776862]



  • 28.

    Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 proceedings / H. Alblas, B. Melichar, eds.

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

     図書



  • 29.

    Concepts in user interfaces : a reference model for command and response languages / by members of IFIP Working Group 2.7: David Beech ... [et al.] edited by David Beech.

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

     図書



  • 30.

    Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 / edited by Neil D. Jones.

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

     図書



  • 31.

    A study in string processing languages / Paul Klint.

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

     図書



  • 32.

    Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 proceedings / Jürg Gutknecht, Wolfgang Weck (eds.).

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

     図書 [BA48218595]



  • 33.

    Syntax-directed semantics : formal models based on tree transducers / Zoltán Fülöp, Heiko Vogler.

    Berlin : Springer , c1998. - New York. - (Monographs in theoretical computer science)

     図書 [BA38082114]



  • 34.

    Practical aspects of declarative languages : first international workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 proceedings / Gopal Gupta (ed.).

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

     図書 [BA39838260]



  • 35.

    Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien.

    Cambridge, U.K. : Cambridge University Press , 1998.. - New York. - (Cambridge tracts in theoretical computer science ; 46)

     図書 [BA36821829]



  • 36.

    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]



  • 37.

    Formal syntax and semantics of Java / Jim Alves-Foss (ed.).

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

     図書 [BA41879872]



  • 38.

    Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 proceedings / Enrico Pontelli, Vítor Santos Costa (eds.).

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

     図書 [BA44889817]



  • 39.

    Basic simple type theory / J. Roger Hindley.

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

     図書 [BA31543853]



  • 40.

    Database programming languages : 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 proceedings / Sophie Cluet, Rick Hull (eds.).

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

     図書 [BA37165271]



  • 41.

    Programming languages : implementations, logics, and programs 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, eds.

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

     図書 [BA26022013]



  • 42.

    Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 proceedings / Hanspeter Mössenböck, (ed.).

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

     図書 [BA2973389X]



  • 43.

    Programming language concepts and paradigms / David A. Watt with contributions by William Findlay, John Hughes.

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

     図書



  • 44.

    Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo.

    Cambridge, Mass. : MIT Press , c1991.. - (Foundations of computing.)

     図書 [BA13010634]



  • 45.

    Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 proceedings / S. Brookes ... [et al.], eds.

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

     図書 [BA2270035X]



  • 46.

    Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 proceedings / Manuel Hermenegildo, Jaan Penjam, eds.

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

     図書 [BA23288309]



  • 47.

    Theoretical aspects of object-oriented programming : types, semantics, and language design / edited by Carl A. Gunter and John C. Mitchell.

    Cambridge, Mass. : MIT Press , c1994.. - (Foundations of computing.)

     図書 [BA23007261]



  • 48.

    Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 proceedings / Maurice Bruynooghe, Jaan Penjam, eds.

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

     図書



  • 49.

    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)

     図書



  • 50.

    Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 proceedings / S. Brookes ... [et al.], (eds.).

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

     図書



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学