Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Foundational and Practical Aspects of Resource Analysis (Record no. 401796)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 03305nam a22005655i 4500
001 - Контрольный номер
Контрольное поле vtls000544201
005 - Дата корректировки
Контрольное поле 20210922082904.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 160915s2014 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783319124667
-- 978-3-319-12466-7
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-319-12466-7
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000544201
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.9.E94
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYD
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM074000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 004.24
Номер издания 23
245 10 - Заглавие
Заглавие Foundational and Practical Aspects of Resource Analysis
Физический носитель electronic resource
Продолж. заглавия Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Ответственность edited by Ugo Dal Lago, Ricardo Peña.
260 ## - Выходные данные
Место издания Cham :
Издательство Springer International Publishing :
-- Imprint: Springer,
Дата издания 2014.
300 ## - Физическое описание
Объем IX, 161 p. 34 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 ;
№ тома 8552
505 0# - Примечание о содержании
Содержание Certified Complexity (CerCo) -- On the Modular Integration of Abstract Semantics for WCET Analysis -- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions -- A Hoare Logic for Energy Consumption Analysis -- Reasoning About Resources in the Embedded Systems Language Hume -- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.
520 ## - Аннотация
Аннотация This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Computer system performance.
9 (RLIN) 303225
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Computer software.
9 (RLIN) 303280
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика System Performance and Evaluation.
9 (RLIN) 303229
650 24 - Тематические рубрики
Основная рубрика Algorithm Analysis and Problem Complexity.
9 (RLIN) 303732
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters.
9 (RLIN) 303287
650 24 - Тематические рубрики
Основная рубрика Computation by Abstract Devices.
9 (RLIN) 305111
700 1# - Другие авторы
Другие авторы Dal Lago, Ugo.
Роль лиц editor.
9 (RLIN) 451322
700 1# - Другие авторы
Другие авторы Peña, Ricardo.
Роль лиц editor.
9 (RLIN) 416188
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-319-12466-7">http://dx.doi.org/10.1007/978-3-319-12466-7</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) 401796

No items available.