年 〜
年

検索結果 94 件

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 Machineryc2013.<M17-14-2152>
国立国会図書館

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

Mathematical software--ICMS 2014 : 4th international congress : Seoul, South Korea, August 5-9, 2014 : proceedings : ICMS conference : ICMS events : Aug 2014, Seoul, Korea. (Lecture Notes in Computer Science ; 8592)
紙図書
Springer[2014]<M17-15-765>
国立国会図書館

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

Sequences and their applications -- SETA 2012 : 7th international conference : Waterloo, ON, Canada, June 4-8, 2012 : proceedings : Jun 2012, Waterloo, Canada. (Lecture Notes in Computer Science ; 7280)
紙図書
Springerc2012.<M17-12-4083>
国立国会図書館

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>
国立国会図書館

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. : joint meetings of the American Mathematical Society : Jan 2007, New Orleans, LA. (Contemporary Mathematics ; 457)

Tapas in experimental mathematics : AMS special session on experimental mathematics : January 5, 2007 : New Orleans, Louisiana. : joint meetings of the American Mathematical Society : Jan 2007, New Orleans, LA. (Contemporary Mathematics ; 457)
紙図書
American Mathematical Societyc2008.<M17-08-1268>
国立国会図書館
  • 件名Experimental mathematics -- Data processing -- Congresses. Mathematics -- Data processing -- Congresses. Mathematics -- Experiments -...

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

Mathematical software -- ICMS 2010 : third international congress on mathematical software : Kobe, Japan, September 13-17, 2010 : proceedings. : ICMS developer's meeting : ICMS-2010 : Sep 2010, Kobe, Japan. (Lecture Notes in Computer Science ; 6327)
紙図書
Springerc2010.<M17-10-4366>
国立国会図書館
  • 件名Mathematics -- Data processing -- Congresses. Computer software -- Congres...

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>
国立国会図書館

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 Machineryc2009.<M17-10-991>
国立国会図書館
  • 件名Mathematics -- Data processing -- Congresses. Algebra -- Data processing -...

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. : ASCM meetings : Dec 2007, Singapore. (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. : ASCM meetings : Dec 2007, Singapore. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-09-1027>
国立国会図書館
  • 件名Computer 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 : international conference on applied mathematics, modeling and computational science : AMMCS-2011 : AMMCS : Laurier centennial conference : Jul 2011, Waterloo, Canada. (AIP Conference Proceedings ; 1368)

Advances in mathematical and computational methods: addressing modern challenges of science, technology, and society : Waterloo, Canada 25-29 July 2011 : international conference on applied mathematics, modeling and computational science : AMMCS-2011 : AMMCS : Laurier centennial conference : Jul 2011, Waterloo, Canada. (AIP Conference Proceedings ; 1368)
紙図書
American Institute of Physics2011.<M17-12-2767>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-552>
国立国会図書館

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

Mathematical software -- ICMS 2006 : second international congress on mathematical software : Castro Urdiales, Spain, September 1-3, 2006 : proceedings. : Sep 2006, Castro Urdiales, Spain. (Lecture Notes in Computer Science ; 4151)
紙図書
Springerc2006.<M17-07-174>
国立国会図書館
  • 件名Mathematics -- Data processing -- Congresses. Computer software -- Congres...

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

Scientific and engineering computations for the 21st century : methodologies and applications : proceedings of the 15th Toyota conference. : Oct 2001, Shizuoka, Japan. First edition.
紙図書
Elsevierc2002.<M17-03-807>
国立国会図書館
  • 件名...-- Congresses. Mathematics -- Data processing -- Congresses. Engineering mathematics -- Data processing -- Congresses.

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
紙図書
Kevin Buzzard ... [et al.], editorsSpringerc2024
全国の図書館
  • 件名Computer science Mathematics -- Data processing -- Congresses Computer software -- Congress...
  • 件名（識別子）Computer science Mathematics -- Data processing -- Congresses Computer software -- Congress...

Mathematical knowledge management : 5th international conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings. : Aug 2006, Wokingham, UK. (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. : Aug 2006, Wokingham, UK. (Lecture Notes in Computer Science ; 4108. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2006.<M17-06-2603>
国立国会図書館
  • 件名Mathematics -- Data processing -- Congresses. Information storage and retr...

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

ISSAC 2001 : July 22-25, 2001, University of Western Ontario, London, Ontario, Canada : proceedings of the 2001 international symposium on symbolic and algebraic computation. : Jul 2001, London, Canada.
紙図書
ACM Pressc2001.<M17-03-2120>
国立国会図書館
  • 件名Mathematics -- Data processing -- Congresses. Algebra -- Data processing -...

Mathematical software - ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings

Mathematical software - ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings
紙図書
Anna Maria Bigatti ... [et al.] (eds.)Springerc2020
全国の図書館
  • 件名Computer science Mathematics -- Data processing -- Congresses Computer software -- Congress...
  • 件名（識別子）Computer science Mathematics -- Data processing -- Congresses Computer software -- Congress...

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

Mathematical knowledge management : third international conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings. : Sep 2004, Bialowieza, Poland. (Lecture Notes in Computer Science ; 3119)
紙図書
Springerc2004.<M17-05-584>
国立国会図書館
  • 件名Mathematics -- Data processing -- Congresses. Information storage and retr...

Electronic information and communication in mathematics : ICM 2002 international satellite conference : Beijing, China, August 29-31, 2002 : revised papers. : Aug 2002, Beijing, China. (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. : Aug 2002, Beijing, China. (Lecture Notes in Computer Science ; 2730)
紙図書
Springer-Verlagc2003.<M17-04-987>
国立国会図書館
  • 件名...-- Congresses. Mathematics -- Data processing -- Congresses.

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

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. : Feb 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2594)
紙図書
Springerc2003.<M17-03-1114>
国立国会図書館
  • 件名Mathematics -- Data processing -- Congresses. Information storage and retr...