Practical Foundations for Programming Languages

Robert Harper

電子書籍を購入

20 % 引き販売価格　15,342 円12,274 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781107301757
発売日　2013年5月30日
出版社：Cambridge University Press

出版社： Cambridge University Press
ファイル形式　EPUB2
サイズ　22.31 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Elements of Programming

Paul McJones, Alexander Stepanov

5,506 円

Introduction to the Analysis of Algorithms, An

Robert Sedgewick, Philippe Flajolet

11,157 円

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

9,194 円

Computational Complexity

Sanjeev Arora, Boaz Barak

10,911 円

Logic in Computer Science

Michael Huth, Mark Ryan

10,502 円

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

6,076 円

Introduction to Compiler Design

Torben Ægidius Mogensen

4,248 円

Computability Theory

Herbert B. Enderton

6,661 円

Bayesian Networks

Timo Koski, John Noble

15,225 円

P, NP, and NP-Completeness

Oded Goldreich

7,910 円

Introduction to Logic

Michael Genesereth, Eric Kao

3,562 円

Mastering Text Mining with R

KUMAR ASHISH

3,961 円

または Kobo Plus なら無料

Modeling in Event-B

Jean-Raymond Abrial

24,413 円

Practical Foundations for Programming Languages

Robert Harper

12,684 円

Markov Logic

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

4,557 円

Mathematical Logic for Computer Science

Mordechai Ben-Ari

7,292 円

Handbook of Process Algebra

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

27,900 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Big Data Integration Theory

Zoran Majkić

6,076 円

A Concise Introduction to Languages and Machines

Alan P. Parkes

3,641 円

On the Logic and Learning of Language

Sean A. Fulop

1,144 円

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

9,820 円

Computational Logic and Set Theory

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

6,076 円

Linguistic Modeling of Information and Markup Languages

Andreas Witt, Dieter Metzing

12,154 円

A Theory of Syntax

Norbert Hornstein

7,365 円

Towards an Elegant Syntax

Michael Brody

5,795 円

Foundations of Data Exchange

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

5,183 円

Computability and Logic

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

6,001 円

Essays in Syntactic Theory

Samuel David Epstein

14,148 円

Fundamentals of the Theory of Computation: Principles and Practice

Raymond Greenlaw, H. James Hoover

6,661 円

Probabilistic Reasoning in Intelligent Systems

Judea Pearl

10,200 円

A First Course in Computational Algebraic Geometry

Wolfram Decker, Gerhard Pfister

3,137 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Programming Language Pragmatics

Michael Scott

8,242 円

Programming Massively Parallel Processors

David B. Kirk, Wen-mei W. Hwu

7,925 円

Knowledge Representation and Reasoning

Ronald Brachman, Hector Levesque

8,600 円

Learning Bayesian Models with R

Hari Manassery Koduvely

3,530 円

または Kobo Plus なら無料

The Designer's Guide to VHDL

Peter J. Ashenden

6,132 円

CUDA Application Design and Development

Rob Farber

5,282 円

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

9,934 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Modal Logic for Philosophers

James W. Garson

7,637 円

Theories of Programming Languages

John C. Reynolds

11,866 円

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers

13,503 円

Formal Languages and Compilation

Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

7,292 円

Low-Level Programming

Igor Zhirkov

12,154 円

Logic And Declarative Language

M. Downward

10,398 円

Learn Electronics with Raspberry Pi

Stewart Watkiss

6,685 円

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

4,248 円

Practical IDL Programming

Liam E. Gumley

7,700 円

Rigorous Software Development

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

4,248 円

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

6,076 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

6,928 円

The China Information Technology Handbook

Patricia Ordóñez de Pablos, Miltiadis D. Lytras

24,309 円

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

6,076 円

Beginning Robotics Programming in Java with LEGO Mindstorms

Wei Lu

7,900 円

Software Engineering for Resilient Systems

Alessandro Fantechi, Patrizio Pelliccione

4,862 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

6,076 円

Programming Languages and Systems

Peter Thiemann

6,076 円

OpenMP: Heterogenous Execution and Data Movements

Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller

5,834 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

6,076 円

Elementary Logic

Robert Lover

4,861 円

High Performance Computing

Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf

6,076 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Software Technologies

Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Tools and Environments for Parallel and Distributed Systems

Amr Zaky, Ted Lewis

18,231 円

Open Multithreaded Transactions

Jörg Kienzle

12,154 円

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

6,076 円

Reversible Computation

Simon Devitt, Ivan Lanese

6,076 円

The Whole Truth About Whole Numbers

Sylvia Forman, Agnes M. Rash

7,292 円

Separation Logic for High-level Synthesis

Felix Winterstein

12,154 円

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

12,154 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Practical Foundations for Programming Languages

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Elements of Programming

Introduction to the Analysis of Algorithms, An

Information Modeling and Relational Databases

Computational Complexity

Logic in Computer Science

Mathematics of Discrete Structures for Computer Science

Introduction to Compiler Design

Computability Theory

Bayesian Networks

P, NP, and NP-Completeness

Introduction to Logic

Mastering Text Mining with R

Modeling in Event-B

Practical Foundations for Programming Languages

Markov Logic

Mathematical Logic for Computer Science

Handbook of Process Algebra

The Functional Approach to Programming

Big Data Integration Theory

A Concise Introduction to Languages and Machines

On the Logic and Learning of Language

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Computational Logic and Set Theory

Linguistic Modeling of Information and Markup Languages

A Theory of Syntax

Towards an Elegant Syntax

Foundations of Data Exchange

Computability and Logic

Essays in Syntactic Theory

Fundamentals of the Theory of Computation: Principles and Practice

Probabilistic Reasoning in Intelligent Systems

A First Course in Computational Algebraic Geometry

Tractability

Programming Language Pragmatics

Programming Massively Parallel Processors

Knowledge Representation and Reasoning

Learning Bayesian Models with R

The Designer's Guide to VHDL

CUDA Application Design and Development

Readings in Artificial Intelligence and Software Engineering

Small Dynamic Complexity Classes

Modal Logic for Philosophers

Theories of Programming Languages

Type Theory and Formal Proof

Formal Languages and Compilation

Low-Level Programming

Logic And Declarative Language

Learn Electronics with Raspberry Pi

Introduction to the Theory of Programming Languages

Practical IDL Programming

Rigorous Software Development

Modelling Foundations and Applications

Programming Languages and Systems

Compiler Design

The China Information Technology Handbook

Foundations of Information and Knowledge Systems

Beginning Robotics Programming in Java with LEGO Mindstorms

Software Engineering for Resilient Systems

Interactive Theorem Proving

Formal Aspects of Component Software

Programming Languages and Systems

OpenMP: Heterogenous Execution and Data Movements

Logic-Based Program Synthesis and Transformation

Formal Methods: Foundations and Applications

Elementary Logic

High Performance Computing

Specification of Software Systems

Software Technologies

Declarative Programming and Knowledge Management

Tools and Environments for Parallel and Distributed Systems

Open Multithreaded Transactions

Scalable Uncertainty Management