検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 1 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りLinear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 : gw : usLinear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 : gw : us紙図書J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)Springer-Verlagc1989全国の図書館ISBN354051080X 038751080X検索結果は以上です。書誌情報を一括出力