|
|
 |
| Результат поиска |
Поиск книг, содержащих: Pnueli, A.
| Книга | Страницы для поиска | | Ghosh S.K. — Visibility Algorithms in the Plane | 196 | | Baar Th. (Ed), Strohmeier A. (Ed), Moreira A. (Ed) — 2004 - the Unified Modeling Language: Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings | 335 | | Grotschel M., Lovasz L., Schrijver A. — Geometric Algorithms and Combinatorial Optimization | 280, 335 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 64, 67, 68, 517 | | Grumberg O. (ed.), Veith H. (ed.) — 25 years of model checking. Lecture notes in computer science 5000 | 172 | | Wooldridge M. (ed.), Muller J. (ed.), Tambe M. (ed.) — Intelligent Agents II | 94 | | Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey | 267, 277, 292 | | Ben-Ari M — Mathematical Logic for Computer Science | 267, 277, 292 | | Lee A. — Mathematics Applied to Continuum Mechanics | 525 |
|
|
|
|
О проекте