Corina cîrstea (27 résultats)

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Etat : New.

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles. This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New. 1st ed. 2018 edition NO-PA16APR2015-KAP.

Paperback. Etat : Brand New. 248 pages. 9.25x6.10x0.56 inches. In Stock.

Etat : New.

Paperback. Etat : Brand New. 2011 edition. 420 pages. 9.21x6.06x0.94 inches. In Stock.

Kartoniert / Broschiert. Etat : New. State-of-the-art research Fast-track conference proceedings Unique visibilityThis book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winche.

Etat : New. pp. xi + 420.

Etat : New. pp. xi + 420.

Taschenbuch. Etat : Neu. Coalgebraic Methods in Computer Science | 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers | Corina Cîrstea | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2018 | Springer | EAN 9783030003883 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 419 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Etat : new. Questo è un articolo print on demand.

Etat : new. Questo è un articolo print on demand.

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on CoalgebraicMethods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. 248 pp. Englisch.…

Etat : New. Print on Demand.

Etat : New. PRINT ON DEMAND.

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic&nbspMethods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.T.…

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on CoalgebraicMethods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. …

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Relating Structure and Power: Comonadic Semantics for Computational Resources.- Coalgebraic Logics and Duality.- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs.- Undecidability of Equality for Codata Types.- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.- Long-Term Values in Markov Decision Processes, (Co)Algebraically.- (In)finite Trace Equivalence of Probabilistic Transition Systems.- Steps and Traces.- On Algebras with Effectful Iteration.- Monoidal computer III: A coalgebraic view of computability and complexity.- Fibrational Bisimulations and Quantitative Reasoning.- Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.…