Muutke küpsiste eelistusi

Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 1721, 2022, Proceedings 1st ed. 2022 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 179 pages, kõrgus x laius: 235x155 mm, kaal: 349 g, 7 Illustrations, color; 21 Illustrations, black and white; XLIII, 179 p. 28 illus., 7 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13608
  • Ilmumisaeg: 12-Oct-2022
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 303119134X
  • ISBN-13: 9783031191343
  • Pehme köide
  • Hind: 53,33 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 62,74 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 179 pages, kõrgus x laius: 235x155 mm, kaal: 349 g, 7 Illustrations, color; 21 Illustrations, black and white; XLIII, 179 p. 28 illus., 7 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13608
  • Ilmumisaeg: 12-Oct-2022
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 303119134X
  • ISBN-13: 9783031191343
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.

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