検索絞り込み条件絞り込み条件isbn 項目を閉じる絞り込み条件絞り込み条件検索結果 2 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りInteractive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papersInteractive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers紙図書Philippe Palanque, Fabio Paternò (eds.)Springerc2001全国の図書館Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers : Jun 2000, Limerick, Ireland. (Lecture Notes in Computer Science ; 1946)Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers : Jun 2000, Limerick, Ireland. (Lecture Notes in Computer Science ; 1946)紙図書<M17-01-2880>国立国会図書館検索結果は以上です。書誌情報を一括出力