Software Specification Methods

Henri Habrias,Marc Frappier

電子書籍を購入

26,462 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：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

2,042 円

Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway

17,321 円

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

9,194 円

Introduction to Information Retrieval

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

10,911 円

Natural Language Annotation for Machine Learning

James Pustejovsky, Amber Stubbs

2,895 円

Relational Theory for Computer Professionals

C.J. Date

2,895 円

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

3,417 円

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

3,961 円

または Kobo Plus なら無料

Object-Oriented Analysis and Design for Information Systems

Raul Sidnei Wazlawick

5,705 円

Database Modeling and Design

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

6,762 円

Machine Learning for the Web

Andrea Isoni, Steve Essinger

4,994 円

または Kobo Plus なら無料

Python Machine Learning By Example

Yuxi (Hayden) Liu, Ivan Idris

4,994 円

または Kobo Plus なら無料

Trends in Functional Programming Volume 6

Marko Van Eekelen

6,268 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

Information Retrieval Architecture and Algorithms

Gerald Kowalski

6,076 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Artificial Intelligence Programming

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

13,297 円

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

11,109 円

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

6,076 円

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

48,619 円

Artificial Intelligence Interview Questions You'll Most Likely Be Asked

Vibrant Publishers

2,203 円

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

Megan Squire

4,994 円

または Kobo Plus なら無料

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

22,757 円

Machine Learning for Developers

Rodolfo Bonnin

4,391 円

または Kobo Plus なら無料

Formal Development of a Network-Centric RTOS

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

13,369 円

Practical Machine Learning

Sunila Gollapudi

4,649 円

または Kobo Plus なら無料

Ontologies

Dieter Fensel, M.L. Brodie

6,076 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Developing High Quality Data Models

Matthew West

7,185 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

The Semantic Web. Latest Advances and New Domains

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

12,154 円

Emergent Web Intelligence: Advanced Information Retrieval

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

18,231 円

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

6,076 円

Semantic Computing

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

22,917 円

The Semantic Web

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

10,938 円

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

4,862 円

Transactions on Aspect-Oriented Software Development XII

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

6,076 円

Fundamentals of Data Warehouses

Matthias Jarke, Maurizio Lenzerini, Yannis Vassiliou, Panos Vassiliadis

6,076 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Trends in Functional Programming Volume 7

Henrik Nilsson

6,376 円

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

5,105 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Principles of Security and Trust

Frank Piessens, Luca Viganò

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Formal Methods Applied to Complex Systems

Jean-Louis Boulanger

29,007 円

Advances in Databases and Information Systems

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

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

5,105 円

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

6,076 円

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

6,076 円

The Semantic Web: ESWC 2015 Satellite Events

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

6,076 円

Database and Expert Systems Applications

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

6,076 円

Static Analysis of Software

Jean-Louis Boulanger

26,137 円

Semantic Web-based Intelligent Geospatial Web Services

Peng Yue

6,076 円

Industrial Use of Formal Methods

Jean-Louis Boulanger

23,077 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

6,076 円

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 円

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

4,248 円

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

4,862 円

Natural Language Processing with Java and LingPipe Cookbook

Breck Baldwin, Krishna Dayanidhi

4,056 円

または Kobo Plus なら無料

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Interactive 3D Multimedia Content

Wojciech Cellary, Krzysztof Walczak

12,154 円

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

18,231 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Business Intelligence

Esteban Zimányi

6,076 円

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

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

日本のストアです。

Software Specification Methods

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

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

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