Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “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

    Edición de 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 ... Leer más

    $116.99 USD

  • Functional and Logic Programming

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

    Edición de 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 ... Leer más

    $49.99 USD

  • Logic-Based Program Synthesis and Transformation

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

    Edición de 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 ... Leer más

    $49.99 USD

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

    de John P. Gallagher ...
    A poor old man endures a nightmare of unspeakable and unthinkable terror. ... Leer más

    Gratis

La gente que leyó estos también disfrutó

  • Let Us Prey

    Gotcha Detective Agency Mystery, #1

    de Jamie Lee Scott ...
    Series Libro 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 ... Leer más

    Gratis

  • The Aliomenti Saga Box Set

    Books 1-3

    de 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 ... Leer más

    Gratis

  • Practical Foundations for Programming Languages

    de 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 ... Leer más

    $76.99 USD

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    de 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 ... Leer más

    $28.99 USD

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

    The Answer-Set Programming Approach

    de 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 ... Leer más

    $59.99 USD

  • Logic-Based Program Synthesis and Transformation

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

    Edición de 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 ... Leer más

    $49.99 USD

  • Trustworthy Global Computing

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

    Edición de 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 ... Leer más

    $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

    Edición de 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 ... Leer más

    $89.99 USD