Formal Methods and Software Engineering 電子書籍著者： Yi Li - EPUB

電子書籍を購入

15 % 引き販売価格　9,294 円7,900 円

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

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

ストアを選ぶ

購入する

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9789819975846
発売日　2023年11月9日
出版社：Springer Nature Singapore

出版社： Springer
ファイル形式　EPUB3
サイズ　25.24 MB
ダウンロードオプション:EPUB3 (Adobe DRM)

シリーズの内容

Computing and Combinatorics

Yi Li,Frank Stephan,Xiaoming Sun

関連書籍

Data Mining: Concepts and Techniques

Jiawei Han, Micheline Kamber, Jian Pei

7,925 円

Introduction to Information Retrieval

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

11,180 円

Machine Learning for Data Streams

Albert Bifet, Ricard Gavalda, Bernhard Pfahringer, Geoffrey Holmes

7,685 円

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

無料

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

無料

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

無料

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

無料

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

無料

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

無料

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

無料

Data Mining

Jiawei Han, Jian Pei, Hanghang Tong

7,507 円

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

無料

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Computer Aided Verification

Isil Dillig, Serdar Tasiran

無料

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Computer Aided Verification

Constantin Enea, Akash Lal

無料

Computer Aided Verification

Sharon Shoham, Yakir Vizel

無料

Data Analysis For Network Cyber-security

Niall M Adams, Nicholas A Heard

5,940 円

その他の著書

Solid-Liquid Two-Phase Flow in Centrifugal Pump

Zuchao Zhu, Yi Li, Zhe Lin

21,878 円

Spatiotemporal Dynamics of Meteorological and Agricultural Drought in China

Yi Li, Faliang Yuan, Qiang Zhou, Fenggui Liu, Asim Biswas, Guang Yang, Zhihao Liao

18,231 円

Verification and Evaluation of Computer and Communication Systems

Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar

6,076 円

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan, Sofiène Tahar

27,503 円

Chinese in Colonial Burma

Yi Li

9,723 円

Modern Chinese New Poetry and Classical Poetry Traditions

Yi Li

16,327 円

Plant Gene Containment

Melvin J. Oliver, Yi Li

23,825 円

Nano-Bio- Electronic, Photonic and MEMS Packaging

C. P.(Ching-Ping) Wong, Kyoung-sik (Jack) Moon, Yi Li

21,878 円

Heterogeneous Facial Analysis and Synthesis

Yi Li, Huaibo Huang, Ran He, Tieniu Tan

6,076 円

Computing and Combinatorics

Yi Li, Frank Stephan, Xiaoming Sun

11,911 円

Plant Biotechnology in Ornamental Horticulture

Yi Li, Yan Pei

21,137 円

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

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

日本のストアです。

Formal Methods and Software Engineering

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Computing and Combinatorics

関連書籍

Data Mining: Concepts and Techniques

Introduction to Information Retrieval

Machine Learning for Data Streams

Formal Methods

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Data Mining

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Data Analysis For Network Cyber-security

その他の著書

Solid-Liquid Two-Phase Flow in Centrifugal Pump

Spatiotemporal Dynamics of Meteorological and Agricultural Drought in China

Verification and Evaluation of Computer and Communication Systems

Formalized Probability Theory and Applications Using Theorem Proving

Chinese in Colonial Burma

Modern Chinese New Poetry and Classical Poetry Traditions

Plant Gene Containment

Nano-Bio- Electronic, Photonic and MEMS Packaging

Heterogeneous Facial Analysis and Synthesis

Computing and Combinatorics

Plant Biotechnology in Ornamental Horticulture

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

電子書籍

楽天Koboで読む理由

関連書籍

Data Mining: Concepts and Techniques

Introduction to Information Retrieval

Machine Learning for Data Streams

Formal Methods

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Data Mining

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Data Analysis For Network Cyber-security

その他の著書

Solid-Liquid Two-Phase Flow in Centrifugal Pump

Spatiotemporal Dynamics of Meteorological and Agricultural Drought in China

Verification and Evaluation of Computer and Communication Systems

Formalized Probability Theory and Applications Using Theorem Proving

Chinese in Colonial Burma

Modern Chinese New Poetry and Classical Poetry Traditions

Plant Gene Containment

Nano-Bio- Electronic, Photonic and MEMS Packaging

Heterogeneous Facial Analysis and Synthesis

Computing and Combinatorics

Plant Biotechnology in Ornamental Horticulture

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

最新のブログ記事