Reachability Problems: 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ț: 733.68 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 449.81 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 850.42 lei - 20%
Preț: 386.08 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 620.33 lei - 20%
Preț: 620.33 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 435.28 lei - 20%
Preț: 748.63 lei - 20%
Preț: 633.70 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 675.83 lei - 20%
Preț: 678.21 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 560.93 lei - 20%
Preț: 556.96 lei - 20%
Preț: 313.10 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 15%
Preț: 558.12 lei - 20%
Preț: 563.29 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 20%
Preț: 562.49 lei - 15%
Preț: 672.87 lei - 20%
Preț: 571.88 lei - 20%
Preț: 478.59 lei - 20%
Preț: 984.64 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei - 20%
Preț: 313.87 lei - 20%
Preț: 314.86 lei - 20%
Preț: 793.92 lei - 18%
Preț: 945.44 lei
Preț: 317.47 lei
Preț vechi: 396.84 lei
-20%
Puncte Express: 476
Preț estimativ în valută:
56.14€ • 64.37$ • 48.52£
56.14€ • 64.37$ • 48.52£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783319459936
ISBN-10: 3319459937
Pagini: 208
Ilustrații: XIV, 193 p. 38 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3319459937
Pagini: 208
Ilustrații: XIV, 193 p. 38 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
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