Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Model-Based Methodologies for Pervasive and Embedded Software (Record no. 358332)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 02964nam a22005895i 4500
001 - Контрольный номер
Контрольное поле vtls000484941
005 - Дата корректировки
Контрольное поле 20210922070254.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783642382093
-- 978-3-642-38209-3
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-642-38209-3
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000484941
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.758
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UMZ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051230
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.1
Номер издания 23
100 1# - Автор
Автор Machado, Ricardo J.
Роль лиц editor.
9 (RLIN) 311602
245 10 - Заглавие
Заглавие Model-Based Methodologies for Pervasive and Embedded Software
Физический носитель [electronic resource] :
Продолж. заглавия 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
Ответственность edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем X, 139 p. 61 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 7706
520 ## - Аннотация
Аннотация This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Computer Communication Networks.
9 (RLIN) 566243
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence.
9 (RLIN) 274099
650 #0 - Тематические рубрики
Основная рубрика Computer simulation.
9 (RLIN) 304569
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Computer Communication Networks.
9 (RLIN) 566243
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters.
9 (RLIN) 303287
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics).
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Simulation and Modeling.
9 (RLIN) 304570
700 1# - Другие авторы
Другие авторы Maciel, Rita Suzana P.
Роль лиц editor.
9 (RLIN) 417317
700 1# - Другие авторы
Другие авторы Rubin, Julia.
Роль лиц editor.
9 (RLIN) 417318
700 1# - Другие авторы
Другие авторы Botterweck, Goetz.
Роль лиц editor.
9 (RLIN) 417319
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-LNC
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 358332

No items available.