Вы здесь

Главная

Computer Science - Theory and Applications: Proc./Third International Computer Science Symposium in Russia, CSR 2008. Moscow, Russia, June 2008

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2008
Ключевые слова: 
теория программирования
вычислительная сложность
формальный метод
верификация
логика
грамматика
криптография
алгоритм
приложение
Стр.: 
411 p.
Редактор: 
Hirsch E. A.
Razborov A. A.
Semenov A.
Slissenko A.
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
5010
Карточка: 

Б2.1, Б2.2, Б2.53.

Computer Science - Theory and Applications: Proc./Third International Computer Science Symposium in Russia, CSR 2008. Moscow, Russia, June 2008Ed. by Hirsch E. A., Razborov A. A., Semenov A., Slissenko A..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5010.-411 p.-(Lecture Notes in Computer Science).

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