Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “john p gallagher”
Skip side bar filters

  • Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

    Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

    Edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi ...
    Series series Computer Science (R0)
    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. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became ... Read more

    $116.99 USD

  • Functional and Logic Programming

    14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

    Edited by John P. Gallagher, Martin Sulzmann ...
    Series series Springer Nature Proceedings Computer Science
    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 presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... Read more

    $49.99 USD

  • Logic-Based Program Synthesis and Transformation

    27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

    Edited by Fabio Fioravanti, John P. Gallagher ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by ... Read more

    $49.99 USD

  • The Half-Eaten Boy on the Stairs: A Poem

    by John P. Gallagher ...
    A poor old man endures a nightmare of unspeakable and unthinkable terror. ... Read more

    Free

People who read these also enjoyed

  • Let Us Prey

    Gotcha Detective Agency Mystery, #1

    by Jamie Lee Scott ...
    Series Book 1 - Gotcha Detective Agency Mystery
    She's protecting a bestselling vampire author. Too bad nobody protected the assistant.Mimi Capurro has seen some things. Cheating husbands. Insurance fraudsters. One very uncomfortable stakeout involving a coffee can. But nothing in her private detective career prepared her for walking into the dining room of her current client's home that night.Now Mimi's juggling a book tour bodyguard gig, a ... Read more

    Free

  • The Aliomenti Saga Box Set

    Books 1-3

    by Alex Albrinck ...
    Series series The Aliomenti Saga
    They burned his world to the ground. Now he’ll infiltrate theirs.When Will Stark returns home on his birthday, he finds his life in ruins—his house engulfed in flames, his family gone, and a team of professional killers waiting to finish the job. But Will survives—and is pulled into a secret war between rival factions of a powerful, centuries-old society known as the Aliomenti.These people possess ... Read more

    Free

  • Practical Foundations for Programming Languages

    by Robert Harper ...
    This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the ... Read more

    $76.99 USD

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    by Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone ...
    Series series Synthesis Lectures on Artificial Intelligence and Machine Learning
    Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface ... Read more

    $28.99 USD

  • Knowledge Representation, Reasoning, and the Design of Intelligent Agents

    The Answer-Set Programming Approach

    by Michael Gelfond, Yulia Kahl ...
    Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and ... Read more

    $59.99 USD

  • Logic-Based Program Synthesis and Transformation

    26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

    Edited by Manuel V Hermenegildo, Pedro Lopez-Garcia ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to ... Read more

    $49.99 USD

  • Trustworthy Global Computing

    8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

    Edited by Martín Abadi, Alberto Lluch Lafuente ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing ... Read more

    $49.99 USD

  • Programming Languages and Systems

    26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

    Edited by Hongseok Yang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in ... Read more

    $89.99 USD