這是我們的香港商店。

您似乎位於美國。您需要香港地址才能在我們的香港商店中選購。前往我們的美國商店以繼續選購。

選擇另一家商店前往美國商店前往美國商店選擇另一家商店

Software Specification Methods

Henri Habrias,Marc Frappier

購買電子書

$1,279.00HKD

您正在香港 Kobo商店

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

選擇國家商店

立即購買贈送書籍

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

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

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

豐富且相關的書籍目錄

免費的 Kobo 閱讀應用程式

簡介

類別

關於本書

語言：English
ISBN：9781118613948
發行日期：2013年6月1日
出版商：Wiley

出版單位：Wiley-ISTE
檔案格式：EPUB2
檔案大小：3.86 MB
下載選項：EPUB2 (Adobe DRM)

延伸閱讀

Learning scikit-learn: Machine Learning in Python

Raúl Garreta, Guillermo Moncecchi

$133.89

Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway

$813.79

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

$612.39

Introduction to Information Retrieval

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

$512.69

Natural Language Annotation for Machine Learning

James Pustejovsky, Amber Stubbs

$179.09

Relational Theory for Computer Professionals

C.J. Date

$190.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

$180.49

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

$258.29

或透過 Kobo Plus 免費享用

Object-Oriented Analysis and Design for Information Systems

Raul Sidnei Wazlawick

$379.99

Database Modeling and Design

Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish

$450.39

Machine Learning for the Web

Andrea Isoni, Steve Essinger

$325.79

或透過 Kobo Plus 免費享用

Python Machine Learning By Example

Yuxi (Hayden) Liu, Ivan Idris

$325.79

或透過 Kobo Plus 免費享用

Trends in Functional Programming Volume 6

Marko Van Eekelen

$308.59

Systematic Program Design

Yanhong Annie Liu

$371.69

Information Retrieval Architecture and Algorithms

Gerald Kowalski

$414.19

Machine Learning Algorithms

Giuseppe Bonaccorso

$325.79

或透過 Kobo Plus 免費享用

Artificial Intelligence Programming

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

$609.44

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

$886.09

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

$414.19

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

$3,222.89

Artificial Intelligence Interview Questions You'll Most Likely Be Asked

Vibrant Publishers

$155.58

Mastering Data Mining with Python - Find patterns hidden in your data

Megan Squire

$325.79

或透過 Kobo Plus 免費享用

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

$1,113.00

Machine Learning for Developers

Rodolfo Bonnin

$287.09

或透過 Kobo Plus 免費享用

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

$828.49

Practical Machine Learning

Sunila Gollapudi

$303.29

或透過 Kobo Plus 免費享用

Ontologies

Dieter Fensel, M.L. Brodie

$414.19

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$414.19

Developing High Quality Data Models

Matthew West

$478.69

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$331.39

The Semantic Web. Latest Advances and New Domains

Harald Sack, Eva Blomqvist, Mathieu d'Aquin, Chiara Ghidini, Simone Paolo Ponzetto, Christoph Lange

$745.59

Emergent Web Intelligence: Advanced Information Retrieval

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

$1,159.89

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

$414.19

Semantic Computing

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

$1,121.00

The Semantic Web

Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig

$745.59

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

$331.39

Transactions on Aspect-Oriented Software Development XII

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

$414.19

Fundamentals of Data Warehouses

Matthias Jarke, Maurizio Lenzerini, Yannis Vassiliou, Panos Vassiliadis

$414.19

Functional and Logic Programming

Andy King, Oleg Kiselyov

$389.39

Trends in Functional Programming Volume 7

Henrik Nilsson

$309.49

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

$331.39

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

$414.19

Principles of Security and Trust

Frank Piessens, Luca Viganò

$414.19

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$414.19

Formal Methods Applied to Complex Systems

Jean-Louis Boulanger

$1,419.00

Advances in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos

$414.19

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$414.19

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

$331.39

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

$414.19

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

$414.19

The Semantic Web: ESWC 2015 Satellite Events

Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann

$414.19

Database and Expert Systems Applications

Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker

$414.19

Static Analysis of Software

Jean-Louis Boulanger

$1,263.00

Semantic Web-based Intelligent Geospatial Web Services

Peng Yue

$414.19

Industrial Use of Formal Methods

Jean-Louis Boulanger

$1,129.00

Programming Languages and Systems

Peter Thiemann

$407.09

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$389.39

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$331.39

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

$414.19

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

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

$286.49

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

$325.69

Natural Language Processing with Java and LingPipe Cookbook

Breck Baldwin, Krishna Dayanidhi

$207.79

或透過 Kobo Plus 免費享用

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$414.19

Interactive 3D Multimedia Content

Wojciech Cellary, Krzysztof Walczak

$745.59

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

$1,159.89

Small Dynamic Complexity Classes

Thomas Zeume

$414.19

Business Intelligence

Esteban Zimányi

$414.19

你喜歡這本書嗎？

率先評價和評論此書籍！

這是我們的香港商店。

Software Specification Methods

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

簡介

關於本書

書籍詳細資料

如何閱讀

延伸閱讀

Learning scikit-learn: Machine Learning in Python

Lisp in Small Pieces

Information Modeling and Relational Databases

Introduction to Information Retrieval

Natural Language Annotation for Machine Learning

Relational Theory for Computer Professionals

Model-Driven Software Engineering in Practice

Modern Compiler Implementation in Java

Software Language Engineering

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

Mastering Text Mining with R

Object-Oriented Analysis and Design for Information Systems

Database Modeling and Design

Machine Learning for the Web

Python Machine Learning By Example

Trends in Functional Programming Volume 6

Systematic Program Design

Information Retrieval Architecture and Algorithms

Machine Learning Algorithms

Artificial Intelligence Programming

Multilingual Natural Language Processing Applications

Bridging Constraint Satisfaction and Boolean Satisfiability

Handbook of Big Data Technologies

Artificial Intelligence Interview Questions You'll Most Likely Be Asked

Mastering Data Mining with Python - Find patterns hidden in your data

Model-Driven and Software Product Line Engineering

Machine Learning for Developers

Formal Development of a Network-Centric RTOS

Practical Machine Learning

Ontologies

Specification of Software Systems

Developing High Quality Data Models

Trustworthy Global Computing

The Semantic Web. Latest Advances and New Domains

Emergent Web Intelligence: Advanced Information Retrieval

Modelling Foundations and Applications

Semantic Computing

The Semantic Web

Web Services and Formal Methods

Transactions on Aspect-Oriented Software Development XII

Fundamentals of Data Warehouses

Functional and Logic Programming

Trends in Functional Programming Volume 7

Practical Aspects of Declarative Languages

Tests and Proofs

Principles of Security and Trust

Formal Methods and Software Engineering

Formal Methods Applied to Complex Systems

Advances in Databases and Information Systems

Trustworthy Global Computing

Trends in Functional Programming

Advances in Databases and Information Systems

Reasoning Web. Web Logic Rules

The Semantic Web: ESWC 2015 Satellite Events

Database and Expert Systems Applications

Static Analysis of Software

Semantic Web-based Intelligent Geospatial Web Services

Industrial Use of Formal Methods

Programming Languages and Systems

Declarative Programming and Knowledge Management

Practical Aspects of Declarative Languages

Structured Object-Oriented Formal Language and Method

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

Introduction to the Theory of Programming Languages

Formal Methods: Foundations and Applications

Natural Language Processing with Java and LingPipe Cookbook

Formal Aspects of Component Software

Interactive 3D Multimedia Content

Clustering and Information Retrieval

Small Dynamic Complexity Classes

Business Intelligence

你喜歡這本書嗎？