Patricia M. Hill – författare
Visar alla böcker från författaren Patricia M. Hill. Handla med fri frakt och snabb leverans.
5 produkter
Logic Based Program Synthesis and Transformation
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Häftad, 2006
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from …
Logic Based Program Synthesis and Transformation
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
E-bok, 2006
755 kr
Lägg i varukorg
Logic Programming
25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Av Patricia M. Hill, David S. Warren
Häftad, 2009
568 kr
Lägg i varukorg
This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative …
Logic Programming
25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Av David S. Warren, Patricia M. Hill
E-bok, 2009
755 kr
Lägg i varukorg
Parma Polyhedra Library 1.2 User's Manual
Av Patricia M. Hill, Enea Zaffanella
Häftad, 2016
650 kr
Lägg i varukorg
