Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Введение в теорию программирования. Курс лекций (Record no. 197219)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 04203nam a2200745 4500
001 - Контрольный номер
Контрольное поле vtls000193980
005 - Дата корректировки
Контрольное поле 20210922005846.0
008 - Кодируемые данные
Контрольное поле постоянной длины 120827s2004 ru a | b 000 0 rus d
020 ## - Индекс ISBN
ISBN 5955600094
035 ## - Системный контрольный номер
Системный контрольный номер 0199-03460
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
Правила каталог. PSBO
080 ## - Индекс УДК
Индекс УДК 004.41(075.8)
100 1# - Автор
Автор Зыков, Сергей Викторович.
9 (RLIN) 275811
245 10 - Заглавие
Заглавие Введение в теорию программирования. Курс лекций
Продолж. заглавия учебное пособие: [для студентов вузов, обучающихся по специальности 351400 "Прикладная информатика"]
Ответственность С. В. Зыков ; авт. предисл. В. Э. Вольфенгаген
260 ## - Выходные данные
Место издания М.
Издательство Интернет-Университет Информационных Технологий
Дата издания 2004
300 ## - Физическое описание
Объем 396, [1] с.
Иллюстрации/тип воспроизводства рис., табл.
490 1# - Серия
Заглавие серии Основы информационных технологий
500 ## - Примечания
Примечание Курс разработан при поддержке Microsoft Research, Ltd
504 ## - Библиография
Библиография Библиогр.: с. 387-392
653 ## - Ключевые слова
Ключевые слова учебные пособия для вузов.
653 ## - Ключевые слова
Ключевые слова теория программирования.
653 ## - Ключевые слова
Ключевые слова языки программирования.
653 ## - Ключевые слова
Ключевые слова SML-язык.
653 ## - Ключевые слова
Ключевые слова метаязыки программирования.
653 ## - Ключевые слова
Ключевые слова языки программирования функциональные.
653 ## - Ключевые слова
Ключевые слова объектно-ориентированный подход.
653 ## - Ключевые слова
Ключевые слова информационные сущности-объекты.
653 ## - Ключевые слова
Ключевые слова проектирование программных продуктов
653 ## - Ключевые слова
Ключевые слова функциональный подход.
653 ## - Ключевые слова
Ключевые слова программные платформы.
653 ## - Ключевые слова
Ключевые слова Microsoft. NET платформа.
653 ## - Ключевые слова
Ключевые слова SNL.
653 ## - Ключевые слова
Ключевые слова объектно-ориентированные языки программирования
653 ## - Ключевые слова
Ключевые слова C#, язык программирования
653 ## - Ключевые слова
Ключевые слова классификация языков программирования.
653 ## - Ключевые слова
Ключевые слова ламбда-исчисление.
653 ## - Ключевые слова
Ключевые слова комбинаторная логика.
653 ## - Ключевые слова
Ключевые слова теория типов.
653 ## - Ключевые слова
Ключевые слова синтаксис языков программирования.
653 ## - Ключевые слова
Ключевые слова семантика языков программирования.
653 ## - Ключевые слова
Ключевые слова рекурсивные функции.
653 ## - Ключевые слова
Ключевые слова множества.
653 ## - Ключевые слова
Ключевые слова комбинаторная логика категориальная.
653 ## - Ключевые слова
Ключевые слова абстрактные вычислительные машины.
653 ## - Ключевые слова
Ключевые слова семантическое равенство.
653 ## - Ключевые слова
Ключевые слова синтаксическое равенство.
653 ## - Ключевые слова
Ключевые слова оптимизация вычислений.
653 ## - Ключевые слова
Ключевые слова семантика С#.
653 ## - Ключевые слова
Ключевые слова объекты объектно-ориентированного подхода.
653 ## - Ключевые слова
Ключевые слова классы объектно-ориентированного подхода.
653 ## - Ключевые слова
Ключевые слова типы в Microsoft. NET.
653 ## - Ключевые слова
Ключевые слова типизация в Microsoft. NET.
653 ## - Ключевые слова
Ключевые слова наследование в С#.
653 ## - Ключевые слова
Ключевые слова инкапсуляция в С#.
653 ## - Ключевые слова
Ключевые слова полформизм в С#.
653 ## - Ключевые слова
Ключевые слова программирование событийно управляемое в Microsoft. NET.
653 ## - Ключевые слова
Ключевые слова программирование компонентное в Microsoft. NET.
653 ## - Ключевые слова
Ключевые слова языки программирования императивные
653 ## - Ключевые слова
Ключевые слова языки программирования декларативные.
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Основы информационных технологий
9 (RLIN) 77823
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
Полочный индекс 004.4
Авторский знак З-966
Код страны ru
908 ## - Параметр входа данных
Параметр входа данных учебник
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 197219
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Номер копии Класс экземпляра
      Научная библиотека ТГУ Книгохранилище 03/04/2021 250.00   1-918341к 13820000467041 1 Выдается в читальный зал
      Научная библиотека ТГУ Книгохранилище 03/04/2021 250.00   2-041252 13820000467042 2 1 месяц
      Научная библиотека ТГУ Абонемент. Депозитарий 03/04/2021 250.00   004 З-966 13820000467043 3 6 месяцев
      Научная библиотека ТГУ Абонемент. Депозитарий 03/04/2021 250.00   004 З-966 13820000467045 5 6 месяцев
      Научная библиотека ТГУ Абонемент. Депозитарий 03/04/2021 250.00   004 З-966 13820000467044 6 6 месяцев