| Êíèãà | Ñòðàíèöû äëÿ ïîèñêà |
| Wolf E.L. — Nanophysics and nanotechnology. An introduction to modern concepts in nanoscience | |
| Âîðîéñêèé Ô.Ñ. — Èíôîðìàòèêà. Íîâûé ñèñòåìàòèçèðîâàííûé òîëêîâûé ñëîâàðü | 118 |
| Khosrowpour M. — Encyclopedia Of Information Science And Technology | 1602, 1787 |
| Frey B. — Statistics Hacks | |
| Rips J.L. — The psychology of proof: deductive reasoning in human thinking | See also Algorithm for proofs; Programming language |
| Peek R.P. (ed.), Newby G.B. (ed.) — Scholarly publishing: the electronic frontier | 311n3 |
| Winograd T. — Understanding computers and cognition | 3—4, 93—139 |
| Adams E. — Break into the Game Industry: How to Get a Job Making Video Games (Career Series) | 130, 152—153 |
| Konar A. — Computational Intelligence | 1 |
| Popovic D., Palit A.K. — Computational Intelligence in Time Series Forecasting: Theory and Engineering Applications | 8, 9 |
| Gregg M. — CISA Exam Cram | 185 |
| Fette B.A. (Ed) — Cognitive Radio Technology | see AI technique |
| Maier R. — Knowledge Management Systems: Information and Communication Technologies for Knowledge Management | 30 |
| Meisel W.S. — Computer-oriented approach to pattern recognition | 3 |
| Bigus J.P. — Data mining with neural networks | 27—28 |
| Kohonen T. — Self-organizing maps | 75 |
| Kanatani K. — Statistical Optimization for Geometric Computation: Theory and Practice | 24 |
| Burke E.K., Kendall G. — Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques | 7 |
| Forsyth R., Naylor Ch. — The Hitch-Hicker's Guide to Artificial Intelligence | iv, 1, 246, 248 |
| Kowalski R. — Logic for problem solving | 75, 128 |
| Packel E. — The Mathematics of Games and Gambling | 107 |
| Lad F. — Operational Subjective Statistical Methods. A Mathematical, Philosophical, and Historical Introduction | 119—120 |
| Nasar S. — A Beautiful Mind | 102 |
| Solomon C. — Computer environments for children | 12, 63—64 |
| Lerner K.L., Lerner B.W. — The gale encyclopedia of science (Vol. 6) | 1:303—306, 1:394, 4:3012 |
| Piskurich G.M. (ed.) — The AMA Handbook of E-Learning: Effective Design, Implementation, and Technology Solutions | 12, 434 |
| Takezawa K. — Introduction to Nonparametric Regression | 20 |
| Vapnik V.N. — The nature of statistical learning theory | 13 |
| Jahne B. — Digital Image Processing | 18, 515 |
| Sparck Jones K., Wilks Y. — Automatic natural language parsing | 19, 22, 25, 38, 156, 178, 181—183 |
| Mohammadian M., Sarker R.A., Yao X. — Computational intelligence in control | 170 |
| Brookshear J.G. — Computer Science: An Overview | 451, 456 |
| Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13) | 203 |
| Schank R.C. — Computer models of thought and language | 1ff., 114ff. |
| Touretzky D.S. — Common LISP: a gentle introduction to symbolic computation | 27 |
| Wolf E.L. — Nanophysics and nanotechnology: an introduction to modern concepts in nanoscience | 154 |
| Patil G.P. (ed.), Rao C.R. — Environmental Statistics | 631 |
| Jain A.K., Dubes R.C. — Algorithms for clustering data | 224 |
| Yazdani M., Gelling R. (eds.) — Computer Assisted Language Learning | 7, 16, 42, 67-80, 81-100, 101-111 |
| Bellman R. — Algorithms, graphs, and computers, Volume 62 (Mathematics in Science and Engineering) | 228, 237 |
| Samad T. — A Natural Language Interface for Computer-Aided Design | 2, 24, 26, 36, 140, 144 |
| Schank R.C. — Dynamic Memory. A Theory of Reminding and Learning in Computers and People | 2, 22, 149, 225 |
| Walley P. — Statistical reasoning with imprecise probabilities | (see Expert systems) |
| Aliseda-Llera A., Glabbeek R.V. — Computing Natural Language: Context, Structure, and Processes | 68 |
| Accetta J.S. (ed.), Shumaker D.L. (ed.), Robinson S.R. (ed.) — The Infrared & Electro-Optical Systems Handbook. Volume 8: Emerging Systems and Technologies | 302—304, 347 |
| Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems | 1, 251 |
| Marmanis H., Babenko D. — Algorithms of the intelligent web | see “AI” |
| Bellman R.E. — Some vistas of modern mathematics: Dynamic programming, invariant imbedding, and the mathematical biosciences | 39, 42, 102, 127 |
| Hirst G. — Semantic interpretation and the resolution of ambiguity | 32—34, 39 |
| Shu F.H. — The Physical Universe: An Introduction to Astronomy | 557—560 |
| Lena P., Lebrun F. — Observational Astrophysics (Astronomy and Astrophysics Library Series) | 65 |
| Bashe C.J., Johnson L.R., Pugh E.W. — IBM's Early Computers | 558—559 |
| Belotserkovsky S.M., Lifanov I.K. — Method of Discrete Vortices | 431 |
| Charniak E. — Statistical Language Learning | 1 |
| Brookshear J. — Computer Science | 451, 456 |
| Rosenhouse J. — The Monty Hall Problem: The Remarkable Story of Math's Most Contentious Brain Teaser | 128 |
| Cox D., Little J., O'Shea D. — Ideals, varieties, and algorithms | 286 |
| Moore F. — Elements of Computer Music | 453 |
| Âîðîéñêèé Ô.Ñ. — Èíôîðìàòèêà. Ýíöèêëîïåäè÷åñêèé ñëîâàðü-ñïðàâî÷íèê: ââåäåíèå â ñîâðåìåííûå èíôîðìàöèîííûå è òåëåêîììóíèêàöèîííûå òåõíîëîãèè â òåðìèíàõ è ôàêòàõ | 19, 93 |
| Sime M.E., Coombs M.J. — Designing for human-computer communication | 27, 210, 218, 235 |
| Berlekamp E., Wolfe D. — Mathematical Go: Chilling Gets the Last Point | 2 |
| Brady J.M. — The theory of computer science: A programming approach | 10, 75, 147, 167, 168 |
| Bäck T. — Evolutionary Algorithms in Theory and Practice | 29, 29—34, 61 |
| Covington M.A., Nute D., Vellino A. — Prolog programming in depth | 207 |
| Maddala G.S. (ed.), Rao C.R. (ed.) — Robust Inference | 112 |
| Brainerd W.S., Goldberg C.H., Gross J.L. — Pascal Programming : A Spiral Approach | 537—547 |
| Tipler F.J. — The Physics of Immortality | see "Intelligent machines" |
| Jacky J. — The Way of Z: Practical Programming with Formal Methods | 189, 242 |
| Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 30, 55, 164, 174 |
| von der Malsburg C., von Seelen W. — Artificial Neural Networks - ICANN 96: 6th International Conference, Bochum, Germany, July 16 - 19, 1996, Proceedings | 353 |
| Badii R., Politi A. — Complexity: Hierarchical structures and scaling in physics | 8 |
| Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 141, 185 |
| Voit E. — Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists | 61 |
|
|
Î ïðîåêòå