Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Program counter
Книга
Страницы для поиска
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ
854
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь
217
Terry P.D. — Compliers and Compiler Generators: An Introduction With C++
26, 30, 39
Feynman R.P. — Feynman Lectures on Computation
8
Bach M.J. — The design of the UNIX operating system
159
Irvine K.R. — Assembly Language for Intel-Based Computers
34
Brookshear J.G. — Computer Science: An Overview
106
Dorr H. — Efficient Graph Rewriting and Its Implementation
138
Queinnec C. — Lisp in Small Pieces
228
Müller-Olm M. — Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
see Instruction pointer
Scott M.L. — Programming Language Pragmatics
208
Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation
211
Dolev S. — Self-Stabilization
5, 13, 14, 26, 29, 66, 176, 177
Brookshear J. — Computer Science
106
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах
214
Clarke E.M., Grumberg O., Peled D.A. — Model checking
21, 156
Melissinos A.C. — Principles of modern technology
76
Milutinovic V. — Computer Architecture: Concepts and Systems
77
John Aycock — Computer Viruses and Malware
14, 43, 78, 102, 105
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте