000 | 03378nam a22006135i 4500 | ||
---|---|---|---|
001 | 978-3-030-00250-3 | ||
003 | DE-He213 | ||
005 | 20210201191342.0 | ||
007 | cr nn 008mamaa | ||
008 | 180829s2018 gw | s |||| 0|eng d | ||
020 |
_a9783030002503 _9978-3-030-00250-3 |
||
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUM _2thema |
|
072 | 7 |
_aUYF _2thema |
|
082 | 0 | 4 |
_a005.1015113 _223 |
245 | 1 | 0 |
_aReachability Problems _h[electronic resource] : _b12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings / _cedited by Igor Potapov, Pierre-Alain Reynier. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXXI, 161 p. 32 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues ; _v11123 |
|
500 | _aAcceso multiusuario | ||
520 | _aThis book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018. The 11 full papers presented were carefully reviewed and selected from 21 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. | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aComputer logic. | |
650 | 0 | _aNumerical analysis. | |
650 | 0 | _aComputer science-Mathematics. | |
650 | 0 | _aMathematical statistics. | |
650 | 1 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aNumeric Computing. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1701X |
650 | 2 | 4 |
_aMath Applications in Computer Science. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17044 |
650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17036 |
700 | 1 |
_aPotapov, Igor. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aReynier, Pierre-Alain. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030002497 |
776 | 0 | 8 |
_iPrinted edition: _z9783030002510 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v11123 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-00250-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c242481 _d242480 |