|
|
 |
| Результат поиска |
Поиск книг, содержащих: Entity
| Книга | Страницы для поиска | | Уэйкерли Дж.Ф. — Проектирование цифровых устройств (том 1) | 319 | | Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 47 | | Карри Х.Б. — Основания математической логики | 136 | | Khosrowpour M. — Encyclopedia Of Information Science And Technology | 2424 | | Wallace M. — Communicating with Databases in Natural Language | 18, 39, 94, 123 | | Deitel H.M. — Visual C# How to Program | | | Maeder R.E. — Computer science with mathematica | 303 | | Carolan J., Radeztsky S., Strong P. — Buliding N1 Grid Solutions Preparing, Architecting, and Implementing Service-Centric Data Centers | | | Knuth D.E. — The art of computer programming (Vol. 1. Fundamental algorithms) | 229, see “Node” | | Hußmann H. — Formal Foundations for Software Engineeing Methods | 44, 76, 81 | | Ullman J.D. — Principles of database systems | 12—13 | | Barwise J. (ed.) — Handbook of Mathematical Logic | 200 | | Knuth D.E. — The art of computer programming (vol. 1 Fundаmental algorithms) | 233; see Node | | Carberry S. — Plan recognition in natural language dialogue | 111—113 | | Ullman J.D., Widom J. — A first course in database systems | 40 | | Beth E.W. — The foundations of mathematics: A study in the philosophy of science | 348, 366 | | Bjorner D. — Software Engineering 3 | 10, 36, 125 | | Ghosh S. — Algorithm design for networked information technology systems | 16 | | Van Orman Quine W. — Methods of Logic | (see Abstract, Existence, and Individual) | | Conen W., Neumann G. — Coordination Technology for Collaborative Applications: Organizations, Processes, and Agents | 32, 53, 84, 85, 181, 184—186, 220, 250, 263 | | Diaz J. (ed.), Ramos I. (ed.) — Formalization of Programming Concepts | 3.1 | | Curry H.B. — Foundations of Mathematical Logic | 86 | | Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 39 | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 346, 347, 374, 380, 398, 415, 419, 620 | | Curry H.B. — Foundations of mathematical logic | 86 |
|
|
|
|
О проекте