|
Searching ... |
0 % | |||
Memoria Sobre La Naturaleza Del Hombre Leida En La Academia De Ciencias Naturales De Madrid by Manuel Hermenegildo Davila Hardcover, Published 2010 by Kessinger Publishing, Llc ISBN-13: 978-1-169-61434-5, ISBN: 1-169-61434-5 |
Memoria Sobre La Naturaleza Del Hombre Leida En La Academia De Ciencias Naturales De Madrid by Manuel Hermenegildo Davila Hardcover, 44 Pages, Published 2010 by Kessinger Publishing, Llc ISBN-13: 978-1-162-30212-6, ISBN: 1-162-30212-7 |
Proceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages by Manuel Hermenegildo 508 Pages, Published 2010 ISBN-13: 978-1-60558-479-9, ISBN: 1-60558-479-7 |
Programming Languages Implementations, Logics and Programs 7th International Symposium, Plilp '95 Utrech, the Netherlands, September 20-22, 1995 Proceedings (Lecture Notes in Computer Science) by Manuel Hermenegildo Paperback, Published 1995 by Springer Verlag ISBN-13: 978-0-387-60359-9, ISBN: 0-387-60359-X |
Logic Programming Proceedings of the North American Conference 1990 (Logic Programming) by Saumya Debray, Samuel Debray, Peter Szeredi Paperback, 868 Pages, Published 1990 by The Mit Press ISBN-13: 978-0-262-54058-2, ISBN: 0-262-54058-4 |
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture Notes in Computer Science) by Gilles Barthe, Manuel Hermenegildo Paperback, 397 Pages, Published 2010 by Springer ISBN-13: 978-3-642-11318-5, ISBN: 3-642-11318-4 |
Programming Languages Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science) by Manuel Hermenegildo, S.Doaitse Swierstra, Jaan Penjam Paperback, 476 Pages, Published 1995 by Springer ISBN-13: 978-3-540-60359-7, ISBN: 3-540-60359-X |
Static Analysis by Manuel Hermenegildo, German Puebla Paperback, 538 Pages, Published 2002 by Springer ISBN-13: 978-3-540-44235-6, ISBN: 3-540-44235-9 |
Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005 by Manuel Hermenegildo, Daniel Cabeza Paperback, 296 Pages, Published 2005 by Springer ISBN-13: 978-3-540-24362-5, ISBN: 3-540-24362-3 |
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) by Jacques Garrigue, Manuel Hermenegildo, Anna-Teresa Tymieniecka Paperback, 340 Pages, Published 2008 by Springer ISBN-13: 978-3-540-78968-0, ISBN: 3-540-78968-5 |
Programming Language Implementation and Logic Programming 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings (Lecture Notes in Computer Science) by Manuel Hermenegildo, Jaan Penjam Paperback, 474 Pages, Published 1994 by Springer ISBN-13: 978-3-540-58402-5, ISBN: 3-540-58402-1 |
Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 2010, Proceedings 5944 by Gilles Barthe, Manuel Hermenegildo, David Hutchison 397 Pages, Published 2010 by Springer ISBN-13: 978-3-642-11319-2, ISBN: 3-642-11319-2 |
Lecture Notes in Computer Science Ser. Practical Aspects of Declarative Languages : 7Th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : Proceedings 3350 by Manuel Hermenegildo, Daniel Cabeza 272 Pages, Published 2005 by Springer ISBN-13: 978-3-540-30557-6, ISBN: 3-540-30557-2 |
Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings by Manuel Hermenegildo, German Puebla 536 Pages, Published 2003 by Springer ISBN-13: 978-3-540-45789-3, ISBN: 3-540-45789-5 |
Analysis and Visualization Tools for Constraint Programming Constraint Debugging (Lecture Notes in Computer Science) by Pierre Deransart, J. Maluszynski, M.V. Hermenegildo, Manuel Hermenegildo Paperback, 367 Pages, Published 2008 by Springer ISBN-13: 978-3-540-41137-6, ISBN: 3-540-41137-2 |
Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings by Manuel Hermenegildo, Daniel Cabeza Paperback, 272 Pages, Published 2009 by Springer ISBN-13: 978-3-540-80696-7, ISBN: 3-540-80696-2 |
Logic-Based Program Synthesis and Transformation(1st Edition) 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Lecture Notes in Computer Science) by Manuel V. Hermenegildo, Pedro Lopez-Garcia Paperback, 361 Pages, Published 2017 by Springer ISBN-13: 978-3-319-63138-7, ISBN: 3-319-63138-1 |
Prolog 50 Years of Future by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi Paperback, 412 Pages, Published 2023 by Springer Nature Switzerland ISBN-13: 978-3-031-35253-9, ISBN: 3-031-35253-X |
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings (Lecture Notes in Computer Science) by Hermenegildo, Manuel V., Morales, José F. Paperback, 584 Pages, Published 2023 by Springer ISBN-13: 978-3-031-44244-5, ISBN: 3-031-44244-X |
Memoria Sobre La Naturaleza Del Hombre Leida En La Academia De Ciencias Naturales De Madrid by Manuel Hermenegildo Davila Paperback, 44 Pages, Published 2010 by Kessinger Publishing, Llc ISBN-13: 978-1-160-19154-8, ISBN: 1-160-19154-9 |
Manuel Hermenegildo