Skip to main content

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...
  • Formal Languages and Compilation

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

    $89.09 USD

  • Formal Languages and Compilation

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

    $71.99 USD

  • Esercizi di Informatica Teorica

    L'eserciziario è stato concepito e realizzato in modo da coprire le esigenze del corso di Informatica Teorica del Politecnico di Milano e parzialmente del corso di II livello di "Analisi e progetto dei sistemi critici". Gli Autori hanno fatto riferimento, per la terminologia e le definizioni fondamentali, al testo "Informatica teorica di Carlo Ghezzi e Dino Mandrioli edito dalla UTET. ... Leer más

    $18.99 USD

  • Introduzione alla programmazione in Matlab

    MATLAB (abbreviazione di MATrix LABoratory) è uno strumento che nel corso degli anni ha esteso le sue funzionalità dal calcolo matriciale alle più generali elaborazioni numeriche in campo scientifico e tecnico. Esso fornisce comandi, funzionalità predefinite e un linguaggio di programmazione che ne fa un ambiente per lo sviluppo di applicazioni. Il linguaggio di programmazione offerto da MATLAB ... Leer más

    $20.99 USD

  • Linguaggi Formali e Compilazione

    I compilatori traducono i linguaggi artificiali (come Java e XML) nelle rappresentazioni usate dalle macchine di calcolo: senza di essi non esisterebbe l’informatica. I concetti della compilazione hanno avuto origine nella linguistica strutturale e nella logica matematica, da cui si sono sviluppati gli algoritmi e i metodi di progetto che hanno realizzato innumerevoli linguaggi. Il testo espone in ... Leer más

    $42.99 USD

La gente que leyó estos también disfrutó

  • Computation and its Limits

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

    $39.99 USD

  • Beginning Julia Programming

    For Engineers and Scientists

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

    $71.99 USD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

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

    $49.99 USD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

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

    $116.99 USD

  • Advances in Conceptual Modeling

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

    Edición de Sergio de Cesare, Ulrich Frank ...
    Series 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 ... Leer más

    $49.99 USD

  • Semantic Technology

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

    Series 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), ... Leer más

    $49.49 USD

  • Statistical Language and Speech Processing

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

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

    $49.99 USD