Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings

·
· Springer Nature
E-kitab
165
Səhifələr

Bu e-kitab haqqında

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.

The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. 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.

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020. The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this v...

Kəşfə davam edin

Bu e-kitabı qiymətləndirin

Fikirlərinizi bizə deyin

Məlumat oxunur

Smartfonlar və planşetlər
Android və iPad/iPhone üçün Google Play Kitablar tətbiqini quraşdırın. Bu hesabınızla avtomatik sinxronlaşır və harada olmağınızdan asılı olmayaraq onlayn və oflayn rejimdə oxumanıza imkan yaradır.
Noutbuklar və kompüterlər
Kompüterinizin veb brauzerini istifadə etməklə Google Play'də alınmış audio kitabları dinləyə bilərsiniz.
eReader'lər və digər cihazlar
Kobo eReaders kimi e-mürəkkəb cihazlarında oxumaq üçün faylı endirməli və onu cihazınıza köçürməlisiniz. Faylları dəstəklənən eReader'lərə köçürmək üçün ətraflı Yardım Mərkəzi təlimatlarını izləyin.