Kretinsky mojmir (9 resultados)
CONCUR 2002-Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002 Proceedings
Brim, Lubos ; Jancar, Petr ; Kretinsky, Mojmir ; Kucera, Antonin
- Tapa dura
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de AmericaDoss-Haus Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 63,40
Envío por EUR 4,75Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2421. [xii, 609 p. ; 24 cm].
Concur 2002-Concurrency Theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 Proceedings
International Conference on Concurrency Theory 2002 Brno, Czech repub; Jancar, Petr (EDT); Kretinsky, Mojmir (EDT); Kucera, Antonin (EDT); Brim, Lubos (EDT); Brim, Lubos
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 123,47
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,62
Envío por EUR 13,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Concur 2002-Concurrency Theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 Proceedings
International Conference on Concurrency Theory 2002 Brno, Czech repub; Jancar, Petr (EDT); Kretinsky, Mojmir (EDT); Kucera, Antonin (EDT); Brim, Lubos (EDT); Brim, Lubos
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 131,02
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,27
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 95,70
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. CONCUR 2002 - Concurrency Theory | 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings | Lubos Brim (u. a.) | Taschenbuch | xii | Englisch | 2002 | Springer | EAN 9783540440437 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelb…erg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,99
Envío por EUR 64,72Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 13th International Conference on Concurrency Theory (CONCUR 2002)held in Brno, Czech Republic, August 20 23, 2002. The purpose of the CONCUR conferences is to bring together researchers, - velopers and st…udents in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their foundations. The scope covers all areas of semantics, logics and veri cation techniques for concurrent systems. T- ics include concurrency-related aspects of models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, - brid systems, probabilistic systems, model-checking, veri cation techniques, - nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and - gorithms, security, case studies, tools and environments for programming and veri cation. The rst two CONCUR conferences were held in Amsterdam (The Neth- lands)in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (Germany), Uppsala (Sweden), Philadelphia (USA), Pisa (Italy), Warsaw (Poland), Nice (France), Eindhoven (The Netherlands), University Park (Pe- sylvania, USA), and Aalborg (Denmark). The proceedings have appeared in Springer LNCS, as Vols. 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, 1664, 1877, and 2154. Out of 101 regular papers submitted this year, 32 were accepted for p- sentation at the conference and are included in this volume.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2002 2002
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,99
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 13th International Conference on Concurrency Theory (CONCUR 2002)held in Brno, Czech Republic, August 20 23, 2002. The purpose of the CONCUR conferences is to bring together researchers, -… velopers and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their foundations. The scope covers all areas of semantics, logics and veri cation techniques for concurrent systems. T- ics include concurrency-related aspects of models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, - brid systems, probabilistic systems, model-checking, veri cation techniques, - nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and - gorithms, security, case studies, tools and environments for programming and veri cation. The rst two CONCUR conferences were held in Amsterdam (The Neth- lands)in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (Germany), Uppsala (Sweden), Philadelphia (USA), Pisa (Italy), Warsaw (Poland), Nice (France), Eindhoven (The Netherlands), University Park (Pe- sylvania, USA), and Aalborg (Denmark). The proceedings have appeared in Springer LNCS, as Vols. 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, 1664, 1877, and 2154. Out of 101 regular papers submitted this year, 32 were accepted for p- sentation at the conference and are included in this volume. 632 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,99
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Refinement and Verification Applied to an In-Flight Data Acquisition Unit\*.- A Deductive Proof System for CTL\*.- Event-State Duality: The Enriched Case.- Expressive Power of Temporal Logics.- Types, or: Where's the Dif…ference Between CCS and .- Invited Tutorials.- to Modal and Temporal Mu-Calculi.- Types for Cryptographic Protocols.- Verification, Model Checking.- Network Invariants in Action\*.- Regular Model Checking Made Simple and Effcient\*.- A Hierarchy of Polynomial-Time Computable Simulations for Automata.- A Decidable Class of Asynchronous Distributed Controllers.- Alphabet-Based Synchronisation is Exponentially Cheaper.- Safe Realizability of High-Level Message Sequence Charts\*.- Widening the Boundary between Decidable and Undecidable Hybrid Systems\*.- Logic.- A Spatial Logic for Concurrency (Part II).- Reducing Model Checking from Multi-valued CTL\* to CTL\*.- Local Model Checking Games for Fixed Point Logic with Chop.- A Decidable Fixpoint Logic for Time-Outs\*.- Mobility.- A Calculus of Mobile Resources\*.- Using Ambients to Control Resources\*.- Typing and Subtyping Mobility in Boxed Ambients\*.- Orchestrating Transactions in Join Calculus\*.- Probabilistic Systems.- Simulation for Continuous-Time Markov Chains.- Weak Bisimulation is Sound and Complete for PCTL\*.- Decision Algorithms for Probabilistic Bisimulation\*.- Models of Computation, Process Algebra.- Axiomatizing an Algebra of Step Reactions for Synchronous Languages.- Regular Sets of Pomsets with Autoconcurrency.- The Fusion Machine.- HOPLA-A Higher-Order Process Language.- A First Order Coalgebraic Model of -Calculus Early Observational Equivalence\*.- Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.- Security.- A Framework for the Analysis of SecurityProtocols\*.- On Name Generation and Set-Based Analysis in the Dolev-Yao Model.- On the Decidability of Cryptographic Protocols with Open-Ended Data Structures.- Petri Nets.- Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.- Refinement-Robust Fairness.- Bisimulation.- Decidability of Strong Bisimilarity for Timed BPP.- Undecidability of Weak Bisimilarity for Pushdown Processes.- Why Is Simulation Harder than Bisimulation .Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 632 pp. Englisch.
