Coalgebraic Methods in Computer Science
Editat de Dirk Pattinson, Lutz Schröderen Limba Engleză Paperback – 2 aug 2012
Preț: 319.52 lei
Preț vechi: 399.41 lei
-20% Nou
Puncte Express: 479
Preț estimativ în valută:
56.53€ • 65.96$ • 49.42£
56.53€ • 65.96$ • 49.42£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642327834
ISBN-10: 3642327834
Pagini: 268
Ilustrații: VII, 259 p. 7 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2012
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642327834
Pagini: 268
Ilustrații: VII, 259 p. 7 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2012
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Cybersecurity and Applied MathematicsLeigh Metcalf-31%Preț: 317.06 lei457.14 lei -
Automata and LanguagesJohn M. Howie-38%Preț: 309.93 lei502.56 lei -
-32%Preț: 537.88 lei792.12 lei -
Concrete Mathematics: A Foundation for Computer ScienceRonald Graham-20%Preț: 519.71 lei649.64 lei -
Graphs – Theory and AlgorithmsK Thulasiraman-9%Preț: 1558.56 lei1712.71 lei -
-20%Preț: 347.10 lei433.87 lei -
A Distributed Pi-CalculusMatthew Hennessy-20%Preț: 511.64 lei639.56 lei -
-15%Preț: 495.94 lei583.46 lei -
-23%Preț: 464.09 lei602.72 lei -
Seamless R and C++ Integration with RcppDirk Eddelbuettel-15%Preț: 552.64 lei650.16 lei -
Distributed AlgorithmsNancy A. Lynch-41%Preț: 704.04 lei1191.31 lei -
Approximation AlgorithmsVijay V. Vazirani-20%Preț: 575.82 lei719.78 lei -
Computer Arithmetic: Algorithms and Hardware ImplementationsMircea Vlăduţiu-20%Preț: 621.81 lei777.27 lei
Public țintă
ResearchCuprins
From Lawvere to Brandenburger-Keisler: Interactive Forms ofDiagonalization and Self-reference.- Defining Context-Free Power Series Coalgebraically.- Relational Presheaves as Labelled Transition Systems.- On Finitary Functors and Their Presentations.- Structural Operational Semantics for Continuous State Probabilistic Processes.- Stream Automata Are Coalgebras.- Trace Semantics via Determinizatio.- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.- Lax Extensions of Coalgebra Functors.- From Transitions to Executions.- Tracing the Man in the Middle in Monoidal Categories.- Permutations in Coinductive Graph Representation.- Internal Models for Coalgebraic Modal Logics.
Textul de pe ultima copertă
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Caracteristici
State-of-the-art research Fast-track conference proceedings Unique visibility