Program Specialization

Renaud Marlet

電子書籍を購入

30,845 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781118576861
発売日　2013年6月1日
出版社：Wiley

出版社： Wiley-ISTE
ファイル形式　EPUB2
サイズ　6.17 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Elements of Programming - 電子ブック Paul McJones, Alexander Stepanov 著

Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway

17,321 円

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

9,194 円

Natural Language Annotation for Machine Learning

James Pustejovsky, Amber Stubbs

2,895 円

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

10,911 円

Model-Driven Software Engineering in Practice

Marco Brambilla, Jordi Cabot, Manuel Wimmer, Luciano Baresi

7,833 円

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

15,821 円

Software Language Engineering - 電子ブック Anneke Kleppe 著

Managing Time in Relational Databases

Tom Johnston, Randall Weis

7,714 円

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Bran Selic, Sebastien Gerard

6,233 円

Mastering Text Mining with R - 電子ブック KUMAR ASHISH 著

Toby J. Teorey, Stephen Buxton, Lowell Fryman, Terry Halpin, Jan L. Harrington, William H. Inmon, Sam S. Lightstone, Jim Melton, Tony Morgan, Thomas P. Nadeau, Bonnie O'Neil, Elizabeth O'Neil, Patrick O'Neil, Markus Schneider, Graeme Simsion, Graham Witt, Ralf Hartmut Güting

8,665 円

Trends in Functional Programming Volume 6

Marko Van Eekelen

6,268 円

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

9,934 円

Principles of Data Integration

AnHai Doan, Alon Halevy, Zachary Ives

8,454 円

Model Driven Engineering and Ontology Development

Jean Bézivin, Dragan Djuric, Dragan Gaševic, Bran V. Selic, Vladan Devedžic

12,154 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

The Relational Database Dictionary

C.J. Date

994 円

Artificial Intelligence Programming

Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan

13,297 円

Practical Foundations for Programming Languages

Robert Harper

12,684 円

Foundations of Data Exchange

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

5,183 円

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

6,076 円

Linguistic Modeling of Information and Markup Languages

Andreas Witt, Dieter Metzing

12,154 円

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

11,109 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Software Specification Methods

Henri Habrias, Marc Frappier

26,462 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

4,862 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

5,105 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld

6,076 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

12,154 円

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

12,154 円

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

5,834 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

6,076 円

Principles of Security and Trust

Frank Piessens, Luca Viganò

6,076 円

Trends in Functional Programming Volume 7

Henrik Nilsson

6,376 円

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler

12,154 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

18,231 円

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link

6,076 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

12,154 円

Emergent Web Intelligence: Advanced Semantic Technologies

Youakim Badr, Richard Chbeir, Ajith Abraham, Aboul-Ella Hassanien

18,231 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Semantic Computing

Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu

22,917 円

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

6,076 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

18,231 円

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

6,076 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

6,076 円

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Ontologies

Dieter Fensel, M.L. Brodie

6,076 円

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

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

日本のストアです。

Program Specialization

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Elements of Programming

Engineering a Compiler

Data Mining Techniques

Lisp in Small Pieces

Information Modeling and Relational Databases

Natural Language Annotation for Machine Learning

Introduction to Information Retrieval

Model-Driven Software Engineering in Practice

Modern Compiler Implementation in Java

Software Language Engineering

Why Programs Fail

Managing Time in Relational Databases

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Mastering Text Mining with R

Database Design: Know It All

Trends in Functional Programming Volume 6

Readings in Artificial Intelligence and Software Engineering

Principles of Data Integration

Model Driven Engineering and Ontology Development

Systematic Program Design

The Functional Approach to Programming

The Relational Database Dictionary

Artificial Intelligence Programming

Practical Foundations for Programming Languages

Foundations of Data Exchange

Bridging Constraint Satisfaction and Boolean Satisfiability

Linguistic Modeling of Information and Markup Languages

Multilingual Natural Language Processing Applications

Machine Learning Algorithms

Software Specification Methods

Trustworthy Global Computing

Web Services and Formal Methods

Programming Languages and Systems

Trustworthy Global Computing

Specification of Software Systems

Practical Aspects of Declarative Languages

Programming Languages and Systems

Declarative Programming and Knowledge Management

Transactions on Aspect-Oriented Software Development XII

Functional and Logic Programming

Schema Matching and Mapping

Meta-Programming and Model-Driven Meta-Program Development

Formal Methods for Multicore Programming

Theory of Cryptography

Principles of Security and Trust

Trends in Functional Programming Volume 7

Debugging at the Electronic System Level

Programming Languages and Systems

Handbook of Conceptual Modeling

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Small Dynamic Complexity Classes

Patterns, Programming and Everything

Emergent Web Intelligence: Advanced Semantic Technologies

Practical Aspects of Declarative Languages

Semantic Computing

Cryptography and Information Security in the Balkans

Topics in Cryptology - CT-RSA 2016

Clustering and Information Retrieval

Structured Object-Oriented Formal Language and Method

Logic-Based Program Synthesis and Transformation

Fundamental Approaches to Software Engineering

Software Engineering and Formal Methods

Modeling and Verification of Real-time Systems

Tests and Proofs

Ontologies

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

電子書籍

楽天Koboで読む理由

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

最新のブログ記事

関連書籍

Elements of Programming