検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 2 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りLogics for concurrency : structure versus automata : 8th Higher order workshop : Aug 1994, Banff, Canada. (Lecture Notes in Computer Science ; 1043)Logics for concurrency : structure versus automata : 8th Higher order workshop : Aug 1994, Banff, Canada. (Lecture Notes in Computer Science ; 1043)紙図書Springer1996.<M17-00-0316>国立国会図書館ISBN3540609156Logics for concurrency : structure versus automataLogics for concurrency : structure versus automata紙図書Faron Moller, Graham Birtwistle, (eds.)Springer-Verlagc1996全国の図書館ISBN3540609156検索結果は以上です。書誌情報を一括出力