|
|
Электронная библиотека
механико-математического факультета
Московского государственного университета
|
|
|
|
|
| Результат поиска |
Поиск книг, содержащих: Pascal
| Книга | Страницы для поиска | | Ахо А.В., Хопкрофт Д.Э., Ульман Д.Д. - Структуры данных и алгоритмы | 7, 54, 95, 110, 138, 204, 303, 315, 331, 335, 345 | | Воройский Ф.С. - Информатика. Новый систематизированный толковый словарь | 336 | | Фридл Дж. - Регулярные выражения | 56, 59, 79, 206 | | Потемкин В.Г. - MatLab 5 для студентов | 281 | | Страуструп Б. - Дизайн и эволюция C++ | 146, 212 | | Говорухин В., Цибулин Б. - Компьютер в математическом исследовании | 337 | | Kisacanin B. - Mathematical problems and proofs. Combinatorics, Number theory, and Geometry | 109n, 167 | | Girard J.-Y., Taylor P., Lafont Y. - Proofs and Types | 47 | | Hoffman J.D. - Numerical Methods for Engineers and Scientists | 3 | | Smith I.M., Griffiths D.V. - Programming the finite element method | 4, 11 | | Nash J.C., Nash M.M. - Scientific Computing with PCs | 2.9 | | Cameron P.J. - Combinatorics : Topics, Techniques, Algorithms | 332 | | Aho A.V., Sethi R., Ullman J.D. - Compilers: principles, techniques and tools | 52, 85, 94, 96-97, 162-163, 347, 349, 356-357, 365-366, 396 398, 411, 424-415, 427, 440-442, 473, 481, 510-512, 583, 719, 727-729, 734-735 | | Baker F - An Introduction to the theory of multiply periodic functions | 328 | | Eijkhout V. - TeX by topic, a texnician's reference | 242 | | Deitel H.M. - Visual C# How to Program | | | Levine J.R., Manson T., Brown D. - Lex & Yacc | 292, 294 | | Morris B., Davies Ch., Day W. - The Symbian OS Architecture Sourcebook: Design and Evolution of a Mobile Phone OS | 21, 22, 92, 98-99, 108 | | Bird J. - Engineering Mathematics | 239 | | Herrmann H.J. (ed.), Roux S. (ed.) - Statistical models for the fracture of disordered media | 6 | | Sutter H., Alexandrescu A. - C++ Coding Standards: 101 Rules, Guidelines, and Best Practices | | | Mahmoud H.M. - Evolution of random search trees | 52 | | Von Laue M. - History of Physics | 18 | | TeX82 program code documentation | 1, 10, 693, 764 | | Chou S.-C. - Mechanical Geometry Theorem Proving | 6, 7 | | Willers A. - Practical Analysis | 370, 411 | | Forsyth R., Naylor Ch. - The Hitch-Hicker's Guide to Artificial Intelligence | 186, 192, 230 | | Ross S. - A First Course in Probability | 89-90 | | Humphreys J.F., Prest M.Y. - Numbers, Groups and Codes | 23, 117 | | Sipser M. - Introduction to the theory of computation | 154 | | Turnbull H.W. - The Great Mathematicians | 70, 76, 77-80, 88, 90, 95, 102, 115, 121 | | Rowe N.C. - Artifical intelligence through Prolog | see Programming languages | | Dowling L.W. - Projective Geometry | 80 | | Solomon C. - Computer environments for children | 6, 90, 94, 139 | | Kingston J.H. (ed.) - An Introduction to Computer Programming with Java | 3, 33 | | Samet H. - Applications of Spatial Data Structures: Computer Graphics, Image Processing, and Other Areas | ix, 425-426 | | Sedgewick R. - Algorithms | 9, 19, 271-272 | | Pechenberg P., Mössenböck H. - A Compiller Generator for Microcomputers | 207 | | Gonnet G.H., Baeza-Yates R. - Handbook of algorithms and data structures | 5 | | Patterson D.A., Hennessy J.L. - Computer Organization and Design: The Hardware/Software Interface | CD2.19:6-7 | | Bach M.J. - The design of the UNIX operating system | 4 | | Burn R.P. - Numbers and Functions: Steps to Analysis | 1H | | Samet H. - The design and analysis of spatial data structures | x, 411-412 | | Robinson W.S. - Magnetic Phenomena - An Elementary Treatise | 96, 100, 208 | | Gray J. - Mastering Mathematica | 168, 169, 260, 547 | | Grace J.H., Young A. - The Algebra of Invariants | 240, 280 | | Tanimoto S.L. - The elements of artificial intelligence. An introduction using LISP | 27, 43 | | Мячев А.А. - Персональные ЭВМ: краткий энциклопедический справочник | 320, 324 | | Alagić S., Arbib M.A. - The Design of Well-Structured and Correct Programs | 10, 26 -27, 156, 158, 161 -162, 169-170 | | Chabert J.-L., Weeks C., Barbin E. - A History of Algorithms: From the Pebble to the Microchip | 40, 43, 52, 239, 241, 244, 246-247, 281, 317, 484, 488, 505 | | Житомирский О.К., Львовский В.Д., Милинский В.И. - Задачи по высшей геометрии. Часть 1 | 86, 102, 104, 105, 246 | | Dickson L.E. - History of the Theory of Numbers, Volume I: Divisibility and Primality | 269, 337, 420 (338, 342, 344-346) | | Montenbruck O., Pfleger Th. - Astronomy on the Personal Computer | 7, 92, 233 | | Валиков А.Н. - Технология XSLT | 388 | | Lawrence C. Paulson - ML for the working programmer | 4, 7, 108, 175 | | Дейтел Х.М., Дейтел П.Дж. - Как программировать на С | 31, 38, 39 | | Herbert C.G., Johnstone R.A.W. - Mass Spectrometry Basics | 309, 314 | | Stoner E.C. - Magnetism and Atomic Structure with 56 diagrams | 121, 262-264, 267, 280, 326-327, 331-335, 340 | | Брукшир Д.Г. - Введение в компьютерные науки. Общий обзор | 290 | | Plauger P.J. - The Standard C Library | 2, 181, 192 | | Фридл Дж. - Регулярные выражения | 56, 59, 79, 206 | | Lebowitz J.L., Montroll E.W. - Nonequilibrium phenomena II. From stochastics to hydrodynamics | 7 | | Douglas Clark C.H. - The basis of modern atomic theory | 260 | | Bracewell R.N. - The Fourier Transform and its applications | 141, 149, 323 | | Harris M.D. - Introduction to Natural Language Processing | 56, 69, 70, 72, 78, 79, 86, 87, 138, 140, 151, 173, 242, 276, 293, 294, 297, 318, 321 | | Plauger P.J. - Programming on purpose: essays on software design | (see Language) | | Plauger P.J. - The standard C library | 2, 181, 192 | | Sebesta R.W. - Concepts of programming languages | 77-82 | | Kreyszig E. - Advanced engineering mathematics | 399 | | Eisenberg M., Abelson H. - Programming in Scheme | 3, 107n | | Lemmermeyer F. - Reciprocity Laws: From Euler to Eisenstein | 12 | | Wilkinson L., Wills G., Rope D. - The Grammar aof Graphics | 4 | | Plauger P.J. - Programming on purpose III: essays on software technology | (see Programming language) | | Bentley J. - More programming pearls | 13, 72 | | Hubbard J.R. - Theory and Problems of Programming with C++ | 139 | | The First Six Books of the Elements of Euclid and Propositions I - XXI of Book XI | 262 | | Ullman J.D., Widom J. - A first course in database systems | 247, 363 | | Bentley J. - Programming pearls | 8, 10, 53, 62, 88, 100, 149, 178 | | Moh T.T. - Algebra | 45 | | Bergin T.J., Gibson R.G. - History of Programming Languages (Vol. 2) | 14, 17, 21-22, 43, 123, 154, 197, 284, 406, 479, 617, 684, 701 | | Astfalk G. - Applications on Advanced Architecture Computers | 184 | | Bracewell R. - The Fourier Transform and Its Applications | 141, 149, 323 | | Boillot M. - Basic Concepts and Structured Problem Solving | 16 | | Rall L.B. - Automatic Differentiation: Techniques and Applications | 34 | | Struik D.J. - Lectures on Analytic and Projective Geometry | 19, 66, 67, 83, 128-132, 139, 252, 263 | | David O.Tall - Advanced Mathematical Thinking | 242 | | Stibitz G.R., Larrivee J.A. - Mathematics and Computers | 47, 48 | | Patnaik S., Hopkins D. - Strength of Materials: A New Unified Theory for the 21st Century | 33 | | Schneider D.I. - Computer programming concepts and visual basic | 135, 177 | | Audin M. - Geometry | 103, 108, 209, 240 | | Audin M. - Geometry | 103, 108, 209, 240 | | Fink K. - A brief history of mathematics | 48, 57, 148, 150, 169, 173, 174, 234, 236 - 238 | | Ore O. - Number theory and its history | 55, 74 | | Averbach B., Chein O. - Problem solving through recreational mathematics | 337 | | Moh T.T. - Algebra | 45 | | Giarratano J.C., Riley G.D. - Expert Systems: Principles and Programming | 328, 335 | | Geddes K., Czapor S., Labahn G. - Algorithms for computer algebra | 11 | | Hugh D. Young, Roger A. Freedman - University physics with modern physics | 364, 458 | | Gries D. - A Logical Approach to Discrete Math | 4, 25, 141, 146, 262, 267, 347 | | Todhunter M.A. - A history of the mathematical theory of probability : from the time of Pascal to that of Laplace | 7-21, 28-30, 40, 66, 96, 128, 277, 500, 502 | | Hobbie R., Roth B. - Intermediate Physics for Medicine and Biology, | 12 | | Рапаков Г.Г., Ржеуцкая С.Ю. - Программирование на языке Pascal | 17 | | Baker H.F. - Principles of Geometry. Volume 3 | 44 | | Кутюра Л. - Философские принципы математики | 156, 230 | | Воройский Ф.С. - Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 311 | | Chrystal G. - Algebra. An Elementary Textbook, Vol. 2 | i, 67, ii, 556, 563 | | Flegg G., Hay C., Moss B. - Nicolas Chuquet, Renaissance Mathematician | 350 | | Greenfield J.S. - Distributed Programming Paradigms with Cryptography Applications | 17 | | Suppes P.(ed.) - Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 754 | | Cooper R.B. - Introduction to queueing theory | 287 | | Davis M., Sigal R., Weyuker E. - Computability, complexity, and languages: Fundamentals of theoretical computer science | 279, 323, 326, 438 | | Hartmann A.K., Rieger H. - Optimization Algorithms in Physics | 293, 300 | | Hassani S. - Mathematical Methods: for Students of Physics and Related Fields | 15, 103, 481 | | Kraitchik M. - Mathematical Recreations | 66, 117, 119 | | Lieberherr K. - Adaptive object-oriented software. The Demetr method | 394 | | Hickman M. (Ed), Mirchandani P. (Ed) - Computer-Aided Systems in Public Transport | 140, 141, 143, 188, 235, 236 | | Yates R.C. - Curves and Their Properties | 36, 65, 148 | | Higham D.J., Higham N.J. - MATLAB guide | 48t | | Dolan T.J. - Fusion Research: Principles, Experiments and Technology | 572 | | Stillwell J. - Mathematics and its history | 76, 86, 95, 97-99, 136, 138, 139, 151, 250 | | Brady J.M. - The theory of computer science: A programming approach | 198, 201ff, 215ff | | McGettrick A.D. - The Definition of Programming Languages | 5, 50-51, 138, 153-160, 167-172, 237, 240, 245, 252-255, 258 | | Deitel H., Deitel P.J. - C. How to Program | 3, 9, 10 | | Covington M.A., Nute D., Vellino A. - Prolog programming in depth | 1, 9, 71, 84, 92-94, 103-105, 113, 154, 197, 268 | | Hammerlin G., Hoffmann K.-H., Schumaker L.L. - Numerical Mathematics | 36 | | Bentley J. - Programming Pearls | 8, 10, 53, 62, 88, 100, 149, 178 | | Brainerd W.S., Goldberg C.H., Gross J.L. - Pascal Programming : A Spiral Approach | 2, 87 | | Sipser M. - Introduction to the Theory of Computation | 142 | | Askeland D.R. - The Science and Engineering of Materials | 142 | | Shen A. - Algorithms and Programming | 21 | | Peterson J.L. - Computer Programs for Spelling Correction: An Experiment in Program Design | 118, 122 | | Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. - Информатика и компьютерные технологии. Основные термины. Толковый словарь | 247 | | Organick E.I., Forsythe A.I., Plummer R.P. - Programming Language Structures | 3, 560 |
|
|
|
|
|
|
|
О проекте