2005, ISBN: 9783540283096
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the … Altro …
booklooker.de |
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes ... Computer Science and General Issues) - edizione con copertina flessibile
2005, ISBN: 9783540283096
Springer, 2005-08-08. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2005-08-08, 3
Biblio.co.uk |
Concur 2005-Concurreny Theory: 16th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, Proceedings - edizione con copertina flessibile
2005, ISBN: 9783540283096
Trade paperback, New Book Original US edition, We Ship to PO BOX Address also., Brand New, [PU: Springer]
alibris.co.uk Sterling Heights, MI, discount_scientific_books Costi di spedizione:Costi di spedizione aggiuntivi Details... |
2005, ISBN: 9783540283096
edizione con copertina flessibile
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005
lehmanns.de Costi di spedizione:Versand in 10-14 Tagen. (EUR 9.95) Details... |
CONCUR 2005 - CONCURRENY THEORY: 16TH INTERNATIONAL CONFERENCE, CONCUR 2005, SAN FRANCISCO, CA, USA, AUGUST 23-26, 2005, PROCEEDINGS - edizione con copertina flessibile
2005, ISBN: 9783540283096
SPRINGER, 2005. Softcover. New., SPRINGER, 2005, 6
Biblio.co.uk |
2005, ISBN: 9783540283096
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the … Altro …
Abadi, MartÃÂn [Editor]; de Alfaro, Luca [Editor];:
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes ... Computer Science and General Issues) - edizione con copertina flessibile2005, ISBN: 9783540283096
Springer, 2005-08-08. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2005-08-08, 3
Concur 2005-Concurreny Theory: 16th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, Proceedings - edizione con copertina flessibile
2005
ISBN: 9783540283096
Trade paperback, New Book Original US edition, We Ship to PO BOX Address also., Brand New, [PU: Springer]
2005, ISBN: 9783540283096
edizione con copertina flessibile
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005
CONCUR 2005 - CONCURRENY THEORY: 16TH INTERNATIONAL CONFERENCE, CONCUR 2005, SAN FRANCISCO, CA, USA, AUGUST 23-26, 2005, PROCEEDINGS - edizione con copertina flessibile
2005, ISBN: 9783540283096
SPRINGER, 2005. Softcover. New., SPRINGER, 2005, 6
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - CONCUR 2005 - Concurrency Theory
EAN (ISBN-13): 9783540283096
ISBN (ISBN-10): 3540283099
Copertina flessibile
Anno di pubblicazione: 2005
Editore: Springer Berlin
600 Pagine
Peso: 0,894 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-05-27T06:40:34+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-11-10T09:42:48+01:00 (Zurich)
ISBN/EAN: 3540283099
ISBN - Stili di scrittura alternativi:
3-540-28309-9, 978-3-540-28309-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : alfaro, martin, abad, abadi, luca
Titolo del libro: theoretical computer science, concurrency, san francisco, third international theory, august lucas, usa, international conference proceedings, 2005
Dati dell'editore
Autore: Martín Abadi; Luca de Alfaro
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; CONCUR 2005 - Concurrency Theory - 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Editore: Springer; Springer Berlin
1280 Pagine
Anno di pubblicazione: 2005-08-08
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XXIV, 1280 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Informatik; algorithm; algorithms; concurrency; distributed programming; logic; logic programming; model checking; petri net; programming; real-time; semantics; verification; Computer System Implementation; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; EA
Invited Lectures.- Static Analysis Versus Model Checking for Bug Finding.- The Benefits of Exposing Calls and Returns.- A Compositional Approach to the Stochastic Dynamics of Gene Networks.- Contributed Papers.- Games Other People Play.- Type-Directed Concurrency.- Multiport Interaction Nets and Concurrency.- Model Checking for ?-Calculus Using Proof Search.- A Game Semantics of the Asynchronous ?-Calculus.- Efficient On-the-Fly Algorithms for the Analysis of Timed Games.- Modal Logics for Timed Control.- Timed Shuffle Expressions.- A New Modality for Almost Everywhere Properties in Timed Automata.- The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.- A Behavioural Pseudometric for Metric Labelled Transition Systems.- On Probabilistic Program Equivalence and Refinement.- Probabilistic Anonymity.- Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.- Timed Spi-Calculus with Types for Secrecy and Authenticity.- Selecting Theories and Recursive Protocols.- Constraint Solving for Contract-Signing Protocols.- A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.- Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.- Bisimulations Up-to for the Linear Time Branching Time Spectrum.- Deriving Weak Bisimulation Congruences from Reduction Systems.- SOS for Higher Order Processes.- The Individual and Collective Token Interpretations of Petri Nets.- Merged Processes — A New Condensed Representation of Petri Net Behaviour.- Concurrent Clustered Programming.- A Theory of System Behaviour in the Presence of Node and Link Failures.- Comparing Two Approaches to Compensable Flow Composition.- Transactions in RCCS.- Two-Player Nonzero-Sum ?-Regular Games.- Games Where You Can PlayOptimally Without Any Memory.- On Implementation of Global Concurrent Systems with Local Asynchronous Controllers.- Defining Fairness.- Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.- Termination Analysis of Integer Linear Loops.- A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.- Verification of Qualitative ? Constraints.- Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces.- Taming Interface Specifications.- Synthesis of Distributed Systems from Knowledge-Based Specifications.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540319344 CONCUR 2005 - Concurrency Theory (Martin Abadi; Luca de Alfaro)
- 9783540319344 CONCUR 2005 - Concurrency Theory (Martin Abadi; Luca de Alfaro)
- 9783540744078 CONCUR 2007 - Concurrency Theory (Luis Caires; Vasco T. Vasconcelos)
- 9783642040818 CONCUR 2009 - Concurrency Theory (Mario Bravetti; Gianluigi Zavattaro)
- 9783642401848 CONCUR 2013 -- Concurrency Theory (Pedro R. D'Argenio; Hernan Melgratti)
- CONCUR 2007 - Concurrency Theory
< Per archiviare...