図書館HP
|
ログイン
目録検索 ▼
検索トップへ
雑誌タイトルリスト
新着案内
貸出ランキング
タグ検索
マイライブラリ ▼
利用状況の確認
ブックマーク
お気に入り検索
タグ履歴
複写依頼
貸借依頼
新規購入依頼
≡
書誌詳細
東京都立大学図書館
型システム入門 : プログラミング言語と型の理論
Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳 ; : electronic bk. -- オーム社, 2013. w. <EB00022660>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
書誌URL:
型システム入門 : プログラミング言語と型の理論
Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳 ; : electronic bk. -- オーム社, 2013. w. <EB00022660>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
書誌URL:
他の巻号選択
巻号を選択すると、画面が選択した巻号の情報に切り替わります。
: electronic bk
このウインドウを閉じる
書誌詳細
IDENT
https://kinoden.kinokuniya.co.jp/tmu/bookdetail/p/KP00005777
標題および責任表示
型システム入門 : プログラミング言語と型の理論 / Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳
カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
特定資料種別コード
リモートファイル
出版・頒布事項
東京 : オーム社 , 2013
形態事項
1オンラインリソース
その他の標題
異なりアクセスタイトル:TAPL
その他の標題
異なりアクセスタイトル:Types and programming languages
注記
電子資料の出版事項: KinoDen, 2018
注記
その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
注記
監訳: 住井英二郎
注記
参考文献: p[451]-484
学情ID
KP00005777
本文言語コード
日本語
著者標目リンク
Pierce, Benjamin C. <>
著者標目リンク
遠藤, 侑介
エンドウ, ユウスケ <>
分類標目
情報科学 NDC9:007.64
巻号情報
巻次等
: electronic bk
取消/無効ISBN
9784274069116
巻号情報
取消/無効ISBN
9784274800825
このページのTOPへ
このページのTOPへ
関連情報<<
関連情報
関連資料
分類からさがす
情報科学 NDC9:007.64
他の検索サイトで探す
Google Books
NDLSearch
他大学資料確認
他大学(NII):同一書誌検索
資料を取り寄せる
ILL複写依頼(コピー取り寄せ)
この書誌のQRコード