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...


Computer Science (R0) Série de Livres électroniques

1-12 sur 12 résultats
Skip side bar filters

  • Formal Languages and Compilation

    par Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti ...
    Collections series Computer Science (R0)
    This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining the reader-friendly style of the 1st edition, this versatile textbook describes the essential principles and methods used for defining the syntax of artificial languages, and for designing efficient parsing algorithms and syntax-directed ... En savoir plus

    $77.99 CAD

  • Formal Languages and Compilation

    par Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti ...
    Collections series Computer Science (R0)
    This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown ... En savoir plus

    $115.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Computation and its Limits

    par Paul Cockshott, Lewis M. Mackenzie, Gregory Michaelson ...
    Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so effective in science and seeks to explain this in terms of the modelling of one part of physical reality by another. Going from the origins of counting to the most blue-skies proposals for novel methods ... En savoir plus

    $41.99 CAD

  • Beginning Julia Programming

    For Engineers and Scientists

    par Sandeep Nagar ...
    Collections series Professional and Applied Computing (R0)
    Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... En savoir plus

    $96.99 CAD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

    par Jarosław Pykacz ...
    Collections series Physics and Astronomy (R0)
    This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of many-valued logics and previous attempts to apply them for the description of quantum phenomena. The prospective many-valued ... En savoir plus

    $64.99 CAD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    par Zoran Ognjanović, Miodrag Rašković, Zoran Marković ...
    Collections series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... En savoir plus

    $154.99 CAD

  • Advances in Conceptual Modeling

    ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

    Modifié par Sergio de Cesare, Ulrich Frank ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of five workshops and a symposium, held at the 36th International Conference on Conceptual Modeling, ER 2017, in Valencia, Spain in November 2017.The 21 revised full papers were carefully reviewed and selected out of 47 submissions to the following events:AHA 2017 - 3rd International Workshop on Modeling for Ambient Assistance and Healthy AgeingMoBiD ... En savoir plus

    $64.99 CAD

  • Semantic Technology

    5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

    Modifié par Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 5th Joint International Semantic Technology Conference, JIST 2015, held in Yichang, China, in November 2015.The theme of the JIST 2015 conference was "Big Data and Social Media". The JIST 2015 conference consisted of main technical tracks including 2 keynotes, 2 invited talks, a regular technical paper track (full and short papers), ... En savoir plus

    $64.99 CAD

  • Statistical Language and Speech Processing

    5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

    Modifié par Nathalie Camelin, Yannick Estève, Carlos Martín-Vide ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th InternationalConference on Statistical Language and Speech Processing, SLSP 2017,held in Le Mans, France, in October 2017.The 21 full papers presented were carefully reviewed and selected from39 submissions. The papers cover topics such as anaphora and conferenceresolution; authorship identification, plagiarism and spam filtering;computer ... En savoir plus

    $64.99 CAD

  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

    Modifié par Sébastien Destercke, Thierry Denoeux ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiègne, France, in July 2015. The 49 revised full papers presented were carefully reviewed and selected from 69 submissions and cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief ... En savoir plus

    $64.99 CAD

  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

    Modifié par Tiziana Margaria, Bernhard Steffen ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... En savoir plus

    $64.99 CAD

  • Graph Structures for Knowledge Representation and Reasoning

    4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

    Modifié par Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected ... En savoir plus

    $64.99 CAD