Søkt på: Bøker av John P. Gallagher
totalt 16 treff
Titans of the Climate
How the planet's two largest greenhouse gas emitters navigate climate policy.The United States and China together account for a disproportionate 45 percent of global carbon dioxide …
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
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. …
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held …
Joint Attention
Interdisciplinary perspectives on definitional concerns, underlying mechanisms, and the functional significance of joint attention.Academic interest in the phenomenon of joint …
ICT - Energy Concepts for Energy Efficiency and Sustainability
In a previous volume (ICT-Energy-Concepts Towards Zero-Power ICT; referenced below as Vol. 1), we addressed some of the fundamentals related to bridging the gap between the amount …
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
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. …
Functional and Logic Programming
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers …
Titans of the Climate
How the planet's two largest greenhouse gas emitters navigate climate policy.The United States and China together account for a disproportionate 45 percent of global carbon dioxide …
Functional and Logic Programming
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers …
Expert Systems for Scanner Data Environments
This book is about the role of expert systems in marketing, particularly in the consumer goods industry. Section I describes the changing nature of consumer marketing and presents …
Expert Systems for Scanner Data Environments
This book is about the role of expert systems in marketing, particularly in the consumer goods industry. Section I describes the changing nature of consumer marketing and presents …
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held …