|
|
 |
| Результат поиска |
Поиск книг, содержащих: Состояние (state)
| Книга | Страницы для поиска | | Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов | 40 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования | 20 | | Панагиотополус П. — Неравенства в механике и их приложения. Выпуклые и невыпуклые функции энергии | 158 | | Мартин Н., Ингленд Дж. — Математическая теория энтропии | 291, 294 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 39 | | Гинзбург С. — Математическая теория контекстно-свободных языков | 72, 76, 79, 130, 134 | | Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами | 58 | | Грис Д. — Конструирование компиляторов для цифровых вычислительных машин | 72 | | Вайнгартен Ф. — Трансляция языков программирования | 121 | | Кларк Э.М., Грамберг О., Пелед Д. — Верификация моделей программ: Model Checking | 37, 39 | | Эшби У.Р. — Введение в кибернетику | 44 | | Бауэрс Н., Гербер Х., Джонс Д. — Актуарная математика | 484 | | Альбеверио С. — Нестандартные методы в стохастическом анализе и математической физике | 474, 478 |
|
|
|
|
О проекте