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 “martin sulzmann”
Skip side bar filters

  • 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

People who read this also enjoyed

  • 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

  • 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

  • Practical Foundations for Programming Languages

    by Robert Harper ...
    Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are ... Read more

    $73.99 USD

  • Introduction to Compiler Design

    by Torben Ægidius Mogensen ...
    Series series Computer Science (R0)
    This textbook is intended for an introductory course on Compiler Design, suitable for use in an undergraduate programme in computer science or related fields.Introduction to Compiler Design presents techniques for making realistic, though non-optimizing compilers for simple programming languages using methods that are close to those used in "real" compilers, albeit slightly simplified in places ... Read more

    $31.49 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

  • Theories of Programming Languages

    by John C. Reynolds ...
    First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique ... Read more

    $71.99 USD

  • The Functional Approach to Programming

    by Guy Cousineau, Michel Mauny ...
    Translated by K. Callaway ...
    A programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which ... Read more

    $85.99 USD

  • Tractability

    Practical Approaches to Hard Problems

    Edited by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli ...
    Classical computer science textbooks tell us that some problems are 'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software verification, have defined their own set of tools for effectively solving complex problems. Tractability provides an overview of these different techniques, and of the fundamental concepts and properties used to tame intractability. ... Read more

    $146.99 USD

  • Ontology Matching

    by Jérôme Euzenat, Pavel Shvaiko ...
    Series series Computer Science (R0)
    Ontologies tend to be found everywhere. They are viewed as the silver bullet for many applications, such as database integration, peer-to-peer systems, e-commerce, semantic web services, or social networks. However, in open or evolving systems, such as the semantic web, different parties would, in general, adopt different ontologies. Thus, merely using ontologies, like using XML, does not reduce ... Read more

    $170.09 USD

  • String Processing and Information Retrieval

    24th International Symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017, Proceedings

    Edited by Gabriele Fici, Marinella Sciortino, Rossano Venturini ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 24th International Symposium on String Processing and Information Retrieval, SPIRE 2017, held in Palermo, Italy, in September 2017.The 26 papers presented in this volume were carefully reviewed and selected from 71 submissions. They focus on fundamental studies on string processing and information retrieval, as well as on computational biology. ... Read more

    $49.99 USD

  • Language and Automata Theory and Applications

    10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

    Edited by Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in Prague, Czech Republic, in March 2016.The 42 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 119 submissions. The papers cover the following topics: algebraic language theory; algorithms for ... Read more

    $49.49 USD