Related Books

Logic Based Program Synthesis and Transformation
Language: en
Pages: 187
Authors: Patricia M. Hill
Categories: Computers
Type: BOOK - Published: 2006-03-01 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2
Logic Based Program Synthesis and Transformation
Language: en
Pages: 242
Authors: Maurice Bruynooghe
Categories: Computers
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series i
Logic Based Program Synthesis and Transformation
Language: en
Pages: 275
Authors: Alberto Pettorossi
Categories: Computers
Type: BOOK - Published: 2002-07-17 - Publisher: Springer Science & Business Media

GET EBOOK

This book presents recent advances in the field of nanoscale characterization of ferroelectric materials using scanning probe microscopy (SPM). It addresses var
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 244
Authors: Germán Puebla
Categories: Computers
Type: BOOK - Published: 2007-03-16 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 20
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 248
Authors: Juliana Bowles
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK