Manuel Hermenegildo – författare
Visar alla böcker från författaren Manuel Hermenegildo.
6 produkter
Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Av Manuel Hermenegildo, Daniel Cabeza
Häftad, 2005
739 kr
Lägg i varukorg
Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Av Manuel Hermenegildo, German Puebla
Häftad, 2002
739 kr
Lägg i varukorg
Programming Language Implementation and Logic Programming
6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
Av Manuel Hermenegildo, Jaan Penjam
Häftad, 1994
739 kr
Lägg i varukorg
Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
Av Manuel Hermenegildo, S.Doaitse Swierstra
Häftad, 1995
739 kr
Lägg i varukorg
Functional and Logic Programming
9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Av Jacques Garrigue, Manuel Hermenegildo
Häftad, 2008
739 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Av Gilles Barthe, Manuel Hermenegildo
Häftad, 2010
739 kr
Lägg i varukorg