Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
CONCUR 2006 - Concurrency Theory
Best Price (Coupon Required):
Buy CONCUR 2006 - Concurrency Theory for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 2730, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers 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 the scientific relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols), related verification techniques and tools (such as staff space exploration, model-checking, synthesis, abstraction, automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented, graph rewriting, as well as associated typesystems, static analyses, abstract machines, and environments). This volume starts with five invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the Programme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme Committee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials.
Reviews
Questions & Answers
Technologietransfer Internationalisierungs- und Nationalisierungstendenzen
$74.99
Die menschlichen Nahrungs- und Genussmittel, ihre Herstellung, Zusammensetzung und Beschaffenheit, i
$84.99
Euglena: Biochemistry, Cell and Molecular Biology
$219.99
Clinically Relevant Resistance in Cancer Chemotherapy
$84.99
Security and Privacy in New Computing Environments
$39.99
MFDBS 89
$39.99
Advances in Systems Biology
$219.99
New Trends in Nonlinear Dynamics
$169.99
Developments in Plastics Technology
$329.99
Der Speditionskaufmann
$64.99
Linear Partial Differential Operators
$54.99
Be a King
$5.21
Mycobacterium Tuberculosis: Molecular Infection Biology, Pathogenesis, Diagnostics and New Intervent
$129.00
Solutions Manual and Computer Programs for Physical and Computational Aspects of Convective Heat Tra
$24.99
Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collect
$39.99
Information Processing and Management of Uncertainty in Knowledge-Based Systems
$109.99
Cosmopolitan Citizenship
$54.99
Die Bedeutung von Nachhaltigkeit in einem strategischen Kontext
$64.99
Databases in Networked Information Systems
$54.99
Chemistry at the Beginning of the Third Millennium
$219.99
Vorposten der Gesundheitspflege
$59.99
Pediatric Chest Imaging
$249.99
Characterization of Nanomaterials in Liquid Disperse Systems
$159.99
Averting Nuclear War
$79.99
Animal Behaviour
$39.99
Organisatorische Implementierung von computergesttzten Personalinformationssystemen
$74.99
Computer Vision ECCV 2024
$89.99
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011
$54.99
Operator Algebras and Dynamics: Groupoids, Crossed Products, and Rokhlin Dimension
$27.99
Interpretations and Causes
$109.99
Clifford va a kindergarten
$2.99
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
$109.99
Perspektiven auf Mehrsprachigkeit im Fremdsprachenunterricht Regards croiss sur le plurilinguisme
$59.99
Die Goldendodermis der Farne
$44.99
Performance and Management of Complex Communication Networks
$169.99
Potential of Low-Medium Enthalpy Geothermal Energy
$159.99
Impact
$74.99
Crystallographic Book List
$9.99
Codes on Algebraic Curves
$169.99
Proceedings of the 1985 Academy of Marketing Science (AMS) Annual Conference
$84.99
