Ejemplares similares: Abstract State Machines, Alloy, B, TLA, VDM, and Z :
- Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : Revised Selected Papers /
- Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014 Toulouse, France, June 2-6, 2014 Proceedings /
- Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014 : Proceedings /
- Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : Proceedings /
- Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
- Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi /
Tópico: Estructura de Datos
- An introduction to data structures with applications /
- Data Structures, Algorithms, and Program Style Using C /
- Estructuras de datos /
- The Tomes of Delphi Algorithms and Data Structures /
- Database Systems : A Practical Approach to Design, Implementation, and Management /
- Data Structures Using C++ [i.e. C Plus Plus] /
Tópico: Reconocimiento de Patrones
- Image based measurement systems : object recognition and parametrer estimation /
- Digital Image Processing /
- Optical Character Recognition /
- Pattern Classification /
- Algoritmos para tratamiento digital de imágenes /
- Introducción a la inteligencia artificial : sistemas expertos, redes neuronales artificiales y computación evolutiva /