Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
CSP
Книга
Страницы для поиска
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь
525
Harris R. — Crafting the New Conversational Speech Systems
see “Computer Speech (CSp).”
Cabanes M., Enguehard M., Bollobas B. (Ed) — Representation Theory of Finite Reductive Groups (New Mathematical Monographs Series), Vol. 1
320
Нильсен П. — Microsoft SQL Server 2005. Библия пользователя
605
Норберг С. — Безопасность серверов Windows NT/2000 в Интернете
132
Scott M.L. — Programming Language Pragmatics
see “Occam”
Milner R. — Communicating and mobile systems: the symbol for pi-calculus
6, 153
Hernandez D. — Qualitative Representation of Spatial Knowledge
(see Constraint satisfaction problem)
Milner R. — Communicating and Mobile Systems: the Pi-Calculus
6, 153
Gries D. — A Logical Approach to Discrete Math
19
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах
534
Jacky J. — The Way of Z: Practical Programming with Formal Methods
326
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте