Вы здесь

Главная

CONCUR 2009 - Concurrency Theory: Proc./20th International Conference, CONCUR 2009, Bologna, Italy, September 2009

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2009
Ключевые слова: 
cloud computing
параллельные вычисления
распределенные вычисления
model checking
производительность
распределенные вычисления
способ вычисления
process calculi
верификация
Стр.: 
638 p.
Редактор: 
Bravetti M.
Zavattaro G.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
5710
Карточка: 

Б2.42, Б3.44.

CONCUR 2009 - Concurrency Theory: Proc./20th International Conference, CONCUR 2009, Bologna, Italy, September 2009Ed. by Bravetti M., Zavattaro G..-Berlin.: Springer, 2009.-Vol. 5710.-638 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 958