Small Dynamic Complexity Classes

An Investigation into Dynamic Descriptive Complexity

Thomas Zeume

Computer Science (R0)

電子書籍を購入

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783662543146
発売日　2017年2月17日
出版社：Springer Berlin Heidelberg

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

関連書籍

Natural Language Processing with Python

Steven Bird, Ewan Klein, Edward Loper

3,256 円

Elements of Programming

Paul McJones, Alexander Stepanov

5,506 円

From Mathematics to Generic Programming

Alexander Stepanov, Daniel Rose

3,417 円

Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway

17,321 円

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

9,194 円

A Cryptography Primer

Philip N. Klein

5,728 円

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

15,821 円

Software Language Engineering

Anneke Kleppe

3,417 円

Logic in Computer Science

Michael Huth, Mark Ryan

10,502 円

Introduction to Compiler Design

Torben Ægidius Mogensen

4,248 円

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

6,076 円

Software Abstractions: Logic, Language, and Analysis

Daniel Jackson

4,088 円

Mastering Text Mining with R

KUMAR ASHISH

3,961 円

または Kobo Plus なら無料

Managing Time in Relational Databases

Tom Johnston, Randall Weis

7,714 円

Modeling in Event-B

Jean-Raymond Abrial

24,413 円

Big Data Integration Theory

Zoran Majkić

6,076 円

Practical Foundations for Programming Languages

Robert Harper

12,684 円

Practical Foundations for Programming Languages

Robert Harper

12,274 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Foundations of Data Exchange

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak

5,183 円

FORTRAN 90 for Scientists and Engineers

Brian H. Hahn

7,200 円

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

4,557 円

The Relational Database Dictionary

C.J. Date

994 円

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

9,820 円

Formal Aspects of Component Software

José Proença, Markus Lumpe

6,076 円

The New Relational Database Dictionary

C.J. Date

2,446 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

6,076 円

Introduction to Scilab

Sandeep Nagar

5,469 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Principles of Data Integration

AnHai Doan, Alon Halevy, Zachary Ives

8,454 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

6,076 円

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

6,076 円

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

6,076 円

Beginning Julia Programming

Sandeep Nagar

9,116 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Mathematical Logic for Computer Science

Mordechai Ben-Ari

7,292 円

Semantics, Logics, and Calculi

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

6,076 円

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

6,076 円

Fundamentals of the Theory of Computation: Principles and Practice

Raymond Greenlaw, H. James Hoover

6,661 円

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

6,076 円

Artificial Intelligence Programming

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

13,297 円

Runtime Verification

Ezio Bartocci, Rupak Majumdar

6,076 円

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

9,934 円

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

6,928 円

Introduction to Octave

Sandeep Nagar

6,685 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Logic And Declarative Language

M. Downward

10,398 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Web Reasoning and Rule Systems

Magdalena Ortiz, Stefan Schlobach

6,076 円

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

6,076 円

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

7,900 円

Programming Languages and Operational Semantics

Maribel Fernández

4,861 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

6,076 円

Logic, Rewriting, and Concurrency

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

6,076 円

The Correctness-by-Construction Approach to Programming

Bruce W. Watson, Derrick G. Kourie

12,154 円

Logics in Computer Science

Fabio Mogavero

6,076 円

Theories of Programming Languages

John C. Reynolds

11,866 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Business Process Management

Josep Carmona, Gregor Engels, Akhil Kumar

6,076 円

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

6,076 円

Verified Functional Programming in Agda

Aaron Stump

6,563 円

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

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

日本のストアです。

Small Dynamic Complexity Classes

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Natural Language Processing with Python

Elements of Programming

From Mathematics to Generic Programming

Lisp in Small Pieces

Information Modeling and Relational Databases

A Cryptography Primer

Modern Compiler Implementation in Java

Software Language Engineering

Logic in Computer Science

Introduction to Compiler Design

Mathematics of Discrete Structures for Computer Science

Software Abstractions: Logic, Language, and Analysis

Mastering Text Mining with R

Managing Time in Relational Databases

Modeling in Event-B

Big Data Integration Theory

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

The Functional Approach to Programming

Foundations of Data Exchange

FORTRAN 90 for Scientists and Engineers

Markov Logic

The Relational Database Dictionary

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Formal Aspects of Component Software

The New Relational Database Dictionary

Scala: From a Functional Programming Perspective

Formal Modeling and Analysis of Timed Systems

Introduction to Scilab

Topics in Theoretical Computer Science

Principles of Data Integration

Systematic Program Design

Logic-Based Program Synthesis and Transformation

ModelEd, TestEd, TrustEd

Bridging Constraint Satisfaction and Boolean Satisfiability

Beginning Julia Programming

Tools and Algorithms for the Construction and Analysis of Systems

Mathematical Logic for Computer Science

Semantics, Logics, and Calculi

NASA Formal Methods

Fundamentals of the Theory of Computation: Principles and Practice

Logical Foundations of Computer Science

Artificial Intelligence Programming

Runtime Verification

Readings in Artificial Intelligence and Software Engineering

Compiler Design

Introduction to Octave

Formal Methods and Software Engineering

Logic And Declarative Language

Tools and Algorithms for the Construction and Analysis of Systems

Web Reasoning and Rule Systems

Theory and Practice of Formal Methods

NASA Formal Methods

Programming Languages and Operational Semantics

Logic-Based Program Synthesis and Transformation

Specification of Software Systems

Structured Object-Oriented Formal Language and Method

Logic, Rewriting, and Concurrency

The Correctness-by-Construction Approach to Programming

Logics in Computer Science

Theories of Programming Languages

Computer Aided Verification

Functional and Logic Programming

Programming Languages and Systems

Business Process Management

Interactive Theorem Proving

Verified Functional Programming in Agda

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

電子書籍

楽天Koboで読む理由

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

最新のブログ記事