Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Mathematical and Engineering Methods in Computer Science (Record no. 358363)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 04182nam a22006015i 4500
001 - Контрольный номер
Контрольное поле vtls000484658
005 - Дата корректировки
Контрольное поле 20210922070300.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783642360466
-- 978-3-642-36046-6
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-642-36046-6
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000484658
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.758
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UMZ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051230
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.1
Номер издания 23
100 1# - Автор
Автор Kučera, Antonín.
Роль лиц editor.
9 (RLIN) 331398
245 10 - Заглавие
Заглавие Mathematical and Engineering Methods in Computer Science
Физический носитель [electronic resource] :
Продолж. заглавия 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers /
Ответственность edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем XII, 213 p. 32 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 ;
№ тома 7721
505 0# - Примечание о содержании
Содержание BDD-Based Software Model Checking with CPAchecker -- Security for Cyber-Physical Systems -- Quantum Secret Sharing with Graph States -- Testing Embedded Memories: A Survey -- Quicksort and Large Deviations -- Recent Results on Howard’s Algorithm -- Advantage of Quantum Strategies in Random Symmetric XOR Games -- Verification of Liveness Properties on Closed Timed-Arc Petri Nets -- Fast Algorithm for Rank-Width -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games -- Controllable-Choice Message Sequence Graphs -- A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks -- Parameterized Algorithms for Stochastic Steiner Tree Problems -- Action Investment Energy Games -- Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme -- Grover’s Algorithm with Errors -- On WQO Property for Different Quasi Orderings of the Set of Permutations -- Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems.
520 ## - Аннотация
Аннотация This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Computer Communication Networks.
9 (RLIN) 566243
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Computer software.
9 (RLIN) 303280
650 #0 - Тематические рубрики
Основная рубрика Information systems.
9 (RLIN) 303226
650 #0 - Тематические рубрики
Основная рубрика Economics, Mathematical.
9 (RLIN) 304111
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Computer Communication Networks.
9 (RLIN) 566243
650 24 - Тематические рубрики
Основная рубрика Algorithm Analysis and Problem Complexity.
9 (RLIN) 303732
650 24 - Тематические рубрики
Основная рубрика Management of Computing and Information Systems.
9 (RLIN) 303227
650 24 - Тематические рубрики
Основная рубрика Game Theory/Mathematical Methods.
9 (RLIN) 304113
700 1# - Другие авторы
Другие авторы Henzinger, Thomas A.
Роль лиц editor.
9 (RLIN) 329784
700 1# - Другие авторы
Другие авторы Nešetřil, Jaroslav.
Роль лиц editor.
9 (RLIN) 417380
700 1# - Другие авторы
Другие авторы Vojnar, Tomáš.
Роль лиц editor.
9 (RLIN) 417381
700 1# - Другие авторы
Другие авторы Antoš, David.
Роль лиц editor.
9 (RLIN) 417382
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-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</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) 358363

No items available.