Concrete mathematics

by Ronald L. Graham, Donald Knuth

Introduction to Automata Theory, Languages, and Computation

by John E. Hopcroft, Rajeev Motwani

Logique et dialectique

by Dominique Dubarle, André Doz

Elements of the theory of computation

by Harry R. Lewis

Automata, Languages and Programming: 19th International Coll...

by W. Kuich

Introduction a la specification

by Henri Habrias

On the integration of algebraic functions

by James Harold Davenport

Intelligence artificielle et informatique théorique

by Jean-Marc Alliot

MAPLE

by K. M Heal

Dynamic Modules

by Andreas Sorgatz

Gröbner bases

by Thomas Becker, Volker Weispfenning

A mathematically rigorous definition of the number systems requires the use of axiomatic set theory.

Computational Commutative Algebra 2

by Martin Kreuzer, Lorenzo Robbiano

Automata, languages and programming

by Pierpaolo Degano

Maple, cours et applications

by Lionel Porcheron

Machines, languages, and complexity

by International Meeting of Young Computer Scientists (5th 1988 Smolenice, Slovakia)

Calculus projects with Maple

by William C. Bauldry

ACM communications in computer algebra

by Association for Computing Machinery. Special Interest Group on Symbolic & Algebraic Manipulation

System design through MATLAB, Control Toolbox and SIMULINK

by Krishna Singh, Gayatri Agnihotri

Study and analysis of any system requires some kind of its equivalent representation that describes the various componen...

ISSAC 2003

by International Symposium on Symbolic and Algebraic Computation (2003 Philadelphia, Pa.)

Perturbation methods, bifurcation theory, and computer algeb...

by R. H. Rand