Electronic catalog

    Computer Algebra in Scientific Computing [Электронный ресурс] / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. - Электроные текстовые данные. - 1007/978-3-319-24021-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-24021-3. - (Lecture Notes in Computer Science). - ISBN 9783319240213

Кл.слова (ненормированные):
Computer science -- Algorithm Analysis and Problem Complexity -- Discrete Mathematics in Computer Science -- Symbolic and Algebraic Manipulation -- Arithmetic and Logic Structures -- книги издательства Springer

Computer Algebra in Scientific Computing [Текст : Электронный ресурс] / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, 2015

Francisco Botana
    Automated Deduction in Geometry [Электронный ресурс] / Francisco Botana, Pedro Quaresma. - Электроные текстовые данные. - 1007/978-3-319-21362-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-21362-0. - (Lecture Notes in Computer Science). - ISBN 9783319213620

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- computer graphics -- Mathematical Logic and Formal Languages -- Symbolic and Algebraic Manipulation -- Discrete Mathematics in Computer Science -- Software Engineering -- книги издательства Springer

Francisco Botana Automated Deduction in Geometry [Текст : Электронный ресурс] / Francisco Botana, Pedro Quaresma, 2015

Wiebe van der Hoek
    Logic, Rationality, and Interaction [Электронный ресурс] / Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. - Электроные текстовые данные. - 1007/978-3-662-48561-3. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-662-48561-3. - (Lecture Notes in Computer Science). - ISBN 9783662485613

Кл.слова (ненормированные):
Computer science -- Mathematical Logic and Formal Languages -- Mathematical Logic and Foundations -- Discrete Mathematics in Computer Science -- Symbolic and Algebraic Manipulation -- Logics and Meanings of Programs -- книги издательства Springer

Wiebe van der Hoek Logic, Rationality, and Interaction [Текст : Электронный ресурс] / Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang, 2015

    Computer Algebra in Scientific Computing [Электронный ресурс] / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. - Электроные текстовые данные. - 1007/978-3-319-10515-4. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-10515-4. - (Lecture Notes in Computer Science). - ISBN 9783319105154

Кл.слова (ненормированные):
Computer science -- Algorithm Analysis and Problem Complexity -- Discrete Mathematics in Computer Science -- Symbolic and Algebraic Manipulation -- computer graphics -- Numeric Computing -- Arithmetic and Logic Structures -- книги издательства Springer

Computer Algebra in Scientific Computing [Текст : Электронный ресурс] / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, 2014

Wolfram Kahl
    Relational and Algebraic Methods in Computer Science [Электронный ресурс] / Wolfram Kahl, Michael Winter, José Oliveira. - Электроные текстовые данные. - 1007/978-3-319-24704-5. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-24704-5. - (Lecture Notes in Computer Science). - ISBN 9783319247045

Кл.слова (ненормированные):
Computer science -- Mathematical Logic and Formal Languages -- Symbolic and Algebraic Manipulation -- Logics and Meanings of Programs -- Software Engineering -- Artificial Intelligence (incl. Robotics) -- Discrete Mathematics in Computer Science -- книги издательства Springer

Wolfram Kahl Relational and Algebraic Methods in Computer Science [Текст : Электронный ресурс] / Wolfram Kahl, Michael Winter, José Oliveira, 2015

Ihsen Yengui
    Constructive Commutative Algebra [Электронный ресурс] / Ihsen Yengui. - Электроные текстовые данные. - 1007/978-3-319-19494-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-19494-3. - (Lecture Notes in Mathematics). - ISBN 9783319194943

Кл.слова (ненормированные):
mathematics -- Commutative Rings and Algebras -- Mathematical Logic and Foundations -- Symbolic and Algebraic Manipulation -- книги издательства Springer

Ihsen Yengui Constructive Commutative Algebra [Текст : Электронный ресурс] / Ihsen Yengui, 2015

Henri Lombardi
    Commutative Algebra: Constructive Methods [Электронный ресурс] / Henri Lombardi, Claude Quitté. - Электроные текстовые данные. - 1007/978-94-017-9944-7. - [S. l.] : Springer Netherlands, 2015. - ( час. мин.), 1007/978-94-017-9944-7. - (Algebra and Applications). - ISBN 9789401799447

Кл.слова (ненормированные):
mathematics -- Commutative Rings and Algebras -- Field Theory and Polynomials -- Linear and Multilinear Algebras, Matrix Theory -- Symbolic and Algebraic Manipulation -- книги издательства Springer

Henri Lombardi Commutative Algebra: Constructive Methods [Текст : Электронный ресурс] / Henri Lombardi, Claude Quitté, 2015

    Intelligent Computer Mathematics [Электронный ресурс] / Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban. - Электроные текстовые данные. - 1007/978-3-319-08434-3. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-08434-3. - (Lecture Notes in Computer Science). - ISBN 9783319084343

Кл.слова (ненормированные):
Computer science -- Symbolic and Algebraic Manipulation -- Artificial Intelligence (incl. Robotics) -- Math Applications in Computer Science -- Mathematical Logic and Formal Languages -- Document Preparation and Text Processing -- Information Storage and Retrieval -- книги издательства Springer

Intelligent Computer Mathematics [Текст : Электронный ресурс] / Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban, 2014

Roozbeh Hazrat
    Mathematica®: A Problem-Centered Approach [Электронный ресурс] / Roozbeh Hazrat. - Электроные текстовые данные. - 1007/978-3-319-27585-7. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-27585-7. - (Springer Undergraduate Mathematics Series). - ISBN 9783319275857

Кл.слова (ненормированные):
Computer science -- Symbolic and Algebraic Manipulation -- Mathematical Software -- Programming Languages, Compilers, Interpreters -- книги издательства Springer

Roozbeh Hazrat Mathematica®: A Problem-Centered Approach [Текст : Электронный ресурс] / Roozbeh Hazrat, 2015

    Algebraic and Algorithmic Aspects of Differential and Integral Operators [Электронный ресурс] / Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz. - Электроные текстовые данные. - 1007/978-3-642-54479-8. - [S. l.] : Springer Berlin Heidelberg, 2014. - ( час. мин.), 1007/978-3-642-54479-8. - (Lecture Notes in Computer Science). - ISBN 9783642544798

Кл.слова (ненормированные):
Computer science -- Logics and Meanings of Programs -- Mathematical Logic and Formal Languages -- Discrete Mathematics in Computer Science -- Algorithm Analysis and Problem Complexity -- Symbolic and Algebraic Manipulation -- Partial Differential Equations -- книги издательства Springer

Algebraic and Algorithmic Aspects of Differential and Integral Operators [Текст : Электронный ресурс] / Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz, 2014