Normal view
MARC view
Language, Life, Limits (Record no. 400782)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 03593nam a22005055i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000543636 |
005 - Дата корректировки | |
Контрольное поле | 20210922082552.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 160915s2014 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783319080192 |
-- | 978-3-319-08019-2 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-319-08019-2 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000543636 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA75.5-76.95 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UYZG |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM037000 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 004.0151 |
Номер издания | 23 |
245 10 - Заглавие | |
Заглавие | Language, Life, Limits |
Физический носитель | electronic resource |
Продолж. заглавия | 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings / |
Ответственность | edited by Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer. |
260 ## - Выходные данные | |
Место издания | Cham : |
Издательство | Springer International Publishing : |
-- | Imprint: Springer, |
Дата издания | 2014. |
300 ## - Физическое описание | |
Объем | XIV, 410 p. 33 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 ; |
№ тома | 8493 |
505 0# - Примечание о содержании | |
Содержание | How can Grammatical Inference Contribute to Computational Linguistics? -- Algorithms and Their Explanations -- Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates -- On the Equivalence of Automata for KAT-expressions -- Algorithmic Randomness for Infinite Time Register Machines -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries -- Learnability Thesis Does Not Entail Church’s Thesis -- Phase Transitions Related to the Pigeonhole Principle -- Generic Parallel Algorithms -- Fit-Preserving Data Refinement of Mass-Action Reaction Networks -- On Maximal Block Functions of Computable η-like Linear Orderings -- Lossiness of Communication Channels Modeled by Transducers -- Predicate Characterizations in the Polynomial-Size Hierarchy -- Function Spaces for Second-Order Polynomial Time -- Complexity of Operation Problems. |
520 ## - Аннотация | |
Аннотация | This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully reviewed and selected from 78 submissions and included together with 15 invited papers in this proceedings. The conference had six special sessions: computational linguistics, bio-inspired computation, history and philosophy of computing, computability theory, online algorithms, and complexity in automata theory. |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer software. |
9 (RLIN) | 303280 |
650 14 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 24 - Тематические рубрики | |
Основная рубрика | Computation by Abstract Devices. |
9 (RLIN) | 305111 |
650 24 - Тематические рубрики | |
Основная рубрика | Algorithm Analysis and Problem Complexity. |
9 (RLIN) | 303732 |
650 24 - Тематические рубрики | |
Основная рубрика | Mathematics of Computing. |
9 (RLIN) | 303612 |
700 1# - Другие авторы | |
Другие авторы | Beckmann, Arnold. |
Роль лиц | editor. |
9 (RLIN) | 324389 |
700 1# - Другие авторы | |
Другие авторы | Csuhaj-Varjú, Erzsébet. |
Роль лиц | editor. |
9 (RLIN) | 328916 |
700 1# - Другие авторы | |
Другие авторы | Meer, Klaus. |
Роль лиц | editor. |
9 (RLIN) | 449526 |
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-08019-2">http://dx.doi.org/10.1007/978-3-319-08019-2</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) | 400782 |
No items available.