Mathematics - Congresses. - Data processing

Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematics in the 21st Century[electronic resource] :6th World Conference, Lahore, March 2013 / …で: (言語・文字資料 (印刷物))

Computational technologies.[electronic resource] /A first course …で: (言語・文字資料 (印刷物))

Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / …で: (コンピュータ・メディア)

Mathematical knowledge management[electronic resource] :third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings / …で: (コンピュータ・メディア)

Theory of Computation.

Mathematics

Software Engineering/Programming and Operating Systems.

Computer software

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Mathematics

Algebra.

Mathematics.

Analysis.

Number Theory.

Algebraic Topology.

Discrete Mathematics.

Mathematics

Computer algorithms

Software Engineering/Programming and Operating Systems.

Mathematics

Computer software

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Mathematics

Automatic theorem proving

Information storage and retrieval systems