Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Reachability Problems

Name: Reachability Problems
Brand: Springer Nature Switzerland AG
SKU: 24519892
Price: 1182 CZK
Availability: InStock
Author: Emmanuel Filiot
ISBN: 9783030308056

13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings

Emmanuel Filiot

Raphaël Jungers

Igor Potapov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 24519892

Nakladatelství Springer Nature Switzerland AG, září 2019

This book constitutes the refereed proceedings of the 13th International Conference on Reachability... Celý popis

Libristo kód: 24519892

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

La Bijouterie Francaise Au Xixe Siecle 1800-1900 VEVER-H

Brožovaná

765 Kč

Sackjeseech Roland Pecher

Hra

193 Kč

Todo lo que ganamos cuando lo perdimos todo EDUARDO VERDU

Brožovaná

489 Kč

MITB Mastering in the box MARCO MASSIMI

Brožovaná

1 100 Kč

Ben Sultan Abdülhamid Han Halil Bezmen

Brožovaná

370 Kč

SCODEL 85 VERSIONS LATINES MAITRE Jean Cousteix

Brožovaná

182 Kč

Géographie des pas Barromé

Brožovaná

499 Kč

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019. The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.