|
|
 |
| Результат поиска |
Поиск книг, содержащих: Эндрюс
| Книга | Страницы для поиска | | Грэхем Р., Кнут Д., Паташник О. — Конкретная математика. Основание информатики | 244, 364, 573, 620, 682, 686, 687 | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 203 | | Клини С. — Математическая логика | 414, 455 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 268, 271 | | Нильсон Н. — Искусственный интеллект. Методы поиска решений | 243, 249 | | Сивухин Д.В. — Общий курс физики (том 2). Термодинамика и молекулярная физика | 388, 392—394 | | Физер Л., Физер М. — Органическая химия. Углубленный курс (Том 2) | 275* | | Карри Х.Б. — Основания математической логики | 47, 493 | | Дуда Р., Харт П. — Распознавание образов и анализ сцен | 271, 344, 346 | | Ту Дж., Гонсалес Р. — Принципы распознавания образов | 394 | | Розенбергер Ф. — История физики (том 3, выпуск 2). История физики за последнее (XIX) столетие | $III^2$, 69*, 287—290, 292—295 | | Болл У., Коксетер Г. — Математические эссе и развлечения | 229 | | Кудрявцев П.С. — История физики (Том 2) | 310, 311, 31 | | Атлури С.Н. (ред.) — Вычислительные методы в механике разрушения | 119, 120 | | Джеммер М. — Понятие массы | 73 | | Леман Э. — Теория точечного оценивания | 317, 326, 343, 353, 357 | | Сивухин Д.В. — Общий курс физики. Том 2. Термодинамика и молекулярная физика | 383, 386—388 | | Янг С. — Алгоритмические языки реального времени | 315, 390 | | Клини С.К. — Математическая логика | 414, 455 | | Кудрявцев П.С. — История физики (в 3-х томах) | 310, 311, 314 |
|
|
|
|
О проекте