国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1950年代
(1)
1960年代
(2)
1970年代
(11)
1980年代
(55)
1990年代
(82)
2000年代
(69)
2010年代
(38)
2020年代
(5)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(263)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(263)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 263 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Curves and surfaces : 8th international conference : Paris, France, June 12-18, 2014 : revised selected papers : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 9213)
Curves and surfaces : 8th international conference : Paris, France, June 12-18, 2014 : revised selected papers : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 9213)
紙
図書
Springer
[2015]
<M17-16-508>
国立国会図書館
ISSAC 2016 : proceedings of the 2016 ACM international symposium on symbolic and algebraic computation : July 20-22 2016 : tutorials: July 19th : Wilfrid Laurier University : Waterloo : Ontario : Jul 2016, Waterloo, Canada.
ISSAC 2016 : proceedings of the 2016 ACM international symposium on symbolic and algebraic computation : July 20-22 2016 : tutorials: July 19th : Wilfrid Laurier University : Waterloo : Ontario : Jul 2016, Waterloo, Canada.
紙
図書
The Association for Computing Machinery
[2016]
<M17-17-2227>
国立国会図書館
ISSAC'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom : ISSAC 2015 : Jul 2015, Bath, UK.
ISSAC'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom : ISSAC 2015 : Jul 2015, Bath, UK.
紙
図書
The Association for Computing Machinery
[2015]
<M17-16-847>
国立国会図書館
Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings : Sep 2015, Stuttgart, Germany. (Lecture Notes in Computer Science ; 9270)
Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings : Sep 2015, Stuttgart, Germany. (Lecture Notes in Computer Science ; 9270)
紙
図書
Springer
[2015]
<M17-16-598>
国立国会図書館
Algebraic and algorithmic aspects of differential and integral operators : 5th international meeting, AADIOS 2012 : held at the applications of computer algebra conference, ACA 2012 : Sofia Bulgaria, June 25-28, 2012 : selected and invited papers : Jun 2012, Sofia Bulgaria. (Lecture Notes in Computer Science ; 8372)
Algebraic and algorithmic aspects of differential and integral operators : 5th international meeting, AADIOS 2012 : held at the applications of computer algebra conference, ACA 2012 : Sofia Bulgaria, June 25-28, 2012 : selected and invited papers : Jun 2012, Sofia Bulgaria. (Lecture Notes in Computer Science ; 8372)
紙
図書
Springer
c2014.
<M17-14-2124>
国立国会図書館
ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013 : ISSAC meeting : ISSAC 2013 conference : Jun 2013, Boston, MA.
ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013 : ISSAC meeting : ISSAC 2013 conference : Jun 2013, Boston, MA.
紙
図書
Association for Computing Machinery
c2013.
<M17-14-2152>
国立国会図書館
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement : workshop of algebraic foundations in computer science : Nov 2011, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7020. Festschrift)
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement : workshop of algebraic foundations in computer science : Nov 2011, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7020. Festschrift)
紙
図書
Springer
c2011.
<M17-12-2884>
国立国会図書館
Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings : Sep 2013, ------. (Lecture Notes in Computer Science ; 8080)
Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings : Sep 2013, ------. (Lecture Notes in Computer Science ; 8080)
紙
図書
Springer
c2013.
<M17-14-737>
国立国会図書館
Algebraic informatics : third international conference, CAI 2009 : Thessaloniki, Greece, May 19-22, 2009 : proceedings. : May 2009, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 5725)
Algebraic informatics : third international conference, CAI 2009 : Thessaloniki, Greece, May 19-22, 2009 : proceedings. : May 2009, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 5725)
紙
図書
Springer
c2009.
<M17-10-1912>
国立国会図書館
Algebraic informatics : 4th international conference, CAI 2011 : Linz, Austria, June 21-24, 2011 : proceedings : Jun 2011, Linz, Austria. (Lecture Notes in Computer Science ; 6742)
Algebraic informatics : 4th international conference, CAI 2011 : Linz, Austria, June 21-24, 2011 : proceedings : Jun 2011, Linz, Austria. (Lecture Notes in Computer Science ; 6742)
紙
図書
Springer
c2011.
<M17-12-31>
国立国会図書館
Computer algebra in scientific computing : 12th international workshop, CASC 2010 : Tsakhkadzor, Armenia, September 6-12, 2010 : proceedings. : CASC conferences : Sep 2010, Tsakhkadzor, Armenia. (Lecture Notes in Computer Science ; 6244)
Computer algebra in scientific computing : 12th international workshop, CASC 2010 : Tsakhkadzor, Armenia, September 6-12, 2010 : proceedings. : CASC conferences : Sep 2010, Tsakhkadzor, Armenia. (Lecture Notes in Computer Science ; 6244)
紙
図書
Springer
c2010.
<M17-10-4381>
国立国会図書館
Algorithms in algebraic geometry. : workshop on algorithms in algebraic geometry : Sep 2006, ------. (IMA Volumes in Mathematics and Its Applications ; 146)
Algorithms in algebraic geometry. : workshop on algorithms in algebraic geometry : Sep 2006, ------. (IMA Volumes in Mathematics and Its Applications ; 146)
紙
図書
Springer
c2008.
<M17-08-580>
国立国会図書館
ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation. : ISSAC 2009 conference : Jul 2009, Seoul, Korea.
ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation. : ISSAC 2009 conference : Jul 2009, Seoul, Korea.
紙
図書
Association for Computing Machinery
c2009.
<M17-10-991>
国立国会図書館
Computational commutative and non-commutative algebraic geometry. : NATO advanced research workshop on computational commutative and non-commutative algebraic geometry : Jun 2004, Chisinau, Moldova. (NATO Science Series. Series III, Computer and Systems Sciences ; 196)
Computational commutative and non-commutative algebraic geometry. : NATO advanced research workshop on computational commutative and non-commutative algebraic geometry : Jun 2004, Chisinau, Moldova. (NATO Science Series. Series III, Computer and Systems Sciences ; 196)
紙
図書
IOS Press
c2005.
<M17-06-862>
国立国会図書館
Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2013.
<M17-14-552>
国立国会図書館
Computer algebra in scientific computing : 10th international workshop, CASC 2007 : Bonn, Germany, September 16-20, 2007 : proceedings. : Sep 2007, Bonn, Germany. (Lecture Notes in Computer Science ; 4770)
Computer algebra in scientific computing : 10th international workshop, CASC 2007 : Bonn, Germany, September 16-20, 2007 : proceedings. : Sep 2007, Bonn, Germany. (Lecture Notes in Computer Science ; 4770)
紙
図書
Springer
c2007.
<M17-08-156>
国立国会図書館
Intelligent computer mathematics : 10th international conference, AISC 2010 : 17th symposium, Calculemus 2010 and 9th international conference, MKM 2010 : Paris, France, July 5-10, 2010 : proceedings. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)
Intelligent computer mathematics : 10th international conference, AISC 2010 : 17th symposium, Calculemus 2010 and 9th international conference, MKM 2010 : Paris, France, July 5-10, 2010 : proceedings. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)
紙
図書
Springer
c2010.
<M17-11-144>
国立国会図書館
Algebraic informatics : second international conference, CAI 2007 : Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers. : May 2007, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 4728)
Algebraic informatics : second international conference, CAI 2007 : Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers. : May 2007, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 4728)
紙
図書
Springer
c2007.
<M17-08-720>
国立国会図書館
Computer algebra in scientific computing : 9th international workshop, CASC 2006 : Chisinau, Moldova, September 11-15, 2006 : proceedings. : Sep 2006, Chisinau, Moldova. (Lecture Notes in Computer Science ; 4194)
Computer algebra in scientific computing : 9th international workshop, CASC 2006 : Chisinau, Moldova, September 11-15, 2006 : proceedings. : Sep 2006, Chisinau, Moldova. (Lecture Notes in Computer Science ; 4194)
紙
図書
Springer
c2006.
<M17-06-3119>
国立国会図書館
Computational algebra : course and exercises with solutions
Computational algebra : course and exercises with solutions
紙
図書
Ihsen Yengui
World Scientific
c2021
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力