本文に飛ぶ

年 〜
年

検索結果 125 件

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. (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. (Lecture Notes in Computer Science ; 8372)
紙図書
Springerc2014.<M17-14-2124>
国立国会図書館全国の図書館
  • 件名Differential equations--Congresses. Algebra--Data processing--Congresses.

Curves and surfaces : 8th international conference : Paris, France, June 12-18, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 9213)

Curves and surfaces : 8th international conference : Paris, France, June 12-18, 2014 : revised selected papers. (Lecture Notes in Computer Science ; 9213)
紙図書
Springer[2015]<M17-16-508>
国立国会図書館全国の図書館

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.
紙図書
Association for Computing Machineryc2013.<M17-14-2152>
国立国会図書館
  • 件名Mathematics--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.

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.
紙図書
The Association for Computing Machinery[2016]<M17-17-2227>
国立国会図書館
  • 件名...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. (Lecture Notes in Computer Science ; 7020. Festschrift)

Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement. (Lecture Notes in Computer Science ; 7020. Festschrift)
紙図書
Springerc2011.<M17-12-2884>
国立国会図書館
  • 件名Bozapalidē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'15 : proceedings of the 2015 ACM international symposium on symbolic and algebraic computation : July 6-9, 2015 : Bath, United Kingdom.
紙図書
The Association for Computing Machinery[2015]<M17-16-847>
国立国会図書館
  • 件名Algebra--Data processing--Congresses. Mathematics--Data processing-...

Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings. (Lecture Notes in Computer Science ; 8080)

Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings. (Lecture Notes in Computer Science ; 8080)
紙図書
Springerc2013.<M17-14-737>
国立国会図書館
  • 件名...s--Congresses. Algebra--Data processing--Congresses. CAI Algebraic informatics

Algebraic informatics : third international conference, CAI 2009 : Thessaloniki, Greece, May 19-22, 2009 : proceedings. (Lecture Notes in Computer Science ; 5725)

Algebraic informatics : third international conference, CAI 2009 : Thessaloniki, Greece, May 19-22, 2009 : proceedings. (Lecture Notes in Computer Science ; 5725)
紙図書
Springerc2009.<M17-10-1912>
国立国会図書館

Algebraic informatics : 4th international conference, CAI 2011 : Linz, Austria, June 21-24, 2011 : proceedings. (Lecture Notes in Computer Science ; 6742)

Algebraic informatics : 4th international conference, CAI 2011 : Linz, Austria, June 21-24, 2011 : proceedings. (Lecture Notes in Computer Science ; 6742)
紙図書
Springerc2011.<M17-12-31>
国立国会図書館
  • 件名Algebra--Data processing--Congresses. Computer science--Congresses....

Computer algebra in scientific computing : 12th international workshop, CASC 2010 : Tsakhkadzor, Armenia, September 6-12, 2010 : proceedings. (Lecture Notes in Computer Science ; 6244)

Computer algebra in scientific computing : 12th international workshop, CASC 2010 : Tsakhkadzor, Armenia, September 6-12, 2010 : proceedings. (Lecture Notes in Computer Science ; 6244)
紙図書
Springerc2010.<M17-10-4381>
国立国会図書館

Algorithms in algebraic geometry. (IMA Volumes in Mathematics and Its Applications ; 146)

Algorithms in algebraic geometry. (IMA Volumes in Mathematics and Its Applications ; 146)
紙図書
Springerc2008.<M17-08-580>
国立国会図書館全国の図書館

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.
紙図書
Association for Computing Machineryc2009.<M17-10-991>
国立国会図書館全国の図書館

Computational commutative and non-commutative algebraic geometry. (NATO Science Series. Series III, Computer and Systems Sciences ; 196)

Computational commutative and non-commutative algebraic geometry. (NATO Science Series. Series III, Computer and Systems Sciences ; 196)
紙図書
IOS Pressc2005.<M17-06-862>
国立国会図書館全国の図書館

Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings. (Lecture Notes in Computer Science ; 9270)

Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings. (Lecture Notes in Computer Science ; 9270)
紙図書
Springer[2015]<M17-16-598>
国立国会図書館
  • 件名...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. (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)
紙図書
Springerc2013.<M17-14-552>
国立国会図書館
  • 件名...g--Congresses. Algebra--Data processing--Congresses.

Computer algebra in scientific computing : 10th international workshop, CASC 2007 : Bonn, Germany, September 16-20, 2007 : proceedings. (Lecture Notes in Computer Science ; 4770)

Computer algebra in scientific computing : 10th international workshop, CASC 2007 : Bonn, Germany, September 16-20, 2007 : proceedings. (Lecture Notes in Computer Science ; 4770)
紙図書
Springerc2007.<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. (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. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-11-144>
国立国会図書館

Algebraic informatics : second international conference, CAI 2007 : Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers. (Lecture Notes in Computer Science ; 4728)

Algebraic informatics : second international conference, CAI 2007 : Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers. (Lecture Notes in Computer Science ; 4728)
紙図書
Springerc2007.<M17-08-720>
国立国会図書館全国の図書館

Computer algebra in scientific computing : 9th international workshop, CASC 2006 : Chisinau, Moldova, September 11-15, 2006 : proceedings. (Lecture Notes in Computer Science ; 4194)

Computer algebra in scientific computing : 9th international workshop, CASC 2006 : Chisinau, Moldova, September 11-15, 2006 : proceedings. (Lecture Notes in Computer Science ; 4194)
紙図書
Springerc2006.<M17-06-3119>
国立国会図書館全国の図書館

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. (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. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-751>
国立国会図書館
RSS