国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(3)
2000年代
(17)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(20)
雑誌
(1)
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(21)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 21 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Automated deduction in geometry : 5th international workshop, ADG 2004 : Gainesville, FL, USA, September 16-18, 2004 : revised papers. : ADG 2004 meeting : Sep 2004, Gainesville, FL. (Lecture Notes in Computer Science ; 3763. Lecture Notes in Artificial Intelligence)
Automated deduction in geometry : 5th international workshop, ADG 2004 : Gainesville, FL, USA, September 16-18, 2004 : revised papers. : ADG 2004 meeting : Sep 2004, Gainesville, FL. (Lecture Notes in Computer Science ; 3763. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2006.
<M17-06-1001>
国立国会図書館
Automated deduction in geometry : third international workshop, ADG 2000 : Zurich, Switzerland, September 25-27, 2000 : revised papers. : Sep 2000, Zurich, Switzerland. (Lecture Notes in Computer Science ; 2061. Lecture Notes in Artificial Intelligence)
Automated deduction in geometry : third international workshop, ADG 2000 : Zurich, Switzerland, September 25-27, 2000 : revised papers. : Sep 2000, Zurich, Switzerland. (Lecture Notes in Computer Science ; 2061. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
2001.
<M17-03-2259>
国立国会図書館
Computer mathematics : proceedings of the fourth Asian symposium (ASCM 2000) : Chiang Mai, Thailand, 17-21 December 2000. : Dec 2000, Chiang Mai, Thailand. (Lecture Notes Series on Computing ; 8)
Computer mathematics : proceedings of the fourth Asian symposium (ASCM 2000) : Chiang Mai, Thailand, 17-21 December 2000. : Dec 2000, Chiang Mai, Thailand. (Lecture Notes Series on Computing ; 8)
紙
図書
World Scientific
c2000.
<M17-03-506>
国立国会図書館
Symbolic-numeric computation
Symbolic-numeric computation
紙
図書
Dongming Wang, Lihong Zhi editors
Birkhäuser
c2007
全国の図書館
Symbolic computation and education
Symbolic computation and education
紙
図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
World Scientific
c2007
全国の図書館
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006, proceedings
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006, proceedings
紙
図書
Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)
Springer
c2006
全国の図書館
Elimination practice : software tools and applications
Elimination practice : software tools and applications
紙
図書
Dongming Wang
Imperial College Press
c2004
全国の図書館
Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
紙
図書
Hoon Hong, Dongming Wang (eds.)
Springer
c2006
全国の図書館
Differential equations with symbolic computation : e-book
Differential equations with symbolic computation : e-book
紙
図書
Dongming Wang, Zhiming Zheng, editors
Birkhäuser
c2005
全国の図書館
Geometric computation
Geometric computation
紙
図書
editors Falai Chen and Dongming Wang
World Scientific
c2004
全国の図書館
Elimination methods
Elimination methods
紙
図書
D. Wang
Springer
2001
全国の図書館
Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
紙
図書
Jürgen Richter-Gebert, Dongming Wang (eds.)
Springer
c2001
全国の図書館
Mathematics mechanization and applications
Mathematics mechanization and applications
紙
図書
edited by Xiao-Shan Gao and Dongming Wang
Academic Press
c2000
全国の図書館
Computer mathematics : proceedings of fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000
Computer mathematics : proceedings of fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000
紙
図書
edited by Xiao-Shan Gao, Dongming Wang
World Scientific
2000
全国の図書館
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers
紙
図書
Dongming Wang (ed.)
Springer
c1997
全国の図書館
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings
紙
図書
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Springer
c1999
全国の図書館
中国株式市場の形成と発展〈1978-2020〉 : 「移行経済型市場」と国際的インパクトを中心に
中国株式市場の形成と発展〈1978-2020〉 : 「移行経済型市場」と国際的インパクトを中心に
紙
図書
王東明 著
関西学院大学出版会
2022.5
<DF178-M64>
国立国会図書館
全国の図書館
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 : Beijing, China, September 20-22, 2006 : proceedings. : Sep 2006, Beijing, China. (Lecture Notes in Computer Science ; 4120. Lecture Notes in Artificial Intelligence)
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 : Beijing, China, September 20-22, 2006 : proceedings. : Sep 2006, Beijing, China. (Lecture Notes in Computer Science ; 4120. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2006.
<M17-06-3037>
国立国会図書館
Automated practical reasoning : algebraic approaches : au : us
Automated practical reasoning : algebraic approaches : au : us
紙
図書
Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham
Springer-Verlag
c1995
全国の図書館
摂大人文科学
摂大人文科学
紙
雑誌
摂南大学外国語学部「摂大人文科学」編集委員会 編
摂南大学外国語学部「摂大人文科学」編集委員会
1994-2022
<Z22-B173>
国立国会図書館
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力