Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Logic-Based Program Synthesis and Transformation (Record no. 241327)

000 -Маркер записи
Контрольное поле постоянной длины 02357nmm a22005295u 4500
001 - Контрольный номер
Контрольное поле vtls000363868
005 - Дата корректировки
Контрольное поле 20210922030145.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 120829s2008 xx j eng d
020 ## - Индекс ISBN
ISBN 9783540787693
035 ## - Системный контрольный номер
Системный контрольный номер to000363868
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
100 1# - Автор
Автор Hutchison, David.
9 (RLIN) 81687
245 10 - Заглавие
Заглавие Logic-Based Program Synthesis and Transformation
Физический носитель Электронный ресурс
Продолж. заглавия 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
Ответственность edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andy King.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg,
Дата издания 2008.
490 10 - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 4915
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence
9 (RLIN) 274099
650 #0 - Тематические рубрики
Основная рубрика Computer Science
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Logic design
9 (RLIN) 306256
650 14 - Тематические рубрики
Основная рубрика Computer Science
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics)
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Programming Techniques
9 (RLIN) 566312
700 1# - Другие авторы
Другие авторы Kanade, Takeo.
9 (RLIN) 81641
700 1# - Другие авторы
Другие авторы King, Andy.
9 (RLIN) 331352
700 1# - Другие авторы
Другие авторы Kittler, Josef.
9 (RLIN) 81663
700 1# - Другие авторы
Другие авторы Kleinberg, Jon M.
9 (RLIN) 325290
700 1# - Другие авторы
Другие авторы Mattern, Friedemann.
9 (RLIN) 324294
700 1# - Другие авторы
Другие авторы Mitchell, John C.
9 (RLIN) 325291
700 1# - Другие авторы
Другие авторы Naor, Moni.
9 (RLIN) 81688
700 1# - Другие авторы
Другие авторы Nierstrasz, Oscar.
9 (RLIN) 320138
700 1# - Другие авторы
Другие авторы Pandu Rangan, C.
9 (RLIN) 325292
700 1# - Другие авторы
Другие авторы Steffen, Bernhard.
9 (RLIN) 325293
700 1# - Другие авторы
Другие авторы Sudan, Madhu.
9 (RLIN) 81689
700 1# - Другие авторы
Другие авторы Terzopoulos, Demetri.
9 (RLIN) 81690
700 1# - Другие авторы
Другие авторы Tygar, Doug.
9 (RLIN) 81691
700 1# - Другие авторы
Другие авторы Vardi, Moshe Y.
9 (RLIN) 319449
700 1# - Другие авторы
Другие авторы Weikum, Gerhard.
9 (RLIN) 81692
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 ## - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-540-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</a>
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 241327

No items available.