Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Relational Methods in Computer Science (Record no. 237500)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 01838nmm a22004215u 4500
001 - Контрольный номер
Контрольное поле vtls000360671
005 - Дата корректировки
Контрольное поле 20210922025000.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 120828s2006 xx j eng d
020 ## - Индекс ISBN
ISBN 9783540333401
035 ## - Системный контрольный номер
Системный контрольный номер to000360671
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
100 1# - Автор
Автор MacCaull, Wendy
9 (RLIN) 324112
245 10 - Заглавие
Заглавие Relational Methods in Computer Science
Физический носитель Электронный ресурс
Продолж. заглавия 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin
260 ## - Выходные данные
Место издания Berlin Heidelberg
Издательство Springer-Verlag GmbH.
Дата издания 2006
440 #0 - Серия
Серия Lecture Notes in Computer Science
ISSN серии 0302-9743
№ тома 3929
9 (RLIN) 279505
650 #0 - Тематические рубрики
Основная рубрика Algebra
Основная подрубрика Data processing
9 (RLIN) 304851
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence
9 (RLIN) 274099
650 #0 - Тематические рубрики
Основная рубрика Computational complexity
9 (RLIN) 304814
650 #0 - Тематические рубрики
Основная рубрика Computer Science
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Logic design
9 (RLIN) 306256
650 #0 - Тематические рубрики
Основная рубрика Software engineering
9 (RLIN) 566225
650 14 - Тематические рубрики
Основная рубрика Computer Science
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics)
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Discrete Mathematics in Computer Science
9 (RLIN) 304816
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Software Engineering
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Symbolic and Algebraic Manipulation
9 (RLIN) 566359
700 1# - Другие авторы
Другие авторы Düntsch, Ivo
9 (RLIN) 324113
700 1# - Другие авторы
Другие авторы Winter, Michael
9 (RLIN) 314702
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer e-books
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a>
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 237500

No items available.