Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings: Lecture Notes in Computer Science, cartea 12094
Editat de Daniela Petrişan, Jurriaan Roten Limba Engleză Paperback – 20 aug 2020
The 9 revised full papers were carefully reviewed and selected from 13 submissions. Also included is one invited talk. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
Din seria Lecture Notes in Computer Science
- 15%
Preț: 558.12 lei - 20%
Preț: 573.45 lei - 20%
Preț: 330.54 lei - 20%
Preț: 620.33 lei - 20%
Preț: 400.77 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 629.71 lei - 20%
Preț: 328.94 lei - 20%
Preț: 375.72 lei - 20%
Preț: 568.70 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 489.11 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 782.57 lei - 20%
Preț: 336.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 850.42 lei - 20%
Preț: 432.78 lei - 20%
Preț: 342.61 lei - 20%
Preț: 631.96 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 487.46 lei - 20%
Preț: 400.17 lei - 20%
Preț: 984.64 lei - 20%
Preț: 556.96 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 793.92 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 679.09 lei - 20%
Preț: 558.53 lei - 20%
Preț: 327.36 lei - 20%
Preț: 340.04 lei - 20%
Preț: 327.36 lei - 20%
Preț: 560.93 lei - 20%
Preț: 324.19 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 735.28 lei - 20%
Preț: 373.80 lei -
Preț: 395.25 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 316.11 lei
Preț vechi: 395.14 lei
-20%
Puncte Express: 474
Preț estimativ în valută:
55.88€ • 66.43$ • 48.49£
55.88€ • 66.43$ • 48.49£
Carte tipărită la comandă
Livrare economică 12-26 martie
Specificații
ISBN-13: 9783030572006
ISBN-10: 3030572005
Pagini: 250
Ilustrații: XV, 201 p. 360 illus., 12 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.31 kg
Ediția:1st ed. 2020
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: 3030572005
Pagini: 250
Ilustrații: XV, 201 p. 360 illus., 12 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.31 kg
Ediția:1st ed. 2020
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 Theory of Universal Graphs for Games: Past and Future.- Approximate coalgebra homomorphisms and approximate solutions.- Duality for Instantial Neighbourhood Logic via Coalgebra.- Free-algebra functors from a coalgebraic perspective.- Learning Automata with Side-Effects.- De Finetti's Construction as a Categorical Limit.- Injective Objects and Fibered Codensity Liftings.- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.- A categorical approach to secure compilation.- Semantics for rst-order a ne inductive datatypes via slice categories.