Computer Logic

Design Principles and Applications

John Y. Hsu

Computer Science (R0)

電子書籍を購入

15 % 引き販売価格　7,149 円6,076 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781461300472
発売日　2015年4月23日
出版社：Springer New York

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

関連書籍

Harley Hahn's Emacs Field Guide

Harley Hahn

7,900 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

6,076 円

Beginning Julia Programming

Sandeep Nagar

9,116 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

6,076 円

Dynamic Logic. New Trends and Applications

Alexandre Madeira, Mário Benevides

6,076 円

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

5,469 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

6,076 円

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

6,076 円

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

6,076 円

Information Security

Yvo Desmedt

6,076 円

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

6,076 円

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

6,076 円

Business Process Management

Josep Carmona, Gregor Engels, Akhil Kumar

6,076 円

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

6,076 円

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

6,076 円

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

6,076 円

Essentials of Constraint Programming

Thom Frühwirth, Slim Abdennadher

6,076 円

Logic Programming and Nonmonotonic Reasoning

Marcello Balduccini, Tomi Janhunen

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

12,154 円

Graph Transformation

Francesco Parisi-Presicce, Bernhard Westfechtel

5,834 円

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

6,076 円

Semantics of Probabilistic Processes

Yuxin Deng

6,076 円

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

6,076 円

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Expanding Your Raspberry Pi

Mark Edward Soper

5,469 円

Mathematics in Computing

Gerard O’Regan

7,292 円

Intelligent Computer Mathematics

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

5,105 円

Graph Transformation

Rachid Echahed, Mark Minas

6,076 円

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch

6,076 円

Combinatorics on Words

Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme

6,076 円

Scalable Uncertainty Management

Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín

6,076 円

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

6,076 円

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

6,076 円

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

6,076 円

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Alessandro Antonucci, Laurence Cholvy, Odile Papini

6,076 円

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

6,076 円

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

6,076 円

Agents and Artificial Intelligence

Joaquim Filipe, Jaap van den Herik

6,076 円

Computer Science – Theory and Applications

Pascal Weil

6,076 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

その他の著書

Computer Architecture

John Y. Hsu

13,297 円

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

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

日本のストアです。

Computer Logic

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

アクセシビリティ対応

閲覧方法

関連書籍

Harley Hahn's Emacs Field Guide

Scala: From a Functional Programming Perspective

Computer Aided Verification

Beginning Julia Programming

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Dynamic Logic. New Trends and Applications

Applied Logic for Computer Scientists

Interactive Theorem Proving

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Logic and Its Applications

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Information Security

Logic, Rewriting, and Concurrency

Software Engineering for Resilient Systems

Business Process Management

Fundamental Approaches to Software Engineering

Critical Systems: Formal Methods and Automated Verification

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Unifying Theories of Programming

Critical Systems: Formal Methods and Automated Verification

Essentials of Constraint Programming

Logic Programming and Nonmonotonic Reasoning

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Graph Transformation

Semantics, Logics, and Calculi

Semantics of Probabilistic Processes

Unconventional Computation and Natural Computation

Descriptive Set Theoretic Methods in Automata Theory

Theoretical Aspects of Computing - ICTAC 2015

Expanding Your Raspberry Pi

Mathematics in Computing

Intelligent Computer Mathematics

Graph Transformation

Computer Safety, Reliability, and Security

Combinatorics on Words

Scalable Uncertainty Management

Formal Methods: Foundations and Applications

Application and Theory of Petri Nets and Concurrency

Software Engineering and Formal Methods

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Formal Aspects of Component Software

Implementation and Application of Automata

Inductive Logic Programming

Verified Software. Theories, Tools, and Experiments

Agents and Artificial Intelligence

Computer Science – Theory and Applications

Computer Aided Verification

その他の著書

Computer Architecture

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

電子書籍

楽天Koboで読む理由

その他の著書

Computer Architecture

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

最新のブログ記事

関連書籍

Harley Hahn's Emacs Field Guide

Scala: From a Functional Programming Perspective

Computer Aided Verification

Beginning Julia Programming

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Dynamic Logic. New Trends and Applications

Applied Logic for Computer Scientists

Interactive Theorem Proving

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Logic and Its Applications