Опубликован: 19.08.2004 | Уровень: для всех | Доступ: платный | ВУЗ: Национальный исследовательский ядерный университет «МИФИ»
  • 1.
    Атли К.
    VB.NET для программистов.
  • 2.
    Браунси К.
    Основные концепции структур данных и реализация в С++
  • 3.
    Вилле К.
    Представляем Си Шарп
  • 4.
    Вольфенгаген В.Э.
    Категориальная абстрактная машина
  • 5.
    Вольфенгаген В.Э.
    Комбинаторная логика в программировании
  • 6.
    Вольфенгаген В.Э.
    Конструкции языков программирования. Приемы описания
  • 7.
    Вольфенгаген В.Э.
    Концептуализация в аппликативных вычислительных системах
  • 8.
    Брызгалов С.В., Вольфенгаген В.Э., Гаврилов А.В., Зыков С.В., Исмаилова Л.Ю., Кастанов С.А., Одрова А.Н., Погодаев Г.Г., Сницарь Р.В.
    Категориальная объектно-ориентированная абстрактная машина (КООАМ)
  • 9.
    Гейтс Б.
    Бизнес со скоростью мысли.
  • 10.
    Зыков С.В.
    Современные языки программирования. Ч.I. Функциональный подход к программированию.
  • 11.
    Зыков С.В.
    Современные языки программирования. Ч.II. Объектно-ориентированный подход к программированию.
  • 12.
    Зыков С.В.
    Лабораторный практикум по курсу <Языки программирования>. Ч.1. Основы объектного программирования на С++.
  • 13.
    Зыков С.В.
    Лабораторный практикум по курсу <Языки программирования>. Ч.2. Основы разработки приложений на С++ для Win32 API.
  • 14.
    Керниган Б., Пайк Р.
    Практика программирования.
  • 15.
    Петцольд Ч.
    Программирование для Microsoft Windows на C#.
  • 16.
    Платт Д.С.
    Знакомство с Microsoft .NET.
  • 17.
    Рейли Д. Дж.
    Создание приложений Microsoft ASP.NET.
  • 18.
    Рекомендации по преподаванию информатики в университетах: Пер. с англ.
  • 19.
    Рихтер Дж.
    Программирование на платформе Microsoft .NET Framework.
  • 20.
    Робинсон У.
    C# без лишних слов.
  • 21.
    Смит С.
    ASP.NET в примерах.
  • 22.
    Шапошников И.
    Web-сервисы Microsoft .NET.
  • 23.
    Appleby D., VandeKopple J.J.
    Programming languages, paradigm and practice (2nd ed.).
  • 24.
    Barendregt H.P.
    The lambda calculus (revised edition),
  • 25.
    Box D.
    Essential .NET, Vol.1: The Common Language Runtime.
  • 26.
    Cardelli L.
    A semantics of multiple inheritance.
  • 27.
    Church A.
    The calculi of lambda-conversion.
  • 28.
    Canning P.S., Cook W., Hill W.L.
    Inheritance is not subtyping.
  • 29.
    Cook W., Palsberg J.
    A denotational semantics of inheritance and its correctness.
  • 30.
    Cousineau G., Curien P.-L., Mauny M.
    The categorical abstract machine.
  • 31.
    Curry H.B., Feys R.
    Combinatory logic, vol.I
  • 32.
    Davis M. (ed.)
    Solvability, probability, definability: the collected works of Emil L. Post
  • 33.
    Date C.J.
    Encapsulation is a Red Herring.
  • 34.
    Floyd R.W.
    A note on mathematical induction on phrase structure grammars.
  • 35.
    Fourman M.
    The logic of topoi.
  • 36.
    Frei G.
    Helmut Hasse (1898-1979)
  • 37.
    Gilmore S.
    Programming in Standard ML '97: a tutorial introduction
  • 38.
    Gordon M.J.C.
    Programming language theory and its implementation.
  • 39.
    Gordon M.J.C.
    The denotational description of programming languages.
  • 40.
    Grimes F.
    Microsoft .NET for Programmers.
  • 41.
    Gunter C.A., Scott D.S.
    Semantic Domains
  • 42.
    Hindley J.R.
    The principal type-scheme of an object in combinatory logic.
  • 43.
    Hindley J.R., Seldin J.P.
    Introduction to combinators and l-calculus.
  • 44.
    Hoare C.A.R.
    An axiomatic basis for computer programming.
  • 45.
    Hodges A. Alan
    Turing and the Turing machine.
  • 46.
    Hughes J.
    Why functional programming matters.
  • 47.
    Hughes R.J.M.
    Super combinators: a new implementation method for applicative languages.
  • 48.
    Kleene S.C.
    l-definability and recursiveness.
  • 49.
    Knuth D.E.
    Backus normal form vs. Backus Naur form.
  • 50.
    Landin P.
    The next 700 programming languages.
  • 51.
    Landin. P.J.
    The mechanical evaluation of expressions.
  • 52.
    Liberty J.
    Programming C#, 3d edition.
  • 53.
    Lowy J.
    COM and .NET Component Services.
  • 54.
    Lowy J.
    Programming .NET Components.
  • 55.
    Mauny M., Suarez A.
    Implementing functional languages in the categorical abstract machine.
  • 56.
    McCarthy J.
    Recursive functions of symbolic expressions and their computation by machine, Part I.
  • 57.
    Milner A.J.R.G.
    A proposal for Standard ML.
  • 58.
    Milner R.
    A theory of type polymorphism in programming languages.
  • 59.
    Nathan A.
    NET and COM: The Complete Interoperability Guide.
  • 60.
    Peyton Jones S.L.
    The implementation of functional programming languages.
  • 61.
    Plotkin G.D.
    Call-by-name, call-by-value and the l-calculus.
  • 62.
    Pratt T.W., Zelkovitz M.V.
    Programming languages, design and implementation (4th ed.).
  • 63.
    Richter J.
    Applied Microsoft .NET Framework Programming.
  • 64.
    Roussopulos N.D.
    A semantic network model of data bases
  • 65.
    Scho. .nfinkel M.
    Uber die Bausteine der matematischen Logik
  • 66.
    Scott D.S.
    Domains for denotational semantics.
  • 67.
    Scott D.S.
    Identity and existence in intuitionistic logic.
  • 68.
    Scott D.S.
    The lattice of flow diagrams.
  • 69.
    Stoy J.E.
    Denotational semantics: the Scott-Strachey approach to programming language theory.
  • 70.
    Strachey C.
    Fundamental Concepts in Programming Languages.
  • 71.
    Turing A.M.
    On computable numbers, with an application to the Entscheidungsproblem.
  • 72.
    Lam H., Thai T.L.
    .NET Framework Essentials, 2nd ed.
  • 73.
    Thorup L., Tofte M.
    Object-oriented programming and Standard ML.
  • 74.
    Troelsen A.
    C# and the .NET platform (2nd ed.).
  • 75.
    Turner D.A.
    A new implementation technique for applicative languages.
  • 76.
    Visual C#. NET Step by Step
  • 77.
    Wadsworth C.P.
    Semantics and pragmatics of the l-calculus.
  • 78.
    Wolfengagen V.E.
    Building the access pointers to a computational environment.
  • 79.
    Wolfengagen V.E.
    Event-driven objects.
  • 80.
    Wolfengagen V.E.
    Functional notation for indexed concepts