Practical Foundations for Programming Languages

Robert Harper

Comprar el eBook

Ahorra 18 %Precio de venta: $1,595.00 MXN.$1,308.00MXN

Estás en la librería de México

¿No estás en México? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora Regala un libro

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9781316653289
Fecha de lanzamiento:1 abr 2016
Editorial:Cambridge University Press

Edición:Cambridge University Press
Formato de archivo:EPUB2
Tamaño de archivo:58.16 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Elements of Programming

Paul McJones, Alexander Stepanov

$586.00

Introduction to the Analysis of Algorithms, An

Robert Sedgewick, Philippe Flajolet

$1,188.00

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

$1,040.00

Understanding Minimalism

Norbert Hornstein, Jairo Nunes, Kleanthes K. Grohmann

$1,139.00

Understanding Machine Learning

Shai Shalev-Shwartz, Shai Ben-David

$1,055.00

Logic in Computer Science

Michael Huth, Mark Ryan

$1,083.00

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

$909.00

Introduction to Compiler Design

Torben Ægidius Mogensen

$600.00

Beginner's Further Guide To Mathematical Logic, A

Raymond M Smullyan

$359.00

Computability Theory

Herbert B. Enderton

$754.00

Bayesian Networks

Timo Koski, John Noble

$1,486.00

Introduction to Logic

Michael Genesereth, Eric Kao

$488.00

Managing Time in Relational Databases

Tom Johnston, Randall Weis

$873.00

Mastering Text Mining with R

KUMAR ASHISH

$679.00

o Gratis con Kobo Plus

P, NP, and NP-Completeness

Oded Goldreich

$816.00

Proofs and Algorithms

Gilles Dowek

$629.00

Practical Foundations for Programming Languages

Robert Harper

$1,265.00

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

$592.00

Mathematical Logic for Computer Science

Mordechai Ben-Ari

$1,091.00

On the Logic and Learning of Language

Sean A. Fulop

$175.00

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka

$4,067.00

A Theory of Syntax

Norbert Hornstein

$759.00

A Concise Introduction to Languages and Machines

Alan P. Parkes

$510.00

Big Data Integration Theory

Zoran Majkić

$909.00

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$1,462.00

Linguistic Modeling of Information and Markup Languages

Andreas Witt, Dieter Metzing

$1,636.00

Probabilistic Reasoning in Intelligent Systems

Judea Pearl

$873.00

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

$1,012.00

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis

$909.00

Towards an Elegant Syntax

Michael Brody

$583.00

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey

$619.00

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$2,517.00

Learning Bayesian Models with R

Hari Manassery Koduvely

$606.00

o Gratis con Kobo Plus

Foundations of Data Exchange

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak

$534.00

Python Programming by Example

Agus Kurniawan

$56.00

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

$1,491.00

Ruby on Rails Tutorial

Michael Hartl

$581.00

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

$1,124.00

Knowledge Representation and Reasoning

Ronald Brachman, Hector Levesque

$1,172.00

Fundamentals of the Theory of Computation: Principles and Practice

Raymond Greenlaw, H. James Hoover

$754.00

Tcl and the Tk Toolkit

John K. Ousterhout, Ken Jones

$871.00

Principles of Data Mining

Max Bramer

$782.00

Essays in Syntactic Theory

Samuel David Epstein

$1,423.00

The Hitchhiker's Guide to Python

Kenneth Reitz, Tanya Schlusser

$226.00

D Programming Language, The

Andrei Alexandrescu

$573.00

Small Dynamic Complexity Classes

Thomas Zeume

$909.00

AppleScript: The Definitive Guide

Matt Neuburg

$307.00

Theories of Programming Languages

John C. Reynolds

$1,223.00

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

$909.00

Formal Languages and Compilation

Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

$1,091.00

JavaScript with Promises

Daniel Parker

$186.00

Programming Languages and Systems

Hongseok Yang

$1,636.00

Rails AntiPatterns

Chad Pytel, Tammer Saleh

$663.00

Logic And Declarative Language

M. Downward

$1,046.00

Python

Toby Donaldson

$531.00

Rigorous Software Development

Jorge Sousa Pinto, Maria João Frade, Simão Melo de Sousa, José Bacelar Almeida

$629.00

Programming Languages and Systems

Peter Thiemann

$968.00

Elementary Logic

Robert Lover

$727.00

CUDA Application Design and Development

Rob Farber

$598.00

Memory Machines

Belinda Barnet

$459.00

o Gratis con Kobo Plus

Efficient Computation of Argumentation Semantics

Beishui Liao

$1,496.00

Scalable Techniques for Formal Verification

Sandip Ray

$1,636.00

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

$909.00

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$909.00

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$854.00

Learn Pixi.js

Rex van der Spuy

$1,171.00

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

$1,636.00

Java Closures and Lambda

Robert Fischer

$673.00

The Whole Truth About Whole Numbers

Sylvia Forman, Agnes M. Rash

$1,091.00

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$909.00

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de México.

Practical Foundations for Programming Languages

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Elements of Programming

Introduction to the Analysis of Algorithms, An

Information Modeling and Relational Databases

Understanding Minimalism

Understanding Machine Learning

Logic in Computer Science

Mathematics of Discrete Structures for Computer Science

Introduction to Compiler Design

Beginner's Further Guide To Mathematical Logic, A

Computability Theory

Bayesian Networks

Introduction to Logic

Managing Time in Relational Databases

Mastering Text Mining with R

P, NP, and NP-Completeness

Proofs and Algorithms

Practical Foundations for Programming Languages

Markov Logic

Mathematical Logic for Computer Science

On the Logic and Learning of Language

Handbook of Process Algebra

A Theory of Syntax

A Concise Introduction to Languages and Machines

Big Data Integration Theory

The Functional Approach to Programming

Linguistic Modeling of Information and Markup Languages

Probabilistic Reasoning in Intelligent Systems

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Computational Logic and Set Theory

Towards an Elegant Syntax

Computability and Logic

Tractability

Learning Bayesian Models with R

Foundations of Data Exchange

Python Programming by Example

Multilingual Natural Language Processing Applications

Ruby on Rails Tutorial

Readings in Artificial Intelligence and Software Engineering

Knowledge Representation and Reasoning

Fundamentals of the Theory of Computation: Principles and Practice

Tcl and the Tk Toolkit

Principles of Data Mining

Essays in Syntactic Theory

The Hitchhiker's Guide to Python

D Programming Language, The

Small Dynamic Complexity Classes

AppleScript: The Definitive Guide

Theories of Programming Languages

Foundations of Information and Knowledge Systems

Formal Languages and Compilation

JavaScript with Promises

Programming Languages and Systems

Rails AntiPatterns

Logic And Declarative Language

Python

Rigorous Software Development

Programming Languages and Systems

Elementary Logic

CUDA Application Design and Development

Memory Machines

Efficient Computation of Argumentation Semantics

Scalable Techniques for Formal Verification

Scalable Uncertainty Management

Interactive Theorem Proving

Declarative Programming and Knowledge Management

Learn Pixi.js

Corpus-Based Methods in Language and Speech Processing

Java Closures and Lambda

The Whole Truth About Whole Numbers

Logic-Based Program Synthesis and Transformation

¿Te ha gustado el libro?

eBooks