25 Books to Read Before You Die
 
 

Recently Viewed clear list


Original Essays | August 18, 2014

Ian Leslie: IMG Empathic Curiosity



Today, we wonder anxiously if digital media is changing our brains. But if there's any time in history when our mental operations changed... Continue »
  1. $18.89 Sale Hardcover add to wish list

spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

by

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009.

The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

Product Details

ISBN:
3330000244078
Subtitle:
20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Publisher:
Springer
Author:
Bravetti, Mario
Author:
Zavattaro, Gianluigi
Subject:
Logic Design
Subject:
Computer Science
Subject:
Information technology
Subject:
Artificial Intelligence - Fuzzy Logic
Subject:
main_subject
Subject:
all_subjects
Publication Date:
2009
Binding:
ELECTRONIC
Language:
English
Pages:
638

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computer Architecture » Parallel
Computers and Internet » Computers Reference » General
Computers and Internet » Internet » Information
Computers and Internet » Internet » Online
Computers and Internet » Software Engineering » Algorithms
Computers and Internet » Software Engineering » Programming and Languages

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
0 stars - 0 reviews
$ In Stock
Product details 638 pages Springer - English 3330000244078 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.