Search results for: Antonio Martín
The Spine Journal > 2016 > 16 > 5 > 591-599
ANZ Journal of Surgery > 86 > 5 > 343 - 347
Lecture Notes in Computer Science > Advances in Information Systems > Information Retrieval and Knowledge Representation > 284-293
Lecture Notes in Computer Science > Nature Inspired Problem-Solving Methods in Knowledge Engineering > 337-346
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2005 > Formal Approaches in Modelling > 33-37
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Systems Theory and Simulation: Formal Approaches > 75-82
Lecture Notes in Computer Science > Hybrid Artificial Intelligence Systems > Hybrid Intelligent Systems for Multi-robot and Multi-agent Systems > 625-632
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 112-126
Lecture Notes in Computer Science > Intelligent Data Engineering and Automated Learning – IDEAL 2006 > Learning and Information Processing > 402-409
Lecture Notes in Computer Science > Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy > 305-314
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Systems Theory and Simulation: Formal Approaches > 138-145
Lecture Notes in Computer Science > Bioinspired Applications in Artificial and Natural Computation > 362-371
Journal of Chromatography A > 2016 > 1442 > C > 12-18
Journal of Separation Science > 39 > 3 > 552 - 558
Genetic Resources and Crop Evolution > 2016 > 63 > 6 > 945-951
Plant Systematics and Evolution > 2016 > 302 > 5 > 527-544
Biometrical Journal > 57 > 5 > 930 - 930