Finite Ordered Sets

Concepts, Results and Uses

Nathalie Caspard,Bruno Leclerc,Bernard Monjardet

Encyclopedia of Mathematics and its Applications

電子書籍を購入

20 % 引き販売価格　21,651 円17,321 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781107086777
発売日　2015年1月10日
出版社：Cambridge University Press

出版社： Cambridge University Press
ファイル形式　EPUB2
サイズ　13.56 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Proofs and Algorithms

Gilles Dowek

4,248 円

Set Theory

Abhijit Dasgupta

9,723 円

Paraconsistency: Logic and Applications

Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

12,154 円

Uncertainty Reasoning for the Semantic Web III

Nicola Fanizzi, Kathryn B. Laskey, Fernando Bobillo, Thomas Lukasiewicz, Paulo C.G. Costa, Michael Pool, Matthias Nickles, Kenneth J. Laskey, Claudia d'Amato, Rommel N. Carvalho

6,076 円

Principles and Practice of Constraint Programming

Michel Rueher

12,154 円

Truth and Falsehood

Yaroslav Shramko, Heinrich Wansing

12,154 円

The Argument of Mathematics

Andrew Aberdein, Ian J Dove

12,154 円

Implementation and Application of Automata

Arnaud Carayol, Cyril Nicaud

6,076 円

Artificial Intelligence in Medicine

Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi

7,900 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Submodular Functions and Optimization

Satoru Fujishige

13,300 円

KI 2017: Advances in Artificial Intelligence

Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm

6,076 円

On the Move to Meaningful Internet Systems: OTM 2016 Workshops

Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal

6,076 円

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

6,076 円

Cellular Automata and Discrete Complex Systems

Matthew Cook, Turlough Neary

6,076 円

Developments in Language Theory

Émilie Charlier, Julien Leroy, Michel Rigo

6,076 円

Combinatorial Algorithms

Mirka Miller, Dalibor Froncek, Kratochvíl Jan

6,076 円

Relational and Algebraic Methods in Computer Science

Peter Höfner, Damien Pous, Georg Struth

6,076 円

Health Information Science

Siuly Siuly, Zhisheng Huang, Uwe Aickelin, Rui Zhou, Hua Wang, Yanchun Zhang, Stanislav Klimenko

6,076 円

New Frontiers in Artificial Intelligence

Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki

6,076 円

Mereology and the Sciences

Claudio Calosi, Pierluigi Graziani

20,662 円

Digital Libraries: Data, Information, and Knowledge for Digital Lives

Sally Jo Cunningham, Fabio Crestani, Songphan Choemprayong

6,076 円

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

6,076 円

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

6,076 円

Nonmeasurable Sets and Functions

Alexander Kharazishvili

16,500 円

Formal Methods and Software Engineering

Luke Ong, Zhenhua Duan

6,076 円

Fuzziness in Information Systems

Miroslav Hudec

12,154 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

6,076 円

Runtime Verification

Ezio Bartocci, Rupak Majumdar

6,076 円

Interpreted Languages and Compositionality

Marcus Kracht

12,154 円

Sets And Computations

Sy-david Friedman, Dilip Raghavan, Yue Yang

8,820 円

Multi-Agent Systems and Agreement Technologies

Michael Rovatsos, George Vouros, Vicente Julian

6,076 円

Logic: a Brief Course

Daniele Mundici

6,076 円

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

5,105 円

Logic, Mathematics, and Computer Science

Yves Nievergelt

5,712 円

Effective Mathematics of the Uncountable

Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller

21,685 円

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

6,076 円

Crystal Chemistry: From Basics To Tools For Materials Creation

Gerard Ferey

4,512 円

Readings in Formal Epistemology

Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem, Henrik Boensvang, Rasmus K. Rendsvig

13,369 円

Artificial General Intelligence

Tom Everitt, Ben Goertzel, Alexey Potapov

6,685 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)

Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré

6,076 円

Computability and Complexity

Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond

6,076 円

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

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

日本のストアです。

Finite Ordered Sets

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Proofs and Algorithms

Set Theory

Paraconsistency: Logic and Applications

Uncertainty Reasoning for the Semantic Web III

Principles and Practice of Constraint Programming

Truth and Falsehood

The Argument of Mathematics

Implementation and Application of Automata

Artificial Intelligence in Medicine

Functional and Logic Programming

Hardware and Software: Verification and Testing

Submodular Functions and Optimization

KI 2017: Advances in Artificial Intelligence

On the Move to Meaningful Internet Systems: OTM 2016 Workshops

Perspectives of System Informatics

Unifying Theories of Programming

ModelEd, TestEd, TrustEd

Cellular Automata and Discrete Complex Systems

Developments in Language Theory

Combinatorial Algorithms

Relational and Algebraic Methods in Computer Science

Health Information Science

New Frontiers in Artificial Intelligence

Mereology and the Sciences

Digital Libraries: Data, Information, and Knowledge for Digital Lives

Interactive Theorem Proving

Structured Object-Oriented Formal Language and Method

Nonmeasurable Sets and Functions

Formal Methods and Software Engineering

Fuzziness in Information Systems

Computer Aided Verification

Unconventional Computation and Natural Computation

Runtime Verification

Interpreted Languages and Compositionality

Sets And Computations

Multi-Agent Systems and Agreement Technologies

Logic: a Brief Course

Trends in Functional Programming

Logic, Mathematics, and Computer Science

Effective Mathematics of the Uncountable

Computer Aided Verification

Crystal Chemistry: From Basics To Tools For Materials Creation

Readings in Formal Epistemology

Artificial General Intelligence

Static Analysis

Trustworthy Global Computing

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)

Computability and Complexity

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

電子書籍

楽天Koboで読む理由

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

最新のブログ記事

関連書籍

Proofs and Algorithms

Set Theory

Paraconsistency: Logic and Applications

Uncertainty Reasoning for the Semantic Web III

Principles and Practice of Constraint Programming

Truth and Falsehood

The Argument of Mathematics

Implementation and Application of Automata

Artificial Intelligence in Medicine

Functional and Logic Programming

Hardware and Software: Verification and Testing

Submodular Functions and Optimization

KI 2017: Advances in Artificial Intelligence

On the Move to Meaningful Internet Systems: OTM 2016 Workshops

Perspectives of System Informatics

Unifying Theories of Programming

ModelEd, TestEd, TrustEd

Cellular Automata and Discrete Complex Systems