Realtime Data Mining Self-Learning Techniques for Recommendation Engines

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Beginning R An Introduction to Statistical Programming

Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles

Design and Analysis of Approximation Algorithms

Pyomo – Optimization Modeling in Python

Data Correcting Approaches in Combinatorial Optimization

A Primer on Scientific Programming with Python

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings