Reachability Problems

11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

von

Potapov, IgorHrsg.Hague, MatthewHrsg.

BuchKartoniert, Paperback

Verkaufsrang42763in

CHF69.00

BuchabCHF55.90

E-BookabCHF47.50

In den Warenkorb

Beschreibung

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017.

Weitere Beschreibungen

Details

ISBN/GTIN978-3-319-67088-1

ProduktartBuch

EinbandKartoniert, Paperback

VerlagSpringer

Erscheinungsdatum25.08.2017

Auflage17001 A. 1st ed. 2017

ReiheTheoretical Computer Science and General Issues

Reihen-Nr.10506

Seiten212 Seiten

SpracheEnglisch

MasseBreite 155 mm, Höhe 235 mm, Dicke 12 mm

Gewicht330 g

Artikel-Nr.5255346

Verlagsartikel-Nr.978-3-319-67088-1

KatalogBuchzentrum

Datenquelle-Nr.23835107

Weitere Details

Reihe

Combinatorial Optimization and Applications

Algorithms and Architectures for Parallel Processing

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996¿2016)

Stabilization, Safety, and Security of Distributed Systems

Brain-Inspired Computing

Algorithms and Models for the Web Graph

Quantum Interaction

Approximation and Online Algorithms

SOFSEM 2017: Theory and Practice of Computer Science

Logic, Language, and Computation

Algorithms and Discrete Applied Mathematics

Architecture of Computing Systems - ARCS 2017

Structured Object-Oriented Formal Language and Method

Computational Intelligence in Music, Sound, Art and Design

Applications of Evolutionary Computation

Programming Languages and Systems

Applied Reconfigurable Computing

Relational and Algebraic Methods in Computer Science

Advances in Neural Networks - ISNN 2017

High Performance Computing

Integer Programming and Combinatorial Optimization

Frontiers in Algorithmics

Advances in Swarm Intelligence

Algorithms and Data Structures

Computational Science and Its Applications ¿ ICCSA 2017

Trends in Functional Programming

Software Engineering and Formal Methods

Coding Theory and Applications

Quantitative Evaluation of Systems