Reachability Problems

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

e-book,e-book

Igor Potapov,Jiří Srba,Kim Guldstrand Larsen

Springer Nature Proceedings Computer Science

Buy the eBook

Économise 19 %Prix catalogue : $80.62 CAD.$64.99CAD

Vous êtes dans la boutique Canada

Pas en Canada? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Acheter Offrir un livre

Gagnez des Kobo Super Points!

Obtenez-le pour 33200 Super Points Kobo en devenant membre VIPEn savoir plus

En savoir plus sur l'alignement des prix

Pourquoi lire avec nous ?

Kobo permet aux amateurs de livres de lire davantage.

Expérience de lecture améliorée avec nos liseuses Kobo

Un catalogue de livres riche et pertinent

Application de lecture gratuite Kobo

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783319459943
Date de parution :30 sept. 2016
Éditeur :Springer International Publishing

Marque éditoriale :Springer
Format de fichier :EPUB2
Taille de fichier :3.86 MB
Options de téléchargement :EPUB2 (Adobe DRM)

Dans cette série

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

Lectures semblables

Computational Complexity

Sanjeev Arora, Boaz Barak

VIP$66.23

Art of Computer Programming, The

Donald Knuth

VIP$68.39

Cryptographic Boolean Functions and Applications

Pantelimon Stanica, Thomas W. Cusick

VIP$51.11

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

VIP$148.31

Randomized Algorithms

Rajeev Motwani, Prabhakar Raghavan

VIP$86.39

Handbook of Process Algebra

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

VIP$270.71

Graphs, Networks and Algorithms

Dieter Jungnickel

VIP$75.50

Graphical Models with R

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

VIP$92.87

Algorithms for Sparsity-Constrained Optimization

Sohail Bahmani

VIP$162.62

Pattern Recognition and Machine Learning

Y. Anzai

VIP$58.31

Facets of Combinatorial Optimization

Michael Jünger, Gerhard Reinelt

VIP$104.48

Computation, Cryptography, and Network Security

Nicholas J. Daras, Michael Th. Rassias

VIP$104.48

Markov Logic

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

VIP$33.02

Nonlinear Model Predictive Control

Lars Grüne, Jürgen Pannek

VIP$174.23

Models, Algorithms, and Technologies for Network Analysis

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

VIP$104.48

Language and Automata Theory and Applications

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

VIP$58.04

Language and Automata Theory and Applications

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

VIP$58.04

Computer Science – Theory and Applications

Pascal Weil

VIP$58.04

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

VIP$58.04

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

VIP$58.04

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

VIP$58.04

Concepts of Combinatorial Optimization, Volume 1

Vangelis Th. Paschos

$168.99

Mathematical Foundations of Computer Science 2015

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

VIP$58.04

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

VIP$58.04

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

VIP$58.04

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

VIP$58.04

SOFSEM 2017: Theory and Practice of Computer Science

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

VIP$58.04

Stream Ciphers

Andreas Klein

VIP$74.78

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

VIP$58.04

Concepts of Combinatorial Optimization

Vangelis Th. Paschos

$186.99

Communicating Embedded Systems

Claude Jard, Olivier H. Roux

$174.99

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

VIP$58.04

Fast Software Encryption

Thomas Peyrin

VIP$98.72

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

VIP$58.04

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

VIP$54.62

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

$180.99

Arithmetic of Finite Fields

Sylvain Duquesne, Svetla Petkova-Nikova

VIP$58.04

Physically Unclonable Functions

Roel Maes

VIP$58.04

Mathematical Foundations of Computer Science 2015

Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella

VIP$58.04

Fundamentals of Computation Theory

Igor Walukiewicz, Adrian Kosowski

VIP$58.04

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

VIP$58.04

Petri Nets

Michel Diaz

$391.99

Solving Non-standard Packing Problems by Global Optimization and Heuristics

Giorgio Fasano

VIP$58.04

Cryptography and Coding

Jens Groth

VIP$58.04

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

VIP$58.04

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

VIP$104.48

Integer Programming and Combinatorial Optimization

Quentin Louveaux, Martin Skutella

VIP$58.04

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

VIP$58.04

Mathematical Aspects of Computer and Information Sciences

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

VIP$58.04

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

VIP$58.04

Theory and Applications of Models of Computation

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

VIP$58.04

Implementation and Application of Automata

Frank Drewes

VIP$58.04

Paradigms of Combinatorial Optimization

Vangelis Th. Paschos

$333.99

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

VIP$58.04

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

VIP$58.04

Fast Software Encryption

Shiho Moriai

VIP$58.04

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

VIP$58.04

Algorithms and Computation

Khaled Elbassioni, Kazuhisa Makino

VIP$101.06

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

VIP$58.04

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

VIP$58.04

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

VIP$58.04

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

VIP$104.48

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

VIP$58.04

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

VIP$58.04

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

VIP$58.04

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

VIP$58.04

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

VIP$58.04

Computability and Complexity

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

VIP$58.04

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

VIP$58.04

Co-Clustering

Mohamed Nadif, Gérard Govaert

$174.99

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

Tiziana Margaria, Bernhard Steffen

VIP$58.04

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

VIP$104.48

Control and Estimation of Piecewise Affine Systems

Jun Xu, Lihua Xie

VIP$159.11

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Mohammed Taghi Hajiaghayi

VIP$58.04

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

VIP$58.04

Markov Models for Pattern Recognition

Gernot A. Fink

VIP$66.23

Recent Trends in Algebraic Development Techniques

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

VIP$47.06

Public-Key Cryptography – PKC 2016

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

VIP$58.04

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

Tiziana Margaria, Bernhard Steffen

VIP$104.48

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

VIP$58.04

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

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

VIP$58.04

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

VIP$58.04

Computer Safety, Reliability, and Security

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

VIP$58.04

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

VIP$58.04

Generalized Principal Component Analysis

René Vidal, Yi Ma, Shankar Sastry

VIP$81.26

Hybrid Metaheuristics

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

VIP$58.04

Quantitative Evaluation of Systems

Gul Agha, Benny Van Houdt

VIP$58.04

Inductive Logic Programming

Jesse Davis, Jan Ramon

VIP$54.62

Reversible Computation

Simon Devitt, Ivan Lanese

VIP$58.04

Discrete Event Systems in Dioid Algebra and Conventional Algebra

Philippe Declerck

$174.99

Fast Software Encryption

Gregor Leander

VIP$58.04

Coding Theory and Applications

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

VIP$58.04

Pursuit of the Universal

Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska

VIP$58.04

Learning and Intelligent Optimization

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

VIP$58.04

Autres livres de l'auteur

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

VIP$58.04