Поиск :
Личный кабинет :
Электронный каталог: Computer Aided Verification (CAV'93)
Computer Aided Verification (CAV'93)
Доступно
1 из 1
1 из 1
Книга
Автор:
Computer Aided Verification (CAV'93) : Proc. of the 5th Intern. Conf., Elounda, Greece, June 28-July 1, 1993
Серия: Lecture Notes in Computer Science
Издательство: Springer, 1993 г.
ISBN отсутствует
Автор:
Computer Aided Verification (CAV'93) : Proc. of the 5th Intern. Conf., Elounda, Greece, June 28-July 1, 1993
Серия: Lecture Notes in Computer Science
Издательство: Springer, 1993 г.
ISBN отсутствует
Заказать 
На полку
Книга
Ц84а(04) C-73
Computer Aided Verification (CAV'93) : Proc. of the 5th Intern. Conf., Elounda, Greece, June 28-July 1, 1993 / Ed.: C.C.Courcoubetis. – Berlin [etc.] : Springer, 1993. – IX, 504 p.: il. – (Lecture Notes in Computer Science, ISSN 0302-9743 ; 697).
Ц84а(04)
04
Индексный (книги) = Ц 84 а - Вычислительные машины в целом. Сети ЭВМ. Архитектура ЭВМ. Криптография.
Географический = Elounda, Crete, Greece
Хронологический = 28.06.93-01.07.93
Ц84а(04) C-73
Computer Aided Verification (CAV'93) : Proc. of the 5th Intern. Conf., Elounda, Greece, June 28-July 1, 1993 / Ed.: C.C.Courcoubetis. – Berlin [etc.] : Springer, 1993. – IX, 504 p.: il. – (Lecture Notes in Computer Science, ISSN 0302-9743 ; 697).
Ц84а(04)
04
Индексный (книги) = Ц 84 а - Вычислительные машины в целом. Сети ЭВМ. Архитектура ЭВМ. Криптография.
Географический = Elounda, Crete, Greece
Хронологический = 28.06.93-01.07.93
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |