Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Meilleures séries dans ce pays : Canada

1-12 sur 12 résultats pour « martin sulzmann »
Skip side bar filters

  • Functional and Logic Programming

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

    Modifié par John P. Gallagher, Martin Sulzmann ...
    Collections 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 ... En savoir plus

    $64.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Markov Logic

    An Interface Layer for Artificial Intelligence

    par Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone ...
    Collections 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 ... En savoir plus

    $35.99 CAD

  • Practical Foundations for Programming Languages

    par 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 ... En savoir plus

    $85.99 CAD

  • Practical Foundations for Programming Languages

    par 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 ... En savoir plus

    $82.99 CAD

  • Introduction to Compiler Design

    par Torben Ægidius Mogensen ...
    Collections 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 ... En savoir plus

    $42.29 CAD

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

    The Answer-Set Programming Approach

    par 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 ... En savoir plus

    $66.99 CAD

  • Theories of Programming Languages

    par 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 ... En savoir plus

    $79.99 CAD

  • The Functional Approach to Programming

    par Guy Cousineau, Michel Mauny ...
    Traduit par 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 ... En savoir plus

    $95.99 CAD

  • Tractability

    Practical Approaches to Hard Problems

    Modifié par 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. ... En savoir plus

    $164.99 CAD

  • Ontology Matching

    par Jérôme Euzenat, Pavel Shvaiko ...
    Collections 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 ... En savoir plus

    $204.99 CAD

  • String Processing and Information Retrieval

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

    Modifié par Gabriele Fici, Marinella Sciortino, Rossano Venturini ...
    Collections 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. ... En savoir plus

    $64.99 CAD

  • Language and Automata Theory and Applications

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

    Modifié par Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek ...
    Collections 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 ... En savoir plus

    $64.09 CAD