Germán Vidal – författare

Visar alla böcker från författaren Germán Vidal. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Practical Aspects of Declarative Languages

   27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings

   Av Esra Erdem, Germán Vidal

   Häftad, 2025

   736 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20–21, 2025.The 15 full papers included in this book were carefully reviewed and selected from 26 submissions. The …

2. 

   Practical Aspects of Declarative Languages

   27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings

   Av German Vidal, Esra Erdem

   E-bok, 2025

   923 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20–21, 2025. The 15 full papers included in this book were carefully reviewed and selected from 26 submissions. The …

3. 

   Logic-Based Program Synthesis and Transformation

   21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

   Av Germán Vidal

   Häftad, 2012

   523 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and …

4. 

   Logic-Based Program Synthesis and Transformation

   21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

   Av German Vidal

   E-bok, 2012

   670 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and …