| CategoryBooks-1-20090708/Abstract Algebra/Artin M. Algebra.djvu |
4.3 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Dummit D.S., Foote R.M. Abstract algebra.djvu |
14.6 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Картан, Эйленберг. ГомологическаАлгебра.djvu |
4 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Baker A.J. Finite Groups and their Representations.pdf |
451 KB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Bechtell. The Theory of Groups.djvu |
6.5 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Milne J.S. Group Theory.pdf |
622 KB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Polites. An Introduction to the Group Theory.djvu |
3.9 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Богопольский. Введение в теорию групп.djvu |
607 KB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Дужин, Чеботаревский. От орнаментов до дифференциальных уравнений.djvu |
1.9 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Холл. Теоригрупп.djvu |
5.4 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Barcelo H., Ram A. Combinatorial Representation Theory.pdf |
925 KB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Finite Groups.pdf |
499 KB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Fulton W., Harris J. Representation theory. A first course .djvu |
10.2 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Fulton. Young tableau, representation theory and geometry (.djvu |
2.3 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu |
1.7 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu |
2.2 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Виленкин. Специальные функции и теорипредставлений групп.djvu |
5.8 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Кириллов. Лекции по методу орбит.djvu |
3.1 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Кириллов. Элементы теории представлений.djvu |
4 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Ленг. SL2(R).djvu |
4.5 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Серр. Линейные представлениконечных групп.djvu |
1.2 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Фейт. Теорипредставлениконечных групп.pdf |
39.4 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Groups/Representations/Хеннан. Представленигрупп и прикладнатеоривероностей.djvu |
1.2 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Modules/Anderson F.W., Fuller K.R. Rings and categories of modules.djvu |
4.9 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Modules/Lam T.Y. A First Course in Noncommutative Rings.djvu |
5.3 MB |
| CategoryBooks-1-20090708/Abstract Algebra/Modules/Пирс. Ассоциативные алгебры.pdf |
24.4 MB |
| CategoryBooks-1-20090708/Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 1.pdf |
463 KB |
| CategoryBooks-1-20090708/Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 2.pdf |
464 KB |
| CategoryBooks-1-20090708/Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 3.pdf |
430 KB |
| CategoryBooks-1-20090708/Categorical Logic/Bell J.L. Development of Categorical Logic.pdf |
716 KB |
| CategoryBooks-1-20090708/Categorical Logic/Gambino N. Presheaf Models for Constructive Set Theories.pdf |
203 KB |
| CategoryBooks-1-20090708/Categorical Logic/Gambino N., Hyland M. Wellfounded Trees and Dependent Polynomial Functors.pdf |
219 KB |
| CategoryBooks-1-20090708/Categorical Logic/Huet G., Saibi A. Constructive Category Theory.pdf |
231 KB |
| CategoryBooks-1-20090708/Categorical Logic/Jacobs B. Categorical Logic and Type Theory.pdf |
31.5 MB |
| CategoryBooks-1-20090708/Categorical Logic/Jay C.B. Functorial Lambda-Calculus.pdf |
338 KB |
| CategoryBooks-1-20090708/Categorical Logic/Jay C.B. Functorial ML.pdf |
503 KB |
| CategoryBooks-1-20090708/Categorical Logic/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf |
32.7 MB |
| CategoryBooks-1-20090708/Categorical Logic/Lawvere F.W. Metric Spaces, Generalized Logic and Closed Categories.pdf |
2.8 MB |
| CategoryBooks-1-20090708/Categorical Logic/Moerdjik I., Palmgren E. Type Theories, Toposes and Constructive Set Theory. Predecative Aspect of AST.pdf |
383 KB |
| CategoryBooks-1-20090708/Categorical Logic/Moggi E. Notions of computation and monads.pdf |
269 KB |
| CategoryBooks-1-20090708/Categorical Logic/Palmgren E. Locally Cartesian Closed Categories without chosen Constructions.pdf |
313 KB |
| CategoryBooks-1-20090708/Categorical Logic/Pitts A.M. Categorical Logic.pdf |
698 KB |
| CategoryBooks-1-20090708/Categorical Logic/Ranalter K. Two-sequent K and simple fibrations.pdf |
181 KB |
| CategoryBooks-1-20090708/Categorical Logic/Rydeheard, Burstall. Computational Category Theory.pdf |
921 KB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Hakjoo Oh. The CAM.pdf |
153 KB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Hinze. CAM Basic and Enhancements.pdf |
387 KB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Wolfengagen V.E. Combinatory Logic in Programming.djvu |
697 KB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Wolfengagen. Frame Theory and Computations.pdf |
1.2 MB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Вольфенгаген. Аппликативные вычислениpdf |
552 KB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Вольфенгаген. Аппликативный комптютинг.pdf |
371 KB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Вольфенгаген. Категориальнаабстрактнамашина.pdf |
458 KB |
| CategoryBooks-1-20090708/Categorical Logic/CAM/Вольфенгаген. Комбинаторналогика в программировании.pdf |
1.9 MB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Awoday S. Logic in Topoi. Functorial Semantics for Higher-Order Logic.pdf |
832 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Barr, Wells. Category Theory for Computing Science.pdf |
533 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Berg B. Non-well-founded trees in categories.pdf |
285 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Berg B. Predicative topos theory and models for constructive set theory.pdf |
797 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Berg B. Sheaves for predicative toposes.pdf |
208 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Blass A. Topoi and Computation.pdf |
125 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Caramello O. Atomic Toposes and countable categoricity.pdf |
214 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Goldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.pdf |
204 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu |
8.8 MB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Johnstone P.T. Topos Theory.djvu |
22.4 MB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Lambek J., Scott P.J. Algebraic Aspects of Topos Theory.djvu |
395 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Malcom G. Observational Truth as Categorical Modality.pdf |
183 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Oosten. The Modified Realizability Topos.pdf |
275 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Pitts A.M. On product and change of base for toposes.pdf |
1.1 MB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Power J. 2-Categories.pdf |
109 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Saunders Mac Lane. Sheaves in Geometry and Logic.djvu |
4.6 MB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Seely R.A.G. Polymorphic Linear Logic and Topos Models.pdf |
186 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Streicher T. Fibred Categories.pdf |
528 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Streicher T. Universes in Toposes.pdf |
270 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Vickers S. Locales and Toposes as Spaces.pdf |
516 KB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Голдблатт. Топосы, категорийный анализ логики.djvu |
5.7 MB |
| CategoryBooks-1-20090708/Categorical Logic/Toposes/Джонстон. ТеориТопосов.djvu |
4.1 MB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Altenkirch T. Imredicative Representations of Categorical Datatypes.pdf |
355 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Asperti A., Longo G. Categories Types and Structures.pdf |
1.6 MB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Butz C. Bernays-Godel Type-Theory.pdf |
308 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Cattani G.L., Winskel G. Presheaf Models for Concurrency.pdf |
288 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Erwig M. Random Access to Abstract Data Types.pdf |
272 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf |
947 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Hagino T. A Categorical Programming Language.pdf |
530 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Hagino T. A Typed Lambda Calculus with Categorical Type Constructors.pdf |
122 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Kock J. Notes on Polynomial Functors.pdf |
1.3 MB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Michelbrink M. Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf |
272 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Nogueira P. When Abstract Data Type a functor.pdf |
85 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Santocanale L. Logical Contruction of Final Coalgebras.pdf |
316 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Seely R.A.G. Locally cartesian closed categories and type theory.pdf |
5.5 MB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Vene V. Categorical Programming with Inductive and Coinductive Types.pdf |
424 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Vene V. Coding Recursion a la Mendler.pdf |
242 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Vene V. Comonadic Iteration.pdf |
333 KB |
| CategoryBooks-1-20090708/Categorical Logic/Type Theory/Vene V. Recursive Coalgebras from Comonads.pdf |
244 KB |
| CategoryBooks-1-20090708/Category Theory/Adamek, Herrlich, Strecker. The Joy of Cats.pdf |
4.1 MB |
| CategoryBooks-1-20090708/Category Theory/Barr, Wells. Category Theory.pdf |
1.2 MB |
| CategoryBooks-1-20090708/Category Theory/Barr, Wells. Toposes, Triples and Theories.pdf |
1.3 MB |
| CategoryBooks-1-20090708/Category Theory/Barr. Models of sketches.pdf |
1.1 MB |
| CategoryBooks-1-20090708/Category Theory/Fokkinga. Gentle introduction to category theory.pdf |
387 KB |
| CategoryBooks-1-20090708/Category Theory/Goguen. A Categorical Manifesto.pdf |
272 KB |
| CategoryBooks-1-20090708/Category Theory/Leinster T. The Yoneda Lemma.pdf |
161 KB |
| CategoryBooks-1-20090708/Category Theory/Pierce B.C. Basic category theory for computer scientists.djvu |
5.4 MB |
| CategoryBooks-1-20090708/Category Theory/Saunders Mac Lane. Categories for Working Mathematician.djvu |
3.9 MB |
| CategoryBooks-1-20090708/Category Theory/Schalk A., Simmons H. An Introduction to Category Theory in four easy movements.pdf |
1.2 MB |
| CategoryBooks-1-20090708/Category Theory/Turi D. Category Theory Lecture Notes.pdf |
536 KB |
| CategoryBooks-1-20090708/Category Theory/М.Ш. Цаленко, Е.Г. Шульгейфер. Основы теории категорий.djvu |
2.1 MB |
| CategoryBooks-1-20090708/Category Theory/Маклейн. Категории длработающего математика.djvu |
2.7 MB |
| CategoryBooks-1-20090708/Category Theory/ТеориКатегорий. Слайды.pdf |
149 KB |
| CategoryBooks-1-20090708/Lambda Calculus/Barendregt H. Lambda Calculi with Types.pdf |
858 KB |
| CategoryBooks-1-20090708/Lambda Calculus/Introduction to Functional Programming. John Harrison.pdf |
928 KB |
| CategoryBooks-1-20090708/Lambda Calculus/Vasconcelos V.T. The call-by-value lambda-calculus, the SECD machine, and the pi-calculus.pdf |
320 KB |
| CategoryBooks-1-20090708/Lambda Calculus/Wright A.K., Felleisen M. A Syntactic Approach to Type Soundness.pdf |
449 KB |
| CategoryBooks-1-20090708/Lambda Calculus/Функциональное программирование.pdf |
304 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/1 Классификациыков программированиpdf |
242 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/10 Абстрактные машины и категоральнакомбинаторналогика.pdf |
246 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/11 Категориальнаабстрактнамашина.pdf |
245 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/12 Оптимизацивычислений и расширениабстрактных машин.pdf |
262 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/2 Концепции возможности подхода .NET.pdf |
240 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/3 Функциональный подход к программированию.pdf |
289 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/4 Ламбда-исчисление как формализациЯФП.pdf |
288 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/5 Комбинаторналогика как формальнасистема.pdf |
248 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/6 Теоритипов и комбинаторналогика.pdf |
277 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/7 Синтаксис ыков программированиpdf |
294 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/8 Семантика ыков программированиpdf |
283 KB |
| CategoryBooks-1-20090708/Lambda Calculus/МГУ 2003 ФЯП/9 Рекурсивные функции и множества.pdf |
282 KB |
| CategoryBooks-1-20090708/Meta Languages/CAML/Bettenburg N. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf |
203 KB |
| CategoryBooks-1-20090708/Meta Languages/CAML/Fournet C., Maranget L. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf |
262 KB |
| CategoryBooks-1-20090708/Meta Languages/CAML/Hickey J. Introduction to Objective Caml.pdf |
2.2 MB |
| CategoryBooks-1-20090708/Meta Languages/CAML/Leroy X. The Caml Light System 0.74.pdf |
720 KB |
| CategoryBooks-1-20090708/Meta Languages/CAML/Leroy X. The Objective Caml System 3.11.pdf |
1.9 MB |
| CategoryBooks-1-20090708/Meta Languages/CAML/Mandel L., Maranget L. The JoCaml Language 3.11.pdf |
330 KB |
| CategoryBooks-1-20090708/Meta Languages/CAML/Remy D. Using, Understanding and Unraveling The Ocaml Language.pdf |
1.1 MB |
| CategoryBooks-1-20090708/Meta Languages/Erlang/armstrong_thesis_2003.pdf |
839 KB |
| CategoryBooks-1-20090708/Meta Languages/Erlang/bjarnelic.pdf |
477 KB |
| CategoryBooks-1-20090708/Meta Languages/Erlang/foundation.pdf |
174 KB |
| CategoryBooks-1-20090708/Meta Languages/Erlang/Pragmatic.Programming.Erlang.Jul.2007.pdf |
2.7 MB |
| CategoryBooks-1-20090708/Meta Languages/Erlang/remond.pdf |
121 KB |
| CategoryBooks-1-20090708/Meta Languages/F#/Syme D., Granicz A., Cisternino A. Expret F#.pdf |
562 KB |
| CategoryBooks-1-20090708/Meta Languages/ML/Gilmore S. Programming in Standard ML.pdf |
556 KB |
| CategoryBooks-1-20090708/Meta Languages/ML/Harper R. Introduction to Standart ML.pdf |
448 KB |
| CategoryBooks-1-20090708/Meta Languages/ML/Harper R. Programming in Standard ML.pdf |
947 KB |
| CategoryBooks-1-20090708/Meta Languages/ML/Tofte M. Tips for CS on Standard ML.pdf |
212 KB |
| CategoryBooks-1-20090708/Meta Languages/ML/Харпер Р. Введение в Стандартный ML.pdf |
612 KB |
Magnet link
