Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Transactions on Petri Nets and Other Models of Concurrency VIII (Record no. 356929)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 03368nam a22005055i 4500
001 - Контрольный номер
Контрольное поле vtls000485271
005 - Дата корректировки
Контрольное поле 20210922065832.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783642404658
-- 978-3-642-40465-8
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-642-40465-8
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000485271
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.758
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UMZ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051230
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.1
Номер издания 23
100 1# - Автор
Автор Koutny, Maciej.
Роль лиц editor.
9 (RLIN) 414811
245 10 - Заглавие
Заглавие Transactions on Petri Nets and Other Models of Concurrency VIII
Физический носитель electronic resource
Ответственность edited by Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем XVIII, 203 p. 85 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 ;
№ тома 8100
505 0# - Примечание о содержании
Содержание Comparing Metabolic Pathways through Reactions and Potential Fluxes -- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling Guidelines -- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets -- When Can We Trust a Third Party?: A Soundness Perspective -- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle -- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators -- Model-Driven Middleware Support for Team-Oriented Process Management -- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.
520 ## - Аннотация
Аннотация The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
700 1# - Другие авторы
Другие авторы Aalst, Wil M. P.
Роль лиц editor.
9 (RLIN) 333449
700 1# - Другие авторы
Другие авторы Yakovlev, Alex.
Роль лиц editor.
9 (RLIN) 326350
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-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</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) 356929

No items available.