2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.18 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
Amazon.de (Intern... ausverkauf Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.18 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
Amazon.de (Intern... |
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.18 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: NUSTBK20171230-C0121978, 2.16 kg, Informatik, IT-Ausbildung & -Ber… Mehr…
Amazon.de (Intern... |
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: NUSTBK20171230-C0121978, 2.16 kg, Informatik, IT-Ausbildung & -Ber… Mehr…
Amazon.de (Intern... ausverkauf Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in Computer Science, Band 5710) - Taschenbuch
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.18 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.18 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
2009
ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.18 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Mehr…
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: NUSTBK20171230-C0121978, 2.16 kg, Informatik, IT-Ausbildung & -Ber… Mehr…
2009, ISBN: 9783642040801
Springer, Taschenbuch, Auflage: 2009, 656 Seiten, Publiziert: 2009-08-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: NUSTBK20171230-C0121978, 2.16 kg, Informatik, IT-Ausbildung & -Ber… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in Computer Science, Band 5710)
EAN (ISBN-13): 9783642040801
ISBN (ISBN-10): 3642040802
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Bravetti, Mario, Zavattaro, Gianluigi, Springer
Buch in der Datenbank seit 2014-09-27T06:25:20+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-20T17:48:55+01:00 (Berlin)
ISBN/EAN: 9783642040801
ISBN - alternative Schreibweisen:
3-642-04080-2, 978-3-642-04080-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: zavatta, robin
Titel des Buches: september, concurrency, bologna, 2009, international
Daten vom Verlag:
Autor/in: Mario Bravetti; Gianluigi Zavattaro
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; CONCUR 2009 - Concurrency Theory - 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Verlag: Springer; Springer Berlin
638 Seiten
Erscheinungsjahr: 2009-08-17
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 638 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; cloud computing; concurrent processing; concurrent systems; data structures; distributed computing; linear algebra; logic; model checking; performance; pervasive computing; process calculi; systems biology; verification; Computer Science Logic and Foundations of Programming; Programming Techniques; Theory of Computation; Models of Computation; Mathematics of Computing; Computerprogrammierung und Softwareentwicklung; Mathematik für Informatiker; EA
Invited Papers.- Perspectives on Transactional Memory.- The Effect of Tossing Coins in Omega-Automata.- Bigraphical Categories.- BlenX Static and Dynamic Semantics.- Contributed Papers.- Flow Policy Awareness for Distributed Mobile Code.- Volume and Entropy of Regular Timed Languages: Discretization Approach.- A Logical Interpretation of the ?-Calculus into the ?-Calculus, Preserving Spine Reduction and Types.- Encoding Asynchronous Interactions Using Open Petri Nets.- Distributed Asynchronous Automata.- Algebra for Infinite Forests with an Application to the Temporal Logic EF.- Deriving Syntax and Axioms for Quantitative Regular Behaviours.- Weighted Bisimulation in Linear Algebraic Form.- A Logic-Based Framework for Reasoning about Composite Data Structures.- Measuring Permissivity in Finite Games.- Contracts for Mobile Processes.- Power of Randomization in Automata on Infinite Strings.- Probabilistic Weighted Automata.- Partially-Commutative Context-Free Processes.- Testing Finitary Probabilistic Processes.- A Demonic Approach to Information in Probabilistic Systems.- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.- Model-Checking Games for Fixpoint Logics with Partial Order Models.- Reachability in Succinct and Parametric One-Counter Automata.- Winning Regions of Pushdown Parity Games: A Saturation Method.- Concurrent Kleene Algebra.- Concavely-Priced Probabilistic Timed Automata.- Compositional Control Synthesis for Partially Observable Systems.- Howe’s Method for Calculi with Passivation.- On the Relationship between ?-Calculus and Finite Place/Transition Petri Nets.- ModelingRadio Networks.- Time-Bounded Verification.- Secure Enforcement for Global Process Specifications.- On Convergence of Concurrent Systems under Regular Interactions.- Computing Stuttering Simulations.- Weak Time Petri Nets Strike Back!.- A General Testability Theory.- Counterexamples in Probabilistic LTL Model Checking for Markov Chains.- Query-Based Model Checking of Ad Hoc Network Protocols.- Strict Divergence for Probabilistic Timed Automata.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540286448 CONCUR 2004 -- Concurrency Theory (>100)
- 9783540286448 CONCUR 2004 -- Concurrency Theory (>100)
- 9783540684558 CONCUR '98 Concurrency Theory (Davide Sangiorgi; Robert de Simone)
- 9783540648963 CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466) (Simone, Robert de, Sangiorgi, Davide)
- 9783540229407 CONCUR 2004 -- Concurrency Theory (Nobuko Yoshida)
- CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings (English Edition) (Boer, Frank S. de, Jaghoori (auth.), Mohammad Mahdi, Gastin, Paul, Laroussinie (eds.), François)
< zum Archiv...