| Имя | Размер | Дата расшаривания | Контрольная сумма | Рейтинг | Длительность |
|---|---|---|---|---|---|
| Proceedings ISSAC | 172117354 | 2016-10-10 17:31:33 +00:00 … 2016-12-08 17:54:34 +00:00 | 9.0 | ||
| Amadio R., Curien P.L. Domains and Lambda-calculi (draft, 1996)(ISBN 0521622778)(536s)_Cs_.pdf | 3910549 | 2016-11-06 20:05:27 +00:00 | 3MUFHKLN77WAAQRLFKVVDHSMETISMFKJMPIVT3I | 5.5 | |
| Aspray W. John von Neumann and the origins of modern computing (MIT, 1990)(ISBN 0262011212)(T)(394s)_Cs_.djvu | 3708465 | 2016-10-27 18:31:52 +00:00 | 3CJIOFPSUGMVU7CCL6RBSX24VR74WNS3NWPZAPY | 6.7 | |
| Avigad J. Computability and incompleteness. Lecture notes (free web version, 2007)(128s)_CsNp_.pdf | 495093 | 2016-10-10 17:31:33 +00:00 | CA5XTRZVL7AYN5DLBY4M7YBYTRISY3LFZXZ2NOA | 9.0 | |
| Bardini T. Bootstrapping.. Douglas Engelbart, Coevolution, and origins of personal computing (Stanford 2000)(ISBN 0804738718)(600dpi)(T)(309s)_Cs_.djvu | 3903450 | 2016-11-24 02:37:51 +00:00 | 2IF5CSME23RR4CNAZJACF4X4EUBNZ3UYYR643KA | ||
| Barendregt H., Barendsen E. Introduction to Lambda calculus (free web version, 2000)(53s)_CsNp_.pdf | 256755 | 2016-10-10 17:31:33 +00:00 | O254XZAPDM7A4F2OY4FIYIQWTKGUAWYINH6UUGA | 9.0 | |
| Berkeley E.C. Giant brains, or Machines that think (Science Editions, 1961)(ASIN B000NSR5P2)(600dpi)(T)(309s)_Cs_.djvu | 2964017 | 2016-12-09 10:13:24 +00:00 | 44WEM3DIU2JB76V3PWCKRZOAZBX3G5G6R7F47CY | ||
| Bogdanov A., Trevisan L. Average-case complexity (NOW, 2006)(ISBN 1933019492)(122s)_CsNp_.pdf | 598364 | 2016-10-11 07:43:45 +00:00 | 4Q3KRWEGLEUGJL3INZC4B74YYTGIA2FOTAZY6NI | 9.0 | |
| Borger E., Stark R. Abstract state machines.. Solutions to exercises (Springer, 2003)(18s)_CsNp_.pdf | 258961 | 2016-10-10 17:31:33 +00:00 | IM3TNKH3BP6GHWZGBTMTPKBYPHOBNRLMPKBCIDQ | 9.0 | |
| Bosma W., Cannon J. (eds.) Discovering mathematics with Magma (Springer, 2006)(ISBN 3540376321)(386s)_SC_.pdf | 3614648 | 2016-10-20 15:44:55 +00:00 | M63CUA35KEUHG2YDDZ3OS2MAIE7OK6UPK3JC35Q | 5.5 | |
| Bronstein M. Symbolic Integration I.. Transcendental Functions (ISBN 3540214933)(2ed., Springer, 2005)(T)(331s)_CsCa_.djvu | 2466082 | 2016-12-10 17:04:29 +00:00 | UJWFD4QJNEHJVI2YNKKYJ7BHDPOQXVICBKVFAUY | ||
| Brookshear J.G. Computer science - an overview (9ed., AW, 2006)(ISBN 0321387015)(T)(C)(616s)_Cs_.djvu | 8380289 | 2016-10-13 10:33:47 +00:00 | DBOI7RS6V36WXMBDMZ3MHA4TMTITSBBQKH4PI2Q | 8.3 | |
| Bruns W. Computer-Algebra (Osnabrueck Skriptum, 2005)(de)(98s)_CsCa_.pdf | 510014 | 2016-10-10 17:31:33 +00:00 | ZOATUBLXNPYLSMJRH5OEFMKG3KQLYE6RUJWWASY | 9.0 | |
| Buchberger B., Campbell J.A. (eds.) Artificial intelligence and symbolic computation (Proc. Linz, LNAI3249, Springer, 2004)(ISBN 3540232125)(T)(C)(O)(299s)_CsCa_.djvu | 2607418 | 2016-11-03 08:54:46 +00:00 | LJ54ZLYTUTZACCZVJZ5WKV5YSD7UATV6EVK7GYY | 5.5 | |
| Buhberger, Kollinz, Loos, i dr. (red.) Komp#juternaja algebra.. Simvol#nye i algebraicheskie vychislenija (Mir, 1986)(ru)(KA)(T)(388s)_CsCa_.djvu | 3011884 | 2016-11-11 11:46:42 +00:00 | NJY2VBTMVINVSVGWYPIOQ7CLBM4X6627D3KV2AY | 5.5 | |
| Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(KA)(T)(645s)_CsNp_.djvu | 4788245 | 2016-12-02 01:49:34 +00:00 | UQM6RZBJ5GLVB3W4QYV3KN7GB4HDGFBMSJIH3CY | ||
| Calude C. Theories of computational complexity (ADM35, NH, 1988)(ISBN 044470356X)(T)(498s)_CsNp_.djvu | 2211664 | 2016-12-11 06:16:32 +00:00 | KWCCP7DSDUX4UENRXLV332BEPFLPTC4VHQSUFWI | ||
| Ceruzzi P.E. A History of Modern Computing (MIT,2003)(ISBN 0262532034)(452s)_Cs_.pdf | 4473165 | 2016-12-07 10:23:31 +00:00 | VXLO7DDJWL4PX5WMU4XLYU5ZX6T3FFVRXF5ZNBY | ||
| Chiswell I. A course in formal languages, automata and groups (Springer, 2009)(ISBN 1848009399)(161s)_CsNp_.pdf | 1196984 | 2016-10-24 00:02:52 +00:00 | KQJXUM2RZFYA5W3RTPSWJH7623EN3OF6H7O6A6A | 6.7 | |
| Codd E.F. Cellular automata (ACM monograph, AP, 1968)(ISBN 0121788504)(KA)(600dpi)(T)(132s)_CsNp_.djvu | 959706 | 2016-10-11 07:43:45 +00:00 | 6WTVTKVPMPGVIJJF6ZJJQAX6TMZSXP5LX5G5EEI | 8.3 | |
| Cohen A.M., Cuypers H., Sterk H. (eds.) Some tapas of computer algebra (Springer, 1999)(ISBN 3540634800)(T)(366s)_CsCa_.djvu | 3696102 | 2016-11-22 11:32:53 +00:00 | LJK2PPVJ4M7EA4232RP3ZW4M72KYX6OOUFZZULI | ||
| Cohen J. Computer algebra and symbolic computation.. mathematical methods (Peters, 2003)(470s)_CsCa_.pdf | 3279947 | 2016-11-15 16:45:23 +00:00 | NXWQ5DDENUWGGOREKUA2DNQCFZHHEZWCTKAOJLI | 3.8 | |
| Cooper, Lowe, Sorbi. (eds.) New computational paradigms. Changing conceptions of what is computable (Springer, 2008)(ISBN 0387360336)(551s)_CsNp_.pdf | 5141765 | 2016-12-08 10:47:31 +00:00 | ZGBM6G5V7MQXGDQQTFBQS7A5O5HLD3KKZ36R6QQ | ||
| Dasgupta D. (red.) (_Dasgupta D._) Iskusstvennye immunnye sistemy i ix primenenie (FML, 2006)(ru)(T)(K)(600dpi)(341s)_Cs_.djvu | 3776707 | 2016-11-22 10:31:53 +00:00 | QU3YAWNVPBMTNDUBCDFW4HSEI4CEPBADPWZAK4Y | ||
| Davenport J.H., Y.Siret, E.Tournier. Computer Algebra.. Systems and Algorithms for Algebraic Computation (2ed., AP, 1993)(313s).pdf | 1120069 | 2016-11-06 08:07:16 +00:00 | GKMRIFOVRLZSEXS7XHNPQNGDH4DHRU5KPAT6S3Y | 5.5 | |
| Davis M. Computability and unsolvability (MGH, 1958)(ISBN 0486614719)(T)(235s)_CsNp_.djvu | 1811149 | 2016-12-02 15:51:13 +00:00 | YIR6FRLTX4ZN2Z4GQXNX6NPOYEODHJQO5KKXRYI | ||
| Davis M. Engines of logic (Norton, 2001)(ISBN 0393322297)(600dpi)(T)(268s)_Cs_.djvu | 1918304 | 2016-10-30 09:32:47 +00:00 | AONCV5WOX2OSQAMYWACZWHQWHECXACFZABKMBOQ | 5.5 | |
| Dodig-Crnkovic G. - History of computer science (2001)(en).pdf | 252021 | 2016-10-10 17:31:33 +00:00 | ADSPPB5OPEWNA3CYVGWGUEFXFQM5EYOD4URRGRQ | 9.0 | |
| Enns R.H. Computer Algebra Recipes for Mathematical Physics (Birkhauser 2005)(401s)_CsCa_.pdf | 4032170 | 2016-11-25 14:11:50 +00:00 | LJEI5CTY4OZGBD5F44QLRLLKRBIH7RJRZTMN4MI | ||
| Felici G., Vercellis C. Mathematical methods for knowledge discovery and data mining (ISR, 2008)(ISBN 9781599045283)(394s)_Cs_.pdf | 6030436 | 2016-11-08 15:24:57 +00:00 | ATNVIJZ7A4ZJQYZSNKAPXAQQH2KT2D4UJWQMNUY | 3.8 | |
| Fischer P., Hofer P. Lexikon der Informatik (Springer,2007)(ISBN 3540725490)(de)(982s)_Cs_.pdf | 2599434 | 2016-11-10 21:34:44 +00:00 | 3YMEK6O7VNVZFFXSCQFTUMRHXWJSQC4WKRDGWJQ | 5.5 | |
| Garey M.R., Johnson D.S. Computer and intractability.. a guide to the theory of NP-completeness (1979)(L)(T)(ISBN 0716710447)(175s).djvu | 3218941 | 2016-10-13 01:24:52 +00:00 | NXYFZFYYZ5VBTUI333FOKS6P7K3MQN7YSQL3QWY | 7.6 | |
| Geddes K., Czapor S., Labahn G. Algorithms for computer algebra (Kluwer, 1992)(KA)(ISBN 0792392590)(T)(603s)_CsCa_.djvu | 3663668 | 2016-11-20 08:13:56 +00:00 | 6L2PQ2ETT2ORUQTC4DPHLZBKJOCBGAFNOF5QUBA | ||
| Gerhard J. Modular algorithms in symbolic summation and symbolic integration (LNCS 3218, Springer, 2004)(231s).pdf | 1442961 | 2016-11-29 18:57:35 +00:00 | R7MLYUUUKSNMNX4VVFPODYNUQ64VKOV6MENKCDQ | ||
| Grier D.A. When computers were human (PUP, 2005)(ISBN 0691091579)(600dpi)(T)(421s)_Cs_.djvu | 6320035 | 2016-11-21 00:58:53 +00:00 | S236PMTLHB6GFGOCGSJUXHUM6XTP3FNKKV2DJBQ | ||
| Griewank A. Evaluating derivatives.. principles and techniques of algorithmic differentiation (SIAM, 2000)(ISBN 0898714516)(T)(O)(394s)_CsCa_.djvu | 3225737 | 2016-12-09 16:32:25 +00:00 | B5UBF6ZIIFA56BHHZZH2AZUP4RD7VSMEZEHEGZI | ||
| Griewank A., Walther A. Evaluating derivatives.. principles and techniques of algorithmic differentiation (2ed., SIAM, 2008)(ISBN 9780898716597)(460s)_CsCa_.pdf | 3475222 | 2016-10-31 16:12:47 +00:00 | 6DJOKHGI4Y2OMIDDP57OSGJ4WZBNNISARMRYBDY | 5.5 | |
| Griffor E.R. (ed.) Handbook of computability theory (Elsevier, 1999)(ISBN 0444898824)(T)(710s)_CsNp_.djvu | 3674026 | 2016-11-11 04:40:47 +00:00 | I3AVLCONF2ALVJBWVXIVAVMSLY42L6ATDNFKDEI | 5.5 | |
| Grosheva, Efimov, Samsonov. Istorija ispol#zovanija analiticheskih (kompjuternyh) vychislenij v zadachah mehaniki (1995)(ru)(K)(600dpi)(T)(88s)_CsCa_.djvu | 935513 | 2016-10-11 07:43:45 +00:00 | ISBAG5SB6W7VAX7N4IJ5BCYJ4NX332C77I3BLJA | 7.6 | |
| Guo_Y.,_Grossman_R._(eds.)_High_Performance_Data_Mining[c]_Scaling_Algorithms,_Applications_and_Systems_(2002)(en)(105s).pdf | 1211763 | 2016-11-25 05:02:50 +00:00 | WFS4YCJICGDYSSDLTL2EX6LUS6X35FYFUDKOQPY | ||
| Han J., Kamber M. Data mining.. concepts and techniques (draft 2000)(T)(31s).djvu | 254661 | 2016-10-10 17:31:33 +00:00 | SXVAMSFP3QSTAZZQ6WBX6GHX7EBLW5ZJSWF3C7A | 8.3 | |
| Hopkroft, Motvani, Ul#man. (_Hopcroft, Motwani, Ullman_) Vvedenie v teoriju avtomatov (2e izd., 2002)(ru)(T)(521s)_CsNp_.djvu | 4610400 | 2016-10-26 16:06:32 +00:00 | YY4MYJWRXDFMJWBMYMUETJIWRJYQIZ25B3BICSI | 7.6 | |
| Jones N.D. Computability and complexity from a programming perspective (MIT, 1997)(T)(457s)_CsNp_.djvu | 3735458 | 2016-11-02 08:52:47 +00:00 | MJPC6T5IFKFXYTY6S7RAYMSSAD2SRGCYP37UHZQ | 5.5 | |
| Kaplan S., Jouannaud J.-P. (eds.) Conditional term rewriting systems (Proc. Orsay, LNCS 308, Springer, 1988)(T)(279s)_CsCa_.djvu | 2703908 | 2016-11-22 12:33:53 +00:00 | 27AJMTZIZRDOZGKHEILOA4AJPGZLS57YLGG4QZI | ||
| Klima, Sigmon, Stitzinger. Applications of Abstract Algebra with MAPLE (CRC, 1999)(251s)_CsCa_.pdf | 1060386 | 2016-11-01 13:33:47 +00:00 | F3ADS5ISHAWSOL57EDCX6PPNPGX6IF5NEX7XRHQ | 6.7 | |
| Koepf W. Computeralgebra (Springer, 2006)(ISBN 3540298940)(de)(526s)_CsCa_.pdf | 3659762 | 2016-11-26 02:22:50 +00:00 | 2Q7FUYAMJCV2NOSFWYC5LLHEUKYWEQA65UKLA2A | ||
| Kotsireas I., Zima E. (eds.) Computer Algebra 2006. Latest advances in symbolic algorithms. Proc. Waterloo (WS, 2007)(ISBN 9812702008)(K)(600dpi)(T)(219s)_CsCa_.djvu | 1765263 | 2016-11-05 21:47:29 +00:00 | 34DCR4TRIX7CUDVS3IT45UH7VM4RQZZWAN47L2Y | 3.8 | |
| Kuz#min E.V., Sokolov V.A. Strukturirovannye sistemy perexodov (FML, 2006)(ru)(T)(K)(600dpi)(176s)_Cs_.djvu | 1225059 | 2016-12-04 05:51:03 +00:00 | P3FEK6J3HWC6T6N2TANCE52LNXEJA6626ZNRPXI | ||
| Kuznecov V.E. Predstavlenie v E#VM neformal#nyh procedur(ru)(Nauka, 1989)(KA)(T)(161s)_CsNp_.djvu | 1867963 | 2016-11-30 14:16:29 +00:00 | F6G4QASEMKDKYT7KM36D2TUC2NVAP4KBMSYASOY | ||
| Lescanne P. (ed.) Rewriting techniques and applications (Proc. Bordeaux, LNCS 256, Springer, 1987)(T)(291s)_CsCa_.djvu | 3444748 | 2016-11-14 02:54:19 +00:00 | C33ZH42A27P7QJR6NGLMLYBZZS63H5XZCK6MFTI | 3.8 | |
| Luby M., Wigderson A. Pairwise independence and derandomization (NOW, 2006)(ISBN 1933019220)(78s)_CsNp_.pdf | 476383 | 2016-10-10 17:31:33 +00:00 | MKHX3RKPMGEUEOLMX2VJ2E7Q2G3PJDJVPGVVLWQ | 9.0 | |
| Majewski M. Getting started with MuPAD (Springer, 2005)(ISBN 3540286357)(400dpi)(T)(272s)_SC_.djvu | 3136802 | 2016-11-27 18:22:45 +00:00 | K5K4KACIYWNBDNJFY6NWKNVOHHDQXQKJEEQVLPY | ||
| Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsNp_.djvu | 275433 | 2016-10-10 17:31:33 +00:00 | DDL2UESDBDUZX7GL2SE5NIPVVICKXQ7JOGSKJBY | 8.3 | |
| Matematicheskaya logika v programmirovanii (sbornik statej) (Mir 1991)(ru) (600dpi)(K)(T)(408s)_Cs_.djvu | 5915757 | 2016-10-13 14:36:47 +00:00 | SJC4CHQ32ENKAH5FHEQ5HQ3QJXASVSBMT3ALNOI | 8.3 | |
| Mignotte M. - Mathematics for computer algebra (1992)(en).djvu | 750318 | 2016-10-11 07:43:45 +00:00 | FWDSLNGKCSU5US4PTRKEUKVR2MVR2GDRZFYNQ6I | 7.6 | |
| Mignotte M. Mathematics for computer algebra (Springer, 1992)(600dpi)(T)(360s)_CsCa_.djvu | 2664913 | 2016-11-10 03:54:00 +00:00 | BHOFWZGBF6QY2J3VATEYW5NGJHIKOA6NXDHWG3I | 5.5 | |
| O#Donnell M.J. Computing in systems described by equations (LNCS0058, Springer, 1977)(ISBN 0387085319)(T)(125s)_CsNp_.djvu | 750890 | 2016-10-11 07:43:45 +00:00 | SJBIZTT76A67WTX6H3XKAGOOEQMZ6GTWHYJHILI | 8.3 | |
| Pankrat#ev E.V. E#lementy komp#yuternoj algebry (Binom, 2007)(ru)(K)(600dpi)(T)(248s)_CsCa_.djvu | 2106483 | 2016-10-17 04:47:44 +00:00 | ZCBC3CSPATXJ2X7PX4HOXKYM4DGCSQNF6PEUBII | 6.7 | |
| Papadimitriou C.H. Computational Complexity (1994)(600dpi)(T)(540s)_CsNp_.djvu | 4722933 | 2016-11-18 10:33:48 +00:00 | PB37D6BUL5BMUBA4HM4C2KOLVJDK7ZGPRX5TN4I | 5.5 | |
| Petkovsek M. et al. A=B (A.K.Peters, 1996)(T)(212s)_CsCa_.djvu | 1622159 | 2016-10-25 12:38:52 +00:00 | 5TAFWKN5BISXOZT5ANVDHAJZEQWVFTHAINKSMFQ | 6.7 | |
| Schoening U. Theoretische Informatik - kurz gefasst (Spektrum, 2008)(ISBN 3827418240)(de)(KA)(150dpi)(T)(171s)_Cs_.djvu | 1567630 | 2016-11-07 05:14:27 +00:00 | 2EDN6LI6GTQLO65Q53BJLXDNGDVNIQP5QKMRKTY | 5.5 | |
| Seiler W.M. Computer algebra and differential equations.. an overview (Karlsruhe, 1997)(T)(28s)_CsCa_.djvu | 197935 | 2016-10-10 17:31:33 +00:00 | 3S5RZP5NQU5SNGGPVR72IB6CLW3JVMKDZHUC2HY | 8.3 | |
| Semiotika i informatika. vyp.8 (1977).djvu | 10968450 | 2016-11-26 05:25:50 +00:00 | ER5QR4EGXLM3RVYNCYHRAS55O7UNWUVAMA6J5MI | ||
| Steeb W.H. Continuous symmetries, Lie algebras, differential equations and computer algebra (2ed.,WS, 2007)(ISBN 981270809X)(473s)_CsCa_.pdf | 1432114 | 2016-10-28 10:46:48 +00:00 | 453UCAPL6THFXI2P6T2PGI6ISEYPNXWZBSAF2PI | 6.7 | |
| Sudan M. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems (LNCS1001, Springer, 1995)(ISBN 3540606157)(T)(O)(98s)_CsNp_.djvu | 753746 | 2016-10-11 07:43:45 +00:00 | YH2KYMNPWF2TO2T5DQYRCL2DO4NQC37HCKDKKDQ | 8.3 | |
| Syret Y. Calcul formel sur ordinateur (Grenoble I these, 1970)(fr)(T)(144s)_CsCa_.djvu | 874521 | 2016-10-11 07:43:45 +00:00 | TIBR2SAMZOFPX27RCN2GSO42E7R2RLQRCI3P7NY | 8.3 | |
| Tournier E. (ed.) Computer algebra and differential equations (AP, c. 1990)(ISBN 012696260X)(L)(T)(115s).djvu | 2542885 | 2016-10-22 06:22:45 +00:00 | EB6ZLLK473GNMR3PV6Y2L4QQOMUTU4A3QU5SICQ | 6.7 | |
| Tournier E. (ed.) Computer algebra and differential equations (Cambridge 1994)(KA)(T)(260s)_CsCa_.djvu | 1852072 | 2016-10-27 11:24:52 +00:00 | CQECAYSSBVROH6OOKRI2WC7JPMRJKLC4YTWAJ2A | 6.7 | |
| Vickers S. Topology via logic (CUP, 1989)(ISBN 0521360625)(K)(T)(211s)_Cs_.djvu | 1320203 | 2016-12-01 21:46:30 +00:00 | IWMY4UJTVKUCTP2UWFRG5ZJPDN6K3PEJRMH7ADA | ||
| Zimand M. Computational complexity. A quantitative perspective (Elsevier, 2004)(ISBN 0444828419)(T)(350s)_CsNp_.djvu | 1987231 | 2016-10-28 05:41:48 +00:00 | PKML3HQSAEXDKPR5PNOOH3ZVS7R37DE26U6HAPI | 5.5 | |
| Ziming Li. Lecture notes on computer algebra (web draft, 2004)(31s)_CsCa_.pdf | 227940 | 2016-10-10 17:31:33 +00:00 | YXXQX67N3GBIAVFEZB535JNGAEIMGOFYSKFUDWA | 9.0 | |
| von zur Gathen, Gerhard. Modern computer algebra (1ed., CUP, 1999)(K)(T)(ISBN 0521641764)(767s).djvu | 10197793 | 2016-11-20 06:12:52 +00:00 | MROOQIASOF5LEZ6KY6I4PF3LCDZ64EBNZID6U3I | ||
| Акритас_А.Г._-_Основы_компьютерной_алгебры_с_приложениями_(1994).djvu | 5840746 | 2016-11-06 12:58:06 +00:00 | SYKS6QXYF46TRMQBXX7RKAEIQPDBDRRF4VLAVYY | 3.8 | |
| Бухбергер_Б.,_Коллинз_Дж.,_Лоос_Р._(ред)_-_Компьютерная_алгебра._Символьные_и_алгебраические_вычисления_(1986)(T).djvu | 4527252 | 2016-10-25 16:42:52 +00:00 | 5E7EHXWDFV7ANLFI6AM4TDSDS5CEWIHMZUHZMWQ | 3.8 | |
| Дэвенпорт_Дж._Интегрирование_алгебраических_функций (1985).djvu | 2263677 | 2016-10-20 20:49:45 +00:00 | BFHT6FL7LQEJMUDNZMPGFWAEJELPU6KZ2M7IJXQ | 5.5 | |
| Панкратьев_Е.В._Компьютерная_алгебра._факторизация_многочленов 1998.djvu | 612057 | 2016-10-11 07:43:45 +00:00 | XYZ6RU7ZX3PGXCLS4MKFR4OWH3YTJ6BAMN5T4QY | 8.3 |