Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$44.99 | $44.99 |
|
$44.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Psychologie der Weltanschauungen
$149.99
Die hydrolysierenden Enzyme der Nucleinsuren, Amide, Peptide und Proteine
$59.99
Using Office 2013
$19.99
The UN and the Bretton Woods Institutions
$169.99
Technik der Magnetspeicher
$64.99
Ein Prozent Vorteil
$69.99
Mathematik ist schn
$24.99
Computer Vision ECCV 2016
$109.99
How Gender Can Transform the Social Sciences
$64.99
Checkpoint Controls and Cancer
$84.99
R kompakt
$39.99
Applied Computer Sciences in Engineering
$109.99
International Symposium on Geodesy for Earthquake and Natural Hazards (GENAH)
$169.99
Dictionary of Minor Planet Names
$299.99
Interstellar Dust
$169.99
Identitt
$49.99
Maritime Economics
$129.99
Die Konstruktion von Feindbildern
$79.99
Functional Imaging and Modeling of the Heart
$39.99
Some Aspects of Diffusion Theory
$69.95
Strahlenexposition bei der Digitalen Subtraktionsangiographie
$69.99
Comparative Empirical Bioethics: Dilemmas of Genetic Testing and Euthanasia in Israel and Germany
$54.99
Dynamic Programming
$39.99
Arithmetische Fhigkeiten von Schulanfngern
$59.99
Flucht und Migration in Europa
$49.99
Formal Concept Analysis
$59.99
Applied Mathematics and Scientific Computing
$129.00
Vehicle Suspension Systems and Electromagnetic Dampers
$169.99
Der enge Spinalkanal
$79.99
Chinas Catholics in an Era of Transformation
$99.00
Titans
$7.49
Win or Lose in Rural Development
$169.99
A Photographic Atlas of Flood Basalt Volcanism
$139.00
Disasters, Risks and Revelation
$109.99
Engineering Research Methodology
$169.99
Quantum Hamilton-Jacobi Formalism
$39.99
Supply Chains
$139.99
Erfolgsfaktoren digitaler Marktpltze in der Agrar- und Ernhrungsindustrie
$74.99
Computer Simulation in Cell Radiobiology
$54.99
Medieval Elite Women and the Exercise of Power, 11001400
$159.99
