Normal view
MARC view
Horizons of the Mind. A Tribute to Prakash Panangaden (Record no. 401392)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04466nam a22005775i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000543371 |
005 - Дата корректировки | |
Контрольное поле | 20210922082746.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 160915s2014 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783319068800 |
-- | 978-3-319-06880-0 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-319-06880-0 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000543371 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA76.9.L63 |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA76.5913 |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA76.63 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UM |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UYF |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM051000 |
Источник кода | bisacsh |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM036000 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 005.1015113 |
Номер издания | 23 |
245 10 - Заглавие | |
Заглавие | Horizons of the Mind. A Tribute to Prakash Panangaden |
Физический носитель | electronic resource |
Продолж. заглавия | Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / |
Ответственность | edited by Franck Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten. |
260 ## - Выходные данные | |
Место издания | Cham : |
Издательство | Springer International Publishing : |
-- | Imprint: Springer, |
Дата издания | 2014. |
300 ## - Физическое описание | |
Объем | XVIII, 499 p. 36 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 ; |
№ тома | 8464 |
505 0# - Примечание о содержании | |
Содержание | Layout Randomization and Nondeterminism -- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities and No-Signalling Models -- Bisimulation on Markov Processes over Arbitrary Measurable Spaces -- Probabilistic Model Checking for Energy-Utility Analysis -- (Co)Algebraic Characterizations of Signal Flow Graphs -- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra -- Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers: The Impact of Losses -- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata -- From Haar to Lebesgue via Domain Theory -- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars -- The Logic of Entanglement -- Free Energy of Petri Nets -- Laudatio for Prakash Panangaden -- Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random Measurable Selections -- A Final Coalgebra for k-regular Sequences -- Automata Learning: A Categorical Perspective -- Optimal Coin Flipping -- Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation -- Euclidean Representations of Quantum States -- TCC, with History -- Probabilistic and Quantum Event Structures. |
520 ## - Аннотация | |
Аннотация | This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science. |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | Logic design. |
9 (RLIN) | 306256 |
650 14 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 24 - Тематические рубрики | |
Основная рубрика | Logics and Meanings of Programs. |
9 (RLIN) | 306257 |
650 24 - Тематические рубрики | |
Основная рубрика | Mathematical Logic and Formal Languages. |
9 (RLIN) | 303363 |
650 24 - Тематические рубрики | |
Основная рубрика | Probability and Statistics in Computer Science. |
9 (RLIN) | 304554 |
650 24 - Тематические рубрики | |
Основная рубрика | Computation by Abstract Devices. |
9 (RLIN) | 305111 |
700 1# - Другие авторы | |
Другие авторы | Breugel, Franck. |
Роль лиц | editor. |
9 (RLIN) | 331382 |
700 1# - Другие авторы | |
Другие авторы | Kashefi, Elham. |
Роль лиц | editor. |
9 (RLIN) | 450568 |
700 1# - Другие авторы | |
Другие авторы | Palamidessi, Catuscia. |
Роль лиц | editor. |
9 (RLIN) | 322395 |
700 1# - Другие авторы | |
Другие авторы | Rutten, Jan. |
Роль лиц | editor. |
9 (RLIN) | 322023 |
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-06880-0">http://dx.doi.org/10.1007/978-3-319-06880-0</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) | 401392 |
No items available.