|
|
 |
| Результат поиска |
Поиск книг, содержащих: Loop invariant
| Книга | Страницы для поиска | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 60 | | Франка П. — C++: учебный курс. | 202 | | Becker T., Weispfenning V. — Groebner bases and commutative algebra | 10 | | Maeder R.E. — Computer science with mathematica | 64, 116, 122—124 | | Hein J.L. — Discrete Mathematics | 428 | | Kingston J.H. (ed.) — An Introduction to Computer Programming with Java | 138 | | Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 67 | | Watt D.A. — Java collections: an introduction to abstract data types, data structures, and algorithms | 41, 43, 48—49, 51—52, 57—58, 88 | | Brookshear J.G. — Computer Science: An Overview | 256 | | Hein J.L. — Discrete Structures, Logic, and Computability | 422 | | Scott M.L. — Programming Language Pragmatics | 314, 316, 755, 755—756 | | Hein J.L. — Theory of Computation: An Introduction | 194 | | Hubbard J.R. — Theory and Problems of Programming with C++ | 61 | | Brookshear J. — Computer Science | 256 | | Gries D. — A Logical Approach to Discrete Math | 237 | | McGettrick A.D. — The Definition of Programming Languages | 163, 167 | | Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 68 | | Jacky J. — The Way of Z: Practical Programming with Formal Methods | 260—262 |
|
|
|
|
О проекте