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