Computer Science
-
Mathematica® in Action: Problem Solving Through Visualization and Computation -
CATBox: An Interactive Course in Combinatorial Optimization -
The Calculus of Computation: Decision Procedures with Applications to Verification -
Algorithmic Adventures: From Knowledge to Magic -
The Planiverse: Computer Contact with a Two-Dimensional World -
Business Analysis Using Regression: A Casebook -
Low Power Digital CMOS Design -
Algorithms for Computer Algebra -
The Calculus of Computation: Decision Procedures with Applications to Verification -
Use R! -
Genetic and Evolutionary Computation -
Genetic and Evolutionary Computation -
Integrated Series in Information Systems: Theory and Practice -
Integrated Series in Information Systems: Theory and Practice -
Integrated Series in Information Systems: E-Government Research, Case Studies, and Implementation -
Integrated Series in Information Systems: E-Government Research, Case Studies, and Implementation -
Universitext: Lectures on Topological Methods in Combinatorics and Geometry -
Universitext -
Texts in Theoretical Computer Science. An EATCS Series -
Texts in Theoretical Computer Science. An EATCS Series -
Springer Handbooks of Computational Statistics -
Springer Handbooks of Computational Statistics -
Use R! -
Elementary Functions:: Algorithms and Implementation