Все статьи :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Быстрый переход

По названию:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z А Б В Д З И К М Н О П Р С Х Ч
По автору:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z А Б Д З К Л М П С Т У Ф Х Ч Ш

Все ресурсы

Сортировка:

№	Автор	2й автор	3й автор	Название	Год	Доп.
15247.	Hudak P.			Conception, Evolution, and Application of Functional Programming Languages	1989	••
15246.	Kowalsky R.			Algorithm = Logic + Control	1979	••
15245.	Neal R.			Probabilistic inference using Markov chain Monte-Carlo methods	1993	••
15244.	Lomonaco S.J.			A quick glance at quantum cryptography	1998	••
15243.	Shannon C.E.			A Mathematical Theory of Communication	1948	••
15242.	Svozil K.			Quantum logic. A brief outline	1999	••
15241.	Werner R.F.			Quantum Information Theory — an Innovation	2000	••
15240.	Wipf A.			Eichtheorien	2000	••
15239.	't Hooft G.			Nobel lecture: a confrontation with infinity	2000	••
15238.	Veltman M.J.G.			Nobel lecture: from weak interactions to gravitation	2000	••
15237.	Wickerhauser M.V.			High-resolution still picture compression	1992	••
15236.	Chomsky N.			Systems of syntactic analysis	1953	••
15235.				Securing data on the Web	2001	••
15234.	Chou C.-T.			The Mathematical Foundation of Symbolic Trajectory Evaluation	1999	••
15233.	McFarland M.C.			Formal Verification of Sequential Hardware: A Tutorial	1993	••
15232.	Wang F.			Formal verification of timed systems: a survey and perspective	2004	••
15231.	Seger C.-J.			An Introduction to Formal Hardware Verification	1992	••
15230.	Shankar A.U.			An Introduction to Assertional Reasoning for Concurrent Systems	1993	••
15229.	Allman G.J.			Greek geometry. From Thales to Euqlid (Part 1)	1877	••
15228.	Tennant N.			Relevance in reasoning	2004	••

О проекте