Jump to main content

yr 〜
yr

Search results 89

ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013.

ISSAC 2013 : proceedings of the 38th international symposium on symbolic and algebraic computation : Boston, USA, June 26-29, 2013.
Paper図書
Association for Computing Machineryc2013.<M17-14-2152>
National Diet Library

Mathematical software--ICMS 2014 : 4th international congress : Seoul, South Korea, August 5-9, 2014 : proceedings. (Lecture Notes in Computer Science ; 8592)

Mathematical software--ICMS 2014 : 4th international congress : Seoul, South Korea, August 5-9, 2014 : proceedings. (Lecture Notes in Computer Science ; 8592)
Paper図書
Springer[2014]<M17-15-765>
National Diet LibraryOther Libraries in Japan

Sequences and their applications -- SETA 2012 : 7th international conference : Waterloo, ON, Canada, June 4-8, 2012 : proceedings. (Lecture Notes in Computer Science ; 7280)

Sequences and their applications -- SETA 2012 : 7th international conference : Waterloo, ON, Canada, June 4-8, 2012 : proceedings. (Lecture Notes in Computer Science ; 7280)
Paper図書
Springerc2012.<M17-12-4083>
National Diet LibraryOther Libraries in Japan

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.

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.
Paper図書
The Association for Computing Machinery[2016]<M17-17-2227>
National Diet Library

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. (Contemporary Mathematics ; 457)

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. (Contemporary Mathematics ; 457)
Paper図書
American Mathematical Societyc2008.<M17-08-1268>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingExperimental mathematics -- Data processing -- Congresses. Mathematics -- Data processing -- Congresses. Mathematics -- Experiments --...

ISSAC'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom.

ISSAC'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom.
Paper図書
The Association for Computing Machinery[2015]<M17-16-847>
National Diet Library

Mathematical software -- ICMS 2010 : third international congress on mathematical software : Kobe, Japan, September 13-17, 2010 : proceedings. (Lecture Notes in Computer Science ; 6327)

Mathematical software -- ICMS 2010 : third international congress on mathematical software : Kobe, Japan, September 13-17, 2010 : proceedings. (Lecture Notes in Computer Science ; 6327)
Paper図書
Springerc2010.<M17-10-4366>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMathematics -- Data processing -- Congresses. Computer software -- Congress...

ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation.

ISSAC 2009 : proceedings of the 2009 international symposium on symbolic and algebraic computation.
Paper図書
Association for Computing Machineryc2009.<M17-10-991>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMathematics -- Data processing -- Congresses. Algebra -- Data processing --...

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-09-1027>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingComputer science -- Mathematics -- Congresses. Mathematics -- Data processing -- Congresses.

Advances in mathematical and computational methods: addressing modern challenges of science, technology, and society : Waterloo, Canada 25-29 July 2011. (AIP Conference Proceedings ; 1368)

Advances in mathematical and computational methods: addressing modern challenges of science, technology, and society : Waterloo, Canada 25-29 July 2011. (AIP Conference Proceedings ; 1368)
Paper図書
American Institute of Physics2011.<M17-12-2767>
National Diet Library

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings. (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. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-552>
National Diet Library

Mathematical software -- ICMS 2006 : second international congress on mathematical software : Castro Urdiales, Spain, September 1-3, 2006 : proceedings. (Lecture Notes in Computer Science ; 4151)

Mathematical software -- ICMS 2006 : second international congress on mathematical software : Castro Urdiales, Spain, September 1-3, 2006 : proceedings. (Lecture Notes in Computer Science ; 4151)
Paper図書
Springerc2006.<M17-07-174>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMathematics -- Data processing -- Congresses. Computer software -- Congress...

Scientific and engineering computations for the 21st century : methodologies and applications : proceedings of the 15th Toyota conference. First edition.

Scientific and engineering computations for the 21st century : methodologies and applications : proceedings of the 15th Toyota conference. First edition.
Paper図書
Elsevierc2002.<M17-03-807>
National Diet Library
  • Subject Heading...-- Congresses. Mathematics -- Data processing -- Congresses. Engineering mathematics -- Data processing -- Congresses.

Mathematical knowledge management : 5th international conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings. (Lecture Notes in Computer Science ; 4108. Lecture Notes in Artificial Intelligence)

Mathematical knowledge management : 5th international conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings. (Lecture Notes in Computer Science ; 4108. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-06-2603>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMathematics -- Data processing -- Congresses. Information storage and retri...

ISSAC 2001 : July 22-25, 2001, University of Western Ontario, London, Ontario, Canada : proceedings of the 2001 international symposium on symbolic and algebraic computation.

ISSAC 2001 : July 22-25, 2001, University of Western Ontario, London, Ontario, Canada : proceedings of the 2001 international symposium on symbolic and algebraic computation.
Paper図書
ACM Pressc2001.<M17-03-2120>
National Diet Library
  • Subject HeadingMathematics -- Data processing -- Congresses. Algebra -- Data processing --...

Mathematical knowledge management : third international conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings. (Lecture Notes in Computer Science ; 3119)

Mathematical knowledge management : third international conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings. (Lecture Notes in Computer Science ; 3119)
Paper図書
Springerc2004.<M17-05-584>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMathematics -- Data processing -- Congresses. Information storage and retri...

Electronic information and communication in mathematics : ICM 2002 international satellite conference : Beijing, China, August 29-31, 2002 : revised papers. (Lecture Notes in Computer Science ; 2730)

Electronic information and communication in mathematics : ICM 2002 international satellite conference : Beijing, China, August 29-31, 2002 : revised papers. (Lecture Notes in Computer Science ; 2730)
Paper図書
Springer-Verlagc2003.<M17-04-987>
National Diet Library
  • Subject Heading...-- Congresses. Mathematics -- Data processing -- Congresses.

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. (Lecture Notes in Computer Science ; 2594)

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. (Lecture Notes in Computer Science ; 2594)
Paper図書
Springerc2003.<M17-03-1114>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMathematics -- Data processing -- Congresses. Information storage and retri...

Mathematical software - ICMS 2024 : 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings

Mathematical software - ICMS 2024 : 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings
Paper図書
Kevin Buzzard ... [et al.], editorsSpringerc2024
Other Libraries in Japan

ISSAC 2002 : proceedings of the 2002 international symposium on symbolic and algebraic computation : July 07-10, 2002, Universite de Lille, Lille, France.

ISSAC 2002 : proceedings of the 2002 international symposium on symbolic and algebraic computation : July 07-10, 2002, Universite de Lille, Lille, France.
Paper図書
ACM Pressc2002.<M17-03-4346>
National Diet Library
  • Subject HeadingMathematics -- Data processing -- Congresses. Algebra -- Data processing --...
RSS