Normal view
MARC view
Interactive Systems. Design, Specification, and Verification (Record no. 239583)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02713nmm a22006015u 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000362218 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922025620.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr nn 008mamaa |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 120829s2008 xx j eng d |
| 020 ## - Индекс ISBN | |
| ISBN | 9783540705697 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000362218 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | Springer |
| Служба, преобразующая запись | Springer |
| Организация, изменившая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Hutchison, David. |
| 9 (RLIN) | 81687 |
| 245 10 - Заглавие | |
| Заглавие | Interactive Systems. Design, Specification, and Verification |
| Физический носитель | Электронный ресурс |
| Продолж. заглавия | 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / |
| Ответственность | edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, T. C. Nicholas Graham, Philippe Palanque. |
| 260 ## - Выходные данные | |
| Место издания | Berlin, Heidelberg : |
| Издательство | Springer-Verlag Berlin Heidelberg, |
| Дата издания | 2008. |
| 490 10 - Серия | |
| Заглавие серии | Lecture Notes in Computer Science, |
| ISSN серии | 0302-9743 ; |
| № тома | 5136 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Computer Communication Networks |
| 9 (RLIN) | 566243 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Computer Science |
| 9 (RLIN) | 155490 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Information storage and retrieval systems |
| 9 (RLIN) | 137013 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Logic design |
| 9 (RLIN) | 306256 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Multimedia systems |
| 9 (RLIN) | 303024 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Software engineering |
| 9 (RLIN) | 566225 |
| 650 14 - Тематические рубрики | |
| Основная рубрика | Computer Science |
| 9 (RLIN) | 155490 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Computer Communication Networks |
| 9 (RLIN) | 566243 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Information Storage and Retrieval |
| 9 (RLIN) | 303027 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Logics and Meanings of Programs |
| 9 (RLIN) | 306257 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Multimedia Information Systems |
| 9 (RLIN) | 303028 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Software Engineering |
| 9 (RLIN) | 566285 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | User Interfaces and Human Computer Interaction |
| 9 (RLIN) | 219093 |
| 700 1# - Другие авторы | |
| Другие авторы | Graham, T. C. Nicholas. |
| 9 (RLIN) | 328016 |
| 700 1# - Другие авторы | |
| Другие авторы | Kanade, Takeo. |
| 9 (RLIN) | 81641 |
| 700 1# - Другие авторы | |
| Другие авторы | Kittler, Josef. |
| 9 (RLIN) | 81663 |
| 700 1# - Другие авторы | |
| Другие авторы | Kleinberg, Jon M. |
| 9 (RLIN) | 325290 |
| 700 1# - Другие авторы | |
| Другие авторы | Mattern, Friedemann. |
| 9 (RLIN) | 324294 |
| 700 1# - Другие авторы | |
| Другие авторы | Mitchell, John C. |
| 9 (RLIN) | 325291 |
| 700 1# - Другие авторы | |
| Другие авторы | Naor, Moni. |
| 9 (RLIN) | 81688 |
| 700 1# - Другие авторы | |
| Другие авторы | Nierstrasz, Oscar. |
| 9 (RLIN) | 320138 |
| 700 1# - Другие авторы | |
| Другие авторы | Palanque, Philippe. |
| 9 (RLIN) | 300611 |
| 700 1# - Другие авторы | |
| Другие авторы | Pandu Rangan, C. |
| 9 (RLIN) | 325292 |
| 700 1# - Другие авторы | |
| Другие авторы | Steffen, Bernhard. |
| 9 (RLIN) | 325293 |
| 700 1# - Другие авторы | |
| Другие авторы | Sudan, Madhu. |
| 9 (RLIN) | 81689 |
| 700 1# - Другие авторы | |
| Другие авторы | Terzopoulos, Demetri. |
| 9 (RLIN) | 81690 |
| 700 1# - Другие авторы | |
| Другие авторы | Tygar, Doug. |
| 9 (RLIN) | 81691 |
| 700 1# - Другие авторы | |
| Другие авторы | Vardi, Moshe Y. |
| 9 (RLIN) | 319449 |
| 700 1# - Другие авторы | |
| Другие авторы | Weikum, Gerhard. |
| 9 (RLIN) | 81692 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | SpringerLink (Online service) |
| 9 (RLIN) | 143950 |
| 773 0# - Источник информации | |
| Название источника | Springer eBooks |
| 830 ## - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
| Унифицированное заглавие | Lecture Notes in Computer Science, |
| 9 (RLIN) | 279505 |
| 856 40 - Электронный адрес документа | |
| URL | <a href="http://dx.doi.org/10.1007/978-3-540-70569-7">http://dx.doi.org/10.1007/978-3-540-70569-7</a> |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 239583 |
No items available.