Tractability

Practical Approaches to Hard Problems

Lucas Bordeaux,Youssef Hamadi,Pushmeet Kohli

電子書籍を購入

20 % 引き販売価格　30,517 円24,413 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781107720558
発売日　2014年1月23日
出版社：Cambridge University Press

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

関連書籍

Introduction to Information Retrieval

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

10,911 円

P, NP, and NP-Completeness

Oded Goldreich

7,910 円

An Introduction to Machine Learning

Miroslav Kubat

6,076 円

Modeling in Event-B

Jean-Raymond Abrial

24,413 円

Data Mining

Eibe Frank, Ian H. Witten

7,300 円

Markov Logic

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

4,557 円

Applied Integer Programming

Der-San Chen, Robert G. Batson, Yu Dang

21,429 円

Principles of Data Mining

Max Bramer

5,464 円

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka

27,900 円

The Design of Approximation Algorithms

David P. Williamson, David B. Shmoys

11,593 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

6,076 円

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić

6,076 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

Semantics, Logics, and Calculi

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

6,076 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

6,076 円

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

6,076 円

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

6,076 円

Language and Automata Theory and Applications

Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek

6,076 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Mathematical Foundations of Computer Science 2015

Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Theory and Practice of Formal Methods

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

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

12,154 円

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

21,000 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

6,076 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Term Rewriting and All That

Franz Baader, Tobias Nipkow

10,365 円

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

6,076 円

Recent Advances in Algorithmic Differentiation

Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther

12,154 円

Facets of Combinatorial Optimization

Michael Jünger, Gerhard Reinelt

12,154 円

SOFSEM 2016: Theory and Practice of Computer Science

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania

6,076 円

Numerical Computations with GPUs

Volodymyr Kindratenko

18,231 円

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

12,154 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Advanced Finite Element Simulation with MSC Marc

Andreas Öchsner, Zia Javanbakht

12,154 円

Discrete Optimization and Operations Research

Yury Kochetov, Michael Khachay, Vladimir Beresnev, Evgeni Nurminski, Panos Pardalos

6,076 円

The Inverse Method

Romain Soulat, Etienne André

22,757 円

Graph Transformation

Juan de Lara, Detlef Plump

6,076 円

Performance Evaluation by Simulation and Analysis with Applications to Computer Networks

Ken Chen

23,052 円

Formal Aspects of Component Software

José Proença, Markus Lumpe

6,076 円

Inductive Logic Programming

Jesse Davis, Jan Ramon

5,834 円

Introduction to Octave

Sandeep Nagar

6,685 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Reversible Computation

Simon Devitt, Ivan Lanese

6,076 円

Probabilistic Graphical Models

Luis Enrique Sucar

5,712 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

6,076 円

Linear Programming Using MATLAB®

Nikolaos Ploskas, Nikolaos Samaras

13,369 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Condition

Peter Bürgisser, Felipe Cucker

17,016 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Static Analysis

Xavier Rival

6,076 円

Implementation and Application of Automata

Frank Drewes

6,076 円

Principles and Practice of Constraint Programming

J. Christopher Beck

6,076 円

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 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

6,076 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Introduction to Scilab

Sandeep Nagar

5,469 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

12,154 円

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

4,862 円

Combinatorial Optimization

Raffaele Cerulli, Satoru Fujishige, A. Ridha Mahjoub

6,076 円

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

6,076 円

Transactions on Computational Collective Intelligence XIV

Ngoc Thanh Nguyen

6,076 円

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

6,076 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

その他の著書

Combinatorial Search: From Algorithms to Systems

Youssef Hamadi

6,076 円

Computer Vision and Machine Learning with RGB-D Sensors

Ling Shao, Jungong Han, Pushmeet Kohli, Zhengyou Zhang

6,076 円

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

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

日本のストアです。

Tractability

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Introduction to Information Retrieval

P, NP, and NP-Completeness

An Introduction to Machine Learning

Modeling in Event-B

Data Mining

Markov Logic

Applied Integer Programming

Principles of Data Mining

Handbook of Process Algebra

The Design of Approximation Algorithms

Machine Learning Algorithms

Verification, Model Checking, and Abstract Interpretation

Automated Technology for Verification and Analysis

Theoretical Aspects of Computing - ICTAC 2015

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

SOFSEM 2017: Theory and Practice of Computer Science

Inductive Logic Programming

Tools and Algorithms for the Construction and Analysis of Systems

Modeling and Verification of Real-time Systems

Formal Methods and Software Engineering

Computer Aided Verification

Formal Aspects of Component Software

Language and Automata Theory and Applications

Concurrency, Security, and Puzzles

Theory and Applications of Satisfiability Testing – SAT 2016

Semantics, Logics, and Calculi

Interactive Theorem Proving

Theoretical Aspects of Computing – ICTAC 2016

Advances in Cryptology – ASIACRYPT 2015

Software Engineering and Formal Methods

NASA Formal Methods

Language and Automata Theory and Applications

Logic for Programming, Artificial Intelligence, and Reasoning

Trustworthy Global Computing

Mathematical Foundations of Computer Science 2015

Advances in Cryptology – EUROCRYPT 2017

Theory and Practice of Formal Methods

Unifying Theories of Programming

Theory of Cryptography

Handbook of Constraint Programming

Model Checking Software

Formal Techniques for Safety-Critical Systems

Theory of Cryptography

Tests and Proofs

Term Rewriting and All That

Progress in Cryptology - AFRICACRYPT 2017

Recent Advances in Algorithmic Differentiation

Facets of Combinatorial Optimization

SOFSEM 2016: Theory and Practice of Computer Science

Numerical Computations with GPUs

Provably Correct Systems

Tools and Algorithms for the Construction and Analysis of Systems

Advanced Finite Element Simulation with MSC Marc

Discrete Optimization and Operations Research

The Inverse Method

Graph Transformation

Performance Evaluation by Simulation and Analysis with Applications to Computer Networks

Formal Aspects of Component Software

Inductive Logic Programming

Introduction to Octave

Advances in Cryptology – EUROCRYPT 2017

Formal Modeling and Analysis of Timed Systems

Formal Techniques for Safety-Critical Systems

Reversible Computation

Probabilistic Graphical Models

Topics in Theoretical Computer Science

Formal Aspects of Component Software

Linear Programming Using MATLAB®

Trustworthy Global Computing

Condition

Advances in Cryptology – EUROCRYPT 2016