Podobné jednotky: Software Engineering and Formal Methods :
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
- Formal Languages and Compilation /
- Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : Proceedings /
- Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi /
- Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings /
- Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
Téma: Agentes Inteligentes (Software)
Téma: Aprendizaje Automático (Inteligencia Artificial)
- Robosapiens /
- Game Programming Gems /
- Artificial Intelligence : A Modern Approach /
- Redes neuronales : conceptos fundamentales y aplicaciones a control automático /
- Artificial Intelligence : A Modern Approach /
- Genetic Programming : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013 : Proceedings /