Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Record type
Книга
Страницы для поиска
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь
31
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools
346, 359, 477—478
Sketches — A supplement for Category theory for computing science
30
Ullman J.D. — Principles of database systems
94(see also “Logical record type”)
Diaz J. (ed.), Ramos I. (ed.) — Formalization of Programming Concepts
3.7
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах
30
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.
756, 764
Koffman E. — Problem Solving and Structured Programming in PASCAL
250
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте