Title: 7th International Conference on Automated Deduction: Proceedings, Author: R. E. Shostak
Title: A Beginner's Guide To Mathematica, Author: David McMahon
Title: A Course in Computational Algebraic Number Theory, Author: Henri Cohen
Title: A Course in Computational Probability and Statistics, Author: Walter Freiberger
Title: A Course in Formal Languages, Automata and Groups, Author: Ian M. Chiswell
Title: A Course in the Calculus of Variations: Optimization, Regularity, and Modeling, Author: Filippo Santambrogio
Title: A Direct Method for Parabolic PDE Constrained Optimization Problems, Author: Andreas Potschka
Title: A First Course in Optimization Theory, Author: Rangarajan K. Sundaram
Title: A Generative Theory of Shape, Author: Michael Leyton
Title: A Guide to Maple, Author: Ernic Kamerich
Title: A Mathematical Structure for Emergent Computation, Author: Victor Korotkikh
Title: A MatLab® Companion to Complex Variables, Author: A. David Wunsch
Title: A New Kind of Computational Biology: Cellular Automata Based Models for Genomics and Proteomics, Author: Parimal Pal Chaudhuri
Title: A Primer on Quantum Computing, Author: Franklin de Lima Marquezino
Title: A Programmer's Companion to Algorithm Analysis, Author: Ernst L. Leiss
Title: A Proof Theory for General Unification, Author: W. Snyder
Title: A Resolution Principle for a Logic with Restricted Quantifiers, Author: Hans-Jürgen Bürckert
Title: A Student's Guide to the Study, Practice, and Tools of Modern Mathematics, Author: Donald Bindner
Title: A Variational Approach to Nonsmooth Dynamics: Applications in Unilateral Mechanics and Electronics, Author: Samir Adly
Title: A Variational Theory of Convolution-Type Functionals, Author: Roberto Alicandro

Pagination Links