Jump to main content

yr 〜
yr

Search results 361

An introduction to computational origami (Texts and monographs in symbolic computation)

An introduction to computational origami (Texts and monographs in symbolic computation)
Paper図書
Tetsuo Ida.Springer[2020]<MA91-D1>
National Diet Library
  • Summary, etc....r software and symbolic computation tools. The binary code for th...
  • Title HeadingTexts and monographs in symbolic computation.

Numerical and Symbolic Computation

Numerical and Symbolic Computation
Digital電子書籍・電子雑誌図書
2020
Available onlineNational Diet Library

Numerical and Symbolic Computation

Numerical and Symbolic Computation
Digital電子書籍・電子雑誌図書
2020
Available onlineNational Diet Library

Symbolic computation and machine learning on logical formulas

Symbolic computation and machine learning on logical formulas
Digital博士論文障害者向け資料あり
Kobayashi, Munehiro, 小林, 宗広2017
National Diet Library

Journal of symbolic computation

Journal of symbolic computation
Paper雑誌雑誌タイトル
Academic Press<Z54-F749>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Numerical and Symbolic Computational Approach to Design of LSI Circuits

Numerical and Symbolic Computational Approach to Design of LSI Circuits
Digital博士論文障害者向け資料あり
中林,太美世中林 太美世2014-03-24
National Diet Library

Artificial intelligence and symbolic computation : 12th international conference, AISC 2014 : Seville, Spain, December 11-13, 2014 : proceedings : Dec 2014, Seville, Spain. (Lecture Notes in Computer Science ; 8884. Lecture Notes in Artificial Intelligence)

Artificial intelligence and symbolic computation : 12th international conference, AISC 2014 : Seville, Spain, December 11-13, 2014 : proceedings : Dec 2014, Seville, Spain. (Lecture Notes in Computer Science ; 8884. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-777>
National Diet Library

Pricing exotic options and American options : an asymptotic expansion approach and symbolic computing

Pricing exotic options and American options : an asymptotic expansion approach and symbolic computing
Paper博士論文
Masahiro Nishiba [著][Masahiro Nishiba][2013]<UT51-2013-K553>
National Diet Library

Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany. (Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany. (Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-564>
National Diet Library

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)
Paper図書
Springerc2010.<M17-11-144>
National Diet Library

International workshop on parallel symbolic computation 2010 : (PASCO 2010) : Grenoble, France : 21-23 July 2010. : PASCO 2010 conference : Jul 2010, Grenoble, France.

International workshop on parallel symbolic computation 2010 : (PASCO 2010) : Grenoble, France : 21-23 July 2010. : PASCO 2010 conference : Jul 2010, Grenoble, France.
Paper図書
Association for Computing Machineryc2010.<M17-11-2193>
National Diet Library
  • Author Heading...um on Parallel Symbolic Computation (4th : 2010 : Grenoble, Franc...

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)
Paper図書
Springerc2013.<M17-14-552>
National Diet Library

Intelligent computer mathematics : 9th international conference, AISC 2008 : 15th symposium, Calculemus 2008 : 7th international conference, MKM 2008 : Birmingham, UK, July 28-August 1, 2008 : proceedings. : 9th international conference on artificial intelligence and symbolic computation : 15th symposium on the integration of symbolic computation and mechanized reasoning : 7th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2008 : Jul 2008, Birmingham, UK. (Lecture Notes in Computer Science ; 5144. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 9th international conference, AISC 2008 : 15th symposium, Calculemus 2008 : 7th international conference, MKM 2008 : Birmingham, UK, July 28-August 1, 2008 : proceedings. : 9th international conference on artificial intelligence and symbolic computation : 15th symposium on the integration of symbolic computation and mechanized reasoning : 7th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2008 : Jul 2008, Birmingham, UK. (Lecture Notes in Computer Science ; 5144. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-08-1886>
National Diet Library
  • Author Heading...telligence and Symbolic Computation, AISC (9th : 2......Integration of Symbolic Computation and Mechanized Reasoning, Cal...

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)
Paper図書
Springerc2006.<M17-06-3037>
National Diet Library

International workshop on parallel symbolic computation : PASCO'07 : July 27-28, 2007 : London, Ontario, Canada. : PASCO 2007 : Jul 2007, London, Canada.

International workshop on parallel symbolic computation : PASCO'07 : July 27-28, 2007 : London, Ontario, Canada. : PASCO 2007 : Jul 2007, London, Canada.
Paper図書
Association for Computing Machineryc2007.<M17-08-1517>
National Diet Library

Symbolic computation for control -- : Symbolic computation for control : Colloquium : Jun 1999, Birmingham, UK. (Colloquium Digest - IEE ; 1999-88)

Symbolic computation for control -- : Symbolic computation for control : Colloquium : Jun 1999, Birmingham, UK. (Colloquium Digest - IEE ; 1999-88)
Paper図書
IEE1999.<M17-00-1336>
National Diet Library
  • Note (General)...e. Index term: symbolic computation ; control systems theory ; IE...
  • Alternative Titlesymbolic computation ; control systems theory ; IE...
  • Alternative Titlesymbolic computation ; control systems theory ; IE...

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-425>
National Diet Library

Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France. (Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)

Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France. (Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2002.<M17-03-73>
National Diet Library
  • Alternative Title...telligence and symbolic computation 10th symposium......integration of symbolic computation and mechanized reasoning
  • Alternative Title...telligence and symbolic computation 10th symposium......integration of symbolic computation and mechanized reasoning

21st international symposium on symbolic and algebraic computation : ISSAC 2008 : July 20-23, 2008 : Hagenberg, Austria. : 21st annual meeting of the international symposium on symbolic computation : RISC summer 2008 : ISSAC 2008 conference : Jul 2008, Hagenberg, Austria.

21st international symposium on symbolic and algebraic computation : ISSAC 2008 : July 20-23, 2008 : Hagenberg, Austria. : 21st annual meeting of the international symposium on symbolic computation : RISC summer 2008 : ISSAC 2008 conference : Jul 2008, Hagenberg, Austria.
Paper図書
Association for Computing Machineryc2008.<M17-09-563>
National Diet Library

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004 : Linz, Austria, September 22-24, 2004 : proceedings. : Sep 2004, Linz, Austria. (Lecture Notes in Computer Science ; 3249. Lecture Notes in Artificial Intelligence)

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004 : Linz, Austria, September 22-24, 2004 : proceedings. : Sep 2004, Linz, Austria. (Lecture Notes in Computer Science ; 3249. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2004.<M17-05-140>
National Diet Library
RSS