Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Parallel Programming

CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science)


Mega Sale! Save 23% on the CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science) by K G Larsen M Nielsen at EMS Linux. MPN: 1. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in


Product Description

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

Additional Information

Manufacturer:Springer
Part Number:1
Publisher:Springer
Studio:Springer
MPN:1
EAN:9783540424970
Item Weight:1.83 pounds
Item Size:1.36 x 9.25 x 9.25 inches
Package Weight:1.9 pounds
Package Size:6.1 x 0.9 x 0.9 inches

CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science) by K G Larsen M Nielsen

Buy Now:
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science)

Brand: K G Larsen M Nielsen
4.8 out of 5 stars with 20 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$139.00
$108.37
You Save: 22%


Quantity:  

 


View More In Parallel Programming.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by K G Larsen M Nielsen, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: Illustrations, ean: 9783540425229, isbn: 3540425225,
The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3-7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The ?rs...

mpn: 1, ean: 9783540437864, isbn: 354043786X,
This book constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland, in June 2002.The 50 revised full papers presented together with nine keynote lectures were carefully ...

mpn: biography, ean: 9783540437925, isbn: 3540437924,
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001.The 101 papers presented were carefully reviewed...

ean: 9789051990072, isbn: 9051990073,
This publication contains papers from the Occam User Group (OUG). The main aim of the OUG is to act as an independent forum for the exchange of ideas, results and information in research and development of projects in the area of parallel systems des...

mpn: 900 line drawings, tables, ean: 9789056993283, isbn: 9056993283,
Algorithm engineering allows computer engineers to produce a computational machine that will execute an algorithm as efficiently and cost-effectively as possible given a set of constraints, such as minimal performance or the availability of technolog...

ean: 9789810210410, isbn: 9810210418,
This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundational and introductory papers developing the methodology of metric semantics, studies on the c...

ean: 9789810240967, isbn: 9810240961,
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifica...

ean: 9789810242329, isbn: 9810242328,
Molecular dynamics is a well-established technique for simulating complex many-particle systems in many areas of physics, chemistry, and astrophysics. The huge computational requirements for simulations of large systems, especially with long-range fo...

ean: 9789810244811, isbn: 9810244819,
ICA3PP 2000 was an important conference that brought together researchers and practitioners from academia, industry and governments to advance the knowledge of parallel and distributed computing. The proceedings constitute a well-defined set of innov...

ean: 9789810245795, isbn: 9810245793,
The third volume in the Series on Scalable Computing, this book contains five new articles describing significant developments in the field. Included are such current topics as clusters, parallel tools, load balancing, mobile systems, and architectur...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.