Germán Vidal-Oriola – författare
Visar alla böcker från författaren Germán Vidal-Oriola. Handla med fri frakt och snabb leverans.
4 produkter
Static Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
Av María Alpuente, Germán Vidal-Oriola
Häftad, 2008
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM …
Static Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
Av German Vidal-Oriola, Maria Alpuente
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM …
Functional and Logic Programming
10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Av Matthias Blume, Naoki Kobayashi m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19-21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including …
Functional and Logic Programming
10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Av German Vidal-Oriola, Naoki Kobayashi m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
