中央大学図書館
図書館TOP  CHOISポータル  ログイン
  • 目録検索 検索メニュー ▼
  • 利用者サービス マイページ ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • ILL複写依頼
    • ILL貸借依頼
  • よくある質問

中央大学図書館

検索結果一覧へ戻る

Handbook of process algebra

edited by J.A. Bergstra, A. Ponse, S.A. Smolka. -- 1st ed. -- Elsevier, 2001. <BB00952563>
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

Handbook of process algebra

edited by J.A. Bergstra, A. Ponse, S.A. Smolka. -- 1st ed. -- Elsevier, 2001. <BB00952563>
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 CL 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 総合政策学部 総合政策
517.1/H23 00022127245 0件
No. 0001
巻号
CL
所蔵館 総合政策学部
配置場所 総合政策
請求記号 517.1/H23
資料ID 00022127245
状態
返却予定日
予約 0件
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 Handbook of process algebra / edited by J.A. Bergstra, A. Ponse, S.A. Smolka
版事項 1st ed
出版・頒布事項 Amsterdam ; Tokyo : Elsevier , 2001
形態事項 xiv, 1342 p. : ill. ; 25 cm
巻号情報
ISBN 0444828303
注記 Bibliographical references and indexes
学情ID BA5338056X
本文言語コード 英語
著者標目リンク Bergstra, J. A. <AU00103976>
著者標目リンク Ponse, A. (Alban), 1955- <AU00375056>
著者標目リンク Smolka, S. A. <AU00375057>
分類標目 LCC:QA267
分類標目 General principles of mathematics DC21:511.3
分類標目 Calculus DC15:517.1
件名標目等 Machine theory
件名標目等 Parallel processing (Electronic computers)
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他大学資料確認

    他の検索サイトで探す

    他機関から取り寄せる

    • ILL複写依頼(コピー取り寄せ)
    • ILL貸借依頼(現物借用)