1-24 of 144 Books

Computer Algebra in Scientific Computing
By Vladimir P. Gerdt

Intelligent Computer Mathematics
By Jacques Carette

Formal Grammar
By Glyn Morrill,Mark-Jan Nederhof

Symbolic C++
By Tan, Kiat Shi,Willi-Hans Steeb,Yorick Hardy

Principles of Distributed Systems
By Roberto Baldoni

Relational and Algebraic Methods in Computer Science
By Uli Fahrenberg,Peter Jipsen,Michael Winter

Sets, Logic and Maths for Computing
By David Makinson

Relational and Algebraic Methods in Computer Science
By Wolfram Kahl

A Singular Introduction to Commutative Algebra
By Gert-Martin Greuel,Gerhard Pfister

Computer Graphics and Geometric Modelling
By Max K. Agoston

Artificial intelligence and symbolic computation
By Jacques Calmet

Problems in set theory, mathematical logic, and the theory of algorithms
By I. A. Lavrov,Igor Lavrov,Larisa Maksimova

Formal methods in programming and their applications
By D. Bjørner,M. Broy

Modeling languages in mathematical optimization
By Josef Kallrath

Advanced relational programming
By Filippo Cacace,F. Cacace,G. Lamperti

Rigorous software development
By José Bacelar Almeida

Computational Excursions in Analysis and Number Theory
By Peter B. Borwein
Computational Methods in Systems Biology
Computational Methods in Systems Biology
By Ashutosh Gupta,Thomas A. Henzinger
Frontiers of Combining Systems
Frontiers of Combining Systems
By F. Baader,K.U. Schulz

Fuzzy Computational Ontologies in Contexts
By Yi Cai,Ching-man Au Yeung,Ho-fung Leung

Design, Analysis and Test of Logic Circuits Under Uncertainty
By Smita Krishnaswamy