Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

電子書籍,電子書籍

Igor Potapov,Jiří Srba,Kim Guldstrand Larsen

Springer Nature Proceedings Computer Science

電子書籍を購入

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319459943
発売日　2016年9月30日
出版社：Springer International Publishing

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

シリーズの内容

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen,Tim Willemse

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang,Kim Guldstrand Larsen,Oleg Sokolsky

関連書籍

Computational Complexity

Sanjeev Arora, Boaz Barak

10,911 円

Art of Computer Programming, The

Donald Knuth

11,012 円

Cryptographic Boolean Functions and Applications

Pantelimon Stanica, Thomas W. Cusick

6,762 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Randomized Algorithms

Rajeev Motwani, Prabhakar Raghavan

14,185 円

Handbook of Process Algebra

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

27,900 円

Graphs, Networks and Algorithms

Dieter Jungnickel

7,900 円

Graphical Models with R

Steffen Lauritzen, David Edwards, Søren Højsgaard

9,723 円

Algorithms for Sparsity-Constrained Optimization

Sohail Bahmani

18,231 円

Pattern Recognition and Machine Learning

Y. Anzai

15,000 円

Facets of Combinatorial Optimization

Michael Jünger, Gerhard Reinelt

12,154 円

Computation, Cryptography, and Network Security

Nicholas J. Daras, Michael Th. Rassias

12,154 円

Markov Logic

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

4,557 円

Nonlinear Model Predictive Control

Lars Grüne, Jürgen Pannek

19,447 円

Models, Algorithms, and Technologies for Network Analysis

Valery A. Kalyagin, Panos M. Pardalos, Boris I. Goldengorin

12,154 円

Language and Automata Theory and Applications

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

6,076 円

Language and Automata Theory and Applications

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

6,076 円

Computer Science – Theory and Applications

Pascal Weil

6,076 円

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

6,076 円

Concepts of Combinatorial Optimization, Volume 1

Vangelis Th. Paschos

26,462 円

Mathematical Foundations of Computer Science 2015

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

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

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 円

Stream Ciphers

Andreas Klein

9,116 円

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

6,076 円

Concepts of Combinatorial Optimization

Vangelis Th. Paschos

24,838 円

Communicating Embedded Systems

Claude Jard, Olivier H. Roux

23,052 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Fast Software Encryption

Thomas Peyrin

10,331 円

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

6,076 円

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

5,834 円

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

24,026 円

Arithmetic of Finite Fields

Sylvain Duquesne, Svetla Petkova-Nikova

6,076 円

Physically Unclonable Functions

Roel Maes

6,076 円

Mathematical Foundations of Computer Science 2015

Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella

6,076 円

Fundamentals of Computation Theory

Igor Walukiewicz, Adrian Kosowski

6,076 円

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

6,076 円

Petri Nets

Michel Diaz

52,111 円

Solving Non-standard Packing Problems by Global Optimization and Heuristics

Giorgio Fasano

6,076 円

Cryptography and Coding

Jens Groth

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

12,154 円

Integer Programming and Combinatorial Optimization

Quentin Louveaux, Martin Skutella

6,076 円

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

6,076 円

Mathematical Aspects of Computer and Information Sciences

Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap

6,076 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Theory and Applications of Models of Computation

Silvia Steila, T.V. Gopal, Gerhard Jäger

6,076 円

Implementation and Application of Automata

Frank Drewes

6,076 円

Paradigms of Combinatorial Optimization

Vangelis Th. Paschos

44,319 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

6,076 円

Fast Software Encryption

Shiho Moriai

6,076 円

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

6,076 円

Algorithms and Computation

Khaled Elbassioni, Kazuhisa Makino

10,696 円

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

6,076 円

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

6,076 円

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

6,076 円

Computability and Complexity

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

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Co-Clustering

Mohamed Nadif, Gérard Govaert

23,052 円

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

6,076 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Control and Estimation of Piecewise Affine Systems

Jun Xu, Lihua Xie

21,147 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Mohammed Taghi Hajiaghayi

6,076 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Markov Models for Pattern Recognition

Gernot A. Fink

6,928 円

Recent Trends in Algebraic Development Techniques

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

4,862 円

Public-Key Cryptography – PKC 2016

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

6,076 円

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

Tiziana Margaria, Bernhard Steffen

12,154 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

6,076 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Computer Safety, Reliability, and Security

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

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Generalized Principal Component Analysis

René Vidal, Yi Ma, Shankar Sastry

8,507 円

Hybrid Metaheuristics

Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Mario Pavone, El-Ghazali Talbi, Alessandro Di Nuovo

6,076 円

Quantitative Evaluation of Systems

Gul Agha, Benny Van Houdt

6,076 円

Inductive Logic Programming

Jesse Davis, Jan Ramon

5,834 円

Reversible Computation

Simon Devitt, Ivan Lanese

6,076 円

Discrete Event Systems in Dioid Algebra and Conventional Algebra

Philippe Declerck

23,052 円

Fast Software Encryption

Gregor Leander

6,076 円

Coding Theory and Applications

Ángela I. Barbero, Vitaly Skachek, Øyvind Ytrehus

6,076 円

Pursuit of the Universal

Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska

6,076 円

Learning and Intelligent Optimization

Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion

6,076 円

その他の著書

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

6,076 円