Pedro Lopez-Garcia – författare

Visar alla böcker från författaren Pedro Lopez-Garcia. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

   Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

   Av Pedro Lopez-Garcia, John P. Gallagher m. fl.

   Häftad, 2023

   1468 kr

   Lägg i varukorg

   This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an …

2. 

   Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

   Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

   Av Roberto Giacobazzi, John P. Gallagher m. fl.

   E-bok, 2023

   1798 kr

   Lägg i varukorg

   This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an …

3. 

   Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasio

   Av Pedro Lopez-Garcia, John P. Gallagher

   2023

   686 kr

   Lägg i varukorg

4. 

   Logic-Based Program Synthesis and Transformation

   26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

   Av Manuel V Hermenegildo, Pedro Lopez-Garcia

   Häftad, 2017

   569 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited …

5. 

   Logic-Based Program Synthesis and Transformation

   26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

   Av Pedro Lopez-Garcia, Manuel V Hermenegildo

   E-bok, 2017

   755 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited …