Documenti analoghi: Fundamentals of Computation Theory :
- Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
- Theory and Applications of FormalArgumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : Revised Selected Papers /
- Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings /
- Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : Proceedings /
- 25 Years of Model Checking : History, Achievements, Perspectives /
Soggetto: 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 /
Soggetto: Lenguajes Formales
- Lógica matemática elemental /
- 25 Years of Model Checking : History, Achievements, Perspectives /
- Using Interpretive Semantics Techniques to enhance Ontoloy Learning /
- Iniciación a la lógica simbólica /
- Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data : 13th China National Conference, CCL 2014 and Second International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014 : Proceedings /
- Chinese Lexical Semantics : 15th Workshop, CLSW 2014, Macao, China, June 9–12, 2014 : Revised Selected Papers /