Program Specialization

Renaud Marlet

購買電子書

$1,490.00HKD

您正在香港 Kobo商店

不在香港中？選擇您國家的商店以查看可購買的書籍。

選擇國家商店

立即購買贈送書籍

為什麼要和我們一起閱讀？

Kobo 讓愛書人能夠閱讀更多。

使用我們的 Kobo eReader 提升閱讀體驗

豐富且相關的書籍目錄

免費的 Kobo 閱讀應用程式

簡介

類別

關於本書

語言：English
ISBN：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

$813.79

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

$612.39

Natural Language Annotation for Machine Learning

James Pustejovsky, Amber Stubbs

$179.09

Introduction to Information Retrieval

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

$512.69

Model-Driven Software Engineering in Practice

Marco Brambilla, Jordi Cabot, Manuel Wimmer, Luciano Baresi

$385.59

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

$743.39

Software Language Engineering - 電子書，作者：Anneke Kleppe

Managing Time in Relational Databases

Tom Johnston, Randall Weis

$513.89

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

Bran Selic, Sebastien Gerard

$415.29

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

$577.29

Trends in Functional Programming Volume 6

Marko Van Eekelen

$308.59

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

$661.79

Principles of Data Integration

AnHai Doan, Alon Halevy, Zachary Ives

$563.19

Model Driven Engineering and Ontology Development

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

$745.59

Systematic Program Design

Yanhong Annie Liu

$371.69

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$666.49

The Relational Database Dictionary

C.J. Date

$74.89

Artificial Intelligence Programming

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

$609.44

Practical Foundations for Programming Languages

Robert Harper

$595.99

Foundations of Data Exchange

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

$243.49

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

$414.19

Linguistic Modeling of Information and Markup Languages

Andreas Witt, Dieter Metzing

$745.59

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

$586.49

Machine Learning Algorithms

Giuseppe Bonaccorso

$325.79

或透過 Kobo Plus 免費享用

Software Specification Methods

Henri Habrias, Marc Frappier

$1,279.00

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$331.39

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

$331.39

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$414.19

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$414.19

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$414.19

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

$331.39

Programming Languages and Systems

Peter Thiemann

$407.09

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$389.39

Transactions on Aspect-Oriented Software Development XII

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

$414.19

Functional and Logic Programming

Andy King, Oleg Kiselyov

$389.39

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

$745.59

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$745.59

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

$389.39

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$414.19

Principles of Security and Trust

Frank Piessens, Luca Viganò

$414.19

Trends in Functional Programming Volume 7

Henrik Nilsson

$309.49

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler

$745.59

Programming Languages and Systems

Hongseok Yang

$745.59

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

$1,159.89

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

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

$414.19

Small Dynamic Complexity Classes

Thomas Zeume

$414.19

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

$745.59

Emergent Web Intelligence: Advanced Semantic Technologies

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

$1,159.89

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$331.39

Semantic Computing

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

$1,121.00

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

$414.19

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$414.19

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

$1,159.89

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

$414.19

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$414.19

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

$414.19

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

$414.19

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

$1,725.00

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

$414.19

Ontologies

Dieter Fensel, M.L. Brodie

$414.19

你喜歡這本書嗎？

率先評價和評論此書籍！

這是我們的香港商店。

Program Specialization

為什麼要和我們一起閱讀？

簡介

關於本書

書籍詳細資料

如何閱讀

延伸閱讀

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

你喜歡這本書嗎？

電子書

有聲書

為什麼要和我們一起閱讀？

你喜歡這本書嗎？

最新部落格貼文

延伸閱讀