Related Books
Language: en
Pages: 187
Pages: 187
Type: BOOK - Published: 2006-03-01 - Publisher: Springer
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2
Language: en
Pages: 242
Pages: 242
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series i
Language: en
Pages: 275
Pages: 275
Type: BOOK - Published: 2002-07-17 - Publisher: Springer Science & Business Media
This book presents recent advances in the field of nanoscale characterization of ferroelectric materials using scanning probe microscopy (SPM). It addresses var
Language: en
Pages: 244
Pages: 244
Type: BOOK - Published: 2007-03-16 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 20
Language: en
Pages: 248
Pages: 248
Type: BOOK - Published: - Publisher: Springer Nature