Նմանատիպ նյութեր: A General Framework for Reasoning On Inconsistency /
- The limits of mathematics : a course on information theory and the limits of formal reasoning /
- Practical Discrete Mathematics /
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
- 25 Years of Model Checking : History, Achievements, Perspectives /
- Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28–30, 2013 : Revised Selected Papers /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
Խորագիր: Algoritmos Computacionales
- Theory and Problems of Computer and Programming /
- Think Complexity /
- Mastering Machine Learning with Scikit-Learn : Apply Effective Learning Algorithms to Real-World Problems Using Scikit-Learn /
- Machine Learning in Python : Essential Techniques for Predictive Analysis /
- Building Machine Learning Systems with Python : Get More from Your Data Through Creating Practical Machine Learning Systems with Python /
- Python Machine Learning : Unlock Deeper Insights into Machine Learning with this Vital Guide to Cutting-Edge Predictive Analytics /
Խորագիր: Algoritmos
- Aplicación del comportamiento de la evolución de los seres dentro de la naturaleza utilizando algoritmos de programación genética /
- Implementación de un algoritmo y software para el procesamiento de imágenes RHEED /
- Extraer y visualizar información en Internet : el Web Mining /
- Desarrollo de algoritmo de inspección visual para control de calidad en línea de ensamble y plataforma autónoma de captura /
- From Control to Design : Parametric Algorithmic Architecture /
- Diseño del ambiente de verificación para un decodificador de Viterbi /