Míreanna comhchosúla: Formal Methods in Macro-Biology :
- Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
- Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
- Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014 : Proceedings /
- Computer Performance Engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : Proceedings /
Topaic: Biometría - Aspectos Tecnológicos
- Advanced Intelligent Computing : 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : Revised Selected Papers /
- Advanced Intelligent Computing Theories and Applications : With Aspects of Artificial Intelligence : 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : Revised Selected Papers /
- Advances in Swarm Intelligence : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : Proceedings /
- Handbook of Iris Recognition /
- Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014 : Proceedings /