|
|
 |
| Результат поиска |
Поиск книг, содержащих: Model checking
| Книга | Страницы для поиска | | Khosrowpour M. — Encyclopedia Of Information Science And Technology | 1204 | | Lindsey J.K. — Applying generalized linear models | 221 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 517 | | Niedermeier R. — Invitation to Fixed Parameter Algorithms | 234, 266 | | Lawless J.F. — Statistical Models and Methods for Lifetime Data | see “Goodness of fit tests”, “Graphical methods” | | Ghosh Sujit K., Mallick Bani K., Dey Dipak K. — Generalized Linear Models: A Bayesian Perspective | 232, 236 | | Hughes C., Hughes T. — Professional Multicore Programming: Design and Implementation for C++ Developers | 326, 398 | | Gelman A., Carlin J.B., Stern H.S. — Bayesian data analysis | 157—196, 265—271 | | Bjorner D. — Software Engineering 3 | 86, 346, 506, 658 | | Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey | 272—280 | | Ben-Ari M — Mathematical Logic for Computer Science | 272—280 | | Rao J.R. — Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism | 101 | | Zelkowitz M.(editor) — Advances in Computers. Volume 49 | 85—86 | | Jacky J. — The Way of Z: Practical Programming with Formal Methods | 160, 162, 327 |
|
|
|
|
О проекте