ログイン
目録検索 ▼
検索トップへ
分類検索
雑誌タイトルリスト
指定図書
新着案内
貸出ランキング
レビュー一覧
タグ検索
My Library ▼
利用状況一覧
ブックマーク
お気に入り検索
新着アラート
ILL複写依頼
ILL貸借依頼
新規購入依頼
≡
書誌詳細
専修大学図書館
検索結果一覧へ戻る
形式的モデルと意味論
2. -- 丸善, 1994. -- (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2). <BB00462406>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
形式的モデルと意味論
2. -- 丸善, 1994. -- (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2). <BB00462406>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
所蔵一覧
1件~3件(全3件)
10件
20件
50件
100件
No.
所蔵館
配置場所
文庫名
請求記号
巻号
年月次
資料ID
状態
返却予定日
予約
0001
本館
3F第1開架閲覧室
K/007.6/Ko67/2
106987571
配架済
0件
0002
生田分館
書庫2層
/549/Ko67
2
105576292
配架済
0件
0003
本館
4F第2開架閲覧室
K/549/Ko67
2
105633440
配架済
0件
No.
0001
所蔵館
本館
配置場所
3F第1開架閲覧室
文庫名
請求記号
K/007.6/Ko67/2
巻号
年月次
資料ID
106987571
状態
配架済
返却予定日
予約
0件
No.
0002
所蔵館
生田分館
配置場所
書庫2層
文庫名
請求記号
/549/Ko67
巻号
2
年月次
資料ID
105576292
状態
配架済
返却予定日
予約
0件
No.
0003
所蔵館
本館
配置場所
4F第2開架閲覧室
文庫名
請求記号
K/549/Ko67
巻号
2
年月次
資料ID
105633440
状態
配架済
返却予定日
予約
0件
このページのTOPへ
レビュー
このページのTOPへ
書誌詳細
タイトル・著者名
形式的モデルと意味論
ケイシキテキ モデル ト イミロン
出版
東京 : 丸善 , 1994.2
形態事項
26, 1248p ; 23cm
巻号情報
ISBN
4621039229
シリーズ
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳||コンピュータ キソ リロン ハンドブック <BB00462220> 2//b
その他のタイトル
原タイトル:Formal models and semantics
注記
翻訳: 會澤邦夫ほか
注記
各章末: 文献
NCID
BN10400601
本文言語コード
日本語
著者標目リンク
Leeuwen, Jan van <AU00135641> [編]
著者標目リンク
広瀬, 健(1935-)||ヒロセ, ケン <AU00135640> [ほか] 監訳
分類標目
情報科学 NDC8:007.1
分類標目
情報科学 NDC8:007.64
分類標目
NDC7:418.6
分類標目
科学技術 NDLC:M159
分類標目
科学技術 NDLC:MA41
件名標目等
電子計算機 -- データ処理||デンシケイサンキ -- データショリ
件名標目等
電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング
件名標目等
オートマトン||オートマトン
件名標目等
プログラミング(電子計算機)||プログラミング(デンシケイサンキ)
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
シリーズをみる
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
著者からさがす
Leeuwen, Jan van
広瀬, 健(1935-)
分類からさがす
情報科学 NDC8:007.1
情報科学 NDC8:007.64
NDC7:418.6
科学技術 NDLC:M159
科学技術 NDLC:MA41
件名からさがす
電子計算機 -- データ処理
電子計算機 -- プログラミング
オートマトン
プログラミング(電子計算機)
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
資料を取り寄せる
ILL複写依頼(コピー取り寄せ)
この書誌のQRコード