Сохранить и закрыть

|

Удалить элемент

|

Вернуться в список

_	Бывший Title - сейчас не используется
Section *	CL1CL2CL3CL4IT1IT2IT3IT4IT5IT6IT7IT8MT1MT2MT3MT4MT5MT6MT7MT8MT9P1P2P3P4P5P6P7P8
Tittle *	Abramsky S., Gabbay D., Maibaum T. Handbook of Logic in Computer Science. - Oxford, 1994.Adamek J. Foundations of Coding. - Wiley, New York, 1991.Adams W.W., Loustaunau P. An Introduction to Grbner Bases. - Amer. Math. Soc., 1994.Artin M. algebra. - Prentice Hall, 1991.Barr M. Category Theory for Computer Science. - Prentice Hall, 1995.Becker T., Weispfenning V. (with Kredel H.). Grobner Bases. A Computational Approach to Commutative ...Beeson M. Foundations of Constructive Mathematics. - Springer-Verlag, Berlin, 1985.Berstel J., Perrin D. Theory of Codes. - Academic Press, New York, 1985.Biggs N. Algebraic Graph Theory. Cambridge Univ. Press, 1993.Boger R.S., Moore J.S. A Computational Logic. - Academic Press, 1979.Bronstein M. Symbolic Integration I. Transcendental Functions. - Springer-Verlag, Berlin, 1997.Burgisser P., Clausen M.,. Shokrollahi M.A. Algebraic Complexity Theory. - Springer-Verlag, Berlin, ...Carding L., Tambour T. Algebra for Computer Science. - Springer-Verlag, 1988.Chabert J.-L. (Ed.). A History of Algorithms. From the Pebble to the Microchip. - Springer-Verlag, B...Cochran W.G. Sampling Techniques. - Wiley, New York, 1977.Cohen A.M., Cuypers H., Sterk H. (Eds.). Some Tapas of Computer Algebra. - Springer-Verlag, 1999.Curien P.-L. Categorical Combinatorics, Sequential Algorithms, and Functional Programming. - Birkhau...Davidson G. Group Theory for Chemists. - Macmillan, Houndmills, 1991.Dedekind R. What are Numbers and What Should They Be? - RIM, Orona, Maine, 1995.Eisenbud D. Commutative Algebra with a View Toward Algebraic Geometry. - Springer-Verlag, New York, ...Feil T., Krone J. Essential Discrete Mathematics. - Prentice Hall, 2003.Fiume E. An Introduction to Scientific, Symbolic, and Graphical Computation. - A.K. Peters, 1995.Flurry R.L. Symmetry Groups. - Prentice Hall, 1980.Foldes S. Fundamental Structures of Algebra and Discrete Mathematics. - Wiley, 1994.Garrett P. The Mathematics of Coding Theory. - Prentice Hall, 2004.Geddes K.O., Czapor S.R., Labahn G. Algorithms for Computer Algebra. - Kluwer, Boston, 1992.Gilbert W.J., Nicholson W.K. Modern Algebra with Applications. - Wiley, 2003.Gill A. Applied Algebra for the Computer Science. - Prentice Hall, 1976.Ginsburg S. Algebraic and Automata-Theoretic Properties of Formal Languages. - Elsevier, Amsterdam, ...Ginsburg S. The Mathematical Theory of Context-Free Languages. - McGraw-Hill, New York, 1966.Godsil C., Royle G.F. Algebraic Graph Theory. - Springer-Verlag, 2001.Grabmeier J., Kaltofen E., Weispfenning V., Editors. Computer Algebra Handbook. Foundations, Applica...Gratzer G. Universal Algebra. - Springer-Verlag, New York, 1979.Gunter C. Semantics of Programming Languages. - MIT Press, 1992.Hall L.H. Group Theory and Symmetry in Chemistry. - McGraw-Hill, New York, 1969.Halmos P.R. Algebraic Logic. - Chelsea, New York, 1962.Hardy D.W., Walker C.L. Applied Algebra. - Prentice Hall, 2003.Harel D. Algorithms: The Spirit of Computing. - Addison-Wesley, 1988.Harrison M. Introduction to Formal Language Theory. - Addison-Wesley, 1978.Hollas M.J. Modern Spectroscopy. - Wiley, 1987.Johnsonbaugh R. Discrete Mathematics. - Prentice Hall, 2001.Kaltofen E., Watt S.M. Computers and Mathematics. - Springer-Verlag, 1989.Kaplansky I. Set Theory and Metric Spaces. - Chelsea, New York, 1977.Koblitz N. Algebraic Aspects of Cryptography. - Springer-Verlag, 1998.Kronsj L. Algorithms: Their Complexity and Efficiency. - Wiley, 1986.Ladd M. Symmetry and Group Theory in Chemistry. - Horwood Publ., Chichester, 1998.Le Chenadec P. Canonical Forms in Finitely Presented Algebras. - Pitman, London, 1986.Lehr R.E., Marchand A.P. Orbital Symmetry. - Academic Press, 1972.Lidl R., Niederreiter H. Introduction to Finite Fields and Their Applications. - Cambridge Universit...Lipson J.D. Algebra and Algebraic Computing. - Benjamin, 1981.Lothaire M. Combinatorics on Words. - Cambridge Univ. Press, 1983, 1997.MacLane S., Birkhoff G. Algebra. - AMS Chelsea Publ., Amer. Math. Soc., Providence, 1999.Manin Yu.I. A Course in Mathematical Logic. - Springer-Verlag, 1977.Mao Wenbo. Modern Cryptography: Theory and Practice. - Prentice Hall, 2004.Maurer S.B., Ralston A. Discrete Algorithmic Mathematics: Third Edition. - A.K.Peters, 2004.Mazzola G., Milmeister G., Weissmann J. Comprehensive Mathematics for Computer Scientists 1. - Sprin...McEliece R.J. Finite Fields for Computer Scientists and Engineers. - Kluwer, Boston, 1987.Michaels J.G., Rosen K.H. Applications of Discrete Mathematics. - McGraw-Hill, New York, 1992.Mignotte M. Mathematics for Computer Algebra. - Springer-Verlag, New York, 1992.Mikhalev A.V., Pilz G. The Concise Handbook of Algebra. - Kluwer, Dordrecht, 2002.Mines R., Richman F., Ruitenburg W. A Course in Constructive Algebra. - Springer-Verlag, New York, 1...Mishra B. Algorithmic Algebra. - Springer-Verlag, New York, 1993.Monk J.D., Bonnet R., Editors. Handbook of Boolean Algebras. - North Holland, Amsterdam, 1989.Oxley J.G. Matroid Theory. - Oxford University Press, 1992.Perrin D., Pin J.-E. Infinite Words. - Academic Press, 2004.Pohst M. Algorithmic Methods in Algebra and Number Theory. - Academic Press, 1987.Polya G. Enumeration of Groups, Graphs, and Chemical Components. - Springer-Verlag, 1987.Revesz G. E. Introduction to Formal Languages. - Dover.Ricardo C. Database Systems. - Macmillan, 1990.Ritt J.F. Integration in Finite Terms. - Columbia Univ. Press, New York, 1948.Roberts F.S. Applied Combinatorics. - Prentice Hall, 1984.Rosenberg G., Salomaa A., Editors. Handbook for Formal Languages. Vol. 1-3. - Springer-Verlag, Berli...Salomaa A. Formal Languages. - Academic Press. New York, 1973.Scheaffer R.L., Mendenhall W., Ott R.L. Elementary Survey Sampling. - Duxbury Press, 1996.Schonland D.S. Molecular Symmetry. - Van Nostrand, London, 1960.Sedgewick R. Algorithms. - Addison Wesley, New York, 1988.Serre J.-P. Trees. - Springer-Verlag, New York, 1980.Shafarevich I.R. Discourses on Algebra. - Springer-Verlag, 2002.Slipser M. Introduction to the Theory of Computation. - PWS Publ. Co., Boston, 1997.Som R.K. Practical Sampling Techniques. - Marcel Dekker, New York, 1996.Tangora M.C. Computers in Algebra. - Marcel Dekker, New York, 1988.Trappe W., Washington L.C. Introduction to Cryptography with Coding Theory. - Prentice Hall, 2002.Tucker A. Applied Combinatorics. - Wiley, New York, 1984.van Lint J.H. Introduction to Coding Theory. - Springer-Verlag, 1982.Vermani L.R. Elements of Algebraic Coding Theory. - Chapman and Hill, New York, 1996.Walters R.F.C. Categories for Computer Science. - Cambridge Univ. Press, 1992.Watkins D.S. Fundamentals of Matrix Computation. - Wiley, 2002.West D.W. Introduction to Graph Theory. - Prentice Hall, 2001.Wigner E.P. Group Theory. - Academic Press, 1959.Wilf H.S. Algorithms and Complexity: Second Edition. - A.K.Peters, 2002.Wood D. Grammar and L Forms: An Introduction. - Springer-Verlag, Berlin, 1980.Yap Chee Keng. Fundamental Problems of Algorithmic Algebra. - Oxford University Press, 2000.Zippel R. Effective Polynomial Computation. - Kluwer, Boston, 1993.Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний. - М.: Наука, 1986.Абрамов С.А., Гнездикова Г.Г., Капустина Е.Н., Селюн М.И. Задачи по программированию. - М.: Наука, 1...Авдеева Л.И., Зуховицкий С.И. Линейное и выпуклое программирование. - М.: Наука, 1964.Айгнер М. Комбинаторная теория. - М.: Мир, 1982.Акимов О.Е. Дискретная математика. Логика, группы, графы. - М.: Лаборатория Базовых Знаний, 2000.Аккерман В., Гильберт Д. Основы теоретической логики. - М.: ИЛ, 1947.Акритас А. Основы компьютерной алгебры с приложениями. - М.: Мир, 1994.Алагич С., Арбиб М. Проектирование корректных структурированных программ. - М.: Радио и связь, 1984.Александров П.С. Введение в теорию множеств и общую топологию. - М.: Наука, 1977.Алефельд Г., Херцбергер Дж. Введение в интервальные вычисления. - М.: Мир, 1987.Алешин С.В., Кудрявцев В.Б., Подколзин А.С. Введение в теорию автоматов. - М.: Наука, 1985.Андерсон Д. Дискретная математика и комбинаторика. - М.: Вильямс, 2003.Андерсон Р. Доказательство правильности программ. - М.: Мир, 1982.Андреева Е, Фалина И. Системы счисления и компьютерная арифметика. - М.: Лаборатория Базовых Знаний,...Андреева Е., Фалина И. Системы счисления и компьютерная арифметика. - М.: Лаборатория Базовых Знаний...Арбиб М.А. (ред.) Алгебраическая теория автоматов, языков и полугрупп. - М.: Статистика, 1975.Арнольд В.И. Дополнительные главы теории обыкновенных дифференциальных уравнений. - М.: Наука, 1978.Арнольд В.И. Обыкновенные дифференциальные уравнения. - М.: Наука, 1984.Арнольд К., Гослинг Д. Язык программирования Java. - СПб: Питер, 1997.Артин Э. Геометрическая алгебра. - М.: Мир, 1970.Архипов Г.И., Садовничий В.А., Чубариков В.Н. Лекции по математическому анализу. - М.: Высшая школа,...Атья М., Макдональд И. Введение в коммутативную алгебру. - М.: Мир, 1972.Ахо А., Ульман Д. Теория синтаксического анализа. - М.: Мир, 1978.Ахо А., Хопкрофт Д., Ульман Д. Построение и анализ вычислительных алгоритмов. - М.: Мир, 1979.Ахо А., Хопкрофт Д., Ульман Д. Структуры данных и алгоритмы. - М.: Издательский дом "Вильямс", 2003.Ахо А., Сети Р., Ульман Д. Компиляторы: принципы, технологии и инструменты. - М.: Издательский дом "...Ашманов С.А. Линейное программирование. - М.: Наука, 1981.Баннаи Э., Ито Т. Алгебраическая комбинаторика. Схемы отношений. - М.: Мир, 1987.Баранов В.И., Стечкин Б.С. Экстремальные комбинаторные задачи и их приложения. - М.: Наука, 1989.Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика. - М.: Мир, 1985.Барздинь Я.М., Трахтенброт В.А. Конечные автоматы (поведение и синтез). - М.: Наука, 1970.Барти Т., Биркгоф Г. Современная прикладная алгебра. - М.: Мир, 1986.Басакер Р., Саати Т. Конечные графы и сети. - М.: Наука, 1974.Батунер Л.М., Позин М.Е. Математические методы в химической технике. - Ленинград: ГНТИ, Химич. лит.,...Бахвалов Н.С., Жидков Н.П., Кобельков Г.М. Численные методы. - М.: Наука, 1987.Бахвалов Н.С., Лапин А.В., Чижонков Е.В. Численные методы в задачах и упражнениях. - М.: ВШ, 2000.Бежанова М.М., Москвина Л.А., Поттосин И.В., Практическое программирование. Структуры данных и алгор...Безикович Я.С. Приближенные вычисления. - Л.-М.: Гостехиздат, 1940.Бейз Г., Кук Д. Компьютерная математика. - М.: Наука, 1990.Бек К. Экстремальное программирование. - СПб: Питер, 2002.Бек К., Фаулер М. Экстремальное программирование: планирование. Библиотека программиста. - СПб: Пите...Беланов А.А. Решения алгебраических уравнений методом Лобачевского. - М.: Наука, 1989.Белов Н.В. Очерки по структурной кристаллографии и федоровским группам симметрии. - М.: Наука, 1986.Белоногов В.А., Фомин А.Н. Матричные представления в теории конечных групп. - М.: Наука, 1976.Белоусов Е.Г. Введение в выпуклый анализ и целочисленное программирование. - М.: Изд. Моск. ун-та, 1...Бен-Ари М. Языки программирования. Практический сравнительный анализ. - М.: Мир, 2000.Бендат Дж., Пирсол А. Прикладной анализ случайных данных. - М.: Мир, 1989.Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний. - Научный мир, 200...Бентли Дж. Жемчужины программирования. - СПб: Питер, 2002.Беран Л. Упорядоченные множества. - М.: Наука, 1981.Берж К. Теория графов и ее применение. - М.: ИЛ, 1962.Берлекэмп Э. Алгебраическая теория кодирования. - М.: Мир, 1971.Биркгоф Г. Теория решеток. - М.: Наука, 1984.Благуш П. Факторный анализ с обобщениями. - М.: Финансы и статистика, 1988.Блейхуд Р. Теория и практика кодов, контролирующих ошибки. - М.: Мир, 1986.Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. - М.: Наука, 1997.Бокий Г.Б. Кристаллохимия. - М.: Наука, 1971.Болотов А.А., Кудрявцев В.Б., Подколзин А.С. Основы теории однородных структур. - М.: Наука, 1990.Боревич З.И., Шафаревич И.Р. Теория чисел. - М.: Наука, 1972.Боровков А.А., Теория вероятностей. - М.: Наука, 1986.Брауде Э. Д. Технология разработки программного обеспечения. - СПб: Питер, 2004.Брауэр В. Введение в теорию конечных автоматов. - М.: Радио и связь, 1987.Бри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. - М.: Мир, 1982.Брик С.А., Русак А.М., Сурин А.И., Храмцов П.Б. Основы WEB-технологий. - М.: ИнтУИТ, 2003.Брукс Ф. Мифический человеко-месяц или как создаются программные системы. - СПб.: Символ-Плюс, 1999.Бурбаки Н. Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра. - М.: Физматгиз, 1962...Бурбаки Н. Алгебра. Многочлены и поля. Упорядоченные группы. - М.: Физматгиз, 1965.Бурбаки Н. Алгебра. Модули, кольца, формы. - М.: Фитзматгиз, 1966.Бурбаки Н. Теория множеств. - М.: Мир, 1965.Бусленко Н.П. Моделирование сложных систем. - М.: Наука, 1878.Бухараев Р.Г. Основы теории вероятностных автоматов. - М.: Наука, 1875.Бухбергер Б.,Коллинз Дж., Лоос Р. (ред.) Компьютерная алгебра. Символьные и алгебраические вычислени...Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. - М.: Бином, ...Вагин В.Н. Дедукция и обобщение в системах принятия решений. - М.: Наука, 1986.Вайнштейн Б.К. Современная кристаллография. Т. 1. - М.: Наука, 1979.Вайнштейн Б.К., Фридкин В.М., Инденбом В.Л. Современная кристаллография. Т. 2. - М.: Наука, 1979.Валединский В.Д., Пронкин Ю.Н. Вычислительные системы и программирование. I, II. - М.: Изд-во МГУ, 2...Валях Е. Последовательно - параллельные вычисления. - М.: Мир, 1985.Ван дер Варден Б.Л. Алгебра. - М.: Наука, 1979.Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. - М.: ИЛ, 1963.Вапник В.Н. (ред.). Алгоритмы и программы восстановления зависимостей. - М.: Наука, 1984.Вапник В.Н., Червоненкис А.Я. Теория распознавания образов. - М.: Наука, 1974.Василенко О.Н. Теоретико-числовые алгоритмы в криптографии. - М.: НЦНМО, 2003.Васильев В.И. Распознающие системы. Справочник. - Киев: Наукова Думка, 1983.Васильев А.Н. Maple 8. Самоучитель. - М.: Диалектика, Вильямс, 2003.Ватолин Д., Ратушняк А., Смирнов М., Юкин В. Методы сжатия данных. Устройство архиваторов, сжатие из...Вебер Дж. Технология Java в подлиннике. - СПб.: BHV - Санкт-Петербург, 1997.Вейль Г. Симметрия. - М.: Наука, 1968.Вендров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем. - ...Вендров А.М. Проектирование программного обеспечения экономических информационных систем. - М.: Фина...Вентцель Е.С. Исследование операций. Задачи, принципы, методология. - М.: Наука, 1988.Вентцель Е.С. Овчаров Л.А. Теория вероятностей и ее инженерные приложения. - М.: Наука, 1988.Вентцель Е.С. Элементы теории игр. - М.: Физматгиз, 1961.Верещагин Н.К., Шень А. Вычислимые функции. - М.: МЦНМО, 2002.Верещагин Н.К., Шень А. Начала теории множеств. - М.: МЦНМО, 2002.Верещагин Н.К., Шень А. Языки и исчисления. - М.: МЦНМО, 2002.Вержбицкий В.М. Численные методы. Линейная алгебра и нелинейные уравнения. - М.: ВШ, 2000.Виленкин Н.Я. Комбинаторика. - М.: Наука, 1969.Винер Н. Кибернетика, или управление и связь в животном и машине. - М.: Наука, 1983.Винер Н. Новые главы кибернетики. - М.: Советское радио, 1963.Виноградов А.М., Красильщик И.С. (ред.). Симметрии и законы сохранения уравнений математической физи...Вирт Н. Алгоритмы и структуры данных. - СПб.: Невский Диалект, 2001.Вирт Н. Алгоритмы и структуры данных. - СПб.: Невский Диалект, 2001.Вирт Н. Алгоритмы+структуры данных = программы. - М.: Мир, 1985.Вирт Н. Систематическое программирование: Введение. - М.: Мир, 1977.Виртуальный компьютерный музей: http://www.computer-museum.ruВладимиров В.С. Уравнения математической физики. - М.: Наука, 1981.Владимиров Д.А. Булевы алгебры. - М.: Наука, 1969.Воеводин В.В. Линейная алгебра. - М.: Наука, 1974.Воеводин В.В. Численные методы алгебры. Теория и алгорифмы. - М.: Наука, 1966.Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. - СПб.: БХВ-Петербург, 2002.Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. - СПб.: БХВ-Петербург, 2002.Воробьев Н.Н. Теория игр для экономистов - кибернетиков. - М.: Наука, 1985.Вязовик Н.А. Программирование на Java. - М.: ИнтУИТ, 2003.Вялый М., Китаев А., Шень А. Классические и квантовые вычисления. - М.: МЦНМО, 1999.Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. - СПб: Питер, 2000.Галатенко В.А. Основы информационной безопасности. - М.: ИнтУИТ, 2003.Галатенко В.А. Программирование в стандарте POSIX. - М.: ИнтУИТ, 2004.Гарсия-Молина Г., Ульман Д., Уидом Д. Системы баз данных. Полный курс. - М.: Издательский дом "Вилья...Гасанов Э.Э., Кудрявцев В.Б. Теория хранения и поиска информации. - М.: Физматлит, 2002.Гасс С. Линейное программирование. - М.: Физматгиз, 1961.Гашков С.Б., Чубариков В.Н. Арифметика, алгоритмы, сложность вычислений. - М.: ВШ, 2000.Гейтс Б. Бизнес со скоростью мысли. - М.: ЭКСМО-Пресс, 2001.Гельфанд И.М. Лекции по линейной алгебре. - М.: МЦНМО, 1998.Гермейер Ю.Б. Введение в теорию исследования операций. - М.: Наука, 1971.Гилл А. Введение в теорию конечных автоматов. - М.: Наука, 1966, 1972.Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. - М.:...Гильберт Д., Бернайс П. Основания математики. Теория доказательств. - М.: Наука, 1982.Гинзбург С. Математическая теория контекстно-свободных языков. - М.: Мир, 1970.Гихман И.И., Скороход А.В. Теория случайных процессов. - М.: Наука, 1973.Гладкий А.В. Введение в современную логику. - М.: МЦНМО, 2001.Гладкий А.В. Математическая логика. - М.: РГГУ, 1998.Гладкий А.В., Мельчук И.А. Элементы математической лингвистики. - М.: Наука, 1969.Гладкий В.А. Формальные грамматики и языки. - М.: Наука, 1973.Глазман И.М., Любич Ю.И. Конечномерный анализ. - М.: Наука, 1969.Глухов М.М., Елизаров В.П., Нечаев А.А. Алгебра. - М.: Гелиос АРВ, 2003.Глушков В.М. Синтез цифровых автоматов. - М.: Физматгиз, 1962.Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки программирования. - Киев: Наукова Думка, 1989...Гнеденко Б.В. Курс теории вероятностей. - М.: Физматгиз, 1961.Годунов С.К. Современные аспекты линейной алгебры. - Новосибирск: Научная книга, 1997.Голуб Д., Ван Лоун Ч. Матричные вычисления. - М.: Мир, 1999.Голубов Б.И., Ефимов А.В., Скворцов В.А. Ряды и преобразования Уолша. Теория и применения. - М.: Нау...Гольштейн Е.Г., Юдин Д.Б. Задача линейного программирования транспортного типа. - М.: Наука, 1969.Гольштейн Е.Г., Юдин Д.Б. Линейное программирование. - М.: Физматгиз, 1963.Гома Х. UML. Проектирование систем реального времени, распределенных и параллельных приложений. - М....Гончаров С.С. Счетные булевы алгебры. - Новосибирск: Наука, 1988.Гончаров С.С., Ершов Ю.Л. Конструктивные модели. - Новосибирск: Научная книга, 1999.Горбатов В.А. Основы дискретной математики. - М.: ВШ, 1986.Горбатов В.А. Фундаментальные основы дискретной математики. - М.: Наука, 2000.Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение. - СПб.: Питер, 2001.Горелик А.Л., Скрипкин В.А. Построение систем распознавания. - М.: Советское радио, 1974.Грабер М. SQL. Справочное руководство. - М.: ЛОРИ, 2001.Грабер М. Введение в SQL. - М.: ЛОРИ, 1996.Грегори Р. Безошибочные вычисления: методы и приложения. - М.: Мир, 1988.Гренадер У. Вероятности на алгебраических структурах. - М.: Мир, 1965.Гренадер У. Лекции по теории образов. 1. Синтез образов. - М.: Мир, 1979.Гренадер У., Фрайбергер В. Краткий курс вычислительной вероятности и статистики. - М.: Наука, 1978.Грин Д.Х., Кнут Д.Э. Математические методы анализа алгоритмов. - М.: Мир, 1987.Грис Д. Наука программирования. - М.: Мир, 1984.Гриффитс А. GCC. Полное руководство. - М.: Диасофт, 2004.Гроссман И., Магнус В. Группы и графы. - М.: Мир, 1971.Грэй П. Логика, алгебра и базы данных. - М.: Машиностроение, 1989.Грэхем Р., Кнут Д., Паташник О. Конкретная математика. - М.: Мир, 1998.Гульден Я., Джексон Д. Перечислительная комбинаторика. - М.: Наука, 1990.Гультяев А. Визуальное моделирование в среде MATLAB. - СПб.: Питер, 2000.Гэри М. Вычислительные машины и труднорешаемые задачи. - М.: Мир, 1982.Дал У., Дейкстра Э., Хоор К. Структурное программирование. - М.: Мир, 1975.Данциг Д.Б. Линейное программирование, его применения и обобщения. - М.: Прогресс, 1966.Дегтярев Ю.И. Исследование операций. - М.: ВШ, 1986.Дейкстра Э. Дисциплина программирования. - М.: Мир, 1978.Дейкстра Э. Дисциплина программирования. - М.: Мир, 1978.Дейт К. Введение в системы баз данных: - К.: Диалектика, 1998.Демидович Б.П., Марон И.А. Основы вычислительной математики. - М.: Физматлит, 1963.Демидович Б.П., Марон И.А., Шувалова Э.З. Численные методы анализа. - М.: Физматлит, 1963.Деммель Д. Вычислительная линейная алгебра. Теория и приложения. - М.: Мир, 2001.Део Н., Нивергельт Ю., Рейнгольд Р. Комбинаторные алгоритмы. Теория и практика. - М.: Мир, 1980.Джексон  П. Введение в экспертные системы. - М.: Издательский дом "Вильямс", 2001.Джонстон П.Т. Теория топосов. - М.: Наука, 1986.Джордж Ф. Основы кибернетики. - М.: Радио и связь, 1984.Джоунс У., Трон В. Непрерывные дроби. - М.: Мир, 1985.Дистель Р. Теория графов. - Новосибирск: Изд. Инст. матем., 2002.Дмитриев И.С. Симметрия в мире молекул. - Л.: Химия, 1976.Дьяконов В. Maple 8 в математике, физике и образовании. - М.: СОЛОН-Пресс, 2001.Дьяконов В. MATLAB 6/6.1/6.5 + Simulink 4/5 в математике и моделировании. - М.: СОЛОН-Пресс, 2003.Дэвенпорт Д., Сирэ И., Турнье Э. Компьютерная алгебра. Системы и алгоритмы алгебраических вычислений...Дэвенпорт Д.Д. Интегрирование алгебраических функций. - М.: Мир, 1985.Евстигнеев В.А. Применение теории графов в программировании. - М.: Наука, 1985.Евстигнеев В.А., Касьянов В.Н. Графы в программировании: обработка, визуализация и применение. - СПб...Егоров-Тисменко Ю.К., Литвинская Г.П. Теория симметрии кристаллов. - М.: ГЕОС, 2000.Егоров-Тисменко Ю.К., Литвинская Г.П., Загальская Ю.Г. Кристаллография. - М.: Изд. Моск. ун-та, 1992...Емеличев В.А., Ковалев М.М., Кравцов М.К. Многогранники. Графы. Оптимизация. - М.: Наука, 1981.Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. - М.: Наука, 19...Ермаков С.М., Михайлов Г.А. Курс статистического моделирования. - М.: Наука, 1976.Ерусалимский Я.М. Дискретная математика. - М.: Вузовская книга, 1998.Ершов А.П. Введение в теоретическое программирование. - М.: Наука, 1977.Ершов Ю.Л. Определимость и вычислимость. - Новосибирск: Научная книга, 1996.Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. - М.: Наука, 1980.Ершов Ю.Л. Теория нумераций. - М.: Наука, 1977.Ершов Ю.Л., Палютин Е.А. Математическая логика. - М.: Наука, 1979.Ершов А.П. Введение в теоретическое программирование. - М.: Наука, 1977.Ершов А.П. Избранные труды. - Новосибирск: Наука, 1994.Ершов А.П. Избранные труды. - Новосибирск: Наука, 1994.Ершов А.П., Кушниренко А.Г., Лебедев Г.В., Семенов А.Л., Шень А.Х. Основы информатики и вычислительн...Загальская Ю.Г., Литвинская Г.П. Геометрическая кристаллография. - М.: Изд. Моск. ун-та, 1973.Загальская Ю.Г., Литвинская Г.П. Геометрическая микрокристаллография. - М.: Изд. Моск. ун-та, 1976.Зайцев В.Ф., Полянин А.Д. Справочник по обыкновенным дифференциальным уравнениям. - М.: Наука, 2001.Замулин А.В. Системы программирования баз данных и знаний. - Новосибирск: Наука, 1990.Зелковиц М., Шоу  А., Гэннон Дж. Принципы разработки программного обеспечения. - М.: Мир, 1982.Зубков С.В. Assembler для DOS, Windows и Unix. - М.: ДМК, 1999.Зыков А.А. Основы теории графов. - М.: Наука, 1987.Иванова А.П., Сигал И.Х. Введение в прикладное дискретное программирование: модели и вычислительные ...Ильин В.А., Куркина А.В. Высшая математика. - М.: Проспект, 2002.Ильин В.А., Садовничий В.А., Сендов Б.Х. Математический анализ. Т. I, II. - М.: Изд. Моск. ун-та, 19...История информатики в России: ученые и их школы/ Сост.: Захаров В.Н., Подловченко Р.И., Фет Я.И. - М...Каймин В.А. Информатика. - М.: Высшая Школа, 1998.Калинин А.Г., Мацкевич И.В. Универсальные языки программирования. Семантический подход. - М.: Радио ...Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. - М.: Мир, 1971.Калугина О.Б. , Люцарев В.С. Работа с текстовой информацией. Microsoft Office Word 2003. M.: ИНТУИН...Калугина О.Б. , Люцарев В.С. Работа с электронными таблицами. Microsoft Office Excel 2003. - М.: ИН...Калужнин Л.А. Введение в общую алгебру. - М.: Наука, 1973.Калятин В.О. Интеллектуальная собственность (Исключительные права) . - М.: НОРМА: ИНФРА-М, 2000.Камке Э. Справочник по обыкновенным дифференциальным уравнениям. - М.: Наука, 1976.Канер С., Фолк Д., Нгуен Н.К. Тестирование программного обеспечения. - К.: ДиаСофт, 2000.Канторович Л.В., Крылов В.И. Приближенные методы высшего анализа. - Л.-М.: Гостехиздат, 1949.Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. - М.: ...Карманов В.Г. Математическое программирование. - М.: Физматлит, 2004.Карпов В.Е., Коньков К.А. Основы операционных систем. - М.: ИнтУИТ, 2004.Касперски К.Образ мышления - дизассемблер IDA. - М.: СОЛОН-Р, 2004.Кейслер Г., Чэн Ч.Ч. Теория моделей. - М.: Мир, 1977.Кемени Д., Снелл Д, Томпсон Д. Введение в конечную математику. - М.: ИЛ, 1963.Керниган Б., Пайк Р. Практика программирования. - СПб., М.: Невский Диалект, 2001.Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking. - М.: МЦНМО, 2002.Клини С. Математическая логика. - М.: Мир, 1973.Кнут Д. Искусство программирования для ЭВМ. Т.1-3. - М., СПб., Киев: Вильямс, 2000.Кнут Д. Искусство программирования для ЭВМ. Т.1-3. - М.: Мир, 1976-1978.Кнут Д. Все про TEX. - М.: Издательский дом "Вильямс", 2003.Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных автоматов. - М.: Физматлит, 1962.Ковалев М.М. Матроиды в дискретной оптимизации. - Минск: Изд. Университетское, 1987.Ковальски Р. Логика в решении проблем. - М.: Наука, 1990.Кокрен У. Методы выборочного исследования. - М.: Статистика, 1976.Кокс Д., Литтл Д., О-Ши Д. Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгеб...Колмогоров А.Н. Основные понятия теории вероятностей. - М.: Наука, 1974.Колмогоров А.Н. Теория информации и теория алгоритмов. - М.: Наука, 1987.Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. - М.: Изд. Моск. ун-та, 1982.Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы. - М.: Изд. Моск. ун-та, ...Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. - М.: Наука, 1981.Колмогоров и кибернетика/Под ред. Поспе-лов Д.А., Фет Я.И. - Новосибирск.: Изд-во ИВМ и МГ СО РАН, 2...Компаниец Р., Маньков Е., Филатов Н. Системное программирование. Основы построения трансляторов. - М...Кон П. Универсальная алгебра. - М.: Мир, 1968.Константайн Л., Локвуд Л. Разработка программного обеспечения. - СПб: Питер, 2004.Копытов В.М. Решеточно упорядоченные группы. - М.: Наука, 1984.Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. - М.: МЦНМО, 2000, 2001.Корнеев В.В. Параллельные вычислительные системы. - М.: Нолидж, 1998.Корнеев В.В., Гареев А.Ф., Васютин С.В., Райх В.В. Базы данных. Интеллектуальная обработка информаци...Королев Л.Н., Миков А.И.Информатика. Введение в компьютерные науки. - М.: Высшая Школа, 2003.Королев Л.Н., Рыбников К.А. Вычислительная математика и вычислительная техника. Очерки истории. - М....Костельцев А.В. Построение интерпретаторов и компиляторов. - СПб: Наука и техника, 2001.Костов И. Кристаллография. - М.: Мир, 1965.Кострикин А.И. Введение в алгебру. I-III. - М.: Физматлит, 2000.Кострикин А.И., Манин Ю.И. Линейная алгебра и геометрия. - М.: Наука, 1986.Котельников И., Чеботарев П., Издательская система LATEX2e. - Новосибирск: Сибирский хронограф, 1998...Котов В.Е. Сети Петри. - М.: Наука, 1984.Коутинхо С. Введение в теорию чисел. Алгоритм RSA. - М.: Постмаркет, 2001.Кофман А. Введение в прикладную комбинаторику. - М.: Наука, 1975.Крамер Г. Математические методы статистики. - М.: Мир, 1975.Кристиансен Т., Торкингтон Н. Perl: библиотека программиста. - СПб: Питер, 2001.Кристофидес Н. Теория графов: алгоритмический подход. - М.: Мир, 1978.Кудрявцев В.Б., Подколзин А.С., Ушчумлич Ш. Введение в теорию абстрактных автоматов. - М.: МГУ, 1985...Кудрявцев Л.Д., Курс математического анализа. Т. I - III. - М.: Высшая школа, 1981.Куликов Л.Я. Алгебра и теория чисел. - М.: Высшая школа, 1979.Куратовский К., Мостовский А. Теория множеств. - М.: Мир, 1970.Курош А.Г. Курс высшей алгебры. - М.: Наука, 1975.Курош А.Г. Лекции по общей алгебре. - М.: Физматгиз, 1962.Курош А.Г. Общая алгебра. Лекции 1969-70 уч. года. - М.: Наука, 1974.Курош А.Г. Теория групп. - М.: Наука, 1967.Кушниренко А.Г., Лебедев Г.В. Программирование для математиков. - М.: Наука, 1988.Кушниренко А.Г., Лебедев Г.В., Сворень Р.А. Основы информатики и вычислительной техники. - М.: Просв...Кэртис Ч., Райнер И. Теория представлений конечных групп и ассоциативных алгебр. - М.: Наука, 1969.Лаврентьев М.А., Шабат Б.В. Методы теории функций комплексного переменного. - М.: Физматгиз, 1958.Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. - ...Лавров С.С. Программирование. Математические основы, средства, теория. - СПб.: БХВ-Петербург, 2001.Лавров С.С. Программирование. Математические основы, средства, теория. - СПб.: БХВ-Петербург, 2001.Лаллеман Ж. Полугруппы и комбинаторные приложения. - М.: Мир, 1985.Ларин С.В. Числовые системы. - М.: Академия, 2001.Латышев В.Н. Комбинаторная теория колец. Сложность алгебраических алгоритмов. - М.: Изд. Моск. ун-та...Латышев В.Н. Комбинаторная теория колец. Стандартные базисы. - М.: Изд. Моск. ун-та, 1988.Лекции лауреатов премии Тьюринга. - М.: Мир, 1993.Ленг С. Алгебра. - М.: Мир, 1968.Леонов Г.А., Шумафов М.М. Проблемы стабилизации линейных управляемых систем. - СПб.: СПГУ, 2002.Ли Р., Чень Ч. Математическая логика и автоматическое доказательство теорем. - М.: Наука, 1983.Лидл Р., Нидеррайтер Г. Конечные поля. - М.: Мир, 1988.Лидл Р., Пильц Г. Прикладная абстрактная алгебра. - Екатеринбург, изд. УрГУ, 1996.Лингер Р., Миллс Х., Уитт Б. Теория и практика структурного программирования. - М.: Мир, 1982.Липаев В.В. Надежность программных средств. - М.: СИНТЕГ, 1998.Липский В. Комбинаторика для программистов. - М.: Мир, 1988.Ллойд Э., Ледерман У. (ред.) Справочник по прикладной статистике. Т. 1, 2. - М.: Финансы и статистик...Лоэв М. Теория вероятностей. - М.: ИЛ, 1962.Лупанов О.Б. Асимптотические оценки сложности управляющих систем. - М.: Изд. Моск. ун-та, 1984.Львовский С.М. Набор и верстка в системе LATEX. - М.: МЦНМО, 2003.Льюис Р.Л., Райфа Х. Игры и решения. - М.: Мир, 1981.Льюис Ф., Розенкранц Ф., Стирнз Ф. Теоретические основы проектирования компиляторов. - М.: Мир, 1979...Люгер Дж. Искусственный интеллект: стратегии и методы решения сложных проблем. - М.: Издательский до...Майер Б. Объектно-ориентированное программирование. Концепции разработки. - М.: Издательско-торговый...Майерс Г. Надежность программного обеспечения. - М.: Мир, 1980.Майника Э. Алгоритмы оптимизации на сетях и графах. - М.: Мир, 1981.Мак-Вильямс Ф.Д., Слоэн Н.Д.А. Теория кодов, исправляющих ошибки. - М.: Связь, 1979.Макдональд. И. Симметрические функции и многочлены Холла. - М.: Мир, 1985.Макконнелл Дж. Анализ алгоритмов. Вводный курс. - М.: Техносфера, 2002.Малашонок Г.И. Матричные методы вычислений в коммутативных кольцах. - Тамбов: Изд. ТГУ, 2002.Мальцев А.И. Алгебраические системы. - М.: Наука, 1970.Мальцев А.И. Алгоритмы и рекурсивные функции. - М.: Наука, 1965, 1986.Мальцев А.И. Основы линейной алгебры. - М.: Наука, 1970.Манин Ю.И. Доказуемое и недоказуемое. - М.: Советское радио, 1979.Марка Д., МакГоуэн К. Методология структурного анализа и проектирования. - М.: МетаТехнология, ТОО Ф...Марков А.А. Элементы математической логики. - М.: Изд. Моск. ун-та, 1984.Марков А.А., Нагорный Н.М. Теория алгорифмов. - М.: Наука, 1984.Маркус С. Теоретико-множественные модели языков. - М.: Наука, 1970.Мартин Р. Быстрая разработка программ: принципы, примеры, практика. - М.: Издательский дом "Вильямс"...Марчук Г.И. Методы вычислительной математики. - Новосибирск: Наука, 1973.Математическая логика в программировании: Сб. статей. - М.: Мир, 1991.Маурер У Введение в программирование на языке ЛИСП. - М.: Мир, 1976.Мейер Б., Бодуэн К. Методы программирования. В 2-х томах. - М.: Мир, 1982.Мейер Д. Теория реляционных баз данных. - М.: Мир, 1987.Мендельсон Э. Введение в математическую логику. - М.: Наука, 1976, 1984.Минский М. Вычисления и автоматы. - М.: Мир, 1971.Мину М. Математическое программирование. - М.: Наука, 1990.Митчелл М., Оулдем Дж., Самьюэл А. Программирование для Linux. Профессиональный подход. - М.: Издате...Михалев А.В., Панкратьев Е.В. Компьютерная алгебра. Вычисления в дифференциальной и разностной алгеб...Мишина А.П., Проскуряков И.В. Высшая алгебра. - М.: Физматлит, 1962.Мостовский А. Конструктивные множества и их приложения. - М.: Мир, 1973.Мурнаган Ф.Д. Теория представлений групп. - М.: ИЛ, 1950.Мысовских И.П. Интерполяционные кубатурные формулы. - М.: Наука, 1981.Мысовских И.П. Лекции по методам вычислений. - М.: Физматгиз, 1962.Найк Д. Стандарты и протоколы Интернет. - М.: Издательско-торговый дом "Русская Редакция", 1999.Непейвода Н.Н. Прикладная логика. - Новосибирск: Изд-во НГУ, 2000.Непейвода Н.Н. Стили и методы программирования. Курс лекций. Учебное пособие. - М.: ИнтУИТ, 2005.Непейвода Н.Н., Скопин И.Н. Основания программирования. - Москва-Ижевск: Институт компьютерных иссле...Нечаев В.И. Числовые системы. - М.: Просвещение, 1975.Нечаев В.И. Элементы криптографии. Основы теории защиты информации. - М.: ВШ, 1999.Нивергельт Ю., Фаррар Д., Рейнгольд Э. Машинный подход к решению математических задач. - М.: Мир, 19...Никольский С.М. Квадратные формулы. - М.: Наука, 1988.Никольский С.М. Курс математического анализа. Т. I, II. - М.: Наука, 1990.Новиков П.С. Конструктивная математическая логика с точки зрения классической. - М.: Наука, 1977.Новиков П.С. Элементы математической логики. - М.: Наука, 1973.Ноден П., Китте К. Алгебраическая алгоритмика. - М.: Мир, 1999.Норенков И.П. Введение в автоматизированное проектирование технических устройств и систем. - М.: Выс...Норенков И.П., Кузьмик П.К. Информационная поддержка наукоемких изделий. CALS-технологии. - М.: Изд-...Носов В.Н. (ред.) Компьютерная биометрика. - М.: Изд-во МГУ, 1990.Ньюкомер Э. Веб-сервисы. XML, WSDL, SOAP и UDDI. - СПб.: Питер, 2003.Ньюмен У., Спрул Р. Основы интерактивной машинной графики. - М.: Мир, 1976.Окунь Я. Факторный анализ. - М.: Финансы и статистика, 1974.Олифер В.Г., Олифер  Н.А. Сетевые операционные системы. - СПб.: Питер, 2002.Олифер В.Г., Олифер Н.А. Основы сетей передачи данных. - М.: ИнтУИТ, 2003.Оллонгрен А. Определение языков программирования интерпретирующими автоматами. - М.: Мир, 1977.Оре О. Теория графов. - М.: Наука, 1968.Ортега Дж. Введение в параллельные и векторные методы решения линейных систем. - М.: Мир, 1991.Орфари Р., Харки Д., Эдвардс Д. Основы CORBA. - М.: МАЛИП, 1999.Осипов Г.С. Приобретение знаний интеллектуальными системами: Основы теории и технологии. - М.: Наука...Основы информатики и вычислительной техники. Ч. I и II/Под ред. Ершова А.П., Манахова М.В. - М.: Про...Очерки истории информатики в России/Ред.-сост.: Поспелов Д.А., Фет Я.И. - Новосибирск.: Научно-издат...Палмер С.Р., Фелсинг Д.М. Практическое руководство по функционально-ориентированной разработке ПО. -...Панкратьев Е.В. Компьютерная алгебра. Факторизация многочленов. - М.: Изд. Моск. ун-та, 1988.Патрик Э. Основы теории распознавания образов. - М.: Советское радио, 1980.Пентус А.Е., Пентус М.Р. Теория формальных языков. - М.: Механико-математический факультет МГУ, 2004...Перминов О.Н. Введение в язык программирования Ада. - М.: Радио и связь, 1991.Петровский И.Г. Лекции об уравнениях с частными производными. - М.: Физматгиз, 1961.Петровский И.Г. Лекции по теории обыкновенных дифференциальных уравнений. - М.: Наука, 1970.Петцольд Ч. Код. - М.: Издательско-торговый дом "Русская Редакция", 2001.Петцольд Ч. Программирование для Microsoft Windows на C#. В 2-х томах. - М.: Издательско-торговый до...Пинус А.Г. Основы универсальной алгебры. - Новосибирск: НГТУ, 2000.Питерсон У., Уэлдон Э. Коды, исправляющие ошибки. - М.: Мир, 1976.Питц-Моулитс Н., Кирк Ч. XML. - СПб.: BHV-Санкт-Петербург, 2000.Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных. - М.: Наука, 1991.Подбельский В.В. Язык Си++. - М.: Финансы и статистика, 1995.Понтрягин Л.С. Непрерывные группы. - М.: Наука, 1973.Понтрягин Л.С. Обыкновенные дифференциальные уравнения. - М.: Наука, 1982.Попов Г.М., Шафрановский И.И. Кристаллография. - М.: ВШ, 1972.Попов Э.В. Искусственный интеллект: фантазия или наука? - М.: Радио и связь, 1988.Портер У. Современные основания общей теории систем. - М.: Наука, 1971.Поспелов Д.А. Экспертные системы. - М.: Наука, 1986.Поспелов Ю.Л. От абака до компьютера: судьбы людей и машин. Книга для чтения по истории вычислительн...Постников М.М. Устойчивые многочлены. - М.: Наука, 1981.Практикум по программированию/Под ред. Бахвалова Н.С., Михалева А.В. - М.: Издательство МГУ, 1986.Пратт Т., Зелковиц М. Языки программирования: разработка и реализация. - СПб: Питер, 2002.Препарата Ф., Шеймос М. Вычислительная геометрия: Введение. - М.: Мир, 1989.Препарата Ф., Шаймос М. Вычислительная геометрия: введение. - М.: Мир, 1989.Привалов И.И., Введение в теорию функций комплексного переменного. - М.: Физматгиз, 1960.Прохоров Ю.В., Розанов Ю.А. Теория вероятностей. - М.: Наука, 1987.Расева Е., Сикорский Р. Математика метаматематики. - М.: Наука, 1972.Рейуорд-Смит В.Д. Теория формальных языков. Вводный курс. - М.: Мир, 1988.Риордан Д. Введение в комбинаторный анализ. - М.: ИЛ, 1963.Риордан Д. Комбинаторные тождества. - М.: Наука, 1982.Рихтер Дж. Windows для профессионалов: создание эффективных Win32-приложений с учетом специфики 64-р...Рихтер Дж. Программирование на платформе Microsoft.NET Framework: - М.: Издательско-торговый дом "Ру...Робачевский А.М. Операционная система UNIX. - СПб.: БХВ-Санкт-Петербург, 1999.Робинсон А. Введение в теорию моделей и метаматематику алгебры. - М.: Наука, 1967.Роджерс Д. Алгоритмические основы машинной графики. - М.: Мир, 1989.Роджерс Д., Адамс Дж. Математические основы машинной графики. - М.: Мир, 2001.Розенфельд Б.А., Сергеева Н.Д. Стереографическая проекция. - М.: Наука, 1973.Рокафеллар Р.Т. Выпуклый анализ. - М.: Мир, 1973.Романовский И.В. Алгоритмы решения экстремальных задач. - М.: Наука, 1977.Романовский И.В. Дискретный анализ. - СПб.: Невский диалект, 1999.Рудин У. Основы математического анализа. - М.: Мир, 1976.Рыбников К.А. (ред.). Комбинаторный анализ. Задачи и упражнения. - М.: Наука, 1982.Рыбников К.А. Введение в комбинаторный анализ. - М.: Изд. Моск. Ун-та, 1985.Рэй Э., Макинтош Дж. Perl and XML. Библиотека программиста. - СПб: Питер, 2002.Садовничий В.А. Теория операторов. - М.: ВШ, 1999.Саймон А. Стратегические технологии баз данных: менеджмент на 2000 год. - М.: Финансы и статистика, ...Саломаа А. Жемчужины теории формальных языков. - М.: Мир, 1986.Саломаа А. Криптография с открытым ключом. - М.: Мир, 1996.Самарский А.А. Введение в численные методы. - М.: Наука, 1987.Самарский А.А. Теория разностных схем. - М.: Наука, 1983.Самарский А.А., Гулин А.В. Численные методы. - М.: Наука, 1989.Сачков В.Н. Введение в комбинаторные методы дискретной математики. - М.: Наука, 1982.Сачков В.Н. Комбинаторные методы дискретной математики. - М.: Наука, 1977.Свами М., Тхуласирамаи К. Графы, сети, алгоритмы. - М.: Мир, 1984.Себеста Р. Основные концепции языков программирования. - М.: Издательский дом "Вильямс", 2001.Себеста Р. Структурное программирование на языке ассемблера ЭВМ VAX-11. - М.: Мир, 1988.Седжвик Р. Фундаментальные алгоритмы на С. Части 1-4, Часть 5. - СПб.: ДиаСофтЮП, 2003.Семантика языков программирования/Сб. статей под ред. В.М.Курочкина. - М.: Мир, 1980.Серр Ж.П. Линейные представления конечных групп. - М.: Мир, 1970.Сибирский К.С. Введение в алгебраическую теорию инвариантов дифференциальных уравнений. - Кишинев: Ш...Сикорский Р. Булевы алгебры. - М.: Мир, 1969.Сирл С., Гросман У. Матричная алгебра в экономике. - М.: Финансы и статистика, 1974.Скопин И.Н. Основы менеджмента программных продуктов. - М.: ИнтУИТ, 2004.Скорняков Л.А. (ред.). Общая алгебра. Т. 1, 2. - М.: Наука, 1990, 1991.Скорняков Л.А. Элементы алгебры. - М.: Наука, 1980.Скорняков Л.А. Элементы теории структур. - М.: Наука, 1982.Скрипкин В.А., Моисеенко Е.А., Томич М.А. Математические методы исследования операций в военном деле...Смальян Р. Теория формальных систем. - М.: Наука, 1981.Смирнов В.И. Курс высшей математики. Т. I-V. М.: Физматгиз, 1958-1959.Соболев С.Л. Уравнения математической физики. М.-Л.: Гостехиздат, 1950.Соловьев Ю.П., Садовничий В.А., Шавгулидзе Е.Т., Белокуров В.В. Эллиптические кривые и современные а...Соломон Д., Руссинович М. Внутреннее устройство Microsoft Windows 2000. Мастер-класс. - СПб.: ПитерСправочная книга по математической логике. Т. I-IV. - М.: Наука, 1982-83.Степанов В.В. Курс дифференциальных уравнений. - М.: Гостехиздат, 1958.Стогний А.А., Кондратьев А.И. Теоретико-игровое информационное моделирование в системах принятия реш...Стол Р.Р. Множества. Логика. Аксиоматические теории. - М.: Просвещение, 1968.Столлингс В. Современные компьютерные сети. - СПб.: Питер, 2003.Страуструп Б. Язык программирования С++. - СПб., М.: "Невский Диалект" - "Издательство БИНОМ", 1999.Стренг Г. Линейная алгебра и ее приложения. - М.: Мир, 1980.Схрейвер А. Теория линейного и целочисленного программирования. - М.: Мир, 1991.Сэвидж Д. Сложность вычислений. - М.: Факториал, 1998.Такеути Г. Теория доказательств. - М.: Мир, 1978.Таненбаум Э. Архитектура компьютера. - СПб.: Питер, 2003.Таненбаум Э. Компьютерные сети. - СПб.: Питер, 2003.Таненбаум Э., Ван-Стеен М. Распределённые системы. Принципы и парадигмы. - СПб.: Питер, 2003.Тараканов В.Е. Комбинаторные задачи и (0,1) -матрицы. - М.: Наука, 1985.Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология. информа...Татт У. Теория графов. - М.: Мир, 1988.Таха Х. Введение в исследование операций. - М.: Мир, 1985.Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач. - М.: Наука, 1979.Тихонов А.Н., Васильева А.Б., Свешников А.Г. Дифференциальные уравнения. - М.: Наука, 1985.Трахтенброт Б.А. Алгоритмы и вычислительные машины. - М.: Советское радио, 1974.Трэвис Б. XML и SOAP: программирование для серверов BizTalk. Новейшие технологии. - М.: Издательско-...Турский В. Методология программирования. - М.: Мир, 1981.Тутубалин В.Н. Теория вероятностей и случайных процессов. - М.: Изд. Моск. ун-та, 1992.Тюрин Ю.Н., Макаров А.А. Анализ данных на компьютере. - М.: Финансы и статистика, 1995.Уилсон Р. Введение в теорию графов. - М.: Мир, 1977.Ульман Д. Основы систем баз данных. - М.: Финансы и статистика, 1983.Ульман Д., Уидом Д. Введение в системы баз данных. - М.: Лори, 2000.Уотермен Д. Руководство по экспертным системам. - М.: Мир, 1989.Урусов В.С. Теоретическая кристаллохимия. - М.: Изд. Моск. ун-та, 1987.Успенский В.А. Лекции о вычислимых функциях. - М.: Физматгиз, 1960.Успенский В.А. Машина Поста. - М.: Наука, 1979.Успенский В.А. Теорема Геделя о неполноте. - М.: Наука, 1982.Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики. М.: Физматлит, 2002.Успенский В.А. Труды по нематематике. С приложениями семиотических посланий. В 2 т. - М.: ОГИ, 2002.Фаддеев Д.К. Лекции по алгебре. - М.: Наука, 1984.Фаддеев Д.К., Фаддеева В.Н. Вычислительные методы линейной алгебры. - М.: Наука, 1963.Фалкерсон Д.Р., Форд Л.Р. Потоки в сетях. - М.: Мир, 1966.Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования....Феллер В. Введение в теорию вероятностей и ее приложения. Т. 1, 2. - М.: Мир, 1984.Фельдман С.К. Системное программирование. Полный курс лекций с теоретическими материалами и лаборато...Феферман С. Числовые системы. Основание алгебры и анализа. - М.: Наука, 1971.Филд А., Харрисон П. Функциональное программирование. - М.: Мир, 1993.Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т. I-III. - М.: Физматгиз, 1959.Флейс Дж. Статистические методы для изучения долей и пропорций. - М.: Финансы и статистика, 1989.Фоменко А.Т. Наглядная геометрия и топология. Математические образы в реальном мире. - М.: Изд. Моск...Фон Нейман Дж. Теория самовоспроизводящихся автоматов. - М.: Мир, 1971.Форсайт Д., Молер К. Численное решение систем линейных алгебраических уравнений. - М.: Мир, 1969.Фридл Дж. Регулярные выражения. Библиотека программиста. - СПб: Питер, 2001.Фукс Б.А., Левин В.И. Функции комплексного переменного и некоторые их приложения. Специальные главы....Фукс Б.А., Шабат Б.В. Функции комплексного переменного и некоторые их приложения. - М.: Физматгиз, 1...Фукс Л. Частично упорядоченные алгебраические системы. - М.: Мир, 1965.Хальд А. Математическая статистика с техническим приложениями. - М.: ИЛ, 1956.Хамахер К., Вранешич З., Заки С. Организация ЭВМ. - СПб: Питер, 2003.Хамермеш М. Теория групп и ее применение к физическим проблемам. - М.: УРСС, 2002.Хант Э. Томас Д. Программист-прагматик. Путь от подмастерья к мастеру. - М.: ЛОРИ, 2004.Хантер Р. Основные концепции компиляторов. - М.: Издательский дом "Вильямс", 2002.Харари Ф. Теория графов. - М.: Мир, 1973.Харт Д. Системное программирование в среде Win32. - М.: Издательский дом "Вильямс", 2001.Хейгеман Л., Янг Д. Прикладные итеррационные методы. - М.: Мир, 1986.Хендерсон П. Функциональное программирование. Применение и реализация. - М.: Мир, 1983.Хилл Ф. Open GL. Программирование компьютерной графики. Для профессионалов. - СПб.: Питер, 2002.Хинчин А.Я. Краткий курс математического анализа. - М.: Гостехиздат, 1953.Хоар Ч. Взаимодействующие последовательные процессы. - М.: Мир, 1989.Хоггер К. Введение в логическое программирование. - М.: Мир, 1988.Холл М. Комбинаторика. - М.: Мир, 1970.Холл М. Комбинаторный анализ. - М.: ИЛ, 1963.Холл М. Теория групп. - М.: ИЛ, 1962.Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вычислений. - М.: Издательс...Хьюз К., Хьюз Т. Параллельное и распределенное программирование с использованием С++. - М.: Издатель...Цаленко М.Ш. Моделирование семантики в базах данных. - М.: Наука, 1989.Частиков А. Архитекторы компьютерного мира. - СПб.: БХВ-Петербург, 2002.Чеппель Д. Технологии ActiveX и OLE. - М.: Издательский отдел "Русская Редакция" ТОО "Channel Tradin...Чери С., Готлоб Г., Танка Л. Логическое программирование и базы данных. - М.: Мир, 1992.Черников С.Н. Линейные неравенства. - М.: Наука, 1968.Черч Л. Введение в математическую логику. I. - М.: ИЛ, 1960.Четвериков В.Н., Ревунков Г.И., Самохвалов Э.Н. Базы и банки данных. - М.: Высшая Школа, 1987.Чупрунов Е.В.,.Хохлов А.Ф, Фаддеев М.А. Основы кристаллографии. - М.: Физматлит, 2004.Шабат Б.В. Введение в комплексный анализ. - М.: Наука, 1969.Шафаревич И.Р. Избранные главы алгебры. - М.: Изд.журн. "Математическое образование", 2000.Шенфилд Д. Математическая логика. - М.: Наука, 1975.Шень А. Программирование: теоремы и задачи. - М.: МЦНМО, 1995.Шень А. Программирование: теоремы и задачи. - М.: МЦНМО, 1995.Шикин Е.В., Боресков А.В. Компьютерная графика. Полигональные модели. - М.: ДИАЛОГ-МИФИ, 2000.Ширяев А.Н. Вероятность. - М.: Наука, 1980.Шмырев В.И. Введение в математическое программирование. - М.: РХД, 2002.Эйзенхарт Л.П. Непрерывные группы преобразований. - М.: УРСС, 2004.Эйнджел Э. Интерактивная компьютерная графика. Вводный курс на базе OpenGL. - М.: Издательский дом "...Эндрюс Г. Теория разбиений. - М.: Наука, 1982.Эндрюс Г. Основы многопоточного, параллельного и распределенного программирования. - М.: Издательски...Эшби У.Р. Введение в кибернетику. - М.: ИЛ, 1959.Яблонский С.В. Введение в дискретную математику. - М.: Наука, 1986.Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. - М.: Наука, 19...Ященко В.В. (ред.). Введение в криптографию. - М.: МЦНМО, 1998.
Вложения

* обозначает обязательные поля

Создано 18.05.2005 13:50 пользователем COMPLAB\lvs Изменено 18.05.2005 13:56 пользователем COMPLAB\lvs