|
|
 |
| Результат поиска |
Поиск книг, содержащих: Условие (condition)
| Книга | Страницы для поиска | | Шенфилд Дж. — Математическая логика | 408, 487 | | Препарата Ф., Шеймос М. — Вычислительная геометрия: введение | 18 | | Панагиотополус П. — Неравенства в механике и их приложения. Выпуклые и невыпуклые функции энергии | 31, 108 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 281 | | Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами | 20 | | Грогоно П. — Программирование на языке Паскаль | 67—68, 73, 77 | | Кларк Э.М., Грамберг О., Пелед Д. — Верификация моделей программ: Model Checking | 160, 336 | | Кергаль М. — Методы программирования на Бейсике | 65 | | Грогоно П. — Программирование на языке Pascal | 67—68, 73, 77 | | Шенфилд Дж. — Математическая логика | 408, 487 |
|
|
|
|
О проекте