| Украина |
Инспектор
Вы можете этот курс.
Опубликован: 19.08.2004 | Уровень: для всех | Доступ: платный | ВУЗ: Национальный исследовательский ядерный университет «МИФИ»
- 1.VB.NET для программистов.ДМК Пресс, 2002. ISBN 5-94074-110-Х
- 2.Основные концепции структур данных и реализация в С++М.: Издательский дом "Вильямс", 2002.- 320 с.
- 3.Представляем Си ШарпДМК Пресс, 2001. ISBN 5-94074-039-1
- 4.Категориальная абстрактная машинаИзд. 2. М.: АО <ЮрИнфоР>, 2001 - 96 с. ISBN 5-89158-102-7
- 5.Комбинаторная логика в программировании204 с. изд. 2-е, перераб., дополн. - М.: АО "Центр ЮрИнфоР", 2003 - 203 с. ISBN 5-89158-101-9, ББК 32.97
- 6.Конструкции языков программирования. Приемы описанияМ.: АО <ЮрИнфоР>, 2001, 276 с.
- 7.Концептуализация в аппликативных вычислительных системахМ.: МИФИ, 1990
- 8.Категориальная объектно-ориентированная абстрактная машина (КООАМ)Информационный бюллетень РФФИ, 4, 1996, c. 786
- 9.Бизнес со скоростью мысли.М.: Изд-во ЭКСМО-Пресс, 2000.- 480 с.
- 10.Современные языки программирования. Ч.I. Функциональный подход к программированию.М.:МИФИ - 2003, 230 с.
- 11.Современные языки программирования. Ч.II. Объектно-ориентированный подход к программированию.М.:МИФИ - 2004, 251 с.
- 12.Лабораторный практикум по курсу <Языки программирования>. Ч.1. Основы объектного программирования на С++.М.: МИФИ - 2001, 55 с. ISBN 5-7262-0454-9
- 13.Лабораторный практикум по курсу <Языки программирования>. Ч.2. Основы разработки приложений на С++ для Win32 API.М.: МИФИ - 2001, 45 с. ISBN 5-7262-0454-9
- 14.Практика программирования.СПб.: Невский диалект, 2001.-381 с.
- 15.Программирование для Microsoft Windows на C#.<Русская редакция>, 2002. ISBN 5-7502-0210-0
- 16.Знакомство с Microsoft .NET.<Русская редакция>, 2001. ISBN 5-7502-0186-4
- 17.Создание приложений Microsoft ASP.NET.<Русская редакция>, 2002. ISBN 5-7502-0218-6
- 18.Рекомендации по преподаванию информатики в университетах: Пер. с англ.СПб., 2002.- 372 с. ISBN 5-288-03105-3
- 19.Программирование на платформе Microsoft .NET Framework.<Русская редакция>, 2002
- 20.C# без лишних слов.ДМК Пресс, 2002. ISBN 5-94074-177-0
- 21.ASP.NET в примерах.ДМК Пресс, 2002. ISBN 5-94074-165-7
- 22.Web-сервисы Microsoft .NET.<БХВ-Петербург>, 2002. ISBN 5-94157-199-2
- 23.Programming languages, paradigm and practice (2nd ed.).McGraw-Hill, 1997
- 24.The lambda calculus (revised edition),Studies in Logic, 103, North Holland, Amsterdam, 1984
- 25.Essential .NET, Vol.1: The Common Language Runtime.Addison Wesley, 2002, 432
- 26.A semantics of multiple inheritance.In: Information and Computation, vol.76, 1988, p.p. 138-164
- 27.The calculi of lambda-conversion.Princeton, 1941, ed. 2, 1951
- 28.Inheritance is not subtyping.In: Proc. 17th ACM Symposium on Principles of Programming Langauges, Jan. 1990, p.p. 125-135
- 29.A denotational semantics of inheritance and its correctness.In: OOPSLA 1989 as SIGPLAN, vol.24, No.10, Oct. 1989, p.p. 433-444
- 30.The categorical abstract machine.Science of Computer Programming 8(2): 173-202, 1987
- 31.Combinatory logic, vol.INorth Holland, Amsterdam, 1958
- 32.Solvability, probability, definability: the collected works of Emil L. PostBoston, Massachusetts, 1994
- 33.Encapsulation is a Red Herring.DataBase Programming and Design On-LineFrei, Sept. 1998
- 34.A note on mathematical induction on phrase structure grammars.Information and Control 4(4): 353-358, 1961
- 35.The logic of topoi.In: Handbook of Mathematical Logic, J.Barwise et al., eds. North-Holland, 1977
- 36.Helmut Hasse (1898-1979)Expositiones Mathematicae 3 (1) (1985), 55-69
- 37.Programming in Standard ML '97: a tutorial introduction
- 38.Programming language theory and its implementation.Prentice-Hall, 1988
- 39.The denotational description of programming languages.Springer-Verlag, 1979
- 40.Microsoft .NET for Programmers.Manning Publications, 2002, 386 pp.
- 41.Semantic DomainsHandbook on theoretical computer science, Vol.B: Formal models and semantics (B):633-674, 1990.
- 42.The principal type-scheme of an object in combinatory logic.Trans. Amer. Math. Soc., 146:29-60, 1969
- 43.Introduction to combinators and l-calculus.London Mathematical Society Student Texts, 1, Cambridge University Press, 1986
- 44.An axiomatic basis for computer programming.CACM 12(10):576-580, 1969
- 45.Turing and the Turing machine.The universal Turing machine: a half-century survey, pp. 3-15, New York, 1988
- 46.Why functional programming matters.The Computer Journal, 32 (2): 98-107, April 1989
- 47.Super combinators: a new implementation method for applicative languages.Proc. of the 1982 ACM Symposium on LISP and Functional Programming, Pittsburgh, 1982
- 48.l-definability and recursiveness.Duke Math. J., p.p. 340-353, 1936
- 49.Backus normal form vs. Backus Naur form.Comm. ACM 7:12 p.p. 735-736
- 50.The next 700 programming languages.Communications of ACM, 3, 1966
- 51.The mechanical evaluation of expressions.Computer Journal, 6:308-320, January 1964
- 52.Programming C#, 3d edition.O'Reilly & Associates, 2003, 710 pp. ISBN: 0596004893
- 53.COM and .NET Component Services.O'Reilly, 2001, 384 pp.
- 54.Programming .NET Components.O'Reilly, 2003, 480 pp.
- 55.Implementing functional languages in the categorical abstract machine.Proc. of the 1986 ACM conference on LISP and functional programming, pp. 266-278, Cambridge, Massachusetts, 1986
- 56.Recursive functions of symbolic expressions and their computation by machine, Part I.Com. ACM, April 1960
- 57.A proposal for Standard ML.Proceedings of the ACM Symposium on LISP and Functional Programming, Austin, 1984
- 58.A theory of type polymorphism in programming languages.Journal of Computer and System Science, 17(3):348-375, 1978
- 59.NET and COM: The Complete Interoperability Guide.Sams, 2002, 1608 pp.
- 60.The implementation of functional programming languages.Prentice Hall, 1987
- 61.Call-by-name, call-by-value and the l-calculus.Theoretical computer science, 1, pp. 125-159, 1936
- 62.Programming languages, design and implementation (4th ed.).Prentice Hall, 2000 (В русском переводе: Пратт Т., Зелкович М., Языки программирования: разработка и реализация.- Спб.: Питер, 2002.-688 с.: ил.)
- 63.Applied Microsoft .NET Framework Programming.Microsoft Press, 2002, 556 pp.
- 64.A semantic network model of data basesToronto Univ., 1976
- 65.Uber die Bausteine der matematischen LogikMath. Annalen 92, pp. 305-316, 1924. Translation printed as 'On the building blocks of mathematical logic', in van Heijenoort, J. (ed.), From Frege to Godel, Harvard University Press, 1967
- 66.Domains for denotational semantics.ICALP 1982, 577-613
- 67.Identity and existence in intuitionistic logic.In: Application of Sheaves.- Berlin: Springer, 1979, p.p. 600-696
- 68.The lattice of flow diagrams.Lecture Notes in Mathematics, 188, Symposium on Mathematics of Algorithmic Languages.- Springer-Verlag, 1971, p.p. 311-372
- 69.Denotational semantics: the Scott-Strachey approach to programming language theory.MIT Press, 1977
- 70.Fundamental Concepts in Programming Languages.Higher-Order and Symbolic Computation, Vol. 13, No 1/2, April 2000, p.p.11-49.
- 71.On computable numbers, with an application to the Entscheidungsproblem.Proc. of London Mathematical Society, ser .2, vol. 42 p.p. 230-265, 1936-7
- 72..NET Framework Essentials, 2nd ed.O'Reilly, 2002, 376 pp.
- 73.Object-oriented programming and Standard ML.Proc. ACM SIGPLAN 1994 Workshop on ML and its applications, Orlando, FL, June 1994, Tech. Report 2265 INRIA, p.p. 41-49
- 74.C# and the .NET platform (2nd ed.).APress, 2003, 1200 pp. (В русском переводе: Троелсен Э., C# и платформа .NET. Библиотека программиста.- Спб.: Питер, 2003.-800 с.: ил.)
- 75.A new implementation technique for applicative languages.Software - Practice and Experience, 9:21-49, 1979
- 76.Visual C#. NET Step by StepMicrosoft Press, 2003. ISBN: 0-7356-1909-3
- 77.Semantics and pragmatics of the l-calculus.PhD Thesis, University of Oxford, 1981
- 78.Building the access pointers to a computational environment.In: Electronic Workshops in Computing, Berlin Heidelberg New York: Springer-Verlag, 1998. p.p. 1-13
- 79.Event-driven objects.In: Proc. CSIT'1999, Moscow, Russia, 1999, Vol.1, p.p. 88-96
- 80.Functional notation for indexed conceptsIn: Proc. WFLP'2000, Benicassim, Spain, Sept. 2000
