Normal view
MARC view
Mathematical and Engineering Methods in Computer Science (Record no. 358363)
[ view plain ]
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.