1
Logics and Type Systems in Theory and Practice [E-Book] : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
2
Solving Ordinary Differential Equations in Python [E-Book] /
3
Differential Equations for Studies in Computational Electrophysiology [E-Book] /
4
Deep Learning for Computational Problems in Hardware Security [E-Book] : Modeling Attacks on Strong Physically Unclonable Function Circuits /
5
Consciousness, Cognition and Crosstalk: The Evolutionary Exaptation of Nonergodic Groupoid Symmetry-Breaking [E-Book] /
6
New Medical Diagnosis Models Based on Generalized Type-2 Fuzzy Logic [E-Book] /
7
The Data Science Design Manual [E-Book] /
8
Decision and Game Theory for Security [E-Book] : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014. Proceedings /
9
Practical LaTeX [E-Book] /
10
Theory and Applications of Satisfiability Testing – SAT 2013 [E-Book] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
11
Advances in Cryptology - ASIACRYPT 2013 [E-Book] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I /
12
Advances in Cryptology - ASIACRYPT 2013 [E-Book] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II /
13
People, Problems, and Proofs [E-Book] : Essays from Gödel's Lost Letter: 2010 /
14
Decision and Game Theory for Security [E-Book] : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings /
15
Decision and Game Theory for Security [E-Book] : Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings /
16
Advances in Cryptology – ASIACRYPT 2012 [E-Book] : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings /
17
Theory and Applications of Satisfiability Testing – SAT 2012 [E-Book]: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
18
Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control [E-Book] /
19
Image-Based Fractal Description of Microstructures [E-Book] /
20
Self-Organizing Maps [E-Book] /