Manuel Hermenegildo – författare
Visar alla böcker från författaren Manuel Hermenegildo. Handla med fri frakt och snabb leverans.
10 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
567 kr
Lägg i varukorg
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of …
Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Av Daniel Cabeza, Manuel Hermenegildo
E-bok, 2005
734 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
567 kr
Lägg i varukorg
Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor- ri?cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. …
Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
Av German Puebla, Manuel Hermenegildo
E-bok, 2003
755 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
567 kr
Lägg i varukorg
This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full …
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
567 kr
Lägg i varukorg
This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.The book presents 26 refereed full papers selected from 84 submissions; they report research on …
Functional and Logic Programming
9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Av Jacques Garrigue, Manuel Hermenegildo
Häftad, 2008
567 kr
Lägg i varukorg
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular …
Functional and Logic Programming
9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Av Manuel Hermenegildo, Jacques Garrigue
E-bok, 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
567 kr
Lägg i varukorg
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa …
Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Av Manuel Hermenegildo, Gilles Barthe
E-bok, 2010
739 kr
Lägg i varukorg
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa …
