Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

SOFSEM 2015: Theory and Practice of Computer Science (Record no. 416366)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 06644nam a22006495i 4500
001 - Контрольный номер
Контрольное поле vtls000561712
005 - Дата корректировки
Контрольное поле 20210922090555.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 170213s2015 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783662460788
-- 978-3-662-46078-8
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-662-46078-8
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000561712
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.9.M35
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории PBD
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYAM
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM018000
Источник кода bisacsh
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории MAT008000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 004.0151
Номер издания 23
245 10 - Заглавие
Заглавие SOFSEM 2015: Theory and Practice of Computer Science
Физический носитель electronic resource
Продолж. заглавия 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings /
Ответственность edited by Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2015.
300 ## - Физическое описание
Объем XVI, 616 p. 116 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 ;
№ тома 8939
505 0# - Примечание о содержании
Содержание Keynote Talk -- What is Computation: An Epistemic Approach -- Foundations of Computer Science -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi-Party Computation -- Online Bipartite Matching in Offline Time (Abstract) -- Software & Web Engineering -- Quo Vadis Explicit-State Model Checking -- The Dos and Dont’s of Crowdsourcing Software Development -- Data, Information and Knowledge Engineering -- Adaptively Approximate Techniques in Distributed Architectures -- Back to the Future – Should SQL Surrender to SPARQL? -- Foundations of Computer Science -- Balancing Energy Consumption for the Establishment of Multi-interface Networks -- The Maximum k-Differential Coloring Problem -- Exact Algorithms for 2-clustering with Size Constraints in the Euclidean Plane -- Local Routing in Convex Subdivisions -- Nondeterministic Modal Interfaces -- Group Search on the Line -- Online Makespan Scheduling with Sublinear Advice -- Deterministic Rendezvous in Restricted Graphs -- Fastest, Average and Quantile Schedule -- Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP -- Maximally Permissive Controlled System Synthesis for Modal Logic -- Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem -- Finding Highly Connected Subgraphs -- Fixing Improper Colorings of Graphs -- Efficient Online Strategies for Renting Servers in the Cloud -- Palk is Linear Recognizable Online -- Two Grammatical Equivalents of Flip-Pushdown Automata -- On the Hierarchy Classes of Finite Ultrametric Automata -- Nash-Williams-type and Chvat´al-type Conditions in One-Conflict Graphs. -Optimal State Reductions of Automata with Partially Specified Behaviors. -Quantum Pushdown Automata with a Garbage Tape -- Towards a Characterization of Leaf Powers by Clique Arrangements -- Filling Logarithmic Gaps in Distributed Complexity for Global Problems -- On Visibly Pushdown Trace Languages -- Dominating an s-t-Cut in a Network -- Lower Bounds for Linear Decision Trees with Bounded Weights -- Software & Web Engineering -- A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs -- Function Based Requirements Engineering and Design – Towards Efficient and Transparent Plant Engineering -- Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies -- Discovering Motifs in Real-World Social Networks -- Data, Information, and Knowledge Engineering -- Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities -- Efficient Similarity Search by Combining Indexing and Caching Strategies -- Retrieving Documents Related to Database Queries -- Advantages of Dependency Parsing for Free Word Order Natural Languages -- Detecting Identical Entities in the Semantic Web Data -- Conducting a Web Browsing Behaviour Study – An Educational Scenario -- A Uniform Programmning Language for Implementing XML Standards -- OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms -- Cryptography, Security, and Verification -- Attribute-Based Encryption Optimized for Cloud Computing -- Trustworthy Virtualization of the ARMv7 Memory Subsystem -- True Random Number Generators Secure in a Changing Environment: Improved Security Bounds -- Java Loops Are Mainly Polynomial.
520 ## - Аннотация
Аннотация This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Data encryption (Computer science).
9 (RLIN) 566260
650 #0 - Тематические рубрики
Основная рубрика Algorithms.
9 (RLIN) 304813
650 #0 - Тематические рубрики
Основная рубрика Computer science
Основная подрубрика Mathematics.
9 (RLIN) 304486
650 #0 - Тематические рубрики
Основная рубрика Information Storage and Retrieval.
9 (RLIN) 303027
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence.
9 (RLIN) 274099
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Discrete Mathematics in Computer Science.
9 (RLIN) 304816
650 24 - Тематические рубрики
Основная рубрика Algorithm Analysis and Problem Complexity.
9 (RLIN) 303732
650 24 - Тематические рубрики
Основная рубрика Information Storage and Retrieval.
9 (RLIN) 303027
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics).
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Data Encryption.
9 (RLIN) 566261
700 1# - Другие авторы
Другие авторы Italiano, Giuseppe F.
Роль лиц editor.
9 (RLIN) 322083
700 1# - Другие авторы
Другие авторы Margaria-Steffen, Tiziana.
Роль лиц editor.
9 (RLIN) 469286
700 1# - Другие авторы
Другие авторы Pokorný, Jaroslav.
Роль лиц editor.
9 (RLIN) 322582
700 1# - Другие авторы
Другие авторы Quisquater, Jean-Jacques.
Роль лиц editor.
9 (RLIN) 328405
700 1# - Другие авторы
Другие авторы Wattenhofer, Roger.
Роль лиц editor.
9 (RLIN) 322057
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-662-46078-8">http://dx.doi.org/10.1007/978-3-662-46078-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) 416366

No items available.