東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: Algebra Data processing)
該当件数:36件
Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David A. Cox, John Little, Donal O'Shea
: pbk. - 4th ed. - Cham : Springer , c2015. - (Undergraduate texts in mathematics)
図書
Computer algebra in applied mathematics : an introduction to MACSYMA / R.H. Rand
Boston : Pitman Advanced Pub. Program , 1984. - (Research notes in mathematics ; 94)
Applications of computer algebra / edited by Richard Pavelle
Boston : Kluwer Academic Publishers , c1985
Gröbner bases : a computational approach to commutative algebra / Thomas Becker, Volker Weispfenning ; in cooperation with Heinz Kredel
: us,: gw. - New York : Springer-Verlag , c1993. - (Graduate texts in mathematics ; 141)
Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David Cox, John Little, Donal O'Shea
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1992. - (Undergraduate texts in mathematics)
3rd ed. - New York : Springer , c2007. - (Undergraduate texts in mathematics)
2nd ed. - New York ; Tokyo : Springer , c1997. - (Undergraduate texts in mathematics)
First leaves : a tutorial introduction to Maple V / Bruce W. Char ... [et al.]
: us,: gw. - New York : Springer-Verlag , c1992
Algorithmic algebra and number theory : selected papers from a conference held at the University of Heidelberg in October 1997 / B. Heinrich Matzat, Gert-Martin Greuel, Gerhard Hiss (eds.)
Berlin : Springer , c1999
Computer algebra with LISP and REDUCE : an introduction to computer-aided pure mathematics / by F. Brackx and D. Constales
Dordrecht, [Netherlands] ; Boston : Kluwer Academic Publishers , c1991. - (Mathematics and its applications ; v. 72)
Symbolic C[++] : an introduction to computer algebra using object-oriented programming / Tan Kiat Shi, Willi-Hans Steeb and Yorick Hardy
2nd rev. ed. - London : Springer , c2000
Computer Algebra in Scientific Computing : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6885)
電子ブック
Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6690)
Game Start! : Strumenti per comprendere i videogiochi / by Francesco Alinovi
Milano : Springer Milan , 2011. - (I blu, It]pagine di scienza)
Combinatorial Algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 7056)
Combinatorial Algorithms : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6460)
Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
London : Springer-Verlag London Limited , 2011. - (Undergraduate Topics in Computer Science)
Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6877)
Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / edited by Julio Mariño
Berlin, Heidelberg : Springer Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6559)
Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2011. - (Lecture Notes in Computer Science ; 6859)