Title: The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine / Edition 1, Author: Charles Petzold
Title: Probability and Statistics with Reliability, Queuing, and Computer Science Applications / Edition 2, Author: Kishor S. Trivedi
Title: Combinatorial Problems In Mathematical Competitions, Author: Yao Zhang
Title: Practical Methods of Optimization / Edition 2, Author: R. Fletcher
Title: The Analysis of Stochastic Processes using GLIM / Edition 1, Author: James K. Lindsey
Title: Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / Edition 1, Author: Elsa L. Gunter
Title: Advances in GLIM and Statistical Modelling: Proceedings of the GLIM92 Conference and the 7th International Workshop on Statistical Modelling, Munich, 13-17 July 1992 / Edition 1, Author: Ludwig Fahrmeir
Title: Mathematics of Surfaces XI: 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / Edition 1, Author: Malcolm Sabin
Title: Optimal Design and Related Areas in Optimization and Statistics / Edition 1, Author: Luc Pronzato
Title: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Greno / Edition 1, Author: Yassine Lakhnech
Title: Combinatorics on Traces / Edition 1, Author: Volker Diekert
Title: Optimal Control from Theory to Computer Programs / Edition 1, Author: Viorel Arnautu
Title: Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems / Edition 1, Author: Madhu Sudan
Title: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings / Edition 1, Author: Alfonso Miola
Title: Advances in Robot Kinematics and Computational Geometry / Edition 1, Author: Jadran Lenarcic
Title: A New Kind of Computational Biology: Cellular Automata Based Models for Genomics and Proteomics, Author: Parimal Pal Chaudhuri
Title: Optimization and Computational Fluid Dynamics / Edition 1, Author: Dominique Thïvenin
Title: Discrete and Combinatorial Mathematics (Classic Version) / Edition 5, Author: Ralph Grimaldi
Title: Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers, Author: Teijiro Isokawa
Title: Linear Algebra: A Course for Physicists and Engineers / Edition 1, Author: Arak M. Mathai

Pagination Links