|
|
 |
| Результат поиска |
Поиск книг, содержащих: Nondeterminism
| Книга | Страницы для поиска | | Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types | 150 | | Niedermeier R. — Invitation to Fixed Parameter Algorithms | 123 | | Rowe N.C. — Artifical intelligence through Prolog | 66 | | Sedgewick R. — Algorithms | 259—267, 529 | | Sparck Jones K., Wilks Y. — Automatic natural language parsing | 141 | | Peterson J.L. — Petri net theory and the modeling of systems | 36—37 | | Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 2, 63, 158, 221, 292 | | Bjorner D. — Software Engineering 3 | 419 | | Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity | 8, 761 | | Leeuwen J. (ed.), Meyer A.R., Nivat M. — Algorithms and Complexity, Volume A | 8,761 | | Gries D. — A Logical Approach to Discrete Math | 180, 189, 242 | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 619 | | Covington M.A., Nute D., Vellino A. — Prolog programming in depth | 7 | | Peleg D. — Distributed Computing: A Locality-Sensitive Approach (Monographs on Discrete Mathematics and Applications) | 6 | | Jones N.D. — Computability and complexity from a programming perspective | 243, 331 | | Gries D. — The science of programming | 111 | | Bird R., de Moor O. — Algebra of programming | 81 |
|
|
|
|
О проекте