Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings: Lecture Notes in Computer Science, cartea 9899
Editat de Kim Guldstrand Larsen, Igor Potapov, Jiří Srbaen Limba Engleză Paperback – 13 sep 2016
Din seria Lecture Notes in Computer Science
- 20%
Preț: 400.77 lei - 20%
Preț: 754.11 lei - 20%
Preț: 324.19 lei - 20%
Preț: 373.80 lei - 20%
Preț: 342.61 lei - 20%
Preț: 403.00 lei - 20%
Preț: 573.45 lei -
Preț: 395.25 lei - 20%
Preț: 487.46 lei - 20%
Preț: 355.27 lei - 20%
Preț: 731.97 lei - 20%
Preț: 293.24 lei - 20%
Preț: 669.21 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 336.86 lei - 20%
Preț: 330.54 lei - 20%
Preț: 313.87 lei - 20%
Preț: 679.09 lei - 20%
Preț: 373.16 lei - 20%
Preț: 782.57 lei - 20%
Preț: 434.17 lei - 20%
Preț: 489.11 lei - 20%
Preț: 904.16 lei - 20%
Preț: 375.72 lei - 20%
Preț: 400.17 lei - 20%
Preț: 432.78 lei - 20%
Preț: 631.96 lei - 20%
Preț: 432.11 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 556.96 lei - 20%
Preț: 488.90 lei - 20%
Preț: 560.93 lei - 20%
Preț: 327.36 lei - 20%
Preț: 340.04 lei - 20%
Preț: 327.36 lei - 20%
Preț: 328.94 lei - 20%
Preț: 629.71 lei - 20%
Preț: 568.70 lei - 20%
Preț: 447.31 lei - 20%
Preț: 733.68 lei - 20%
Preț: 315.26 lei - 20%
Preț: 315.62 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 850.42 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 519.32 lei
Preț: 315.62 lei
Preț vechi: 394.52 lei
-20%
Puncte Express: 473
Preț estimativ în valută:
55.84€ • 64.92$ • 48.40£
55.84€ • 64.92$ • 48.40£
Carte tipărită la comandă
Livrare economică 04-18 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319459936
ISBN-10: 3319459937
Pagini: 203
Ilustrații: XIV, 193 p. 38 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Cham, Switzerland
ISBN-10: 3319459937
Pagini: 203
Ilustrații: XIV, 193 p. 38 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Cham, Switzerland
Cuprins
The Ideal Theory for WSTS.- Rare events for Statistical Model Checking.- On the Complexity of Resource-Bounded Logics.- Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets have Marked Graph Reachability Graphs.- Reachability Predicates for Graph Assertions.- Occam's Razor Applied to the Petri Net Coverability Problem.- Safety Property-driven Stubborn Sets.- Characterizing Word Problems of Groups.- Distributed Synthesis of State-Dependent Switching Control.- Compositional Analysis of Boolean Networks Using Local Fixed-point Iterations.- Decidable Models of Integer-manipulating Programs with Recursive Parallelism.- Robot Games with States in Dimension One.- Insertion-deletion Systems over Relational Words.
Caracteristici
Includes supplementary material: sn.pub/extras