検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 2 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りModeling and verification of parallel processes : 4th summer school, MOVEP 2000 : Nantes, France, June 19-23, 2000 : revised tutorial lectures. : Jun 2000, Nantes, France. (Lecture Notes in Computer Science ; 2067. Tutorial)Modeling and verification of parallel processes : 4th summer school, MOVEP 2000 : Nantes, France, June 19-23, 2000 : revised tutorial lectures. : Jun 2000, Nantes, France. (Lecture Notes in Computer Science ; 2067. Tutorial)紙図書Springerc2001.<M17-03-2260>国立国会図書館ISBN3540427872Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lecturesModeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures紙図書Franck Cassez ... [et al.] (eds.)Springerc2001全国の図書館ISBN3540427872検索結果は以上です。書誌情報を一括出力