Jump to main content

yr 〜
yr

Search results 137

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)
Paper図書
Springerc2014.<M17-14-2124>
National Diet Library
  • Subject HeadingDifferential equations--Congresses. Algebra--Data processing--Congresses.

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)
Paper図書
Springer[2015]<M17-16-508>
National Diet Library

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.
Paper図書
Association for Computing Machineryc2013.<M17-14-2152>
National Diet Library
  • Subject HeadingMathematics--Data processing--Congresses. Algebra--Data processing--Congresses.

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.
Paper図書
The Association for Computing Machinery[2016]<M17-17-2227>
National Diet Library
  • Subject Heading...g--Congresses. Algebra--Data processing--Congresses. Algebra--Data processing. Mat...

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)
Paper図書
Springerc2011.<M17-12-2884>
National Diet Library
  • Subject HeadingBozapalidēs, Symeōn. Algebra--Data processing--Congresses. Computer science--Congresses.

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.
Paper図書
The Association for Computing Machinery[2015]<M17-16-847>
National Diet Library
  • Subject HeadingAlgebra--Data processing--Congresses. Mathematics--Data processing-...

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)
Paper図書
Springerc2013.<M17-14-737>
National Diet Library
  • Subject Heading...s--Congresses. Algebra--Data processing--Congresses. CAI Algebraic informatics

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)
Paper図書
Springerc2009.<M17-10-1912>
National Diet Library

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)
Paper図書
Springerc2011.<M17-12-31>
National Diet Library
  • Subject HeadingAlgebra--Data processing--Congresses. Computer science--Congresses....

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

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)
Paper図書
Springerc2008.<M17-08-580>
National Diet Library

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.
Paper図書
Association for Computing Machineryc2009.<M17-10-991>
National Diet Library

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)
Paper図書
IOS Pressc2005.<M17-06-862>
National Diet Library

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)
Paper図書
Springer[2015]<M17-16-598>
National Diet Library
  • Subject Heading...s--Congresses. Algebra--Data processing--Congresses. Algebra--Data processing. Pro...

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
  • Subject Heading...g--Congresses. Algebra--Data processing--Congresses.

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)
Paper図書
Springerc2007.<M17-08-156>
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

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)
Paper図書
Springerc2007.<M17-08-720>
National Diet Library

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

Intelligent computer mathematics : 16th symposium, Calculemus 2009 : 8th international conference, MKM 2009 : held as part of CICM 2009 : Grand Bend, Canada, July 6-12, 2009 : proceedings. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 16th symposium, Calculemus 2009 : 8th international conference, MKM 2009 : held as part of CICM 2009 : Grand Bend, Canada, July 6-12, 2009 : proceedings. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-751>
National Diet Library
RSS