Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Query
Книга
Страницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ
192
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь
70
Khosrowpour M. — Encyclopedia Of Information Science And Technology
563, 2392
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2
96.F
Berman F., Fox G., Hey T. (eds.) — Grid Computing
502—504
Chase K.J., Palmer S. — Access for Starters: The Missing Manual
2nd 3rd 4th 5th
Olsen G.L. — Windows Server 2003 on Proliants: Deployment Techniques and Management Tools for System Administrators
Deitel H.M. — Visual C# How to Program
2nd
Gralla P. — Windows Vista Pocket Reference
Gittleman A. — C#. Net Illuminated
171—172
Carvey H. — Windows forensics and incident recovery
Forta B. — Macromedia ColdFusion MX 7 Certified Developer Study Guide
Maeder R.E. — Computer science with mathematica
314
Lippman S.B., Lajoie J., Moo B.E. — C++ Primer
Rowe N.C. — Artifical intelligence through Prolog
19—37, 43—44, 46, 395
Ito K. — Encyclopedic Dictionary of Mathematics
96.F
Mahmoud H.M. — Sorting: a distribution theory
18
Samet H. — The design and analysis of spatial data structures
44
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP
220
Архангельский А.Я. — Программирование на С++Builder 6
9.4, 9.8, 9.14.4, 10.1.2.1, 10.1.2.2, 10.1.6, 10.1.7, 10.2.2, 10.2.4, 10.3.5.3, 10.4.1, 10.4.4, 10.5.1, 11.2, 11.3, 12.10.3
Bergmann R., Althoff K.-D., Breen S. — Developing Industrial Case-Based Reasoning Applications
9, 17, 22, 28—31, 42—44, 50- 53, 59, 140, 143
Хомоненко A., Ададуров C. — Работа с базами данных в C++Builder
182
Арчер Т., Уайтчепел Э. — Visual C++ .NET. Библия пользователя
685, 752
Troelstra A.S. — Basic proof theory
178
Maier D. — The theory of relational databases
224
Waterworth J.A., Talbot M. — Speech and language-based interaction with machines: towards the conversational computer
126
Blackford L.S., Choi J., Geary A. — ScaLAPACK User's Guide
88
Ullman J.D., Widom J. — A first course in database systems
174, 197
Elden L. — Numerical Linear Algebra and Applications in Data Mining
3, 123, 137
Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming
70
Gries D. — A Logical Approach to Discrete Math
296
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
503
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах
52
Witten I.H., Moffat A., Bell T.C. — Managing Gigabytes: Compressing and Indexing Documents and Images
153—221, see also "Boolean query", "Ranked query"
Избачков Ю.С., Петров В.Н. — Информационные системы
97
Goebel A., Ritthaler D. — SAP Enterprise Portal: Technology and Programming
84
Bisso J.F. — Programmer's Guide to the Oracle Call Interface
2-11, 2-12
Воройский Ф.С. — Основы проектирования автоматизированных библиотечно-информационных систем
28
Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext)
122
Clarke C.L.A., Cormack G.V. — Information Retrieval: Implementing and Evaluating Search Engines
6
Jacky J. — The Way of Z: Practical Programming with Formal Methods
83—84, 196—198
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming
330
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте