Mega Collection of computer science and programming related books

Creation Time	Aug. 27, 2023, 3:36 p.m.
Last Access Time	Nov. 25, 2024, 9:44 p.m.
File Size	5.0 GB
Keywords	and Mega of programming Collection computer books related science
Total Requests	244
Total Files	1323
Magnet Link	Please wait ...
	Download (Magnet Link) Play (Watch Online)

Databases/Liu L., Ozsu M. (eds.) Encyclopedia of database systems (Springer, 2009)(ISBN 9780387355443)(O)(3818s)_CsDb_.pdf 59.6 MB
Computer science/Tan J. (ed.) Medical informatics.. Concepts, methodologies, tools, and applications (IGI Global, 2009)(ISBN 1605660507)(2593s)_Cs_.pdf 36.0 MB
Algorithms/Kelly M.V. (ed.) Proc. 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001)(ISBN 0898714907)(600dpi)(T)(O)(952s)_CsAl_.djvu 31.2 MB
Algorithms/Proceedings of the 12th annual ACM-SIAM symposium on discrete algorithms (SIAM 2001)(ISBN 0898714907)(600dpi)(T)(O)(952s).djvu 31.2 MB
Algorithms/Smyth B. Computing patterns in strings (PEL, 2003)(T)(ISBN 0201398397)(429s)_CsAl_.djvu 26.4 MB
Databases/Date C.J. Introduction to database systems (8ed., Pearson, 2004)(ISBN 0321189566)(300dpi)(K)(T)(1033s)_CsAl_.djvu 24.7 MB
Programming languages/Sebesta R.W. Concepts of Programming Languages (7ed., AW, 2005)(ISBN 0321330250)(600dpi)(T)(738s).djvu 24.3 MB
Programming languages/Java/Deitel P., Deitel H. Java, how to program (9ed., PH, 2012)(ISBN 9780132575669)(C)(O)(1535s)_CsPl_.pdf 24.1 MB
Computer science/AI/Sammut C., Webb G. (eds.) Encyclopedia of machine learning (Springer, 2011)(ISBN 0387307680)(O)(1059s)_CsAi_.pdf 23.3 MB
Computer science/Tucker A.B. (ed.) Computer science handbook (CRC, 2004)(ISBN 158488360X)(2624s)_Cs_.pdf 22.1 MB
Algorithms/Proceedings of the 18th annual ACM-SIAM symposium on discrete algorithms (SIAM 2007)(ISBN 9780898716245)(600dpi)(T)(O)(1334s).djvu 22.0 MB
Computer science/Khosrow-Pour M. (ed.) Encyclopedia of information science and technology (Idea Group, 2005)(3256s)_Cs_.pdf 21.8 MB
Algorithms/Proceedings of the 17th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2006)(ISBN 0898716055)(T)(O)(1261s)_CsAl_.djvu 21.3 MB
Databases/C. J. Date SQL and Relational Theory 2012(446s).pdf 20.3 MB
Programming languages/Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1 (Wiley, 2004)(ISBN 0471471631)(600dpi)(T)(O)(917s)_CsPl_.djvu 20.2 MB
Algorithms/Proceedings of the 15th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2004)(ISBN 089871558X)(T)(O)(1149s)_CsAl_.djvu 19.9 MB
Algorithms/Proceedings of the 19th annual ACM-SIAM symposium on discrete algorithms (SIAM, 2008)(ISBN 9780898716474)(600dpi)(T)(1295s)_CsAl_.djvu 19.7 MB
Algorithms/Proceedings of the 16th annual ACM-SIAM symposium on discrete algorithms(SIAM, 2005)(ISBN 0898715857)(T)(O)(1204s)_CsAl_.djvu 19.6 MB
Programming languages/C++/Deitel P.J., Deitel H.M. C++ How to Program (7ed., PH, 2009)(ISBN 9780136117261)(200dpi)(T)(C)(1090s)_CsPl_.djvu 19.6 MB
Computer science/Bidgoli H. (ed.) Encyclopedia of information systems, Vol.4 (AP, 2002)(ISBN 0122272404)(652s)_Cs_.pdf 19.4 MB
TeX/Haralambous Y. Fonts and encodings.. from Unicode to advanced typography (OReilly, 2007)(ISBN 0596102429)(600dpi)(T)(1039s)_ST_.djvu 17.5 MB
Algorithms/Aho, Sethi, Ullman. Compilers.. principles, techniques, and tools (AW, 1986)(100dpi)(T)(811s)_S_.djvu 17.4 MB
Computer science/AI/Burstein F., Holsapple C. (eds.) Handbook on decision support systems 1.. Basic Themes (Springer, 2008)(ISBN 3540487123)(908s)_CsAi_.pdf 17.2 MB
Algorithms/Proceedings of the 14th annual ACM-SIAM symposium on discrete algorithms (SIAM 2003)(ISBN 0898715385)(T)(O)(891s).djvu 16.9 MB
Programming languages/C++/Pothering G.J., Naps T.L. Introduction to Data Structures and Algorithm Analysis With C++ (West Publishing Company, 1995)(ISBN 9780314045744)(600dpi)(T)(673s)_CsPl_.djvu 16.7 MB
Algorithms/Erickson J. Algorithms (web draft, 2011)(O)(809s)_CsAl_.pdf 16.3 MB
Algorithms/Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to algorithms (2ed., MIT, 2001)(K)(T)(ISBN 0070131511)(1202s)_CsAl_.djvu 16.3 MB
Algorithms/Sayood K. Introduction to Data Compression (1ed., Morgan Kaufmann, 1996)(ISBN 1558603468)(600dpi)(T)(491s)_CsAl_.djvu 15.9 MB
Programming languages/Hillegass A., Preble A. - Cocoa Programming for Mac OS X, Fourth Edition - 2012.pdf 15.9 MB
TeX/Morison S. The Typographic Arts.. Two Lectures (Theodore Brun, 1949)(600dpi)(T)(137s)_ST_.djvu 15.9 MB
Programming languages/Rempt B. GUI programming with Python.. Qt edition (source)_pyqtsrc.tar.gz 15.4 MB
Algorithms/Witten I., Bainbridge D., Nichols D. How to build a digital library (2ed., Elsevier, 2010)(ISBN 0123748577)(O)(627s)_CsAl_.pdf 15.3 MB
Game programming/Flynt J.P., Salem O. Software engineering for game developers (Course Technology PTR, 2005)(ISBN 1592001556)(O)(890s).pdf 15.2 MB
Algorithms/McConnell S. Code Complete (T)(890s)_CsAl_.djvu 15.0 MB
Computer science/AI/Burstein F., Holsapple C. (eds.) Handbook on decision support systems 2.. Variations (Springer, 2008)(ISBN 3540487158)(856s)_CsAi_.pdf 15.0 MB
Programming languages/Fortran/Chapman S.J. Fortran 90-95 for scientists and engineers (1ed., MGH, 1998)(ISBN 0070119384)(600dpi)(T)(891s)_CsPl_.djvu 14.5 MB
Computer science/AI/Shapiro S.C. Encyclopedia of Artificial Intelligence, vol.1.. A-N (Wiley, 1987)(ISBN 9780471629740)(KA)(600dpi)(T)(O)(704s)_CsAi_.djvu 14.2 MB
Computer science/Bidgoli H. (ed.) Encyclopedia of information systems, Vol.3 (AP, 2002)(ISBN 0122272404)(705s)_Cs_.pdf 14.2 MB
Computer science/AI/Shapiro S.C. Encyclopedia of Artificial Intelligence, vol.2.. O-Z and Index (Wiley, 1987)(ISBN 9780471629733)(KA)(600dpi)(T)(O)(543s)_CsAi_.djvu 14.1 MB
Computer science/Bidgoli H. (ed.) The Internet encyclopedia, Vol.2 (Wiley, 2004)(ISBN 0471222011)(O)(875s)_Cs_.pdf 14.0 MB
Programming languages/Reek K. Pointers on C (no front matter, no TOC, no index)(AW, 1997)(ISBN 0673999866)(600dpi)(T)(O)(609s)_CsPl_.djvu 13.4 MB
Natural language/Jurafsky, Martin. Speech and Language Processing.. An Introduction to Natural Language Processing (no front matter, no back matter)(2ed., draft 2007)(O)(1044s)_LF_.pdf 13.2 MB
Game programming/Finney K.C. 3D game programming all in one (2ed., Course Technology PTR, 2007)(ISBN 1598632663)(1117s).pdf 13.2 MB
Algorithms/Melin P., et al. (eds.) Soft computing for recognition based on biometrics (Springer, 2010)(ISBN 3642151108)(O)(444s)_CsAl_.pdf 12.9 MB
Game programming/Barron T. Multiplayer game programming (PrimaTech, 2001)(ISBN 0761532986)(817s).pdf 12.8 MB
Programming languages/Schach S.R. Object-oriented and Classical Software Engineering (7ed., MGH, 2006)(ISBN 0071258493)(400dpi)(T)(642s)_CsPl_.djvu 12.7 MB
Computer science/AI/Spitzer M. Lernen (Spektrum, 2002)(KA)(de)(600dpi)(T)(528s)_CsAi_.djvu 12.6 MB
Databases/Garcia-Molina H., Ullman J.D., Widom J.D. Database System Implementation (PH, 1999)(ISBN 0130402648)(600dpi)(T)(671s)_CsDb_.djvu 12.6 MB
Computer science/AI/Russell S.J., Norvig P. Artificial intelligence.. A modern approach (2ed., PH, 2003)(ISBN 0130303052)(T)(K)(1109s)_CsAi_.djvu 12.3 MB
Formal methods/van Leeuwen J.(ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(T)(ISBN 0444880712)(1010s).djvu 12.2 MB
Computer science/Bidgoli H. (ed.) Handbook of information security, Vol.3 (Wiley, 2006)(ISBN 0471648329)(O)(1154s)_Cs_.pdf 12.2 MB
Computer science/Bidgoli H. (ed.) Handbook of information security, Vol.1 (Wiley, 2006)(ISBN 0471648302)(O)(1122s)_Cs_.pdf 12.2 MB
Computer science/Bidgoli H. (ed.) Encyclopedia of information systems, Vol.1 (AP, 2002)(ISBN 0122272404)(676s)_Cs_.pdf 12.0 MB
Computer science/AI/Luger G., Stubblefield W. Artificial Intelligence.. Structures And Strategies For Complex Problem Solving(3ed., AW, 1998)(ISBN 9780805311969)(K)(600dpi)(T)(851s)_CsAi_.djvu 11.8 MB
Programming languages/Sebesta R.W. Concepts of Programming Languages (no TOC)(9ed., AW, 2009)(ISBN 9780136073475)(600dpi)(T)(773s)_CsPl_.djvu 11.7 MB
Computer science/Bidgoli H. (ed.) The Internet encyclopedia, Vol.1 (Wiley, 2004)(ISBN 0471222011)(O)(881s)_Cs_.pdf 11.6 MB
Game programming/Finney K.C. 3D game programming all in one (1ed., Course Technology PTR, 2004)(ISBN 159200136X)(O)(849s).pdf 11.6 MB
Algorithms/Preve N. (ed.) Computational and data grids. Principles, applications and design (IGI Global, 2012)(ISBN 9781613501139)(O)(401s)_CsAl_.pdf 11.5 MB
Algorithms/Cormen, Leiserson, Rivest, Stein. Introduction to algorithms (2ed, MIT, 2001)(ISBN 0070131511)(984s)_CsAl_.pdf 11.4 MB
Computer science/AI/Russell, Norvig. Artificial intelligence - a modern approach (PH, 1995)(T)(ISBN 0131038052)(947s).djvu 11.3 MB
Computer science/AI/Luger G.F. Artificial Intelligence.. Structures and Strategies for Complex Problem Solving (5ed., AW, 2004)(ISBN 9780321263186)(K)(400dpi)(T)(912s)_CsAi_.djvu 11.3 MB
Computer science/Bidgoli H. (ed.) Handbook of information security, Vol.2 (Wiley, 2006)(ISBN 0471648310)(O)(1008s)_Cs_.pdf 11.2 MB
Algorithms/Kao M.-Y. (ed.) Encyclopedia of algorithms (Springer, 2008)(ISBN 0387307702)(1199s)_CsAl_.pdf 11.1 MB
Algorithms/Atallah M.J. (ed.) Algorithms and theory of computation handbook (CRC, 1999)(T)(ISBN 0849326494)(1265s).djvu 11.1 MB
Algorithms/Cormen, Leiserson, Rivest, Stein. Introduction to algorithms (2ed, MIT, 2001)(600dpi)(T)(ISBN 0070131511)(984s)_CsAl_.djvu 11.0 MB
Algorithms/Tanenbaum A.S. Modern operating systems (2ed., PH)(100dpi)(KA)(T)(970s)_CsAl_.djvu 10.9 MB
Computer science/AI/Wang C., Hill D. Deterministic learning theory for identification, recognition, and control (CRC, 2010)(ISBN 0849375533)(O)(218s)_CsAi_.pdf 10.9 MB
Computer science/AI/Friedman J., Hastie T., Tibshirani R. The elements of statistical learning.. Data mining, inference, and prediction (2ed., Springer, 2008)(ISBN 0387848576)(809s)_CsAi_.pdf 10.9 MB
Algorithms/Kao M.-Y. (ed.) Encyclopedia of algorithms (Springer, 2008)(ISBN 0387301623)(1219s)_CsAl_.pdf 10.9 MB
Computer science/Bidgoli H. (ed.) Encyclopedia of information systems, Vol.2 (AP, 2002)(ISBN 0122272404)(713s)_Cs_.pdf 10.9 MB
Algorithms/Witten, Moffat, Bell. Managing gigabytes.. compressing and indexing documents and images (2ed., AP, 1999)(ISBN 1558605703)(400dpi)(T)(544s)_CsAl_.djvu 10.9 MB
Computer science/AI/Jain L.C., Lim C.P. (eds.) Handbook on decision making. Vol 1. Techniques and applications (Springer, 2010)(ISBN 3642136389)(O)(548s)_CsAi_.pdf 10.9 MB
Algorithms/Mehta D., Sahni S. (eds.) Handbook of data structures and applications (ISBN 1584884355)(CRC, 2005)(1321s)_CsAl_.pdf 10.8 MB
Computer science/AI/Barber D. Bayesian reasoning and machine learning (CUP, 2011, draft 2010)(ISBN 0521518148)(O)(646s)_CsAi_.pdf 10.8 MB
Algorithms/Buchberger B., et al. Hagenberg research (Springer, 2009)(ISBN 3642021263)(490s)_CsAl_.pdf 10.7 MB
Algorithms/Fleischer R., Trippen G. (eds.) Proc. ISAAC 2004, Algorithms and Computation (Springer, 2005)(ISBN 3540241310)(600dpi)(T)(C)(O)(957s)_CsAl_.djvu 10.7 MB
Computer science/Bidgoli H. (ed.) The Internet encyclopedia, Vol.3 (Wiley, 2004)(ISBN 0471222011)(O)(979s)_Cs_.pdf 10.7 MB
Computer science/Computability/Straubing H. Finite automata, formal logic, and circuit complexity (Birkhauser, 1994)(600dpi)(T)(ISBN 0817637192)(237s).djvu 10.6 MB
TeX/Mittelbach, Goossens. The LaTeX companion (2ed., AW, 2004)(KA)(ISBN 0201362996)(T)(C)(O)(1119s)_ST_.djvu 10.6 MB
Programming languages/Python/Lessa. Python developer's handbook (Sams, 2000)(ISBN 0672319942)(1481s).pdf 10.5 MB
Computer science/AI/Bratko I. Prolog programming for artificial intelligence (3ed., AW, 2001)(ISBN 9780201403756)(600dpi)(K)(T)(702s)_CsAi_.djvu 10.5 MB
Algorithms/Stevens R. Unix network programming vol.1 (PH, 1998)(T)(C)(1011s).djvu 10.4 MB
Computer science/AI/MacKay D.J.C. Information Theory, Inference and Learning Algorithms (CUP, 2003)(ISBN 0521642981)(600dpi)(T)(640s)_CsAi_.djvu 10.4 MB
Natural language/Huang, Acero, Hon. Spoken language processing.. guide to algorithms and system development (PH, 2001)(965s)_Cs_.pdf 10.4 MB
Formal methods/Bergstra J., Ponse A., Smolka S. Handbook of Process Algebra (Elsevier, 2001)(ISBN 9780444828309)(T)(1357s)_CsAl_.djvu 10.3 MB
Computer science/Computability/Cowan G., Pines D., Meltzer D. (eds.) Complexity (Perseus Books, 1999)(ISBN 0738202320)(40dpi)(T)(O)(S)(750s)_CsNp_.djvu 10.2 MB
Algorithms/Nikoletseas S.E. (ed.) Experimental and efficient algorithms (LNCS3503, Springer, 2005)(636s).pdf 9.9 MB
Databases/C.J. Date, Hugh Darwen, Nikos Lorentzos Temporal Data & the Relational Model The Morgan Kaufmann Series in Data Management Systems 2002 (2)(448s).pdf 9.8 MB
Computer science/Computability/Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation (Springer, 1997)(ISBN 9780387982816)(600dpi)(T)(474s)_CsNp_.djvu 9.8 MB
Computer science/AI/Figueiredo M., Zerubia J., Jain A.K. (eds.) Energy minimization methods in computer vision and pattern recognition (LNCS2134, Springer, 2001)(ISBN 3540425233)(O)(593s)_CsAi_.pdf 9.8 MB
Algorithms/Smyth B. Computing patterns in strings (PEL, 2003)(ISBN 0201398397)(600dpi)(K)(T)(C)(O)(436s)_CsAl_.djvu 9.8 MB
Algorithms/Kordic V. Petri Net. Theory and applications (I-Tech, 2008)(ISBN 9783902613127)(542s)_CsAl_.pdf 9.7 MB
Algorithms/Sommerville I. Software Engineering (8ed., AW, 2006)(ISBN 0321313798)(865s)_CsAl_.pdf 9.6 MB
Programming languages/Butenhof. Programming with POSIX threads (AW, 1997)(T)(ISBN 0201633922)(398s).djvu 9.6 MB
Programming languages/Python/Hetland M.L. Beginning Python.. From novice to professional (APress, 2005)(ISBN 159059519X)(O)(641s)_CsPl_.pdf 9.6 MB
Algorithms/Salomon D. Coding for data and computer communications (Springer, 2005)(ISBN 0387212450)(600dpi)(T)(549s)_CsAl_.djvu 9.5 MB
Computer science/AI/Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) Logic Programming, Vol.5. Handbook of logic in AI and logic programming (OUP, 1998)(ISBN 0198537921)(815s)_CsAi_.pdf 9.5 MB
Databases/Ullman J.D., Widom J.D. A First Course in Database Systems (2ed., PH, 2001)(ISBN 9780130353009)(600dpi)(T)(O)(529s)_CsDb_.djvu 9.5 MB
Programming languages/C++/Weiss M.A. Data structures and problem solving using C++ (2ed., Pearson, 2003)(ISBN 0321205006)(600dpi)(T)(976s)_CsPl_.djvu 9.5 MB
Algorithms/Furht B., Escalante A. (eds.) Handbook of cloud computing (Springer, 2010)(ISBN 1441965238)(O)(655s)_CsAl_.pdf 9.4 MB
Databases/Ullman J.D., Widom J.D. A first course in database systems (PH, 1997)(ISBN 0138613370)(400dpi)(T)(O)(482s)_CsDb_.djvu 9.4 MB
Programming languages/Proceedings of the third ACM SIGPLAN conference on History of programming languages (ACM, 2007)(484s)_CsPl_.pdf 9.4 MB
Formal methods/van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.B. Formal models and semantics (Elsevier, 1990)(ISBN 0262220393)(T)(1264s)_Cs_.djvu 9.3 MB
TeX/Knuth D.E. The Computer Modern family of typefaces (Stanford Tech.Rep.STAN-CS-80-780, 1980)(600dpi)(T)(409s)_ST_.djvu 9.3 MB
Algorithms/Sedgewick R., Wayne K. Algorithms (4ed., AW, 2011)(ISBN 032157351X)(O)(969s)_CsAl_.pdf 9.3 MB
Programming languages/C++/Savitch W. Problem Solving with C++ (7ed., AW, 2008)(ISBN 9780321531346)(600dpi)(T)(1061s)_CsPl_.djvu 9.3 MB
Programming languages/Schach S. Object-Oriented Software Engineering (7ed., MGH, 2007)(ISBN 007352333X)(O)(578s)_CsPl_.pdf 9.3 MB
Computer science/AI/Melo-Pinto P., Teodorescu H.-N., Fukuda T. (eds.) Systematic organisation of information in fuzzy systems (IOS Press, 2003)(400dpi)(T)(409s).djvu 9.3 MB
Algorithms/Smith. Reflective procedural programming (phd thesis)(T)(762s).djvu 9.2 MB
Algorithms/Mastorakis N., et al. (eds.) Proceedings of the european computing conference. Vol.2 (Springer, 2009)(ISBN 0387848185)(814s)_CsAl_.pdf 9.2 MB
Algorithms/Tanenbaum A.S. Modern Operating Systems.. International Version (3ed., Pearson, 2008)(ISBN 0138134596)(KA)(200dpi)(T)(1102s)_CsAl_.djvu 9.1 MB
Computer science/AI/Negnevitsky M. Artificial Intelligence.. A Guide to Intelligent Systems (2ed., AW, 2004)(ISBN 9780321204660)(435s)_CsAi_.pdf 9.1 MB
Algorithms/Crochemore M., Rytter W. Text Algorithms (OUP, 1994)(ISBN 9780195086096)(600dpi)(T)(427s)_CsAl_.djvu 9.0 MB
Programming languages/Smart J.F. Jenkins.. The Definitive Guide (O'Reilly, 2011)(ISBN 9781449305352)(600dpi)(T)(C)(O)(406s).djvu 9.0 MB
Programming languages/Wexelblat R.L. (ed.) History of programming languages, vol.1 (ACMM, AP, 1981)(ISBN 0127450408)(T)(O)(822s)_CsPl_.djvu 8.9 MB
Natural language/Lobanov B.M., Cirul'nik L.I. Komp'yuternyj sintez i klonirovanie rechi (Minsk, 2008)(ru)(316s)_CsAi_.pdf 8.8 MB
Algorithms/Zhou Q. (ed.) Theoretical and mathematical foundations of computer science - ICTMF 2011 (Springer, 2011)(ISBN 3642249981)(O)(632s)_CsAl_.pdf 8.8 MB
Computer science/AI/Ruan D., D'hondt P., et al. (eds.) Applied artificial intelligence. Proc. 7th FLINS conf. (WS, 2006)(ISBN 9812566902)(T)(O)(1019s)_CsAi_.djvu 8.8 MB
Formal methods/Hopcroft, Motwani, Ullman. Introduction to automata theory, languages and computation (2ed. AW 2001)(T)(ISBN 0201441241)(537s).djvu 8.8 MB
Algorithms/Holub A. Compiler Design in C (PH, 1990)(ISBN 9780131550452)(600dpi)(T)(984s)_CsAl_.djvu 8.8 MB
Algorithms/Knuth D. The art of computer programming, vol. 2 (2ed., AW, 1981)(T)(ISBN 0201038226)(704s).djvu 8.7 MB
Algorithms/Hochbaum D. (ed.) Approximation algorithms for NP-hard problems (PWS, 1997)(ISBN 0534949681)(600dpi)(K)(T)(618s)_CsAl_.djvu 8.7 MB
Formal methods/Linz P. An Introduction to Formal Languages and Automata (3ed., JaB, 2001)(ISBN 0763714224)(600dpi)(K)(T)(425s)_CsAl_.djvu 8.7 MB
TeX/Bechtolsheim S. TEX in practice. Vol.3. Tokens, macros (Springer, 1993)(ISBN 0387975977)(600dpi)(T)(O)(655s)_ST_.djvu 8.6 MB
Mobile devices/Neuburg M. Programming iOS 4.. Fundamentals of iPhone, iPad, and iPod Touch Development (O'Reilly, 2011)(ISBN 9781449388430)(O)(834s).pdf 8.6 MB
Computer science/Bashe C.J., et al. IBM's early computers (MIT, 1986)(ISBN 0262022257)(600dpi)(T)(735s)_Cs_.djvu 8.6 MB
Programming languages/C++/Hubbard J.R. Theory and problems of programming with C++ (Schaum's outline, MGH, 1996)(T)(446s).djvu 8.5 MB
Programming languages/Gamma, Helm, Johnson, Vlissides. Design patterns CD(400dpi)(T)(C)(806s).djvu 8.5 MB
Programming languages/Scott M.L. Programming Language Pragmatics (Morgan Kaufmann, 2000)(ISBN 9781558604421)(K)(600dpi)(T)(866s)_CsPl_.djvu 8.5 MB
Programming languages/Jung K., Brown A. Beginning Lua Programming (Wrox, 2007)(ISBN 9780470069172)(O)(674s).pdf 8.5 MB
Programming languages/Bergin, Gibson. (eds.) History of programming languages, vol.2 (AW, 1996)(ISBN 0201895021)(T)(O)(878s)_CsPl_.djvu 8.5 MB
Formal methods/Bjorner D. Software Engineering 2.. Specification of Systems and Languages (Springer, 2006)(ISBN 9783540211501)(T)(O)(783s)_CsAl_.djvu 8.4 MB
Computer science/AI/Giarratano J.C., Riley G.D. Expert Systems.. Principles and Programming (3ed., Course Technology, 1998)(ISBN 9780534950538)(T)(KA)(602s)_CsAi_.djvu 8.4 MB
TeX/Kopka H., Daly P.W. A guide to LaTeX. Document preparation for beginners and advanced users (3ed., AW, 1999)(ISBN 0201398257)(600dpi)(T)(609s)_ST_.djvu 8.3 MB
Algorithms/Benvenuto N., Cherubini G. Algorithms for Communications Systems and Their Applications (Wiley,2002)(ISBN 0470843896)(T)(1305s)_CsAl_.djvu 8.2 MB
Programming languages/C++/Pothering G.J., Naps T.L. Introduction to Data Structures and Algorithm Analysis With C++ (West Publishing Company, 1995)(ISBN 9780314045744)(T)(673s)_CsPl_.djvu 8.1 MB
Databases/Garcia-Molina H., Ullman J.D., Widom J.D. Database Systems.. The Complete Book (PH, 2001)(ISBN 9780130319951)(T)(1144s)_CsDb_.djvu 8.0 MB
Formal methods/Bjorner D. Software Engineering 1.. Abstraction and Modelling (Springer, 2006)(ISBN 9783540211495)(T)(O)(735s)_CsAl_.djvu 8.0 MB
Programming languages/Merz T., Druemmer O. Die PostScript-PDF-Bibel (2ed.)(de)(ISBN 3935320019)(658s).pdf 8.0 MB
Algorithms/Bednorz W. Advances in greedy algorithms (In-Teh, 2008)(ISBN 9537619273)(600dpi)(T)(O)(596s)_CsAl_.djvu 8.0 MB
Computer science/Brookshear J.G. Computer science - an overview (9ed., AW, 2006)(ISBN 0321387015)(T)(C)(616s)_Cs_.djvu 8.0 MB
Game programming/Gregory J. Game Engine Architecture (A.K.Peters, 2009)(ISBN 1568814135)(413s).pdf 8.0 MB
Algorithms/LaValle S. Planning algorithms (CUP, 2006)(O)(1023s)_CsAl_.pdf 8.0 MB
Algorithms/Tanenbaum A.S., Woodhull A.S. Operating systems.. design and implementation (2ed.)(KA)(T)(947s)_CsAl_.djvu 7.9 MB
Algorithms/Vocking B., et al. (eds.) Algorithms unplugged (Springer, 2011)(ISBN 3642153275)(O)(417s)_CsAl_.pdf 7.9 MB
Algorithms/Booch G., et al. Object-oriented analysis and design with applications(3ed, AW, 2007)(ISBN 020189551X)(717s)_CsAl_.pdf 7.8 MB
Computer science/AI/Fu K.S., et al. (eds.) Syntactic pattern recognition (Springer, 1977)(ISBN 038707841X)(600dpi)(T)(281s)_CsAi_.djvu 7.8 MB
Programming languages/Lisp/Eisenberg, Abelson. Programming in Scheme (MIT, 1988)(T)(ISBN 0262550172)(318s).djvu 7.7 MB
Algorithms/Knuth D.E. The art of computer programming III (AW, 1997)(T)(ISBN 0201038099)(791s)_CsAl_.djvu 7.7 MB
Algorithms/Knuth D.E. The art of computer programming II (AW, 1997)(T)(ISBN 0201896834)(774s)_CsAl_.djvu 7.6 MB
Computer science/AI/Bushnell M. Design Automation (AP, 1988)(ISBN 9780121484002)(600dpi)(T)(483s)_CsAi_.djvu 7.5 MB
Programming languages/Irvine K.R. Assembly language for Intel-based computers (4ed., PH, 2003)(ISBN 0130910139)(T)(731s)_CsPl_.djvu 7.5 MB
Programming languages/Fortran/Chapman S.J. Fortran 95,2003 for scientists and engineers (3ed., MGH, 2007)(ISBN 0390911976)(600dpi)(T)(O)(988s)_CsPl_.djvu 7.5 MB
Algorithms/Ershov A.P., Knuth D.E. (eds.) Algorithms in modern mathematics and computer science (Proc., Urgench, Uzbek SSR)(LNCS0122, Springer, 1981)(ISBN 0387111573)(T)(498s)_CsAl_.djvu 7.5 MB
Computer science/AI/Hsieh W.W. Machine learning methods in the environmental sciences (draft, CUP, 2010)(ISBN 9780521791922)(O)(365s)_CsAi_.pdf 7.4 MB
Computer science/AI/Klerer M., Reinfelds J. Interactive Systems for Experimental Applied Mathematics (AP, 1968)(600dpi)(T)(485s)_CsAi_.djvu 7.4 MB
Algorithms/Asano T. (ed.) Proceedings ISAAC 2006, Kolkata, India (LNCS4288, Springer, 2007)(ISBN 3540496947)(782s)_CsAl_.pdf 7.4 MB
Algorithms/Stankovic R.S., Astola J. From Boolean Logic to Switching Circuits and Automata.. Towards Modern Information Technology (Springer, 2011)(ISBN 3642116817)(600dpi)(T)(C)(O)(214s)_CsAl_.djvu 7.4 MB
Programming languages/Meyer B. Object-Oriented Software Construction (2ed., PH, 2000)(ISBN 0136291554)(O)(1406s)_CsPl_.pdf 7.3 MB
Programming languages/Pollard et al. (eds.) High Performance Computing Systems and Applications (Kluwer, 2000)(T)(619s).djvu 7.3 MB
Computer science/Computability/Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(L)(T)(ISBN 3540605827)(323s).djvu 7.3 MB
Algorithms/Knuth D. The art of computer programming, vol. 1 (AW, 1ed, 1968)(T)(761s).djvu 7.3 MB
Algorithms/Knuth D.E. The art of computer programming 4A Combinatorial algorithms, Part 1 (AW, 2011)(ISBN 0201038048)(901s)_CsAl_.pdf 7.2 MB
Databases/Date C.J. An Introduction to Database Systems.. Volume 1 (6ed., AW, 1994)(ISBN 9780201824582)(T)(863s)_CsDb_.djvu 7.1 MB
Natural language/Kempen G. (ed.) Natural Language Generation.. New Results in Artificial Intelligence, Psychology and Linguistics (Springer, 1987)(ISBN 9789024735587)(600dpi)(T)(481s)_CsAi_.djvu 7.1 MB
Algorithms/Aho A.V., Lam M.S., Sethi R., Ullman J.D. Compilers.. Principles, techniques, and tools (2ed., AW, 2007)(ISBN 0321486811)(400dpi)(T)(1038s)_CsAl_.djvu 7.1 MB
Computer science/AI/Kecman V. Learning and Soft Computing.. Support Vector Machines, Neural Networks and Fuzzy Logic Models (MIT Press,2001)(ISBN 0262112558)(400dpi)(T)(568s)_CsAi_.djvu 7.1 MB
Algorithms/Aho A.V., Ullman J.D. The theory of parsing, translation, and compiling. Vol.1.. Parsing (PH, 1972)(ISBN 0139145567)(KA)(150dpi)(T)(562s)_CsAl_.djvu 7.0 MB
Computer science/AI/Mitchell T. Machine Learning (MGH, 1997)(ISBN 0070428077)(600dpi)(T)(430s)_CsAi_.djvu 7.0 MB
Natural language/Mihelic F., Zibert J. (eds.) Speech recognition. Technologies and applications (I-Tech, 2008)(ISBN 9789537619299)(600dpi)(T)(O)(574s)_CsAi_.djvu 7.0 MB
Computer science/AI/Jang J.-S.R., Sun C.-T., Mizutani E. Neuro-fuzzy and soft computing.. a computational approach to learning and machine intelligence (PH, 1997)(400dpi)(T)(ISBN 0132610663)(640s).djvu 7.0 MB
Computer science/AI/Fu K.S. Syntactic pattern recognition and applications (PH, 1982)(ISBN 0138801207)(600dpi)(T)(605s)_CsAi_.djvu 7.0 MB
TeX/Goossens M., Mittelbach F., Samarin A. The LaTeX companion (1ed., AW, 1994)(KA)(L)(T)(284s)_ST_.djvu 6.9 MB
Programming languages/Hillegass A., Preble A. - Cocoa Programming for Mac OS X, Fourth Edition - 2012.epub 6.9 MB
Computer science/AI/Tanimoto S.L. Elements of artificial intelligence.. an introduction using LISP (1987)(T)(553s).djvu 6.9 MB
Programming languages/C++/Gaddis T., Walters J., Muganda G. Starting Out with C++.. Early Objects (5ed., AW, 2005)(ISBN 0321383486)(600dpi)(T)(1337s)_CsPl_.djvu 6.9 MB
Algorithms/Mirenkov N.N. (ed.) Parallel computing technologies (WS, 1991)(T)(ISBN 9810206984)(514s)_CsAl_.djvu 6.9 MB
Algorithms/Resch M., et al. (eds.) High performance computing on vector systems 2010 (Springer, 2010)(ISBN 364211850X)(O)(200s)_CsAl_.pdf 6.8 MB
Algorithms/Atallah M., Blanton M. (eds.) Algorithms and theory of computation handbook, Vol.2, Special topics and techniques (2ed., CRC, 2009)(ISBN 1584888202)(O)(952s)_CsAl_.pdf 6.8 MB
Computer science/Burks A.R., Burks A.W. The First Electronic Computer.. The Atanasoff Story (University of Michigan Press, 1988)(ISBN 9780472100903)(600dpi)(T)(399s)_CsPop_.djvu 6.8 MB
Programming languages/Langtangen H.P. A Primer on Scientific Programming with Python (Springer, 2009)(ISBN 9783642024740)(O)(726s).pdf 6.8 MB
Computer science/AI/Bramer M., Devedzic V. (eds.) Artificial intelligence applications and innovations (Kluwer, 2004)(ISBN 1402081510)(K)(T)(C)(499s)_CsAi_.djvu 6.8 MB
Algorithms/Kosinski W. Advances in evolutionary algorithms (In-Tech, 2008)(ISBN 9537619117)(600dpi)(T)(C)(O)(476s)_CsAl_.djvu 6.8 MB
Algorithms/Cousineau G., Mauny M. The Functional Approach to Programming (CUP, 1998)(ISBN 0521571839)(600dpi)(T)(447s)_CsAl_.djvu 6.8 MB
Natural language/Allen J. Natural language understanding (2ed., Benjamin-Cummings, 1995)(ISBN 0805303340)(600dpi)(T)(675s)_CsAi_.djvu 6.8 MB
Computer science/Proceedings TOPLAS POPL96 (ACM, 1996)(T)(O)(409s).djvu 6.8 MB
Formal methods/Gris D. Nauka programmirovaniya(Mir, 1984)(600dpi)(T)(416s)(ru)(KA)_CsAl_.djvu 6.7 MB
Algorithms/Boginski V.L., et al. (eds.) Sensors. Theory, algorithms, and applications (Springer, 2011)(ISBN 9780387886183)(O)(253s)_CsAl_.pdf 6.7 MB
Algorithms/Sedgewick R., Flajolet P. An introduction to the analysis of algorithms (AW, 2006)(ISBN 7111186060)(600dpi)(T)(O)(508s)_CsAl_.djvu 6.7 MB
Algorithms/LaValle S.M. Planning algorithms (CUP, 2006)(ISBN 0521862051)(O)(844s)_CsAl_.pdf 6.7 MB
TeX/Bechtolsheim S. TEX in practice. Vol.2. (Springer, 1993)(ISBN 0387975969)(600dpi)(T)(O)(375s)_ST_.djvu 6.6 MB
Algorithms/Beveridge J., Wiener R. Multithreading Applications in Win32.. The Complete Guide to Threads (program disk only)(AW, 1996)(ISBN 9780201442342)_CsAl_.rar 6.6 MB
Formal methods/Hopcroft J.E., Motwani R., Ullman J.D. Introduction to automata theory, languages, and computation (2ed., AW, 2001)(ISBN 0201441241)(T)(537s)_CsAl_.djvu 6.6 MB
Algorithms/Sikkel K. Parsing Schemata.. A Framework for Specification and Analysis of Parsing Algorithms (Springer, 2002)(ISBN 9783540616504)(600dpi)(T)(384s)_CsAl_.djvu 6.6 MB
Programming languages/Williams A. - CPP Concurrency in Action - 2012.epub 6.6 MB
Computer science/AI/Prince V., Roche M. Information Retrieval in Biomedicine.. Natural Language Processing for Knowledge Integration (Medical Information Science Reference, 2009)(ISBN 1605662747)(600dpi)(T)(C)(461s)_CsAi_.djvu 6.6 MB
Computer science/AI/Mitchell T. Machine Learning (MGH, 1997)(ISBN 0070428077)(600dpi)(T)(420s)_CsAi_.djvu 6.6 MB
Formal methods/Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(600dpi)(T)(533s)_CsAl_.djvu 6.4 MB
Computer science/Barbin E., et al. (eds.) A history of algorithms (Springer, 1999)(ISBN 3540633693)(600dpi)(T)(533s)_Cs_.djvu 6.4 MB
Programming languages/Feldt, Johnson, Neumann. Ruby developers guide (Syngress, 2002)(T)(C)(721s).djvu 6.4 MB
Formal methods/Lectures and papers on computational logic (2008)(758s)-o.pdf 6.4 MB
Game programming/Koster R. A theory of fun for game design (Paraglyph Press, 2005)(ISBN 1932111972)(600dpi)(T)(C)(256s).djvu 6.4 MB
Computer science/Computability/Gurari E. Introduction to the theory of computation (1989)(ISBN 0716781824)(600s).pdf 6.3 MB
Programming languages/Grune D., Bal H.E., Jacobs C.J.H., Langendoen K.G. Modern compiler design (Wiley, 2000)(K)(T)(ISBN 0471976970)(753s)_CsPl_.djvu 6.3 MB
Algorithms/Tanenbaum. Introduction to distributed systems (T)(588s).djvu 6.3 MB
Natural language/Manning C.D., Schuetze H. Foundations of Statistical Natural Language Processing (MIT, 1999)(ISBN 9780262133609)(O)(717s)_CsAi_.pdf 6.3 MB
Algorithms/Advances in Computers, Vol.69, Architectural Issues (Elsevier, 2007)(ISBN 9780123737458)(O)(343s)_CsAl_.pdf 6.3 MB
Programming languages/Langtangen H.P. Python scripting for computational science (Springer, 2011)(ISBN 9783540739166)(769s).pdf 6.3 MB
Algorithms/Li T.M. (ed.) Cellular automata (Nova, 2011)(ISBN 1617615927)(O)(308s)_CsAl_.pdf 6.3 MB
Algorithms/Tremblay J., Sorenson P.G. The Theory and Practice of Compiler Writing (MGH, 1985)(ISBN 9780070651616)(600dpi)(T)(O)(813s)_CsAl_.djvu 6.3 MB
Computer science/AI/Rossi F., van Beek P., Walsh T. (eds.) Foundations of artificial intelligence 2.. Handbook of constraint programming (Elsevier, 2006)(ISBN 0444527265)(977s).pdf 6.3 MB
Algorithms/Beveridge J., Wiener R. Multithreading Applications in Win32.. The Complete Guide to Threads (AW, 1996)(ISBN 9780201442342)(600dpi)(K)(T)(387s)_CsAl_.djvu 6.3 MB
Programming languages/Dongarra J., et al. Sourcebook of parallel computing (Elsevier, 2003)(ISBN 1558608710)(852s).pdf 6.2 MB
Formal methods/Bjorner D. Software Engineering 3 (Springer 2006)(600dpi)(T)(774s)_CsAl_.djvu 6.1 MB
Programming languages/Prolog/Shapiro E., Sterling L. The art of Prolog (2ed., MIT, 1999)(K)(ISBN 9780262193382)(600dpi)(T)(O)(552s)_CsPl_.djvu 6.1 MB
Computer science/AI/Fisher M.D., Gabbay D.M., Vila L. (eds.) Foundations of artificial intelligence 1.. Handbook of Temporal Reasoning in Artificial Intelligence (Elsevier, 2005)(ISBN 0444514937)(T)(O)(753s)_CsAi_.djvu 6.1 MB
Algorithms/Knuth D.E. The art of computer programming I (AW, 1997)(T)(ISBN 0201896834)(665s)_CsAl_.djvu 6.0 MB
Computer science/Grier D.A. When computers were human (PUP, 2005)(ISBN 0691091579)(600dpi)(T)(421s)_Cs_.djvu 6.0 MB
Mobile devices/Mednieks Z. - Programming Android 2nd Edition - 2012.epub 6.0 MB
Formal methods/Berstel J. Transductions and context-free languages (Teubner, 1979)(ISBN 9783519023401)(600dpi)(T)(282s)_Cs_.djvu 6.0 MB
Programming languages/Scott M.L. Programming Language Pragmatics (3ed., Elsevier, 2009)(ISBN 9780123745149)(941s)_CsPl_.pdf 6.0 MB
Algorithms/Mitchell J.C. Foundations for programming languages (MIT, 1996)(ISBN 0262133210)(400dpi)(T)(854s)_CsAl_.djvu 5.9 MB
Algorithms/Hromkovic J. Theoretical computer science (no References)(Springer, 2007)(ISBN 3540140158)(K)(T)(318s)_CsAl_.djvu 5.9 MB
Programming languages/Gamma E., Helm R., Johnson R., Vlissides J.M. Design Patterns.. Elements of Reusable Object-Oriented Software (AW, 1994)(ISBN 0201633612)(600dpi)(T)(O)(417s)_CsPl_.djvu 5.9 MB
Algorithms/Atallah M., Blanton M. (eds.) Algorithms and theory of computation handbook, Vol.1, General concepts and techniques (2ed., CRC, 2009)(ISBN 1584888229)(O)(990s)_CsAl_.pdf 5.9 MB
Algorithms/Sacco G.M., Tzitzikas Y. (eds.) Dynamic taxonomies and faceted search (Springer, 2009)(ISBN 3642023584)(O)(348s)_CsAl_.pdf 5.9 MB
Algorithms/Rauber T., Runger G. Parallel programming.. for multicore and cluster systems (Springer, 2010)(ISBN 364204817X)(O)(463s)_CsAl_.pdf 5.9 MB
Computer science/AI/Norvig P. Paradigms of Artificial Intelligence Programming.. Case Studies in Common Lisp (Morgan Kaufmann, 1991)(ISBN 1558601910)(600dpi)(T)(973s)_CsAi_.djvu 5.9 MB
Algorithms/Advances in Computers, Vol.71, Nanotechnology (Elsevier, 2007)(ISBN 9780123737465)(O)(351s)_CsAl_.pdf 5.9 MB
Programming languages/Marshal B. XML by example (QUE, 2000)(T)(C)(528s).djvu 5.9 MB
Computer science/AI/MacKay D.J.C. Information theory, inference and learning algorithms (CUP, 2005)(ISBN 0521642981)(O)(642s)_CsAi_.pdf 5.9 MB
TeX/Graetzer G. Math into TeX.. A simple guide to typesetting math using AMS-LaTex (Birkhauser, 1993)(ISBN 0817636374)(K)(T)(318s)_ST_.djvu 5.9 MB
Computer science/AI/Principe J.C. Information theoretic learning.. Renyi's entropy and kernel perspectives (Springer, 2010)(ISBN 1441915699)(O)(527s)_CsAi_.pdf 5.9 MB
Algorithms/Stevens R. Unix network programming vol.2 (PH, 1999)(T)(C)(564s).djvu 5.8 MB
SSH/Daniel J. Barrett, Richard Silverman SSH, The Secure Shell The Definitive Guide 2001 (4)(594s)-o.pdf 5.8 MB
Algorithms/Sedgewick R. Algorithms in C++, Parts 1-4 (3ed., AW, 1998)(ISBN 0201350882)_CsAl_.chm 5.8 MB
Algorithms/Bach M.J. The design of the Unix operating system(T)(C)(486s).djvu 5.8 MB
Computer science/Kumar S., Bentley P.J. On Growth, Form and Computers (Elsevier, 2003)(ISBN 0124287654)(T)(O)(456s)_Cs_.djvu 5.8 MB
Algorithms/Cormen T.H., et al. Introduction to algorithms (2ed., MIT, 2001)(ISBN 0070131511)(1202s)_CsAl_.pdf 5.8 MB
SSH/Daniel J. Barrett, Richard Silverman SSH, The Secure Shell The Definitive Guide 2001(560s)-o.pdf 5.8 MB
Computer science/AI/Grimshaw D. CPS 720 Artificial Intelligence topics with agents (MIT lecture notes, 2001)(1016s).pdf.gz 5.8 MB
Computer science/AI/Pal S.K., Pal A. (ed.) Pattern recognition.. From Classical to Modern Approaches (WSP, 2001)(ISBN 9810246846)(T)(635s)_CsAi_.djvu 5.8 MB
Algorithms/Advances in Computers, Vol.61 (Elsevier, 2004)(ISBN 9780120121618)(364s)_CsAl_.pdf 5.8 MB
Natural language/Popov E'.V. Obshchenie s E'VM na estestvennom jazyke (Nauka, 1982)(ru)(T)(360s)_CsAi_.djvu 5.7 MB
Natural language/Jurafsky D., Martin G.H. Speech and Language Processing (PH, draft, 1999)(T)(975s).djvu 5.7 MB
Computer science/AI/Richards W. (ed.) Natural computation (MIT, 1988)(ISBN 0262181320)(K)(S)(T)(O)(571s)_CsAi_.djvu 5.7 MB
Algorithms/Aho A.V., Lam M.S., Sethi R., Ullman J.D. Compilers.. Principles, techniques, and tools (2ed., AW, 2007)(ISBN 0321486811)(KA)(400dpi)(T)(1038s)_CsAl_.djvu 5.7 MB
Algorithms/Tan C.M. (ed.) Simulated annealing (I-Tech, 2008)(ISBN 9789537619077)(600dpi)(T)(O)(426s)_CsAl_.djvu 5.7 MB
Algorithms/Forbellone A.L.V., Eberspaecher H.F. Logica de programacao (3ed., Pearson, 2005)(pt)(ISBN 8576050242)(600dpi)(T)(225s)_CsAl_.djvu 5.7 MB
Formal methods/Sangiorgi D., Walker D. The pi-calculus.. a theory of mobile processes (CUP, 2001)(ISBN 0521781779)(600dpi)(T)(592s)_CsF_.djvu 5.7 MB
Algorithms/Hromkovic J. Theoretical computer science (no p.307-308)(Springer, 2007)(ISBN 9783540140153)(600dpi)(T)(321s)_CsAl_.djvu 5.7 MB
Programming languages/Martin R.C. Agile software development.. principles, patterns, and practices (Pearson, 2003)(ISBN 0135974445)(600dpi)(T)(557s)_CsPl_.djvu 5.7 MB
Formal methods/Matematicheskaya logika v programmirovanii (sbornik statej) (Mir 1991)(ru) (600dpi)(K)(T)(408s)_Cs_.djvu 5.6 MB
Game programming/Strougo R., Wenderlich R. - Learning Cocos2D A Hands-On Guide to Building iOS Games with Cocos2D, Box2D, and Chipmunk - 2011.pdf 5.6 MB
TeX/Bechtolsheim S. TEX in practice. Vol.4. Output routines, tables (Springer, 1993)(ISBN 0387975985)(600dpi)(T)(O)(427s)_ST_.djvu 5.6 MB
Algorithms/Flynt J., Kodicek D. Mathematics and physics for programmers (2ed., Course Technology, 2012)(ISBN 9781435457331)(O)(688s)_CsAl_.pdf 5.6 MB
Natural language/Grimm M., Kroscel K. (eds.) Robust speech recognition and understanding (I-Tech, 2007)(ISBN 9783902613080)(468s)_CsAi_.pdf 5.6 MB
Computer science/AI/Cohen P.R., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 3 (AW, 1986)(ISBN 9780865760073)(599dpi)(T)(656s)_CsAi_.djvu 5.6 MB
TeX/Bechtolsheim S. TEX in practice. Vol.1. Basics (Springer, 1993)(ISBN 0387975950)(600dpi)(T)(O)(407s)_ST_.djvu 5.6 MB
Algorithms/Drozdek A. Data Structures and Algorithms in C++ (2ed., Brooks-Cole, 2001)(ISBN 0534375979)(T)(C)(O)(665s)_CsAl_.djvu 5.5 MB
Programming languages/C/Plauger. The standard C library (PH, 1991)(ISBN 0138380120)(T)(C)(514s).djvu 5.5 MB
Computer science/Waldrop M.M. The Dream Machine.. J.C.R. Licklider and the Revolution That Made Computing Personal (Viking Adult, 2001)(ISBN 9780670899760)(600dpi)(T)(511s)_CsPop_.djvu 5.5 MB
Algorithms/Dehne F., Sack J.-R., Santoro N. (eds.) Algorithms and data structures (Workshop WADS 89, LNCS0382, Springer, 1989)(T)(ISBN 3540515429)(600s).djvu 5.5 MB
Algorithms/Gendreau M., Potvin J.Y. (eds.) Handbook of metaheuristics (2ed., Springer, 2010)(ISBN 1441916636)(O)(669s)_CsAl_.pdf 5.5 MB
Programming languages/Vladimir Kushnir Safe C++ How to avoid common mistakes 2012(140s).pdf 5.5 MB
Mobile devices/Mednieks Z. - Programming Android 2nd Edition - 2012-o.pdf 5.5 MB
Programming languages/Python/Dawson M. Python programming for absolute beginner (Premier, 2003)(ISBN 1592000738)(480s)_CsPl_.chm 5.5 MB
TeX/Kottwitz S. LaTeX beginner's guide (Packt, 2011)(ISBN 1847199860)(C)(T)(O)(336s)_ST_.djvu 5.5 MB
Algorithms/Trobec R., et al. (eds.) Parallel computing.. Numerics, applications, and trends (Springer, 2009)(ISBN 1848824084)(531s)_CsAl_.pdf 5.4 MB
Algorithms/Trobec R., et al. (eds.) Parallel computing.. Numerics, applications, and trends (Springer, 2009)(ISBN 1848824084)(O)(545s)_CsAl_.pdf 5.4 MB
Algorithms/Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to Algorithms (3ed., MIT, 2009)(ISBN 0262033844)(O)(1313s)_CsAl_.pdf 5.4 MB
Computer science/Hey A.J.G. (ed.) Feynman and computation.. exploring the limits of computers (Perseus, 1998)(KA)(T)(ISBN 0738200573)(462s)_Cs_.djvu 5.4 MB
Computer science/AI/Vapnik V. Statistical Learning Theory (Wiley 1998)(400dpi)(T)(ISBN 0471030031)(740s).djvu 5.4 MB
Programming languages/Plotkin G., Stirling C.P., Tofte M. (eds.) Proof, Language, and Interaction.. Essays in Honour of Robin Milner (MIT, 2000)(ISBN 0262161885)(400dpi)(T)(737s)_CsPl_.djvu 5.4 MB
Programming languages/Lisp/Harvey B., Wright M. Simply SCHEME.. introducing computer science (MIT, 1994)(ISBN 0262082268)(T)(610s)_CsPl_.djvu 5.4 MB
Computer science/AI/Schwab B. AI game engine programming (1ed., Charles River Media, 2004)(ISBN 1584503440)(600dpi)(T)(C)(622s)_CsAi_.djvu 5.4 MB
Programming languages/ML/Paulson L.C. ML for the Working Programmer (2ed., CUP, 1996)(ISBN 052156543X)(600dpi)(T)(493s)_CsPl_.djvu 5.4 MB
Algorithms/Salomon D. Data compression.. the complete reference (4ed., Springer, 2007)(1111s)_CsAl_.pdf 5.4 MB
TeX/Goossens, Rahtz, Mittelbach. The LaTeX graphics companion (AW, 1997)(L)(T)(ISBN 0201854694)(299s)_ST_.djvu 5.3 MB
Algorithms/Lee E.A., Seshia S.A. Introduction to Embedded Systems.. A Cyber-Physical Systems Approach (Lulu.com, 2011)(ISBN 9780557708574)(O)(525s)_CsAl_.pdf 5.3 MB
Computer science/Computability/Downey R., Hirschfeldt D. Algorithmic randomness and complexity (Springer, 2010)(ISBN 0387955674)(O)(884s)_CsNp_.pdf 5.3 MB
Databases/Date C.J. Date on Database.. Writings 2000-2006 (Apress, 2006)(ISBN 9781590597460)(600dpi)(T)(C)(O)(566s)_CsDb_.djvu 5.3 MB
TeX/TeX, XML, and digital typography (LNCS3130, Springer, 2004)(ISBN 3540228012)(271s)_ST_.pdf 5.3 MB
Algorithms/Advances in Computers, Vol.70 (Elsevier, 2007)(ISBN 9780123737472)(O)(359s)_CsAl_.pdf 5.3 MB
TeX/van Dongen M.R.C. LaTeX and friends (Springer, 2012)(ISBN 9783642238154)(O)(324s)_ST_.pdf 5.3 MB
Algorithms/Appel A.W. Modern compiler implementation in ML (corrected printing, CUP, 1999)(ISBN 0521607647)(600dpi)(T)(550s)_CsAl_.djvu 5.2 MB
Programming languages/Langtangen H.P. A primer on scientific programming with Python (3ed., Springer, 2012)(ISBN 9783642302923)(O)(820s)_CsPl_.pdf 5.2 MB
Computer science/AI/Hofstadter D. Fluid concepts and creative analogies (Basic Books, 1995)(KA)(600dpi)(T)(511s)_CsAi_.djvu 5.2 MB
Natural language/Fellbaum C. WordNet.. An Electronic Lexical Database (MIT, 1998)(ISBN 9780262061971)(600dpi)(T)(447s)_CsAi_.djvu 5.1 MB
Computer science/AI/Mahadevan S. Representation discovery using harmonic analysis (Morgan, 2008)(ISBN 1598296590)(160s)_CsAi_.pdf 5.1 MB
Computer science/Cortada J.W., Corada J.W. Before the Computer (PUP, 1993)(ISBN 9780691048079)(600dpi)(T)(399s)_CsPop_.djvu 5.1 MB
Natural language/Mani I., Maybury M.T. (eds.) Advances in Automatic Text Summarization (MIT, 1999)(ISBN 0262133598)_CsAi_.chm 5.1 MB
Algorithms/Gimpel J.F. Algorithms in SNOBOL4 (Wiley, 1976)(ISBN 0471302139)(600dpi)(T)(504s)_CsAl_.djvu 5.1 MB
Computer science/AI/Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) Logic Programming, Vol.5. Handbook of logic in AI and logic programming (OUP, 1998)(ISBN 0198537921)(T)(815s)_CsAi_.djvu 5.1 MB
TeX/Kottwitz S. LaTeX Beginner's Guide (Packt Publishing, 2011)(ISBN 9781847199867)(O)(336s)_ST_.pdf 5.0 MB
Algorithms/Purdom R.W., Brown C.A. The analysis of algorithms (CBS, 1985)(T)(554s)_CsAl_.djvu 5.0 MB
Algorithms/Grune D., Bal H.E., Jacobs C.J.H., Langendoen K.G. Modern compiler design (Wiley, 2000)(K)(T)(ISBN 0471976970)(753s)_CsAl_.djvu 5.0 MB
Programming languages/Hyde R. The Art of Assembly Language (No Starch Press, 2010)(ISBN 9781593272074)(600dpi)(T)(O)(764s)_CsPl_.djvu 5.0 MB
Algorithms/Penttonen, Schmidt. (eds.) Algorithm theory - Proc. SWAT 2002 (LNCS2368, Springer, 2002)(455s)_CsAl_.pdf 5.0 MB
TeX/Graetzer G. More math into LATEX (4ed., Springer, 2007)(622s)_ST_.pdf 5.0 MB
Computer science/Computability/Sipser M. Introduction to the theory of computation (2005)(600dpi)(T)(ISBN 0534950973)(453s)_CsNp_.djvu 5.0 MB
Programming languages/Langtangen H.P. A Primer on Scientific Programming with Python (2ed., Springer, 2011)(ISBN 9783642183652)(O)(736s).pdf 5.0 MB
Programming languages/Pickering R. Foundations of F# (Apress, 2007)(ISBN 9781590597576)(O)(383s)_CsPl_.pdf 5.0 MB
Programming languages/Sebesta R.W. Concepts of programming languages (5ed., AW, 2001)(ISBN 0201752956)(KA)(150dpi)(T)(698s)_CsPl_.djvu 4.9 MB
Algorithms/Levner E. (ed.) Multiprocessor scheduling. Theory and applications (I-Tech, 2007)(ISBN 9783902613028)(445s)_CsAl_.pdf 4.9 MB
Computer science/AI/Minker J. (ed.) Logic-based artificial intelligence (Kluwer, 2000)(ISBN 0792372247)(600dpi)(K)(T)(630s)_CsAi_.djvu 4.9 MB
Programming languages/Yourdon E. Writings of the revolution (Yourdon Press, 1982)(ISBN 0917072251)(600dpi)(T)(471s)_CsPl_.djvu 4.9 MB
Programming languages/C++/Barton J.J., Nackman L.R. Scientific and engineering C++ (AW, 1994)(T)(667s)_CsPl_.djvu 4.9 MB
Computer science/Computability/Cooper, Lowe, Sorbi. (eds.) New computational paradigms. Changing conceptions of what is computable (Springer, 2008)(ISBN 0387360336)(551s)_CsNp_.pdf 4.9 MB
Formal methods/Gries D. (ed.) Programming methodology (Springer, 1978)(ISBN 0387903291)(600dpi)(T)(454s)_CsAl_.djvu 4.9 MB
TeX/Bringhurst R. The Elements of Typographic Style (Hartley & Marks Pub., 2004)(ISBN 9780881792065)(600dpi)(T)(C)(382s)_ST_.djvu 4.8 MB
Algorithms/Salomon D. Data compression.. the complete reference (3ed., Springer, 2004)(K)(920s)_CsAl_.pdf 4.8 MB
Algorithms/Edmonds J. How to think about algorithms (CUP, 2008)(ISBN 0521849314)(464s)_CsAl_.pdf 4.8 MB
Algorithms/Sayood K. Introduction to data compression (3ed., Elsevier, 2006)(ISBN 012620862X)(T)(O)(688s)_CsAl_.djvu 4.8 MB
Programming languages/Fourer R., Gay D.M., Kernighan B.W. AMPL.. A Modeling Language for Mathematical Programming (Duxbury Press, 2002)(ISBN 0534388094)(T)(O)(525s)_CsPl_.djvu 4.8 MB
Programming languages/Lisp/Queinnec C. LISP in small pieces (CUP, 1996)(KA)(ISBN 0521562473)(600dpi)(T)(526s)_CsPl_.djvu 4.8 MB
Computer science/Computability/Yap C.K. Theory of complexity classes (web draft, 2009)(O)(438s)_CsNp_.pdf 4.8 MB
Algorithms/Catthoor F., et al. Data access and storage management for embedded programmable processors (Kluwer, 2002)(T)(ISBN 0792376897)(314s)_CsAl_.djvu 4.7 MB
Computer science/AI/Leondes C. (ed.) Artificial intelligence and robotics in manufacturing (CRC, 2001)(ISBN 0849309999)(O)(276s)_CsAi_.pdf 4.7 MB
Algorithms/Queinnec C. LISP in small pieces (CUP, 1996)(T)(K)(ISBN 0521562473)(532s)_CsAl_.djvu 4.7 MB
Bash/Robbins A., Beebe N. - Classic Shell Scripting - 2005-o.pdf 4.7 MB
Algorithms/Beckman F. Mathematical foundations of programming (AW, 1980)(ISBN 020114462X)(600dpi)(T)(O)(460s)_CsAl_.djvu 4.7 MB
Natural language/Cole R., Mariani J., Uszkoreit H., Varile G.B., Zaenen A., Zampolli A. Survey of the State of the Art in Human Language Technology (CUP, 1998)(ISBN 0521592771)(O)(550s)_CsAi_.pdf 4.7 MB
Algorithms/Ivanyi A. (ed.) Algorithms of informatics, Vol.2.. Applications (Kiado, 2007)(ISBN 9638759623)(573s)_CsAl_.pdf 4.7 MB
Algorithms/Cooper R.B. Introduction to Queueing Theory (NH, 1981)(T)(C)(361s).djvu 4.7 MB
Game programming/Zerbst S., Duevel O. 3D game engine programming (Thomson, 2004)(ISBN 1592003516)(897s).pdf 4.7 MB
Computer science/Computability/Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation (Springer, 1997)(ISBN 9780387982816)(T)(474s)_CsNp_.djvu 4.7 MB
Programming languages/Lisp/Chazarain J. Programmer avec Scheme (Thomson, 1998)(fr)(ISBN 2841801314)(600dpi)(T)(O)(767s)_CsPl_.djvu 4.7 MB
TeX/Goudy F.W. Typologia.. Studies in Type Design and Type Making (University of California Press, 1978)(ISBN 9780520033085)(600dpi)(T)(190s)_ST_.djvu 4.7 MB
Programming languages/Neuburg M. AppleScript.. The Definitive Guide (O'Reilly, 2003)(ISBN 9780596005573)(600dpi)(T)(481s)_CsPl_.djvu 4.7 MB
Algorithms/Ausiello G., et al. Complexity and Approximation.. Combinatorial Optimization Problems and Their Approximability Properties (2pr., Springer, 2003)(ISBN 3504654313)(T)(538s)_CsAl_.djvu 4.7 MB
Formal methods/Dromey G. Program derivation.. development of programs from specifications (AW, 1989)(ISBN 0201416247)(600dpi)(T)(648s)_CsAl_.djvu 4.7 MB
Algorithms/Munro, Sedgewick, et al. (eds.) Proc. 10th workshop on algorithm engineering, 5th workshop on analytic algorithmics and combinatorics (SIAM, 2008)(ISBN 9780898716535)(268s)_CsAl_.pdf 4.7 MB
Algorithms/Samet H. The design and analysis of spatial data structures (AW, 1990)(T)(ISBN 0201502550)(499s)_CsAl_.djvu 4.6 MB
Formal methods/Klark, Gramberg, Peled. (_Clarke,Grumberg,Peled_) Verifikaciya modelej programm.. Model Checking (MCNMO, 2002)(ru)(T)(416s)_CsAl_.djvu 4.6 MB
Algorithms/Gries D. Compiler Construction for Digital Computers (Wiley, 1971)(ISBN 9780471327769)(600dpi)(T)(508s)_CsAl_.djvu 4.6 MB
Computer science/Computability/Burgisser, Clausen, Shokrollahi. Algebraic complexity theory (Springer, 1997)(KA)(T)(ISBN 3540605827)(645s)_CsNp_.djvu 4.6 MB
Programming languages/Python/Lutz M. Learning Python (4ed., O'Reilly, 2009)(ISBN 9780596158064)(O)(1213s)_CsPl_.pdf 4.6 MB
Programming languages/Alcock D. Illustrating Pascal (CUP, 1987)(ISBN 0521336953)(T)(S)(194s)_CsPl_.djvu 4.5 MB
Algorithms/Advances in Computers, Vol.77 (AP, 2009)(ISBN 9780123748126)(O)(356s)_CsAl_.pdf 4.5 MB
Programming languages/Fortran/Kupferschmid M. Classical Fortran (M.Dekker, 2002)(ISBN 0824708024)(KA)(T)(755s)_CsPl_.djvu 4.5 MB
Computer science/AI/Bishop C. Pattern Recognition and Machine Learning (ISBN 0387310738)(Springer, 2006)(749s)_CsAi_.pdf 4.5 MB
Algorithms/Raman R., Sedgewick R., Stallmann M.F. (eds.) Proc. 8th workshop on algorithm engineering (SIAM, 2006)(ISBN 0898716101)(T)(O)(292s)_CsAl_.djvu 4.5 MB
Computer science/Computability/Griffor E.R. (ed.) Handbook of computability theory (SLFM140, Elsevier, 1999)(ISBN 0444898824)(T)(O)(735s)_CsNp_.djvu 4.5 MB
Computer science/Computability/Papadimitriou C.H. Computational Complexity (1994)(600dpi)(T)(540s)_CsNp_.djvu 4.5 MB
TeX/Kopka H., Daly P.W. A guide to LaTeX. Document preparation for beginners and advanced users (3ed., AW, 1999)(ISBN 0201398257)(300dpi)(T)(608s)_ST_.djvu 4.5 MB
Algorithms/Manber U. Introduction to algorithms.. a creative approach (AW, 1989)(ISBN 0201120372)(600dpi)(T)(496s)_CsAl_.djvu 4.5 MB
Algorithms/Arge L., et al. (eds.) Proceedings of the 6th Workshop on Algorithm Engineering and 1st workshop on Combinatorics (SIAM, 2004)(ISBN 0898715644)(T)(O)(242s)_CsAl_.djvu 4.5 MB
Algorithms/Advances in Computers, Vol.74, Software Development (Elsevier, 2008)(ISBN 9780123744265)(O)(320s)_CsAl_.pdf 4.5 MB
Formal methods/Mosses P.D. Action semantics (CUP, 2005)(ISBN 0521403472)(600dpi)(T)(O)(394s)_CsPl_.djvu 4.5 MB
TeX/Kopka H. Einfuehrung in LaTeX, Band 1 (AW, 1994)(de)(T)(ISBN 3893196641)(447s)_ST_.djvu 4.5 MB
Formal methods/Dejkstra E. (_Dijkstra_) Disciplina programmirovaniya (M.Mir, 1978)(ru)(K)(600dpi)(T)(275s)_CsAl_.djvu 4.5 MB
Algorithms/von Neumann J. Theory of self-reproducing automata (Illinois, 1966)(ISBN 0598377980)(KA)(200dpi)(T)(403s)_CsAl_.djvu 4.4 MB
Formal methods/Manna Z., Pnueli A. Temporal Verification of Reactive Systems.. Safety (Springer, 1995)(ISBN 9780387944593)(600dpi)(T)(531s)_CsAl_.djvu 4.4 MB
Algorithms/Fiore S., Aloisio G. (eds.) Grid and cloud database management (Springer, 2011)(ISBN 3642200443)(O)(364s)_CsAl_.pdf 4.4 MB
Natural language/Hausser R. Foundations of Computational Linguistics (2ed., Springer, 2001)(ISBN 3540424172)(600dpi)(T)(592s)_CsAi_.djvu 4.4 MB
Programming languages/Erlang/Cesarini F., Thompson S. Erlang Programming (O'Reilly, 2009)(ISBN 9780596518189)(600dpi)(T)(C)(O)(496s)_CsPl_.djvu 4.4 MB
Formal methods/Baier C., Katoen J. Principles of Model Checking (MIT, 2008)(ISBN 9780262026499)(O)(994s)_CsAl_.pdf 4.3 MB
Algorithms/Van Roy P., Haridi S. Concepts, techniques and models of computer programming (MIT, 2004)(ISBN 0262220695)(931s)_CsAl_.pdf 4.3 MB
Algorithms/Mehlhorn K. Efficient data structures and algorithms, three volumes (Springer, 1984)(T)(674s).djvu 4.3 MB
Programming languages/Fortran/Metcalf M., Reid J., Cohen M. Fortran 95 2003 explained (OUP, 2004)(ISBN 019852692X)(600dpi)(T)(434s)_CsPl_.djvu 4.3 MB
Algorithms/Knuth D.E. Selected papers on the analysis of algorithms (Stanford, 2000)(ISBN 1575862115)(T)(O)(635s)_CsAl_.djvu 4.3 MB
Computer science/AI/Hsu F. Behind Deep Blue.. Building the Computer that Defeated the World Chess Champion (PUP, 2002)(ISBN 9780691090658)(600dpi)(K)(T)(315s)_CsAi_.djvu 4.3 MB
Natural language/Saint-Dizier P., Viegas E. Computational Lexical Semantics (CUP, 1995)(ISBN 9780521444101)(600dpi)(T)(457s)_CsAi_.djvu 4.3 MB
Algorithms/Tanenbaum A.S. Distributed Operating Systems (no title, no TOC)(KA)(T)(588s)_CsAl_.djvu 4.3 MB
Algorithms/Aho A.V., Ullman J.D. The theory of parsing, translation, and compiling. Vol.2.. Compiling (PH, 1973)(ISBN 0139145648)(KA)(150dpi)(T)(484s)_CsAl_.djvu 4.3 MB
Computer science/Ceruzzi P.E. A History of Modern Computing (MIT,2003)(ISBN 0262532034)(452s)_Cs_.pdf 4.3 MB
Computer science/Computability/Clote P., Kranakis E. Boolean functions and computation models (Springer, 2002)(ISBN 3540594361)(T)(O)(618s)_CsNp_.djvu 4.3 MB
Algorithms/Perrin D., Berstel J., Reutenauer C. Codes and Automata (CUP, 2009)(ISBN 052188831X)(634s)_CsAl_.pdf 4.3 MB
Algorithms/Flum, Gradel, Wilke. (eds.) Logic and automata.. History and perspectives (U.Amsterdam, 2008)(ISBN 9053565760)(737s)_CsAl_.pdf 4.2 MB
Natural language/Sager N. Natural Language Information Processing.. A Computer Grammar of English and Its Applications (AW, 1980)(ISBN 9780201067699)(600dpi)(T)(419s)_CsAi_.djvu 4.2 MB
Natural language/Allen J. Natural Language Understanding (Benjamin-Cummings, 1988)(ISBN 0805303308)(600dpi)(T)(591s)_CsAi_.djvu 4.2 MB
Mobile devices/Lee G. Test-driven iOS development (AW, 2012)(ISBN 0321774183).epub 4.2 MB
Databases/C. J. Date, Hugh Darwen Guide to SQL Standard, A 1996(T)(523s).djvu 4.2 MB
Algorithms/Advances in Computers, Vol.02 (Elsevier, 1961)(ISBN 9780120121021)(T)(O)(449s)_CsAl_.djvu 4.2 MB
Algorithms/Kodicek D. Mathematics and Physics for Programmers (Charles River Media, 2005)(ISBN 1584503300)(O)(641s)_CsAl_.pdf 4.2 MB
Programming languages/Lisp/Allen J. Anatomy of LISP (MGH, 1978)(ISBN 007001115X)(600dpi)(T)(463s)_CsPl_.djvu 4.2 MB
Computer science/AI/von Harmelen F., Lifschitz V., Porter B. (eds.) Foundations of artificial intelligence 3.. Handbook of Knowledge Representation (Elsevier, 2007)(ISBN 0444522115)(1035s)_CsAi_.pdf 4.2 MB
Algorithms/Pollack B.W. Compiler techniques (Auerbach Publishers, 1972)(ISBN 9780877690764)(600dpi)(T)(573s)_CsAl_.djvu 4.2 MB
Computer science/Aspray W. John von Neumann and the origins of modern computing (MIT Press, 1990)(ISBN 0262011212)(600dpi)(T)(394s)_Cs_.djvu 4.1 MB
Programming languages/Python/Beazley D. Python essential reference (2ed., New Riders, 2001)(T)(C)(ISBN 0735710910)(586s).djvu 4.1 MB
Computer science/AI/Konar A. Computational intelligence. Principles techniques and applications (Springer, 2005)(600dpi)(T)(C)(713s)_CsAi_.djvu 4.1 MB
Algorithms/Advances in Computers, Vol.68, Computational Biology and Bioinformatics (Elsevier, 2006)(ISBN 9780120121687)(O)(335s)_CsAl_.pdf 4.1 MB
Computer science/AI/Camastra F., Vinciarelli A. Machine learning for audio, image and video analysis (Springer, 2008)(ISBN 1848000065)(O)(484s)_CsAi_.pdf 4.1 MB
Algorithms/Hromkovic J. Algorithmics for Hard Problems (2ed., Springer, 2002)(ISBN 3540441344)(T)(549s)_CsAl_.djvu 4.1 MB
Programming languages/Python/Langtangen H.P. Python scripting for computational science (3ed., Springer, 2011)(ISBN 9783540739166)(769s)_CsPl_.pdf 4.1 MB
Computer science/Mitchell M. Complexity. A guided tour (OUP, 2009)(ISBN 9780195124415)(O)(366s)_CsPop_.pdf 4.1 MB
Algorithms/Kshemkalyani A.D., Singhal M. Distributed computing.. principles, algorithms, and systems (draft, 2005)(748s)_CsAl_.pdf 4.1 MB
Algorithms/Attiya H., Welch J. Distributed Computing.. Fundamentals, Simulations, and Advanced Topics (Wiley, 2004)(ISBN 0471453242)(T)(416s).djvu 4.0 MB
Computer science/AI/Luger G.F. Artificial Intelligence.. Structures and Strategies for Complex Problem Solving (6ed., AW, 2008)(ISBN 9780321545893)(O)(779s)_CsAi_.pdf 4.0 MB
Algorithms/Kshemkalyani A.D., Singhal M. Distributed computing.. principles, algorithms, and systems (CUP, 2008)(ISBN 9780521876346)(754s)_CsAl_.pdf 4.0 MB
Programming languages/ML/Paulson L.C. ML for the Working Programmer (2ed., CUP, 1996)(ISBN 052156543X)(T)(493s)_CsPl_.djvu 4.0 MB
Computer science/AI/Weitzenfeld A., M.A.Arbib, A.Alexander. The Neural Simulation Language.. A System for Brain Modeling (Bradford Book,2002)(ISBN 0262731495)(460s)_CsAi_.pdf 4.0 MB
Algorithms/Angelides M., Agius H. (eds.) The handbook of MPEG applications.. Standards in practice (Wiley, 2011)(ISBN 0470750073)(O)(551s)_CsAl_.pdf 4.0 MB
Computer science/Morrison P., Morrison E. Charles Babbage and His Calculating Engines (Dover, 1961)(ISBN 9780486200125)(600dpi)(T)(438s)_CsPop_.djvu 4.0 MB
Algorithms/Hromkovic J. Communication Complexity and Parallel Computing (Springer, 1997)(ISBN 9783540574590)(600dpi)(T)(352s)_CsAl_.djvu 4.0 MB
Computer science/AI/Minsky M. The society of mind (Simon & Schuster, 1988)(ISBN 0671657135)(400dpi)(K)(T)(O)(337s)_CsAi_.djvu 4.0 MB
Algorithms/Boissonnat J.D., Yvinec M. Algorithmic geometry (CUP, 1998)(ISBN 0521565294)(T)(O)(543s)_CsAl_.djvu 4.0 MB
Algorithms/Reingold E.M., Nievergelt J., Deo N. Combinatorial algorithms (PH, 1977)(ISBN 013152447X)(T)(600dpi)(444s)_CsAl_.djvu 4.0 MB
Formal methods/Droste M., Kuich W., Vogler H. (eds.) Handbook of weighted automata (Springer, 2009)(ISBN 3642014917)(O)(610s)_CsAl_.pdf 4.0 MB
Algorithms/Brandes U., Erlebach T. (eds.) Network analysis. Methodological foundations (LNCS3418, Springer, 2005)(482s)_CsAl_.pdf 3.9 MB
Computer science/AI/Friedman J., Hastie T., Tibshirani R. The elements of statistical learning (2001)(T)(C)(524s).djvu 3.9 MB
Programming languages/Python/Langtangen H.-P. Python Scripting For Computational Science (Springer, 2004)(745s).pdf 3.9 MB
Algorithms/Bauer F.L., De Remer F.L., et al. Compiler Construction (LNCS0021, Springer, 1974)(ISBN 3540069585)(T)(O)(636s)_CsAl_.djvu 3.9 MB
Programming languages/C/Harbison S.P., Steele G.L. C, a reference manual (PH, 2002)(ISBN 013089592X)(600dpi)(T)(551s)_CsPl_.djvu 3.9 MB
Programming languages/ML/Chailloux E., Manoury P., Pagano B. Developing Applications with Objective CAML (O'Reilly, 2000)(ISBN 9782841771219)(T)(757s)_CsPl_.djvu 3.9 MB
Computer science/AI/Ross T.J., Booker J.M., Parkinson W.J. Fuzzy Logic and Probability Applications.. A Practical Guide (SIAM, 2002)(ISBN 9780898715255)(T)(O)(434s)_CsAi_.djvu 3.9 MB
TeX/Knuth D.E. TEX and METAFONT.. New directions in typesetting (AMS, 1979)(ISBN 0932376029)(600dpi)(T)(369s)_ST_.djvu 3.9 MB
Formal methods/Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628)(O)(690s).pdf 3.9 MB
Algorithms/Advances in Computers, Vol.12 (Elsevier, 1972)(ISBN 9780120121120)(T)(O)(449s)_CsAl_.djvu 3.9 MB
Algorithms/Advances in Computers, Vol.47 (Elsevier, 1998)(ISBN 9780120121472)(T)(O)(415s)_CsAl_.djvu 3.9 MB
Formal methods/Ramsay A.M. Formal Methods in Artificial Intelligence (CUP, 1988)(ISBN 0521352363)(600dpi)(T)(286s)_CsAi_.djvu 3.9 MB
Algorithms/Rabiner L., Juang B.-H. Fundamentals of speech recognition (PH, 1993)(ISBN 0132858266)(K)(T)(O)(544s)_CsAl_.djvu 3.9 MB
Algorithms/Cohen A.M., et al. (eds.) International Congress on Mathematical Software (WS, 2002)(ISBN 9812380485)(T)(O)(529s)_CsAl_.djvu 3.9 MB
Algorithms/Waite W.M., Carter L.R. An Introduction to Compiler Construction (Harper-Collins, 1993)(ISBN 9780673398222)(600dpi)(T)(449s)_CsAl_.djvu 3.9 MB
Game programming/Astle D., Hawkins K. Beginning OpenGL game programming (Course Technology PTR, 2004)(ISBN 1592003699)(600dpi)(T)(C)(334s).djvu 3.9 MB
Algorithms/Bornat R. Programming from First Principles (Pearson, 1986)(ISBN 9780137291045)(600dpi)(T)(555s)_CsAl_.djvu 3.9 MB
Algorithms/Advances in Computers, Vol.53, Emphasizing Distributed Systems (Elsevier, 2000)(ISBN 9780120121533)(T)(O)(553s)_CsAl_.djvu 3.9 MB
Computer science/AI/Kasabov N.K. Foundations of Neural Networks, Fuzzy Systems, and Knowledge Engineering (MIT, 1996)(ISBN 0262112124)_CsAi_.chm 3.8 MB
Programming languages/C++/Hubbard J.R. Schaum's Outline of Fundamentals of Computing with C++ (Schaum,1998)(ISBN 0070308683)(T)(372s)_CsPl_.djvu 3.8 MB
Algorithms/Dehmer M., Emmert-Streib F. (eds.) Analysis of Complex Networks.. From Biology to Linguistics (Wiley, 2009)(ISBN 3527323457)(O)(482s)_CsAl_.pdf 3.8 MB
Computer science/AI/Barr A., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 2 (Kaufmann, William Inc, 1981)(ISBN 9780865760066)(T)(440s)_CsAi_.djvu 3.8 MB
Computer science/AI/Rutkowski L. Computational Intelligence.. methods and techniques (Springer, 2008)(ISBN 3540762876)(600dpi)(T)(519s)_CsAi_.djvu 3.8 MB
Algorithms/Reingold E.M., Nievergelt J., Deo N. Combinatorial algorithms (PH, 1977)(ISBN 013152447X)(600dpi)(T)(444s)_CsAl_.djvu 3.8 MB
Computer science/AI/Saitta L., Giordana A., Cornuejols A. Phase transitions in machine learning (CUP, 2011)(ISBN 0521763916)(O)(401s)_CsAi_.pdf 3.8 MB
Computer science/AI/Konar A. Artificial intelligence and soft computing (CRC, 2000)(ISBN 9780849313851)(O)(788s)_CsAi_.pdf 3.8 MB
Algorithms/Gajski D.D., Abdi S., Gerstlauer A., Schirner G. Embedded System Design (Springer, 2009)(ISBN 1441905030)(O)(366s)_CsAl_.pdf 3.8 MB
Programming languages/Loukides, Oram. Programming with GNU software (O'Reilly, 1996)(ISBN 1565921127)(T)(C)(263s).djvu 3.8 MB
Computer science/AI/Sutton R.S., Barto A.G. Reinforcement learning (MIT, 1998)(ISBN 0262193981)_CsAi_.chm 3.8 MB
Algorithms/Friedl J.E.F. Regulaere Ausdruecke (2ed., O'Reilly, 2008)(de)(ISBN 3897217201)(T)(554s)_CsAl_.djvu 3.8 MB
Programming languages/Lisp/Steele G. Common LISP. The Language (2ed., Digital Press, 1990)(ISBN 1555580416)(1097s)_CsPl_.pdf 3.8 MB
Programming languages/Python/Langtangen H.P. A Primer on Scientific Programming with Python (2ed., Springer, 2011)(ISBN 9783642183652)(O)(736s)_CsPl_.pdf 3.8 MB
Computer science/Mullen G.L., Shiue P.J-S. (eds.) Finite fields, coding theory, and advances in communications and computing (M.Dekker, 1993)(ISBN 0824788052)(400dpi)(T)(439s)_Cs_.djvu 3.7 MB
Formal methods/Amadio R., Curien P.L. Domains and Lambda-calculi (draft, 1996)(ISBN 0521622778)(536s)_Cs_.pdf 3.7 MB
Algorithms/Hromkovic J. Algorithmics for hard computing problems (no p.14-15)(Springer, 2001)(ISBN 3540668608)(400dpi)(T)(502s)_CsAl_.djvu 3.7 MB
Computer science/Bardini T. Bootstrapping.. Douglas Engelbart, Coevolution, and origins of personal computing (Stanford 2000)(ISBN 0804738718)(600dpi)(T)(309s)_Cs_.djvu 3.7 MB
Algorithms/Binstock A., Rex J. Practical algorithms for programmers (AW, 1995)(ISBN 020163208X)(600dpi)(T)(585s)_CsAl_.djvu 3.7 MB
Programming languages/Prolog/Maier D., Warren D.S. Computing With Logic.. Logic Programming With Prolog (AW, 1988)(ISBN 9780805366815)(600dpi)(T)(559s)_CsPl_.djvu 3.7 MB
Algorithms/Ivanyi A. (ed.) Algorithms of informatics, Vol.1.. Foundations (Kiado, 2007)(ISBN 9638759607)(579s)_CsAl_.pdf 3.7 MB
Computer science/AI/Schwab B. AI game engine programming (2ed., Cengage, 2009)(ISBN 1584505729)(O)(741s)_CsAi_.pdf 3.7 MB
Algorithms/Advances in Computers, Vol.46, The Engineering of Large Systems (Elsevier, 1998)(ISBN 9780120121465)(T)(484s)_CsAl_.djvu 3.7 MB
Natural language/Partee B.H., Meulen A.T., Wall R.E. Mathematical methods in linguistics (Kluwer, 1990)(ISBN 9027722447)(T)(O)(686s)_LF_.djvu 3.7 MB
Natural language/Gazdar G., Mellish C. Natural Language Processing in Prolog.. An Introduction to Computational Linguistics (AW, 1989)(ISBN 9780201180534)(600dpi)(T)(523s)_CsAi_.djvu 3.7 MB
TeX/Graetzer G. Math into LaTeX (Birkhauser, 1996)(ISBN 0817638059)(600dpi)(T)(479s)_ST_.djvu 3.7 MB
Natural language/Dowty D.R., Karttunen L., Zwicky A.M. Natural Language Parsing.. Psychological, Computational, and Theoretical Perspectives (CUP, 1985)(ISBN 9780521262033)(600dpi)(T)(428s)_CsAi_.djvu 3.7 MB
TeX/Knuth D. The TeXbook (draft, AW, 1991)(600dpi)(T)(ISBN 0201134470)(494s)_ST_.djvu 3.7 MB
Computer science/Computability/Calude C. Information and randomness.. An algorithmic perspective (2ed., Springer, 2002)(ISBN 3540434666)(600dpi)(T)(487s)_CsNp_.djvu 3.7 MB
TeX/TeX82 program code documentation(400dpi)(T)(535s).djvu 3.7 MB
Algorithms/Pearl J. Heuristics (1984)(600dpi)(T)(401s)_CsAl_.djvu 3.7 MB
Algorithms/Gonnet G.H., Baeza-Yates R. Handbook of algorithms and data structures (no p.232-234,238-239)(2ed., AW, 1991)(T)(ISBN 0201416077)(433s)_CsAl_.djvu 3.7 MB
Programming languages/Lieberherr K. Adaptive object-oriented software.. the Demeter method (1996)(400dpi)(T)(651s).djvu 3.7 MB
Computer science/Computability/Davis M., Sigal R., Weyuker E. Computability, complexity, and languages.. Fundamentals of theoretical computer science (2ed., AP, 1994)(ISBN 0122063821)(600dpi)(T)(O)(628s)_CsNp_.djvu 3.6 MB
Computer science/AI/Holden T. Knowledge Based CAD and Microelectronics (Elsevier, 1987)(ISBN 0444701508)(600dpi)(T)(241s)_CsAi_.djvu 3.6 MB
Algorithms/Arndt J. Matters Computational.. Ideas, Algorithms, Source Code (Springer, 2010)(ISBN 3642147631)(O)(981s)_CsAl_.pdf 3.6 MB
Algorithms/Advances in Computers, Vol.09 (Elsevier, 1968)(ISBN 9780120121090)(T)(O)(381s)_CsAl_.djvu 3.6 MB
Programming languages/Lift in Action - Perrett - Manning (2011)-o.pdf 3.6 MB
Algorithms/Kreher D.L., Stinson D.R. Combinatorial algorithms. Generation, enumeration, and search (CRC,1999)(K)(T)(ISBN 084933988X)(340s).djvu 3.6 MB
Computer science/AI/Mohammadian, Sarker, Yao. Computational intelligence in control (2003)(T)(C)(ISBN 1591400376)(348s).djvu 3.6 MB
Formal methods/Harary F., et al. Structural Models.. An Introduction to the Theory of Directed Graphs (Wiley, 1966)(ISBN 047135130X)(600dpi)(K)(T)(426s)_CsAl_.djvu 3.6 MB
Algorithms/Advances in Computers, Vol.37 (Elsevier, 1993)(ISBN 9780120121373)(T)(O)(469s)_CsAl_.djvu 3.6 MB
Computer science/Computability/Jones N.D. Computability and complexity from a programming perspective (MIT, 1997)(ISBN 0262100649)(T)(457s)_CsNp_.djvu 3.6 MB
Formal methods/Sampaio A. An algebraic approach to compiler design (phd thesis, report PRG-110, Oxford, 1993)(600dpi)(T)(167s)_CsAl_.djvu 3.6 MB
Formal methods/Dastani M., Hindriks K.V., Meyer J.C. (eds.) Specification and Verification of Multi-agent Systems (Springer, 2011)(ISBN 9781441969842)(O)(416s)_CsAl_.pdf 3.6 MB
Programming languages/Haskell/Thompson S. Haskell.. the art of functional programming (2ed., AW, 1999)(KA)(T)(504s).djvu 3.5 MB
Formal methods/Alexander M., Gardner W. Process algebra for parallel and distributed processing (CRC, 2009)(ISBN 142006486X)(440s)_CsAl_.pdf 3.5 MB
Algorithms/Advances in Computers, Vol.75, Computer performance issues (AP, 2009)(ISBN 9780123748102)(O)(351s)_CsAl_.pdf 3.5 MB
Algorithms/Advances in Computers, Vol.48, Distributed Information Resources (Elsevier, 1999)(ISBN 9780120121489)(T)(O)(401s)_CsAl_.djvu 3.5 MB
Algorithms/Holmes J. Object-Oriented Compiler Construction (PH, 1994)(ISBN 9780136307402)(600dpi)(T)(494s)_CsAl_.djvu 3.5 MB
Programming languages/Petricek T., Skeet J. Functional Programming for the Real World.. With Examples in F# and C# (Manning Publications, 2009)(ISBN 9781933988924)(O)(495s)_CsPl_.pdf 3.5 MB
Computer science/Computability/Griffor E.R. (ed.) Handbook of computability theory (Elsevier, 1999)(ISBN 0444898824)(T)(710s)_CsNp_.djvu 3.5 MB
Computer science/Computability/Sipser M. Introduction to the theory of computation (PWS, 1997)(ISBN 053494728X)(K)(T)(410s)_CsNp_.djvu 3.5 MB
Programming languages/Python/Beginning Python (Wiley, 2005)(ISBN 0764596543)(679s)_CsPl_.pdf 3.5 MB
Algorithms/McKeeman W.M., Horning J.J., Wortman D.B. A compiler generator (PH, 1971)(ISBN 9780131550773)(600dpi)(K)(T)(540s)_CsAl_.djvu 3.5 MB
Natural language/Gazdar G., Mellish C. Natural Language Processing in Lisp.. An Introduction to Computational Linguistics (AW, 1989)(ISBN 0201178257)(600dpi)(T)(543s)_CsAi_.djvu 3.5 MB
Algorithms/Advances in Computers, Vol.25 (AP, 1986)(ISBN 9780120121250)(T)(419s)_CsAl_.djvu 3.5 MB
Computer science/AI/Sugihara K. Machine interpretation of line drawings (MIT, 1986)(ISBN 0262192543)(237s)_CsAi_.pdf 3.5 MB
Computer science/Computability/Arora S., Barak B. Computational complexity.. A modern approach (web draft, 2007)(489s)_CsNp_.pdf 3.5 MB
Algorithms/Advances in Computers, Vol.11 (Elsevier, 1971)(ISBN 9780120121113)(T)(O)(423s)_CsAl_.djvu 3.5 MB
Algorithms/Chu. Speech Coding Algorithms.. Foundation and Evolution of Standardized Coders (Wiley,2003)(ISBN 0471373125)(578s).pdf 3.5 MB
Computer science/AI/Ballard D.H. An Introduction to Natural Computation (MIT, 1999)(ISBN 0262024209)_CsAi_.chm 3.5 MB
Computer science/AI/Pedrycz W., Gomide F. An Introduction to Fuzzy Sets.. Analysis and Design (MIT, 1998)(ISBN 0262161710)_CsAi_.chm 3.5 MB
Algorithms/Advances in Computers, Vol.21 (AP, 1982)(ISBN 9780120121212)(T)(458s)_CsAl_.djvu 3.4 MB
Algorithms/Harris S., Ross J. Beginning algorithms (Wiley, 2006)(ISBN 9780764596742)(591s)_CsAl_.pdf 3.4 MB
Computer science/Computability/Wegener I. Branching programs and binary decision diagrams (SIAM, 2000)(ISBN 0898714583)(T)(O)(419s)_CsNp_.djvu 3.4 MB
TeX/Syropoulos A., Tsolomitis A., Sofroniou N. Digital typography using LaTeX (Springer, 2003)(T)(527s).djvu 3.4 MB
Algorithms/Sedgewick. Algorithms (AW, 1983)(T)(560s)_CsAl_.djvu 3.4 MB
Algorithms/Parhami B. Introduction to parallel processing.. algorithms and architectures (Kluwer, 2002)(557s).pdf.gz 3.4 MB
Algorithms/Advances in Computers, Vol.76, Social networking and the web (AP, 2009)(ISBN 9780123748119)(O)(356s)_CsAl_.pdf 3.4 MB
Natural language/Bird S., Klein E., Loper E. Natural Language Processing with Python (O'Reilly, 2009)(ISBN 9780596516499)(O)(504s)_CsAi_.pdf 3.4 MB
Algorithms/Zezula P., Amato G., Dohnal V., Batko M. Similarity search.. the metric space approach (ADBS32, Springer, 2006)(ISBN 0387291466)(600dpi)(K)(T)(O)(C)(239s)_CsAl_.djvu 3.4 MB
Formal methods/Gill A. Linejnye posledovatel'nostnye mashiny(Nauka, 1974)(600dpi)(T)(288s)(KA)(ru)_CsAl_.djvu 3.4 MB
Algorithms/Advances in Computers, Vol.59 (AP, 2003)(ISBN 9780120121595)(O)(308s)_CsAl_.pdf 3.4 MB
Computer science/AI/Fu K.S., et al. (eds.) Digital pattern recognition (Springer, 1976)(ISBN 0387075119)(600dpi)(T)(217s)_CsAi_.djvu 3.4 MB
Algorithms/Jungnickel D. Graphs, Networks and Algorithms (3ed., Springer, 2007)(ISBN 3540727795)(655s)_CsAl_.pdf 3.4 MB
Algorithms/Nayak A., Stojmenovic I. (eds.) Handbook of applied algorithms.. solving scientific, engineering, and practical problems (Wiley, 2008)(ISBN 0470044926)(O)(572s)_CsAl_.pdf 3.4 MB
Algorithms/Aizerman M.A., et al. Logic, automata, and algorithms (AP, 1971)(ISBN 0120463504)(T)(O)(444s)_CsAl_.djvu 3.4 MB
Computer science/AI/Steinwart I., Christmann A. Support vector machines (Springer, 2008)(ISBN 0387772413)(O)(611s)_CsAi_.pdf 3.4 MB
Algorithms/Bunt H., Tomita M. (eds.) Recent advances in parsing technology (Kluwer, 1996)(ISBN 079234152X)(600dpi)(T)(433s)_CsAl_.djvu 3.4 MB
Formal methods/Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(T)(533s).djvu 3.4 MB
Computer science/Computability/Moret B. The theory of computation (AW, 1998)(ISBN 0201258285)(T)(471s)_CsNp_.djvu 3.4 MB
Algorithms/Nayak A., Stojmenovic I. (eds.) Handbook of applied algorithms.. solving scientific, engineering, and practical problems (Wiley, 2008)(ISBN 0470044926)(571s)_CsAl_.pdf 3.4 MB
Programming languages/Java/Lindsey C.S., Tolliver J.S., Lindblad T. JavaTech (CUP, 2005)(ISBN 0521821134)(729s)_CsPl_.pdf 3.4 MB
Computer science/Computability/Du Ding-Zhu, Ko Ker-I. Problem solving in automata, languages and complexity (Wiley, 2001)(ISBN 0471439606)(T)(401s).djvu 3.4 MB
Algorithms/Astola J., Stankovic R. Fundamentals of switching theory and logic design (Springer, 2006)(ISBN 0387285938)(351s)_CsAl_.pdf 3.4 MB
Algorithms/Advances in Computers, Vol.78.. Improving the Web (AP, 2010)(ISBN 9780123810199)(O)(354s)_CsAl_.pdf 3.4 MB
Programming languages/Prolog/Van Le T. Techniques of PROLOG Programming.. with Implementation of Logical Negation and Quantified Goals (Wiley, 1993)(ISBN 0471599700)(600dpi)(T)(621s)_CsPl_.djvu 3.3 MB
Programming languages/Python/Preiss B.R. Data structures and algorithms in Python (2004).chm 3.3 MB
Algorithms/Marriott K., Stuckey P.J. Programming with Constraints.. An Introduction (MIT, 1998)(ISBN 0262133415)(600dpi)(T)(O)(482s)_CsAl_.djvu 3.3 MB
Algorithms/McKenney P.E. Is parallel programming hard, and if so, what can you do about it (free web version draft 2011-05-30, 2011)(588s)_CsAl_.pdf 3.3 MB
Bash/Apress.Pro.Bash.Programming.Scripting.the.GNU.Linux.Shell.Oct.2009-o.pdf 3.3 MB
Computer science/Turing A., Copeland J. (ed.) The essential Turing. Seminal writings in computing, logic, philosophy, AI (OUP, 2004)(ISBN 0198250800)(622s)_Cs_.pdf 3.3 MB
Programming languages/Haskell/Hudak P. The Haskell school of expression (CUP, 2000)(ISBN 0521643384)(K)(600dpi)(T)(382s)_CsAl_.djvu 3.3 MB
Algorithms/Advances in Computers, Vol.34 (Elsevier, 1992)(ISBN 9780120121342)(T)(O)(433s)_CsAl_.djvu 3.3 MB
Algorithms/Advances in Computers, Vol.27 (Elsevier, 1988)(ISBN 9780120121274)(T)(O)(495s)_CsAl_.djvu 3.3 MB
Formal methods/McNaughton R. Elementary computability, formal languages, and automata (PH, 1982)(ISBN 0132535009)(600dpi)(T)(O)(417s)_Cs_.djvu 3.3 MB
Algorithms/Yovits M.C. (ed.) Advances in computers. Vol. 34 (AP, 1992)(ISBN 0120121344)(T)(433s)_CsAl_.djvu 3.3 MB
Computer science/Computability/Goldreich O. Computational complexity.. A conceptual perspective (CUP, 2008)(ISBN 052188473X)(632s)_CsNp_.pdf 3.3 MB
Programming languages/Lisp/Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(600dpi)(T)(O)(532s)_CsPl_.djvu 3.3 MB
Programming languages/C++/Stroustrup B. The Design and Evolution of C++ (AW, 1994)(ISBN 0201543303)(600dpi)(T)(O)(472s)_CsPl_.djvu 3.3 MB
Formal methods/Deville Y. Logic Programming.. Systematic Program Development (AW, 1990)(ISBN 9780201175769)(600dpi)(T)(358s)_CsAl_.djvu 3.3 MB
Algorithms/Advances in Computers, Vol.36 (Elsevier, 1993)(ISBN 9780120121366)(T)(O)(479s)_CsAl_.djvu 3.3 MB
Natural language/Delmonte R. Computational linguistic text processing.. lexicon, grammar, parsing, and anaphora resolution (Nova, 2008)(ISBN 9781604567496)(600dpi)(T)(401s)_CsNl_.djvu 3.3 MB
Programming languages/Yourdon E.N. (ed.) Classics in software engineering (Yourdon Press, 1979)(ISBN 0917072146)(600dpi)(T)(433s)_CsPl_.djvu 3.3 MB
Programming languages/Reynolds J.C. Theories of programming languages (CUP, 1998)(ISBN 0521594146)(O)(T)(S)(513s)_CsPl_.djvu 3.2 MB
Algorithms/Ladner R.E. (ed.) Proceedings of the 5th Workshop on Algorithm Engineering (SIAM, 2003)(ISBN 0898715423)(T)(O)(156s)_CsAl_.djvu 3.2 MB
Algorithms/Advances in Computers, Vol.58.. Highly Dependable Software (AP, 2003)(ISBN 9780120121588)(O)(373s)_CsAl_.pdf 3.2 MB
Algorithms/Advances in Computers, Vol.65 (Elsevier, 2005)(ISBN 9780120121656)(447s)_CsAl_.pdf 3.2 MB
Algorithms/Watt D.A., Brown D.F. Programming language processors in Java.. compilers and interpreters (PH, 2000)(ISBN 0130257869)(T)(438s)_CsAl_.djvu 3.2 MB
Computer science/Computability/Hein J. Theory of Computation. An Introduction (JaBP, 1996)(ISBN 0867204974)(600dpi)(T)(628s)_CsNp_.djvu 3.2 MB
Algorithms/Jungnickel D. Graphs, Networks and Algorithms (2ed., Springer, 2005)(ISBN 3540219056)(615s)_CsAl_.pdf 3.2 MB
Algorithms/Cousineau G., Mauny M. The functional approach to programming (CUP, 1998)(ISBN 0521576814)(KA)(T)(447s)_CsAl_.djvu 3.2 MB
Programming languages/C++/Roberge, Brandle, Whittington. A laboratory course in C++ data structures (2ed., 2003)(ISBN 0763719765)(600dpi)(T)(C)(381s)_CsPl_.djvu 3.2 MB
Programming languages/Fortran/Adams J.C., et al. The Fortran 2003 Handbook (Springer, 2008)(ISBN 1846283787)(713s)_CsPl_.pdf 3.2 MB
Computer science/AI/Barr A., Feigenbaum E.A. (eds.) Handbook of Artificial Intelligence, Volume 1 (Kaufmann, William Inc, 1981)(ISBN 9780865760059)(599dpi)(T)(421s)_CsAi_.djvu 3.2 MB
Algorithms/Randell B., Russell L.J. ALGOL 60 implementation (AP, 1964)(ASIN B0006AYZGE)(600dpi)(T)(431s)_CsAl_.djvu 3.2 MB
Algorithms/Advances in Computers, Vol.45, Emphasizing Parallel Programming Techniques (Elsevier, 1997)(ISBN 9780120121458)(T)(O)(403s)_CsAl_.djvu 3.2 MB
Computer science/Sudkamp T. Languages and machines.. An introduction to the theory of computer science (2ed., AW, 1997)(ISBN 0201821362)(T)(574s)_Cs_.djvu 3.2 MB
Algorithms/Fomin F.V., Kratsch D. Exact exponential algorithms (Springer, 2010)(ISBN 364216532X)(O)(218s)_CsAl_.pdf 3.2 MB
Natural language/Matthews C. An Introduction to Natural Language Processing Through Prolog (AW, 1998)(ISBN 9780582066229)(600dpi)(T)(O)(312s)_CsAi_.djvu 3.2 MB
Algorithms/Arndt J. Matters computational (algorithms for programmers)(free web version, 2010)(O)(978s)_CsAl_.pdf 3.2 MB
Programming languages/Gamma E., Helm R., Johnson R., Vlissides J.M. Design Patterns.. Elements of Reusable Object-Oriented Software (AW, 1994)(ISBN 0201633612)(T)(O)(417s)_CsPl_.djvu 3.2 MB
Natural language/Marchuk Yu.N. Kompyuternaya lingvistika (AST, 2007)(ru)(ISBN 5170394802)(K)(T)(319s)_L_.djvu 3.2 MB
Computer science/AI/Bertot Y., et al. (eds.) Interactive Theorem Proving and Program Development (Springer, 2004)(ISBN 3540208542)(600dpi)(T)(O)(497s)_CsAi_.djvu 3.2 MB
Programming languages/Rosenberg. How debuggers work(T)(C)(263s).djvu 3.2 MB
Computer science/Computability/Cooper S.B. Computability theory (CRC, 2004)(ISBN 1584882379)(K)(600dpi)(T)(421s)_CsNp_.djvu 3.2 MB
Computer science/Computability/Feynman et al. Lectures on computation (1996)(T)(ISBN 0201489910)(324s).djvu 3.2 MB
Algorithms/Mahmoud H.M. Sorting.. a distribution theory (Wiley, 2000)(T)(ISBN 0471327107)(405s)_CsAl_.djvu 3.2 MB
Algorithms/Bunt H., Carroll J., Satta G. (eds.) New Developments in Parsing Technology (Springer, 2004)(ISBN 140202293X)(400dpi)(T)(407s)_CsAl_.djvu 3.2 MB
Natural language/Zoeppritz M. Syntax for German in the User Specialty Languages system (Niemeyer, 1984)(ISBN 3484319097)(600dpi)(T)(384s)_CsAi_.djvu 3.2 MB
Algorithms/Advances in Computers, Vol.34 (AP, 1992)(ISBN 0120121344)(T)(433s)_CsAl_.djvu 3.1 MB
Algorithms/Felleisen M., Findler R.B., Flatt M., Krishnamurthi S. How to design programs.. an introduction to computing and programming (using Scheme)(MIT press, free web version, 2002)(565s).pdf.gz 3.1 MB
Algorithms/Adamek J., Trnkova V. Automata and Algebras in Categories (Kluwer, 1990)(ISBN 0792300106)(K)(T)(489s)_CsAl_.djvu 3.1 MB
Programming languages/Pierce B.C. (ed.) Advanced Topics in Types and Programming Languages (MIT, 2004)(ISBN 9780262162289)(O)(589s)_CsPl_.pdf 3.1 MB
Computer science/Computability/Arora S., Barak B. Computational complexity.. A modern approach (CUP, 2009)(ISBN 0521424267)(605s)_CsNp_.pdf 3.1 MB
Computer science/Gyllenberg M., Persson L.E. (eds.) Analysis, algebra, and computers in mathematical research (M.Dekker, 1994)(ISBN 0824792173)(400dpi)(T)(403s)_Cs_.djvu 3.1 MB
Computer science/Hiltzik M.A. Dealers of Lightning.. Xerox PARC and the Dawn of the Computer Age (HarperBusiness, 1999)(ISBN 9780887308918)(600dpi)(T)(475s)_CsPop_.djvu 3.1 MB
Algorithms/Ehrig, Prange, Taentzer. Fundamentals of algebraic graph transformation (Springer, 2006)(ISBN 3540311874)(373s)_CsAl_.pdf 3.1 MB
Computer science/AI/Smola A.J., et al. (eds.) Advances in large margin classifiers (MIT, 2000)(ISBN 0262194481)(600dpi)(T)(O)(423s)_CsAi_.djvu 3.1 MB
Computer science/Computability/Singh A. Elements of computation theory (Springer, 2009)(ISBN 1848824963)(429s)_CsNp_.pdf 3.1 MB
TeX/Lamport L. LaTeX, a document preparation system (2ed., AW, 1995)(150dpi)(T)(279s)_ST_.djvu 3.1 MB
Formal methods/Manna Z. Mathematical theory of computation (McGH, 1974)(ISBN 0070399107)(600dpi)(T)(O)(459s)_CsAl_.djvu 3.1 MB
Algorithms/Boissonnat J.D., Yvinet M. Algorithmic Geometry (CUP, 1998)(L)(T)(272s).djvu 3.1 MB
Computer science/AI/Schoelkopf B., Burges C.J.C., Smola A.J. (eds.) Advances in Kernel Methods.. Support Vector Learning (MIT, 1999)(ISBN 0262194163)_CsAi_.chm 3.1 MB
Computer science/Computability/Salomaa A. Computation and automata (CUP 1985)(T)(ISBN 0521302455)(290s).djvu 3.1 MB
Formal methods/Carroll J., Long D. Theory of finite automata (PH, 1989)(ISBN 0139137084)(T)(447s)_CsAl_.djvu 3.1 MB
Natural language/Delmonte R. Computational linguistic text processing.. logical form, semantic interpretation, discourse relations and question answering (Nova, 2007)(ISBN 1600217001)(600dpi)(T)(381s)_CsNl_.djvu 3.1 MB
Algorithms/Advances in Computers, Vol.26 (Elsevier, 1987)(ISBN 9780120121267)(T)(O)(489s)_CsAl_.djvu 3.1 MB
Programming languages/Brooks D.R. An Introduction to HTML and JavaScript for Scientists and Engineers (Springer, 2007)(ISBN 1846286565)(O)(207s)_CsPl_.pdf 3.1 MB
Algorithms/Advances in Computers, Vol.63, Parallel, Distributed, and Pervasive Computing (Elsevier, 2005)(ISBN 9780120121632)(O)(312s)_CsAl_.pdf 3.1 MB
Algorithms/Advances in Computers, Vol.49 (AP, 1999)(ISBN 0120121492)(T)(401s)_CsAl_.djvu 3.1 MB
Programming languages/Curien P.-L. Categorical combinators, sequential algorithms, and functional programming (Birkhauser, 1993)(ISBN 3764336544)(600dpi)(T)(424s)_CsPl_.djvu 3.1 MB
TeX/Flynn P. Formatting information.. a beginner's introduction to Latex (free version, 2005)(275s)_ST_.pdf 3.1 MB
Computer science/Computability/Garey M.R., Johnson D.S. Computer and intractability.. a guide to the theory of NP-completeness (1979)(L)(T)(ISBN 0716710447)(175s).djvu 3.1 MB
Databases/Date C.J. An introduction to database systems, vol.2 (AW, 1985)(ISBN 0201144743)(600dpi)(T)(400s)_CsAl_.djvu 3.1 MB
Computer science/AI/Gordon M.J.C., Melham T.F. Introduction to HOL.. A Theorem-Proving Environment for Higher-Order Logic (CUP, 1993)(ISBN 9780521441896)(600dpi)(T)(493s)_CsAi_.djvu 3.1 MB
Algorithms/Skiena S. The algorithm design manual (2ed., Springer, 2008)(ISBN 9781848000698)(O)(739s)_CsAl_.pdf 3.1 MB
Computer science/Computability/Du D.Z., Ko K.I., Hu X. Design and analysis of approximation algorithms (Springer, 2012)(ISBN 9781461417002)(O)(450s)_CsNp_.pdf 3.1 MB
Programming languages/Python/Gupta R. Making use of Python (Wiley, 2002)(ISBN 0471219754)(416s)_CsPl_.pdf 3.0 MB
Programming languages/Erlang/Cesarini F., Thompson S. Erlang programming (O'Reilly, 2009)(ISBN 9780596518189)(O)(496s)_CsPl_.pdf 3.0 MB
Algorithms/Kulisch U. Computer arithmetic and validity.. Theory, implementation, and applications (De Gruyter, 2008)(ISBN 3110203189)(429s)_CsAl_.pdf 3.0 MB
Programming languages/Metsker S.J. Building Parsers With Java (AW, 2001)(ISBN 9780201719628).chm 3.0 MB
Algorithms/Advances in Computers, Vol.31 (Elsevier, 1990)(ISBN 9780120121311)(T)(O)(417s)_CsAl_.djvu 3.0 MB
Computer science/Computability/Chazelle B. The discrepancy method. Randomness and complexity (draft, 2001)(O)(497s)_CsNp_.pdf 3.0 MB
Formal methods/Liskov B., Guttag J. Abstraction and specification in program development (2pr., MIT, MGH, 1987)(ISBN 0262121123)(600dpi)(T)(486s)_CsAl_.djvu 3.0 MB
Algorithms/Advances in Computers, Vol.56 (Elsevier, 2002)(ISBN 9780120121564)(T)(O)(417s)_CsAl_.djvu 3.0 MB
Algorithms/Wirth N. Algorithms + data structures=programs (PH, 1976)(ISBN 0130224189)(600dpi)(T)(381s)_CsAl_.djvu 3.0 MB
Programming languages/Prolog/Covington M.A., Nute D., Vellino A. Prolog programming in depth (PH, 1996)(ISBN 9780131386457)(400dpi)(T)(528s)_CsPl_.djvu 3.0 MB
Algorithms/Schoenhage A., et al. Fast algorithms.. a multitape Turing machine implementation. With errata (B.I. Wissenschaftsverlag, 1994)(ISBN 3411168919)(600dpi)(K)(T)(311s)_CsAl_.djvu 3.0 MB
Algorithms/Advances in Computers, Vol.52, 40th Anniversary Volume, Advancing Into the 21st Century (Elsevier, 2000)(ISBN 9780120121526)(T)(O)(425s)_CsAl_.djvu 3.0 MB
Natural language/Alvarado S.J. Understanding editorial text.. a computer model of argument comprehension (Kluwer, 1990)(ISBN 0792391233)(600dpi)(T)(326s)_CsAi_.djvu 3.0 MB
Algorithms/Astfalk G. (ed.) Applications on advanced architecture computers (SIAM, 1996)(ISBN 0898713684)(T)(O)(378s)_CsAl_.djvu 3.0 MB
Formal methods/Bergstra J.A., Heering J. Algebraic Specification (ACM, 1989)(ISBN 9780201416350)(600dpi)(T)(413s)_CsAl_.djvu 3.0 MB
Algorithms/Advances in Computers, Vol.24 (Elsevier, 1985)(ISBN 9780120121243)(T)(O)(415s)_CsAl_.djvu 3.0 MB
Programming languages/Python/Telles M. Python power. The comprehensive guide (Thomson, 2008)(ISBN 1598631586)(O)(529s)_CsPl_.pdf 3.0 MB
Algorithms/Advances in Computers, Vol.05 (AP, 1965)(ISBN 0120121050)(T)(415s)_CsAl_.djvu 3.0 MB
Algorithms/Advances in Computers, Vol.35 (Elsevier, 1992)(ISBN 9780120121359)(T)(O)(415s)_CsAl_.djvu 3.0 MB
Algorithms/Akl S.G. The design and analysis of parallel algorithms (PH, 1989)(ISBN 0132000563)(T)(415s)_CsAl_.djvu 3.0 MB
Algorithms/McGeoch C.C. Experimental analysis of algorithms (thesis)(1986)(T)(161s)_CsAl_.djvu 3.0 MB
Computer science/Computability/Gurari. Introduction to theory of computation (1989)(html).zip 3.0 MB
Computer science/AI/Boden M.A. Artificial Intelligence (AP, 1996)(ISBN 9780121619640)(T)(O)(395s)_CsAi_.djvu 3.0 MB
Programming languages/C++/Logan S. Cross platform development in C++ (AW, 2008)(O)(ISBN 032124642X)(575s)_CsPl_.pdf 3.0 MB
Computer science/Computability/Garey M.R., Johnson D.S. Computer and intractability.. a guide to the theory of NP-completeness (1979)(ISBN 0716710447)(600dpi)(T)(O)(351s)_CsNp_.djvu 2.9 MB
Algorithms/Dromey R.G. How to Solve it By Computer (PH, 1982)(ISBN 0134339959)(600dpi)(T)(O)(463s)_CsAl_.djvu 2.9 MB
Natural language/Holmes J., Holmes W. Speech synthesis and recognition (2ed., Taylor & Francis, 2001)(ISBN 0748408576)(317s)_CsAi_.pdf 2.9 MB
Computer science/Computability/Lewis H.R., Papadimitriou C.H. Elements of the Theory of Computation (2ed., PH, 1998)(ISBN 0132624788)(K)(T)(375s)_CsNp_.djvu 2.9 MB
Programming languages/Prolog/Covington M.A., Nute D., Vellino A. Prolog programming in depth (PH, 1996)(ISBN 013138645X)(KA)(400dpi)(T)(528s)_CsPl_.djvu 2.9 MB
Algorithms/Truemper K. Effective logic computation (Leibniz, 2010)(ISBN 0966355466)(O)(491s)_CsAl_.pdf 2.9 MB
Computer science/AI/Smets P., Mamdani E.H., Dubois D., Prade H. Non-Standard Logics for Automated Reasoning (AP, 1988)(ISBN 9780126495201)(600dpi)(T)(344s)_CsAi_.djvu 2.9 MB
Algorithms/Peleg D. Distributed computing (SIAM, 2000)(ISBN 0898714648)(T)(O)(360s)_CsAl_.djvu 2.9 MB
Programming languages/Python/Goerzen J. Foundations of Python network programming (APress, 2004)(KA)(T)(ISBN 1590593715)(538s)_CsPl_.djvu 2.9 MB
Programming languages/Lewis D.W. Fundamentals of embedded software.. where C and Assembly meet (PH, 2001)(ISBN 0130615897)(KA)(T)(280s)_CsPl_.djvu 2.9 MB
Computer science/Computability/Du D.Z., Ko K.I., Hu X. Design and analysis of approximation algorithms (Springer, 2012)(ISBN 9781461417002)(O)(453s)_CsNp_.pdf 2.9 MB
Algorithms/Advances in Computers, Vol.50, Cumulative Subject and Author Indexes for Vols.1-49, Part I (AP, 1999)(ISBN 9780120121502)(T)(423s)_CsAl_.djvu 2.9 MB
Programming languages/Fortran/Metcalf, Reid. Fortran 90,95 explained (Oxford, 1999)(400dpi)(ISBN 0198505582)(T)(355s).djvu 2.9 MB
Algorithms/Langville A.N., Meyer C.D. Google's PageRank and beyond (PUP, 2006)(ISBN 0691122024)(T)(600dpi)(233s)_CsAl_.djvu 2.9 MB
Algorithms/Advances in Computers, Vol.44 (Elsevier, 1997)(ISBN 9780120121441)(T)(O)(417s)_CsAl_.djvu 2.9 MB
Programming languages/Prolog/Shapiro E., Sterling L. The art of Prolog (2ed., MIT, 1999)(K)(T)(ISBN 0262193388)(550s)_CsPl_.djvu 2.8 MB
Computer science/AI/Vijaya Kumar B.V.K., Mahalanobis A., Juday R.D. Correlation Pattern Recognition (CUP, 2005)(ISBN 0521571030)(O)(404s)_CsAi_.pdf 2.8 MB
Programming languages/Williams J.H., Fisher D.A. Design and Implementation of Programming Languages (LNCS0054, Springer, 1977)(ISBN 354008360X)(T)(506s)_CsPl_.djvu 2.8 MB
Programming languages/Python/Jones, Drake. Python and XML (OReilly, 2001)(T)(C)(ISBN 0596001282)(446s).djvu 2.8 MB
Computer science/Berkeley E.C. Giant brains, or Machines that think (Science Editions, 1961)(ASIN B000NSR5P2)(600dpi)(T)(309s)_Cs_.djvu 2.8 MB
TeX/Tracy W. Letters of Credit.. A View of Type Design (David R. Godine, 2003)(ISBN 9781567922400)(600dpi)(T)(222s)_ST_.djvu 2.8 MB
Algorithms/Advances in Computers, Vol.51, Index, Part II (Elsevier, 2000)(ISBN 9780120121519)(T)(O)(393s)_CsAl_.djvu 2.8 MB
Algorithms/Bunt H., Merlo P., Nivre J. Trends in Parsing Technology.. Dependency Parsing, Domain Adaptation, and Deep Parsing (Springer, 2010)(ISBN 9048193516)(O)(307s)_CsAl_.pdf 2.8 MB
Formal methods/Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems.. Specification (Springer, 1991)(ISBN 0387976647)(600dpi)(T)(443s)_CsAl_.djvu 2.8 MB
Programming languages/Python/Lessa A. Python Developer's Handbook (Sams Pub., 2000)(ISBN 0672319942)(O)(958s)_CsPl_.pdf 2.8 MB
Programming languages/C/Alcock D. Illustrating C (ANSI ISO version) (Rev.Ed., CUP, 1992)(ISBN 0521468213)(O)(T)(S)(225s)_CsPl_.djvu 2.8 MB
Algorithms/Langville A.N., Meyer C.D. Google's PageRank and beyond (PUP, 2006)(ISBN 0691122024)(600dpi)(T)(233s)_CsAl_.djvu 2.8 MB
Programming languages/Erlang/Armstrong J. Programming Erlang.. Software for a Concurrent World (Pragmatic Bookshelf, 2007)(ISBN 9781934356005)(O)(526s)_CsPl_.pdf 2.8 MB
Computer science/AI/Williamson D., Shmoys D. The design of approximation algorithms (CUP, 2011)(ISBN 0521195276)(O)(502s)_CsAi_.pdf 2.8 MB
Formal methods/Dejkstra E'. (_Dijkstra_) Disciplina programmirovaniya (Mir, 1978)(ru)(600dpi)(T)(277s)_CsAl_.djvu 2.8 MB
Algorithms/Advances in Computers, Vol.62, Advances in Software Engineering (Elsevier, 2004)(ISBN 9780120121625)(O)(368s)_CsAl_.pdf 2.8 MB
Programming languages/Williams A. - CPP Concurrency in Action - 2012-o.pdf 2.8 MB
Natural language/Bunt H., Muskens R. (eds.) Computing meaning, vol.1 (Kluwer, 1999)(ISBN 0792361083)(600dpi)(T)(371s)_CsAi_.djvu 2.8 MB
Programming languages/ML/Ullman J.D. Elements of ML Programming, ML97 Edition (2ed., PH, 1998)(ISBN 0137903871)(600dpi)(T)(399s)_CsPl_.djvu 2.8 MB
TeX/Lamport L. LaTeX.. a document-preparation system (2ed., AW, 1994)(T)(ISBN 0201529831)(292s)_ST_.djvu 2.8 MB
Algorithms/Advances in Computers, Vol.10 (AP, 1971)(ISBN 0120121107)(T)(335s)_CsAl_.djvu 2.8 MB
Formal methods/Fencott C. Formal Methods for Concurrency (Thomson, 1996)(ISBN 1850321736)(600dpi)(T)(306s)_CsAl_.djvu 2.8 MB
Algorithms/Henderson P. Functional Programming Application and Implementation (PH, 1980)(ISBN 0133315797)(600dpi)(T)(O)(366s)_CsAl_.djvu 2.8 MB
Algorithms/Ito M., Paun G., Yu S. (eds.) Words, semigroups, transductions (WS, 2001)(ISBN 9810247397)(T)(O)(455s)_CsAl_.djvu 2.8 MB
Natural language/Dowty D.R., Karttunen L., Zwicky A.M. (eds.) Natural Language Parsing.. Psychological, Computational, and Theoretical Perspectives (CUP, 2005)(ISBN 9780521023108)(T)(428s)_CsAi_.djvu 2.8 MB
Algorithms/Kernighan B.W., Plauger P.J. Software tools in Pascal (AW, 1981)(ISBN 0201103427)(600dpi)(T)(375s)_CsAl_.djvu 2.8 MB
Programming languages/Odersky M., Spoon L., Venners B. Programming in Scala.. A Comprehensive Step-by-Step Guide (2ed., Artima Inc, 2011)(ISBN 0981531644)(O)(883s)_CsPl_.pdf 2.8 MB
Algorithms/Advances in Computers, Vol.06 (Elsevier, 1965)(ISBN 9780120121069)(T)(O)(327s)_CsAl_.djvu 2.8 MB
Programming languages/C/Kernighan B.W., Ritchie D.M. Programmieren in C (PH, 1988)(ISBN 013110330X)(de)(KA)(T)(300s)_CsPl_.djvu 2.7 MB
Programming languages/Knuth D.E. Literate Programming (CSLI, 1992)(ISBN 9780937073803)(600dpi)(T)(O)(384s)_CsPl_.djvu 2.7 MB
Programming languages/ML/Chailloux E., Manoury P., Pagano B. Developing Applications with Objective CAML (O'Reilly, 2000)(ISBN 9782841771219)(757s)_CsPl_.pdf 2.7 MB
Computer science/Computability/Boerger E., Staerk R. Abstract state machines.. A method for high-level system design and analysis (Springer 2003)(448s).pdf 2.7 MB
Algorithms/Arndt J. Algorithms for programmers.. ideas and source code (web draft, 19.01.2008)(938s)_CsAl_.pdf 2.7 MB
Algorithms/Sturm O. Functional Programming in C#.. Classic Programming Techniques for Modern Project (Wiley, 2011)(ISBN 0470744588)(600dpi)(T)(C)(O)(290s)_CsAl_.djvu 2.7 MB
Algorithms/Advances in Computers, Vol.73, Emerging Technologies (Elsevier, 2008)(ISBN 9780123744258)(307s)_CsAl_.pdf 2.7 MB
Algorithms/Advances in Computers, Vol.04 (Elsevier, 1963)(ISBN 9780120121045)(T)(O)(327s)_CsAl_.djvu 2.7 MB
Algorithms/Advances in Computers, Vol.67, Web Technology (Elsevier, 2006)(ISBN 9780120121670)(347s)_CsAl_.pdf 2.7 MB
Computer science/AI/Bushnell M. Design Automation (AP, 1988)(ISBN 9780121484002)(300dpi)(T)(483s)_CsAi_.djvu 2.7 MB
Computer science/Ghosh S., Turrini E. (eds.) Cybercrimes.. A multidisciplinary analysis (Springer, 2010)(ISBN 3642135463)(O)(435s)_Cs_.pdf 2.7 MB
Programming languages/Vladimir Kushnir Safe C++ How to avoid common mistakes 2012.epub 2.7 MB
Computer science/AI/Boyer R.S. (ed.) Automated reasoning.. essays in honor of W.Bledsoe (Kluwer, 1991)(ISBN 0792314093)(600dpi)(T)(379s)_CsAi_.djvu 2.7 MB
Programming languages/Iverson K. A Programming Language (Wiley, 1962)(ISBN 0471430145)(600dpi)(T)(303s)_CsPl_.djvu 2.7 MB
Algorithms/Advances in Computers, Vol.17 (Elsevier, 1978)(ISBN 9780120121175)(T)(O)(351s)_CsAl_.djvu 2.7 MB
Computer science/AI/Bhanu B., Lin Y., Krawiec K. Evolutionary synthesis of pattern recognition systems (Springer, 2005)(T)(ISBN 0387244522)(313s)_CsAi_.djvu 2.7 MB
Algorithms/Hansen P.B. Architecture of Concurrent Programs (PH, 1977)(ISBN 9780130446282)(600dpi)(T)(329s)_CsAl_.djvu 2.7 MB
Computer science/AI/Rasmussen C., Williams C. Gaussian Processes for Machine Learning(MIT, 2006)(ISBN 026218253X)(266s)_CsAi_.pdf 2.7 MB
Programming languages/Haskell/Thompson S. Haskell.. the art of functional programming (1ed., AW, 1996)(KA)(T)(502s).djvu 2.7 MB
Natural language/Blackburn P., Bos J. Representation and inference for natural language.. a first course in computational semantics (CSLI, 2005)(ISBN 1575864967)(600dpi)(T)(378s)_CsAi_.djvu 2.7 MB
Computer science/AI/Weiss G. (ed.) Multiagent systems.. a modern approach to distributed artificial intelligence (MIT, 1999)(585s).pdf.gz 2.7 MB
Algorithms/Tan K.H. Asymptotic analysis of the number of comparisons in multipartition quicksort (Ph.D. thesis, CMU, 1993)(600dpi)(T)(165s)_CsAl_.djvu 2.7 MB
Algorithms/Advances in Computers, Vol.03 (Elsevier, 1962)(ISBN 9780120121038)(T)(O)(376s)_CsAl_.djvu 2.7 MB
Algorithms/Advances in Computers, Vol.16 (Elsevier, 1977)(ISBN 9780120121168)(T)(O)(373s)_CsAl_.djvu 2.7 MB
Computer science/Computability/Epstein R.L., Carnielli W.A. Computability. Computable functions, logic, foundations of mathematics (3ed., ARF, 2008)(ISBN 098155072X)(400dpi)(T)(O)(378s)_CsNp_.djvu 2.7 MB
Natural language/Kao A., Poteet S.R. Natural Language Processing and Text Mining (Springer, 2006)(ISBN 9781846281754)(O)(272s)_CsAi_.pdf 2.7 MB
Natural language/Stabler E.P. The Logical Approach to Syntax.. Foundations, Specifications, and Implementation (MIT, 1993)(ISBN 0262193159)(600dpi)(T)(454s)_CsAi_.djvu 2.6 MB
Algorithms/Advances in Computers, Vol.29 (Elsevier, 1989)(ISBN 9780120121298)(T)(373s)_CsAl_.djvu 2.6 MB
Computer science/Computability/Epstein R.L., Carnielli W.A. Computability.. computable functions, logic, foundations of mathematics (3ed., Advanced Reasoning Forum, 2008)(ISBN 098155072X)(400dpi)(T)(377s)_CsNp_.djvu 2.6 MB
Algorithms/Gusfield D. Algorithms on strings, trees and sequences (CUP, 1997)(ISBN 0521585198)(KA)(T)(325s)_CsAl_.djvu 2.6 MB
Programming languages/Budd T. Multiparadigm Programming in Leda (AW, 1994)(ISBN 0201820803)(600dpi)(T)(412s)_CsPl_.djvu 2.6 MB
Programming languages/Griswold, Griswold. Implementation of the ICON programming language (2002)(400dpi)(L)(T)(ISBN 0691084319)(174s).djvu 2.6 MB
Algorithms/Advances in Computers, Vol.23 (Elsevier, 1984)(ISBN 9780120121236)(T)(O)(395s)_CsAl_.djvu 2.6 MB
Programming languages/Lisp/Winston P.H., Horn B. Lisp (AW, 1980)(ISBN 0201083299)(T)(435s)_CsPl_.djvu 2.6 MB
Natural language/Perkins J. Python Text Processing with NLTK 2.0 Cookbook (Packt Publishing, 2010)(ISBN 1849513600)(O)(272s)_S_.pdf 2.6 MB
Algorithms/Gove D. Multicore Application Programming.. for Windows, Linux, and Oracle Solaris (AW, 2010)(ISBN 0321711378)(O)(463s).pdf 2.6 MB
Natural language/Georgiev H. Language Engineering (Continuum, 2007)(ISBN 9780826482945)(600dpi)(T)(318s)_CsAi_.djvu 2.6 MB
Algorithms/Crochemore M., Rytter W. Jewels of stringology (WS, 2002)(T)(ISBN 9810247826)(309s)_CsAl_.djvu 2.6 MB
Programming languages/C++/Josuttis. The C++ STL - A Tutorial And Reference (AW, 1999)(642s)_CsPl_.pdf 2.6 MB
Algorithms/Omondi A., Premkumar B. Residue number systems.. Theory and implementation (ICP, 2007)(ISBN 1860948669)(311s)_CsAl_.pdf 2.6 MB
Formal methods/Platzer A. Logical Analysis of Hybrid Systems.. Proving Theorems for Complex Dynamics (Springer, 2010)(ISBN 9783642145087)(O)(457s)_CsAl_.pdf 2.6 MB
Databases/Abiteboul S., Hull R., Vianu V. Foundations of databases (AW, 1995)(ISBN 0201537710)(O)(704s)_CsAl_.pdf 2.6 MB
Formal methods/Murray F.J. The theory of mathematical machines (Rev.ed., King's Crown, 1947)(ASIN B0007EA3B0)(600dpi)(T)(123s)_Cs_.djvu 2.6 MB
Computer science/Barabasi A. Linked-the new science of networks (Perseus Publ., 2002)(T)(ISBN 0738206679)(279s)_Cs_.djvu 2.6 MB
Algorithms/Robbins K.A., Robbins S. UNIX Systems Programming.. Communication, Concurrency and Threads (PH, 2003)(ISBN 9780130424112)(O)(1008s)_CsAl_.pdf 2.6 MB
Natural language/Gamut L.T.F. Logic, language, and meaning vol.2.. Intensional logic and logical grammar (U.Chicago Press, 1991)(ISBN 0226280888)(600dpi)(T)(367s)_CsAi_.djvu 2.6 MB
Computer science/AI/Bibel W. Automated theorem proving (2ed., Vieweg, 1987)(ISBN 3528185201)(600dpi)(T)(305s)_CsAi_.djvu 2.6 MB
Algorithms/Thulasiraman K., Swamy M.N.S. Graphs. Theory and algorithms (Wiley, 1992)(ISBN 0471513563)(T)(O)(477s)_CsAl_.djvu 2.6 MB
Algorithms/Peled D.A. Software Reliability Methods (Springer, 2001)(ISBN 0387951067)(600dpi)(T)(354s)_CsAl_.djvu 2.6 MB
Algorithms/Advances in Computers, Vol.79 (AP, 2010)(ISBN 0123810272)(O)(336s)_CsAl_.pdf 2.6 MB
Natural language/Marcus M.P. Theory of Syntactic Recognition for Natural Language (MIT, 1980)(ISBN 0262131498)(600dpi)(T)(352s)_CsAi_.djvu 2.6 MB
Algorithms/Advances in Computers, Vol.22 (Elsevier, 1983)(ISBN 9780120121229)(T)(O)(395s)_CsAl_.djvu 2.6 MB
Programming languages/Harrop J. F# for Scientists (Wiley, 2008)(ISBN 9780470242117)(T)(O)(371s)_CsPl_.djvu 2.6 MB
Algorithms/Pepper P., Hofstedt P. Funktionale Programmierung.. Sprachdesign und Programmiertechnik (Springer, 2006)(de)(ISBN 9783540209591)(486s)_CsAl_.pdf 2.6 MB
Computer science/AI/Herbrich R. Learning kernel classifiers. Theory and algorithms(MIT,2002)(ISBN 026208306X)(382s)_CsAi_.pdf 2.6 MB
Natural language/Saint-Dizier P., Viegas E. (eds.) Computational lexical semantics (CUP, 1995)(ISBN 0521444101)(T)(459s)_CsAi_.djvu 2.6 MB
Algorithms/Advances in Computers, Vol.19 (Elsevier, 1980)(ISBN 9780120121199)(T)(O)(365s)_CsAl_.djvu 2.6 MB
Programming languages/Schach S. Object-Oriented and Classical Software Engineering (8ed., MGH, 2010)(ISBN 0073376183)(O)(688s)_CsPl_.pdf 2.6 MB
Algorithms/Advances in Computers, Vol.41 (Elsevier, 1995)(ISBN 9780120121410)(T)(O)(343s)_CsAl_.djvu 2.6 MB
Programming languages/Kluge W. (ed.) Implementation of functional languages (Proc. Bad Godesberg, LNCS1268, Springer, 1997)(T)(ISBN 3540632379)(295s)_CsPl_.djvu 2.5 MB
Natural language/Gonzalez R.C., Thomason M.G. Syntactic pattern recognition (AW, 1978)(ISBN 0201029316)(600dpi)(T)(302s)_CsAi_.djvu 2.5 MB
Algorithms/Advances in Computers, Vol.33 (Elsevier, 1991)(ISBN 9780120121335)(T)(O)(351s)_CsAl_.djvu 2.5 MB
Computer science/AI/Kitamura T. (ed.) What should be computed to understand and model brain function (WS, 2001)(ISBN 9810245181)(T)(323s)_CsAi_.djvu 2.5 MB
Computer science/AI/Harrison J. Handbook of Practical Logic and Automated Reasoning (CUP, 2009)(ISBN 0521899575)(O)(703s)_CsAi_.pdf 2.5 MB
Computer science/AI/Alpaydin E. Introduction to machine learning (MIT Press, 2004)(ISBN 0262012111)(T)(432s)_CsAi_.djvu 2.5 MB
Computer science/AI/Huet G., Plotkin G. (eds.) Logical Frameworks (CUP, 1991)(ISBN 0521413001)(T)(O)(416s)_CsAi_.djvu 2.5 MB
Computer science/Feynman R.P. Lectures on computation (AW, 1996)(ISBN 0201489910)(T)(O)(317s)_Cs_.djvu 2.5 MB
Computer science/AI/Fu K.S. Syntactic methods in pattern recognition (AP, 1974)(ISBN 0122695607)(600dpi)(T)(306s)_CsAi_.djvu 2.5 MB
Algorithms/Advances in Computers, Vol.57, Information Repositories(Elsevier, 2003)(ISBN 9780120121571)(T)(O)(422s)_CsAl_.djvu 2.5 MB
Programming languages/C/Kernighan, Ritchie. The ANSI C programming language (2ed.)(T)(C)(281s).djvu 2.5 MB
Programming languages/Kernighan, Pike. The practice of programming (1999)(ISBN 020161586X)(T)(C)(273s).djvu 2.5 MB
Programming languages/Winskel G. The formal semantics of programming languages.. an introduction (MIT, 1993)(ISBN 0262231697)(600dpi)(T)(383s)_CsPl_.djvu 2.5 MB
Algorithms/Advances in Computers, Vol.15 (Elsevier, 1976)(ISBN 9780120121151)(T)(O)(317s)_CsAl_.djvu 2.5 MB
Algorithms/Advances in Computers, Vol.55 (Elsevier, 2001)(ISBN 9780120121557)(T)(O)(329s)_CsAl_.djvu 2.5 MB
Algorithms/Koren I. Computer Arithmetic Algorithms (2ed., A.K.Peters, 2001)(ISBN 9781568811604)(600dpi)(T)(296s)_CsAl_.djvu 2.5 MB
Formal methods/Aldini A., Bernardo M., Corradini F. A process algebraic approach to software architecture design (Springer, 2009)(ISBN 184800222X)(O)(321s)_CsAl_.pdf 2.5 MB
Algorithms/Reinelt G. The traveling salesman (Springer, 1994)(ISBN 3540583343)(230s)_CsAl_.pdf 2.5 MB
Algorithms/Advances in Computers, Vol.39 (AP, 1994)(ISBN 0120121395)(T)(337s)_CsAl_.djvu 2.5 MB
Computer science/AI/Bundy A. The computer modelling of mathematical reasoning (no p.353-356) (AP, 1983)(ISBN 0121412504)(600dpi)(KA)(T)(413s)_CsAi_.djvu 2.5 MB
Formal methods/Lamport L. Specifying Systems.. The TLA+ Language and Tools for Hardware and Software Engineering (AW, 2002)(ISBN 032114306X)(382s)_CsAl_.pdf 2.5 MB
Computer science/Fischer P., Hofer P. Lexikon der Informatik (Springer,2007)(ISBN 3540725490)(de)(982s)_Cs_.pdf 2.5 MB
Programming languages/Odersky M., Spoon L., Venners B. Programming in Scala.. A Comprehensive Step-by-step Guide (Artima Inc, 2008)(ISBN 0981531601)(O)(754s)_CsPl_.pdf 2.5 MB
Algorithms/Advances in Computers, Vol.60 (Elsevier, 2004)(ISBN 9780120121601)(337s)_CsAl_.pdf 2.5 MB
Algorithms/Mahmoud H.M. Evolution of random search trees (Wiley, 1992)(T)(330s)_CsAl_.djvu 2.5 MB
Algorithms/Watson D. High-Level Languages and Their Compilers (AW, 1989)(ISBN 9780201184891)(600dpi)(T)(348s)_CsAl_.djvu 2.5 MB
Formal methods/Gries D. The science of programming (Springer, 1981)(ISBN 038790641X)(600dpi)(T)(379s)_CsAl_.djvu 2.5 MB
Formal methods/Bird R., de Moor O. Algebra of programming (PH, 1997)(ISBN 013507245X)(600dpi)(T)(314s)_CsAl_.djvu 2.5 MB
Algorithms/Parsons T.W. Introduction to Compiler Construction (W.H.Freeman, 1992)(ISBN 9780716782612)(600dpi)(T)(374s)_CsAl_.djvu 2.4 MB
Algorithms/Lee J.A.N. The anatomy of a compiler (2ed., Van Nostrand, 1968)(ISBN 0442247338)(T)(480s)_CsAl_.djvu 2.4 MB
Algorithms/Sedgewick R. Quicksort (Garland Pub, 1980)(T)(353s)_CsAl_.djvu 2.4 MB
Algorithms/Webber R.E. Analysis of quadtree algorithms (1985)(T)(183s)_CsAl_.djvu 2.4 MB
Natural language/Simmons R.F. Computations from the English.. A procedural logic approach for representing and understanding English text (PH, 1983)(ISBN 0131646400)(600dpi)(T)(320s)_CsAi_.djvu 2.4 MB
Computer science/Brady J.M. The theory of computer science.. A programming approach (Wiley, 1977)(ISBN 0470991038)(600dpi)(T)(O)(300s)_Cs_.djvu 2.4 MB
TeX/Tinker M.A. Legibility of Print (Iowa State U. Press, 1963)(600dpi)(T)(338s)_ST_.djvu 2.4 MB
TeX/Johnson A.F. Type Designs.. Their History and Development (3ed., Ashgate, 1966)(ISBN 023395869X)(600dpi)(T)(191s)_ST_.djvu 2.4 MB
Computer science/AI/Baader F., et al. (eds.) The description logic handbook (CUP, 2007)(ISBN 0521876257)(O)(622s)_CsAi_.pdf 2.4 MB
Algorithms/Advances in Computers, Vol.18 (Elsevier, 1979)(ISBN 9780120121182)(T)(O)(323s)_CsAl_.djvu 2.4 MB
Algorithms/Gramss T., S.Bornholdt, M.Gross, M.Mitchell, T.Pellizzari. Non-standard Computation (Wiley-VCH,1998)(ISBN 3527294279)(T)(234s)_CsAl_.djvu 2.4 MB
Computer science/AI/Boyer R.S., Moore J.S. The Computational Logic Handbook (AP, 1988)(ISBN 9780121229528)(600dpi)(T)(428s)_CsAi_.djvu 2.4 MB
Formal methods/Gill A. Introduction to the theory of finite-state machines (MGH, 1962)(ISBN 0070232431)(600dpi)(T)(218s)_CsAl_.djvu 2.4 MB
Algorithms/Baader F., Nipkow T. Term rewriting and all that (CUP, 1998)(ISBN 0521455200)(600dpi)(T)(315s)_CsAl_.djvu 2.4 MB
Algorithms/Advances in Computers, Vol.01 (AP, 1960)(ISBN 9780120121014)(T)(318s)_CsAl_.djvu 2.4 MB
Algorithms/Advances in Computers, Vol.40 (Elsevier, 1995)(ISBN 9780120121403)(T)(O)(300s)_CsAl_.djvu 2.4 MB
Computer science/AI/Chang C.-L., Lee R.C.-T. Symbolic logic and mechanical theorem proving (AP, 1973)(ISBN 0121703509)(600dpi)(T)(351s)_CsAi_.djvu 2.4 MB
Computer science/AI/Nilsson N. Problem solving methods in artificial intelligence (MGH, 1971)(T)(268s)_CsAi_.djvu 2.4 MB
Programming languages/Lisp/Touretzky D.S. Common LISP.. a gentle introduction to symbolic computation (1990)(ISBN 0805304924)(T)(587s).djvu 2.4 MB
Formal methods/Winskel G. Events in computation (phd thesis, Edinburgh, 1980)(T)(O)(294s)_CsF_.djvu 2.4 MB
Natural language/de la Higuera C. Grammatical Inference.. Learning Automata and Grammars (CUP, 2010)(ISBN 9780521963165)(O)(433s)_CsAi_.pdf 2.4 MB
Algorithms/Alagic S., Arbib M.A. The design of well-structured and correct programs (Springer, 1978)(ISBN 0387902996)(600dpi)(T)(301s)_CsAl_.djvu 2.4 MB
Natural language/Goshawke W., Kelly I.D.K., Wigg J.D. Computer translation of natural language (Sigma press, 1987)(ISBN 1850580561)(600dpi)(T)(292s)_CsAi_.djvu 2.4 MB
Computer science/AI/Reiter E., Dale R. Building Natural Language Generation Systems (CUP, 2000)(ISBN 9780521620369)(600dpi)(T)(270s)_CsAi_.djvu 2.4 MB
Algorithms/Advances in Computers, Vol.32 (Elsevier, 1991)(ISBN 9780120121328)(T)(343s)_CsAl_.djvu 2.4 MB
Natural language/Shevelyov O.G. Metody avtomaticheskoj klassifikacii tekstov na estestvennom yazyke (Tomsk, 2007)(ISBN 5913020278)(ru)(360dpi)(K)(T)(146s)_CsAi_.djvu 2.4 MB
Computer science/Computability/Nies A. Computability and randomness (OUP, 2009)(ISBN 0199230765)(O)(450s)_CsNp_.pdf 2.4 MB
Bash/Michael R.K. Mastering UNIX Shell Scripting (Wiley, 2003)(ISBN 9780471218210)(O)(704s)_S_.pdf 2.4 MB
Computer science/Henderson H. Alan Turing.. Computing genius and wartime code breaker (Chelsea House, 2011)(ISBN 0816061750)(O)(161s)_Cs_.pdf 2.4 MB
Computer science/Computability/Zenil H. (ed.) Randomness through computation. Some answers, more questions (WS, 2011)(ISBN 9814327743)(O)(440s)_CsNp_.pdf 2.4 MB
Algorithms/Advances in Computers, Vol.08 (Elsevier, 1967)(ISBN 9780120121083)(T)(O)(359s)_CsAl_.djvu 2.4 MB
Programming languages/Finkel R.A. Advanced programming language design (AW 1996)(ISBN 0805311912)(600dpi)(T)(O)(370s)_CsPl_.djvu 2.4 MB
Computer science/Ashby W.R. Introduction to cybernetics (1957)(400dpi)(L)(T)(156s).djvu 2.4 MB
TeX/Pakin S. The comprehensive LaTeX symbol list (free web version, 2003)(91s).pdf 2.3 MB
Computer science/AI/Falmagne J.C., Doignon J.P. Learning spaces.. Interdisciplinary applied mathematics (Springer, 2011)(ISBN 3642010385)(O)(434s)_CsAi_.pdf 2.3 MB
Computer science/Computability/Cutland N. Computability.. an Introduction to Recursive Function Theory (CUP, 1992)(ISBN 0521223849)(K)(T)(260s)_CsNp_.djvu 2.3 MB
Formal methods/Arbib M.A. (ed.) Algebraic Theory of Machines, Languages and Semigroups (AP, 1968)(ISBN 0120590506)(KA)(T)(373s)_CsAl_.djvu 2.3 MB
Programming languages/C++/Pozrikidis C. Introduction to C++ programming and graphics (Springer, 2007)(ISBN 0387689923)(O)(383s)_CsPl_.pdf 2.3 MB
Computer science/Computability/Nies A. Computability and randomness (OUP, 2009)(ISBN 0199230765)(450s)_CsNp_.pdf 2.3 MB
TeX/Kopka H., Daly P. Guide to LaTeX (4ed., AW, 2004)(ISBN 0321173856)(658s)_ST_.pdf 2.3 MB
Computer science/Computability/Goldreich O. Introduction to complexity theory, lecture notes (1999)(375s).pdf 2.3 MB
Computer science/AI/Nilsson N.J. Problem Solving Methods in Artificial Intelligence (MGH, 1971)(ISBN 0070465738)(600dpi)(T)(O)(270s)_CsAi_.djvu 2.3 MB
Algorithms/Advances in Computers, Vol.43 (Elsevier, 1996)(ISBN 9780120121434)(T)(O)(325s)_CsAl_.djvu 2.3 MB
Algorithms/Advances in Computers, Vol.14 (Elsevier, 1976)(ISBN 9780120121144)(T)(O)(301s)_CsAl_.djvu 2.3 MB
Formal methods/Eilenberg S. Automata, languages, and machines. Volume A (AP, 1974)(ISBN 0122340019)(T)(469s)_CsAl_.djvu 2.3 MB
Algorithms/Advances in Computers, Vol.07 (Elsevier, 1966)(ISBN 9780120121076)(T)(O)(321s)_CsAl_.djvu 2.3 MB
Computer science/AI/Gal A., Lapalme G., Saint-Dizier P., Somers H. PROLOG for Natural Language Processing (Wiley, 1991)(ISBN 0471930822)(600dpi)(T)(322s)_CsAi_.djvu 2.3 MB
Algorithms/Leiss E. A programmer's companion to algorithm analysis (CRC, 2007)(O)(ISBN 1584886730)(264s)_CsAl_.pdf 2.3 MB
Algorithms/Advances in Computers, Vol.38 (Elsevier, 1994)(ISBN 9780120121380)(T)(O)(361s)_CsAl_.djvu 2.3 MB
Computer science/AI/Crocker M.W., Pickering M., Clifton Jr C. (eds.) Architectures and Mechanisms for Language Processing (CUP, 1999)(ISBN 9780521631211)(T)(375s)_CsAi_.djvu 2.3 MB
Computer science/AI/German O.V., Ofitserov D.V. Problem solving (no title,no TOC)(Elsevier, 1995)(ISBN 0444822267)(T)(419s)_CsAi_.djvu 2.3 MB
Natural language/Mahlow C., Piotrowski M. (eds.) State of the art in computational morphology.. (Springer, 2009)(ISBN 3642041302)(147s)_CsAi_.pdf 2.3 MB
Algorithms/Rabhi F., Lapalme G. Algorithms.. a functional programming approach (AW, 1999)(ISBN 0201596040)(600dpi)(T)(O)(247s)_CsAl_.djvu 2.3 MB
Algorithms/Kozen D.C. Automata and Computability (Springer, 1997)(ISBN 0387949070)(600dpi)(T)(414s)_CsAl_.djvu 2.3 MB
Programming languages/Loogen R. Integration funktionaler und logischer Programmiersprachen (Oldenbourg, 1995)(ISBN 3486230409)(de)(600dpi)(T)(286s)_CsPl_.djvu 2.3 MB
Formal methods/Hamburger H., Richards D. Logic and language models for computer science (PH, 2002)(ISBN 0130654876)(T)(346s)_CsAl_.djvu 2.3 MB
Algorithms/Seroul R. Programming for mathematicians (Springer, 2000)(ISBN 354066422X)(K)(T)(445s)_CsAl_.djvu 2.3 MB
Algorithms/Grune D., Jacobs C.J. Parsing techniques.. a practical guide (2ed., Springer, 2007)(ISBN 9780387689548)(O)(677s)_CsAl_.pdf 2.3 MB
Computer science/AI/Cesa-Bianchi N., Lugosi G. Prediction, learning, and games (CUP, 2006)(ISBN 0521841089)(407s)_CsAi_.pdf 2.3 MB
Computer science/AI/Zaknich A. Principles of adaptive filters and self-learning systems (Springer 2005)(397s)_CsAi_.pdf 2.3 MB
Computer science/Weinberg G.M. Psychology of Computer Programming (Van Nostrand, 1985)(ISBN 0442292643)(T)(C)(299s)_Cs_.djvu 2.3 MB
Computer science/AI/Jain S., Osherson D., Royer J.S., Sharma A. Systems That Learn.. An Introduction to Learning Theory (2ed., MIT, 1999)(ISBN 0262100770)_CsAi_.chm 2.3 MB
Natural language/Sag I.A., Wasow T. Syntactic theory.. a formal introduction (1999)(483s).pdf 2.3 MB
Programming languages/Lisp/Eisenberg M., Abelson H. Programming in Scheme (MIT, 1988)(ISBN 9780262550178)(K)(T)(318s)_CsPl_.djvu 2.3 MB
Algorithms/Advances in Computers, Vol.64, New Programming Paradigms (Elsevier, 2005)(ISBN 9780120121649)(377s)_CsAl_.pdf 2.2 MB
Algorithms/Bird R., Wadler P. Einfuehrung in die funktionale Programmierung (Hanser, 1992)(ISBN 3446170014)(de)(KA)(600dpi)(T)(300s)_CsAl_.djvu 2.2 MB
Algorithms/Advances in Computers, Vol.66, Quality Software Development (Elsevier, 2006)(ISBN 9780120121663)(345s)_CsAl_.pdf 2.2 MB
Algorithms/Advances in Computers, Vol.28 (Elsevier, 1989)(ISBN 9780120121281)(T)(O)(315s)_CsAl_.djvu 2.2 MB
Formal methods/Maibaum T.S.E., Turski W.M. The Specification of Computer Programs (AW, 1987)(ISBN 0201142260)(600dpi)(T)(O)(287s)_CsPl_.djvu 2.2 MB
Programming languages/Wadge W.W., Ashcroft E.A. Lucid, the dataflow programming language (AP, 1985)(ISBN 9780127296500)(600dpi)(T)(328s)_CsPl_.djvu 2.2 MB
Programming languages/Prolog/Clocksin W.F., Mellish C.S. Programming in Prolog (3ed., Springer, 1987)(ISBN 9783540175391)(600dpi)(T)(297s)_CsPl_.djvu 2.2 MB
Algorithms/Yovits M.C. (ed.) Advances in computers. Vol. 28 (AP, 1989)(ISBN 012012128X)(T)(315s)_CsAl_.djvu 2.2 MB
Algorithms/Du D., Hu X. Steiner tree problems in computer communication networks (WS, 2008)(ISBN 9812791442)(373s)_CsAl_.pdf 2.2 MB
Formal methods/Jacky J. The Way of Z.. Practical Programming with Formal Methods (CUP, 1996)(ISBN 9780521559768)(600dpi)(T)(370s)_CsPl_.djvu 2.2 MB
Computer science/AI/Sarker R.A., H.A.Abbass, C.S.Newton. Heuristic and Optimization for Knowledge Discovery (Idea Group,2002)(ISBN 1930708262)(301s)_CsAi_.pdf 2.2 MB
Computer science/Computability/Cooper S.B., Sorbi A. (eds.) Computability in context. Computation and logic in the real world (WS, 2009)(ISBN 1848162456)(O)(419s)_CsNp_.pdf 2.2 MB
Algorithms/Stobo J. Problem Solving With Prolog (CRC, 1989)(ISBN 9780273029335)(O)(325s)_CsAl_.pdf 2.2 MB
Algorithms/Advances in Computers, Vol.30 (Elsevier, 1990)(ISBN 9780120121304)(T)(O)(343s)_CsAl_.djvu 2.2 MB
Formal methods/Wood D. Grammars and L-forms.. an introduction (LNCS0091, Springer, 1980)(ISBN 3540102337)(T)(323s)_CsAl_.djvu 2.2 MB
Computer science/AI/Baader F., et al. The description logic handbook.. Theory, implementation and applications (CUP,2003)(ISBN 0521781760)(573s)_CsAi_.pdf 2.2 MB
Natural language/Reiter E., Dale R. Building natural language generation systems (CUP, 2000)(ISBN 0521620368)(T)(S)(272s)_CsAi_.djvu 2.2 MB
Computer science/Computability/Davis M., Weyuker E. Computability, complexity and languages.. Fundamentals of theoretical computer science (AP, 1983)(ISBN 0122063805)(K)(T)(434s)_CsNp_.djvu 2.2 MB
Algorithms/Miczo A. Digital logic testing and simulation (Wiley, 2003)(ISBN 0471439959)(688s)_CsAl_.pdf 2.2 MB
Programming languages/Griswold R.E. Macroimplementation of Snobol 4 (W.H.Freeman, 1972)(ISBN 9780716704478)(600dpi)(T)(323s)_CsPl_.djvu 2.2 MB
Programming languages/C/Kernighan B.W., Ritchie D.M. The C programming language, ANSI C edition (2ed., PH, 1988)(ISBN 0131103628)(600dpi)(T)(O)(286s)_CsPl_.djvu 2.2 MB
Natural language/Georgiev H. Language Engineering (program code).zip 2.2 MB
Algorithms/Levitin A. Introduction to the design and analysis of algorithms (3ed., AW, 2011)(ISBN 0132316811)(O)(593s)_CsAl_.pdf 2.2 MB
Algorithms/Nijenhuis N., Wilf H.S. Combinatorial algorithms for computers and calculators (2006)(T)(316s)_CsAl_.djvu 2.2 MB
Algorithms/Berard B., Bidoit M., Finkel A., et al. (eds.) Systems and software verification (Springer, 2001)(ISBN 3540415238)(T)(204s)_CsAl_.djvu 2.2 MB
Computer science/AI/Winston P.H., Prendergast K.A. (eds.) The AI Business.. Commercial Uses of Artificial Intelligence (MIT, 1986)(ISBN 9780262730778)(T)(332s)_CsAi_.djvu 2.2 MB
Algorithms/Mikolajczak B. (ed.) Algebraic and structural automata theory (Ann. of discr. math. 44)(NH, 1991)(ISBN 0444874585)(T)(424s)_CsAl_.djvu 2.2 MB
Computer science/Computability/Mal'cev A.I. Algorithms and recursive functions (Wolters, 1970)(ISBN 9001570704)(K)(T)(O)(370s)_CsNp_.djvu 2.1 MB
Computer science/AI/Fisher M. An Introduction to Practical Formal Methods Using Temporal Logic (Wiley, 2011)(ISBN 9780470027882)(O)(353s)_CsAi_.pdf 2.1 MB
Computer science/AI/Vapnik V.N. The nature of statistical learning theory (2ed., Springer, 2000)(K)(150dpi)(T)(ISBN 0387987800)(332s).djvu 2.1 MB
Formal methods/Clarke E.M., Grumberg O., Peled D.A. Model checking (MIT, 2000)(ISBN 0262032708)(600dpi)(T)(336s)_CsAl_.djvu 2.1 MB
Algorithms/Doerr H. Efficient graph rewriting and its implementation (LNCS0922, Springer, 1995)(ISBN 3540600558)(T)(269s)_CsAl_.djvu 2.1 MB
TeX/Spivak M. LAmS-TeX.. the synthesis (TeXplorators, 1989)(ISBN 0914098608)(T)(294s)_ST_.djvu 2.1 MB
Formal methods/Wordsworth J. Software Development With Z.. A Practical Approach to Formal Methods in Software Engineering (AW, 1992)(ISBN 9780201627572)(600dpi)(T)(375s)_CsPl_.djvu 2.1 MB
TeX/Krantz S.G. Handbook of Typography for the Mathematical Sciences (CRC Press,2001)(164s)_ST_.pdf 2.1 MB
Algorithms/Calingaert P. Assemblers, compilers, and program translation (Computer Science, 1979)(ISBN 9780914894230)(600dpi)(T)(283s)_CsAl_.djvu 2.1 MB
Computer science/Computability/Calude C. Theories of computational complexity (ADM35, NH, 1988)(ISBN 044470356X)(T)(498s)_CsNp_.djvu 2.1 MB
Natural language/Nugues P.M. An Introduction to Language Processing with Perl and Prolog.. ...with Special Consideration of English, French, and German (Springer, 2006)(ISBN 9783540250319)(O)(524s)_CsAi_.pdf 2.1 MB
Algorithms/Advances in Computers, Vol.54, Trends in Software Engineering (Elsevier, 2001)(ISBN 9780120121540)(T)(O)(309s)_CsAl_.djvu 2.1 MB
Programming languages/Lisp/Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395).chm 2.1 MB
Formal methods/Apt K.R., de Boer F.S., Olderog E.-R. (eds.) Verification of sequential and concurrent programs (3ed., Springer, 2010)(ISBN 9781848827455)(O)(524s)_CsAl_.pdf 2.1 MB
Computer science/Karny et al. Probabilistic advisory system, research report(401s).ps.bz2 2.1 MB
Programming languages/Budd T. A little Smalltalk (AW, 1987)(K)(ISBN 9780201106985)(600dpi)(T)(O)(295s)_CsPl_.djvu 2.1 MB
Programming languages/ML/Harrop J. OCaml for scientists (Flying Frog Consultancy, 2005)(T)(281s)_CsPl_.djvu 2.1 MB
Formal methods/Kobrinskii N., Trakhtenbrot B. Introduction to the theory of finite automata (SLFM038, NH, 1965)(ISBN 0444534032)(T)(342s)_CsAl_.djvu 2.1 MB
Formal methods/Kobern A. (_Cockburn_) Sovremennye metody opisaniya funkcional'nyx trebovanij k sistemam (Lori, 2002)(ISBN 5855821528)(ru)(T)(K)(280s)_CsPl_.djvu 2.1 MB
Algorithms/Ruskey F. Combinatorial generation (draft, 2003)(400dpi)(T)(311s).djvu 2.1 MB
Algorithms/Griswold R.E. String and list processing in SNOBOL4 (PH, 1975)(ISBN 0138530106)(600dpi)(T)(305s)_CsAl_.djvu 2.1 MB
TeX/Krieger J., Schwarz N. Introduction to TeX (AW 1989)(ISBN 020151141X)(KA)(T)(283s)_ST_.djvu 2.1 MB
Computer science/AI/Arbib M.A. Brains, machines, and mathematics (2ed., Springer, 1987)(ISBN 0387965394)(600dpi)(T)(217s)_CsAi_.djvu 2.1 MB
Programming languages/Gottfried B.S. Schaum's Outline of Visual Basic (Schaum,2001)(ISBN 0071356711)(224s).pdf 2.1 MB
Algorithms/Rosenberg A. The pillars of computation theory.. State, encoding, nondeterminism (Springer, 2010)(ISBN 0387096388)(O)(343s)_CsAl_.pdf 2.1 MB
TeX/Greenberg H.J. Simplified introduction to Latex (1999)(600dpi)(T)(136s)_ST_.djvu 2.1 MB
Computer science/AI/Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(600dpi)(T)(318s)_CsAi_.djvu 2.0 MB
Natural language/Gries S.T. Quantitative Corpus Linguistics with R.. A Practical Introduction (Routledge, 2009)(ISBN 0415962714)(600dpi)(T)(257s)_CsAi_.djvu 2.0 MB
Natural language/Konrad K. Model Generation for Natural Language Interpretation and Analysis (Springer, 2010)(ISBN 9783540246404)(600dpi)(T)(171s)_CsLn_.djvu 2.0 MB
TeX/Juergens M. Latex.. fortgeschrittene Anwendungen (1995)(de)(600dpi)(T)(146s).djvu 2.0 MB
Programming languages/Prolog/Coelho H., Cotta J.C. PROLOG by Example. How to Learn, Teach and Use It (Springer, 1988)(ISBN 9783540183136)(600dpi)(T)(394s)_CsPl_.djvu 2.0 MB
Computer science/AI/Robinson J.A. Logic.. Form and function - The Mechanization of Deductive Reasoning (Edinburgh Univ., 1979)(ISBN 9780852243053)(600dpi)(T)(316s)_CsAi_.djvu 2.0 MB
Algorithms/Advances in Computers, Vol.13 (Elsevier, 1975)(ISBN 9780120121137)(T)(O)(261s)_CsAl_.djvu 2.0 MB
Algorithms/Nijenhuis A., Wilf H. Combinatorial Algorithms(2ed., AP, 1978)(400dpi)(ISBN 0125192606)(T)(316s)_CsAl_.djvu 2.0 MB
Algorithms/Mehlhorn K., Sanders P. Algorithms and data structures.. the basic toolbox (Springer, 2008)(ISBN 3540779779)(305s)_CsAl_.pdf 2.0 MB
Bash/Albing, et al. The BASH cookbook (O'Reilly, 2007)(ISBN 0596526784).pdf 2.0 MB
Algorithms/Shen A. Algorithms and Programming (Birkhauser, 1996)(ISBN 9783764338473)(600dpi)(T)(O)(230s)_CsAl_.djvu 2.0 MB
Programming languages/Prolog/Ross P. Advanced Prolog.. Techniques and Examples (AW, 1989)(ISBN 0201175274)(600dpi)(T)(306s)_CsPl_.djvu 2.0 MB
Algorithms/Even S. Graph algorithms (Computer Science Press, 1979)(ISBN 0914894218)(T)(600dpi)(258s)_CsAl_.djvu 2.0 MB
Algorithms/Berlekamp E., Wolfe D. Mathematical Go.. Chilling gets the last point (1994)(ISBN 1568810326)(KA)(T)(247s)_CsAl_.djvu 2.0 MB
Programming languages/C++/Scheinerman E. C++ for mathematicians.. An introduction for students and professionals (CRC, 2006)(ISBN 158488584X)(521s)_CsPl_.pdf 2.0 MB
Computer science/AI/Dautenhahn, Bond, Canamero, Edmonds. (eds.) Socially intelligent agents.. creating relationships (Kluwer, 2002)(298s).pdf 2.0 MB
Computer science/AI/Bibel W. Deduction.. Automated Logic (AP, 1993)(ISBN 9780120958351)(600dpi)(T)(255s)_CsAi_.djvu 2.0 MB
Algorithms/Advances in Computers, Vol.72, High performance computing (AP, 2008)(ISBN 0123744113)(369s)_CsAl_.pdf 2.0 MB
Bash/Sarath Lakshman - Linux Shell Scripting Cookbook + Code - 2011-o.pdf 2.0 MB
Algorithms/Crochemore M., Rytter W. Text Algorithms (OUP, 1994)(ISBN 9780195086096)(396s)_CsAl_.pdf 2.0 MB
Programming languages/McGettrick A.D. The Definition of Programming Languages (CUP, 1980)(ISBN 0521295858)(600dpi)(T)(O)(279s)_CsPl_.djvu 2.0 MB
Programming languages/Prolog/Hill P., Lloyd J. The Goedel Programming Language (MIT, 1994)(ISBN 9780262082297)(600dpi)(T)(370s)_CsPl_.djvu 2.0 MB
Formal methods/Weiss B. Deductive verification of object-oriented software.. dynamic frames, dynamic logic and predicate abstraction (phd thesis, Karlsruhe, 2011)(ISBN 3866446233)(600dpi)(T)(C)(O)(294s).djvu 2.0 MB
Algorithms/Shroff G. Enterprise Cloud Computing (CUP, 2010)(ISBN 052176095X)(O)(291s)_CsAl_.pdf 2.0 MB
Programming languages/Prolog/O'Keefe R. The Craft of Prolog (MIT, 1990)(ISBN 9780262150392)(K)(600dpi)(T)(412s)_CsPl_.djvu 2.0 MB
Algorithms/Advances in Computers, Vol.42 (AP, 1996)(ISBN 9780120121427)(T)(287s)_CsAl_.djvu 2.0 MB
Computer science/Murray C.J. The supermen.. the story of Seymour Cray and the supercomputer (Wiley, 1997)(ISBN 0471048852)(600dpi)(T)(241s)_Cs_.djvu 2.0 MB
Programming languages/Haskell/Chakravarty M.M.T., Keller G.C. Einfuehrung in die Programmierung mit Haskell (de)(Pearson, 2004)(ISBN 3827371376)(KA)(600dpi)(T)(199s)_CsPl_.djvu 2.0 MB
Algorithms/Even S. Graph algorithms (Computer Science Press, 1979)(ISBN 9780914894216)(600dpi)(T)(258s)_CsAl_.djvu 2.0 MB
Algorithms/Mehlhorn K. Data structures and algorithms 3.. multi-dimensional searching and computational geometry (Springer, 1984)(T)(ISBN 3540136428)(294s)_CsAl_.djvu 2.0 MB
Programming languages/Lisp/Friedman D.P., Felleisen M. The Little Schemer (4ed., MIT, 1995)(ISBN 0262560992)(600dpi)(T)(O)(211s)_CsPl_.djvu 2.0 MB
Formal methods/Tennent R.D. Specifying Software.. A Hands-On Introduction (CUP, 2002)(ISBN 0521004012)(600dpi)(T)(O)(302s)_CsAl_.djvu 2.0 MB
Formal methods/Milner R. Communication and Concurrency (PH, 1995)(ISBN 9780131150072)(600dpi)(T)(274s)_CsAl_.djvu 2.0 MB
Programming languages/C/Kernighan B.W., Ritchie D.M. The ANSI C programming language (2ed., PH, 1998)(ISBN 0131103709)(600dpi)(T)(287s)_CsPl_.djvu 2.0 MB
Algorithms/Fowler, et al. Refactoring - Improving the Design of Existing Code(337s)_CsAl_.pdf 1.9 MB
Computer science/Computability/Yap C.K. Theory of complexity classes. Vol.1 (free draft, 1998)(O)(435s)_CsNp_.pdf 1.9 MB
Natural language/Grishman R. Computational linguistics.. an introduction (CUP, 1986)(ISBN 0521310385)(KA)(600dpi)(T)(195s)_CsAi_.djvu 1.9 MB
Programming languages/C++/Glassborow F. You can program in C++. A programmer's introduction (Wiley, 2006)(ISBN 0470014687)(O)(391s)_CsPl_.pdf 1.9 MB
Formal methods/Drechsler R. (ed.) Advanced formal verification (Springer, 2004)(ISBN 9781402077210)(O)(276s)_CsAl_.pdf 1.9 MB
Algorithms/Advances in Computers, Vol.20 (Elsevier, 1981)(ISBN 9780120121205)(T)(O)(297s)_CsAl_.djvu 1.9 MB
TeX/Goudy F.W. Alphabet and Elements of Lettering (Dover, 1922)(ISBN 9780486207926)(600dpi)(T)(143s)_ST_.djvu 1.9 MB
Computer science/Computability/Calude C. Information and randomness.. an algorithmic approach (Springer, 1994)(ISBN 3540574565)(600dpi)(T)(258s)_CsNp_.djvu 1.9 MB
Formal methods/Hehner E.C.R. The logic of programming (PH, 1984)(ISBN 0135399661)(600dpi)(T)(368s)_CsAl_.djvu 1.9 MB
Algorithms/Loudon K. Mastering algorithms with C (O'Reilly, 1999)(560s)_CsAl_.chm 1.9 MB
Algorithms/Kemp T. Fundamentals of the average case analysis of particular algorithms (Wiley, 1984)(T)(ISBN 0471903221)(239s)_CsAl_.djvu 1.9 MB
Algorithms/Parberry I., Gasarch W. Problems on algorithms (2002)(268s)_CsAl_.pdf 1.9 MB
TeX/Spivak M.D. The joy of TeX. A gourmet guide to typesetting with AMS-TeX (2ed., AMS, 1990)(ISBN 0821829971)(T)(318s)_ST_.djvu 1.9 MB
Formal methods/Gill A. Vvedenie v teoriju konechnyh avtomatov (Nauka, 1966)(ru)(T)(272s)_CsAl_.djvu 1.9 MB
Computer science/AI/Friedman M., Kandel A. Introduction To Pattern Recognition.. Statistical, Structural, Neural and Fuzzy Logic Approaches (WS, 1999)(ISBN 9810233124)(T)(345s)_CsAi_.djvu 1.9 MB
Databases/Date C. Database in Depth.. Relational Theory for Practitioners (O'Reilly, 2005)(ISBN 0596100124)(600dpi)(T)(227s)_CsDb_.djvu 1.9 MB
Natural language/Copestake A. Implementing Typed Feature Structure Grammars (CSLI, 2001)(ISBN 1575862611)(600dpi)(T)(249s)_CsAi_.djvu 1.9 MB
Computer science/AI/Michie D., Spiegelhalter D.J., Taylor C.C. (eds.) Machine Learning, Neural and Statistical Classification (1994)(200dpi)(T)(298s).djvu 1.9 MB
Algorithms/Hunter R. The Design and Construction of Compilers (Wiley, 1982)(ISBN 9780471280545)(600dpi)(T)(283s)_CsAl_.djvu 1.9 MB
Computer science/Computability/Zimand M. Computational complexity. A quantitative perspective (Elsevier, 2004)(ISBN 0444828419)(T)(350s)_CsNp_.djvu 1.9 MB
Computer science/Computability/Enderton H.B. Computability theory. An introduction to recursion theory (AP, 2010)(ISBN 0123849586)(O)(187s)_CsNp_.pdf 1.9 MB
Formal methods/Ginzburg A. Algebraic theory of automata (AP, 1968)(ISBN 0122850505)(T)(173s)_CsAl_.djvu 1.9 MB
Algorithms/Launchbury J., et al. (eds.) Advanced functional programming.. proc. school Olympia, 1996 (LNCS1129, Springer, 1996)(ISBN 3540616284)(T)(244s)_CsAl_.djvu 1.9 MB
Formal methods/Clarke E.M., Grumberg O., Peled D.A. Model checking (no some pages)(MIT, 2000)(ISBN 0262032708)(K)(T)(326s)_CsAl_.djvu 1.9 MB
Programming languages/Fortran/Hahn B. Introduction to Fortran 90 for scientists and engineers (bad fonts, bad equations)(ISBN 0340600349)(286s).pdf 1.9 MB
Computer science/Wiener N. Cybernetics, or the control and communication in the animal and the machine (MIT, 1965)(ISBN 026273009X)(600dpi)(T)(O)(231s)_Cs_.djvu 1.9 MB
Programming languages/Parr T. The Definitive ANTLR Reference.. Building Domain-Specific Languages (Pragmatic Bookshelf, 2007)(ISBN 9780978739256)(O)(369s).pdf 1.9 MB
Computer science/Computability/Bridges D.S. Computability.. A mathematical sketchbook (GTM146, Springer, 1994)(ISBN 0387941746)(600dpi)(K)(T)(O)(190s)_CsNp_.djvu 1.9 MB
Natural language/Tennant H. Natural Language Processing.. An Introduction to an Emerging Technology (MGH, 1981)(ISBN 0894331000)(600dpi)(T)(286s)_CsAi_.djvu 1.8 MB
Natural language/de Swart H. Introduction to natural language semantics (CSLI, 1998)(ISBN 1575861380)(600dpi)(T)(271s)_CsAi_.djvu 1.8 MB
Natural language/Matthews C. An Introduction to Natural Language Processing Through Prolog (AW, 1998)(ISBN 0582066220)(T)(O)(312s)_CsAi_.djvu 1.8 MB
Computer science/Davis M. Engines of logic (Norton, 2001)(ISBN 0393322297)(600dpi)(T)(268s)_Cs_.djvu 1.8 MB
Programming languages/Vandevoorde D. C++ Solutions.. companion to C++ programming language (AW, 1998)(O)(600dpi)(T)(ISBN 0201309653)(300s)_CsPl_.djvu 1.8 MB
Algorithms/Greco F. (ed.) Travelling salesman problem (I-Tech, 2008)(ISBN 9789537619107)(600dpi)(T)(O)(210s)_CsAl_.djvu 1.8 MB
Formal methods/Savitch W.J. Abstract machines and grammars (Little, Brown, 1982)(ISBN 0316771619)(600dpi)(T)(O)(226s)_CsAl_.djvu 1.8 MB
Natural language/Alshawi H. (ed.) The CORE language engine (MIT, 1992)(ISBN 0262011263)(600dpi)(T)(340s)_CsAi_.djvu 1.8 MB
Databases/Date C.J. Instructor's Manual for Introduction to Database Systems, 8ed. (2003)(T)(401s)_CsDb_.djvu 1.8 MB
Computer science/Computability/Peter R. Recursive functions (2ed., AP, 1967)(ASIN B0006BP0OE)(T)(301s)_CsNp_.djvu 1.8 MB
TeX/TeX for scientific documentation (LNCS0236, Springer, 1988)(ISBN 3540168079)(T)(O)(210s)_ST_.djvu 1.8 MB
Algorithms/Chapman N.P. LR Parsing.. Theory and Practice (CUP, 1988)(ISBN 052130413X)(600dpi)(T)(236s)_CsAl_.djvu 1.8 MB
Algorithms/Brucker P. Scheduling Algorithms (5ed., Springer, 2007)(379s)_CsAl_.pdf 1.8 MB
Natural language/McKeown K. Text Generation (CUP, 1992)(ISBN 9780521438025)(600dpi)(T)(256s)_CsAi_.djvu 1.8 MB
Algorithms/Critchlow C., Eck D. Foundations of computation (web draft, 2010)(256s)_CsAl_.pdf 1.8 MB
Computer science/AI/Fitting M. First-order Logic and Automated Theorem Proving (Springer, 1990)(ISBN 3540972331)(600dpi)(T)(O)(262s)_CsAi_.djvu 1.8 MB
Programming languages/Prolog/Clocksin W., Mellish C. Programming in Prolog, using the ISO standard (5ed., Springer, 2003)(ISBN 3540006788)(T)(314s)_CsPl_.djvu 1.8 MB
Formal methods/Eilenberg S. Automata, languages, and machines. Volume B (AP, 1976)(ISBN 0122340027)(T)(403s)_CsAl_.djvu 1.8 MB
Algorithms/Reghizzi S.C. Formal languages and compilation (Springer, 2009)(ISBN 1848820496)(O)(370s)_CsAl_.pdf 1.8 MB
Algorithms/Greco F. (ed.) Traveling salesman problem (I-Tech, 2008)(ISBN 9789537619107)(600dpi)(T)(O)(212s)_CsAl_.djvu 1.8 MB
Computer science/Computability/Enderton H. Computability theory.. An introduction to recursion theory (AP, 2010)(ISBN 0123849586)(O)(176s)_CsNp_.pdf 1.8 MB
Computer science/AI/Winograd T., Flores F. Understanding computers and cognition (AW, 1987)(ISBN 0201112973)(T)(221s)_CsAi_.djvu 1.8 MB
Computer science/Computability/Zhou C., Hansen M.R. Duration Calculus.. A Formal Approach to Real-Time Systems (Springer, 2004)(ISBN 3540408231)(600dpi)(T)(256s)_CsNp_.djvu 1.8 MB
Algorithms/Bird R., Wadler P. Introduction to Functional Programming (PH, 1992)(ISBN 9780134841977)(600dpi)(T)(310s)_CsAl_.djvu 1.8 MB
Programming languages/Kiusalaas J. Numerical Methods in Engineering With Python (ISBN 9780521852876)(433s).pdf 1.8 MB
Formal methods/Stavely A.M. Toward zero-defect programming (AW, 1999)(ISBN 0201385953)(600dpi)(T)(258s)_CsF_.djvu 1.8 MB
Formal methods/Hoar Ch. (_Hoare_) Vzaimodejstvujushchie posledovatel'nye processy (Mir, 1989)(ISBN 5030010432)(ru)(T)(266s)_CsAl_.djvu 1.8 MB
Programming languages/C/Navia J. Quick introduction to C (lcc compiler docs, 2002)(T)(249s).djvu 1.8 MB
Algorithms/Burge W.H. Recursive Programming Techniques (AW, 1975)(ISBN 9780201144505)(T)(290s)_CsAl_.djvu 1.8 MB
Algorithms/Dahl O.-J., Dijkstra E.W., Hoare C.A.R. Structured Programming (AP, 1972)(ISBN 0122005503)(K)(T)(226s)_CsAl_.djvu 1.8 MB
Programming languages/Lisp/Keene S.E. Object-Oriented Programming in Common Lisp (AW, 1989)(T)(ISBN 0201175894)(288s)_CsPl_.djvu 1.8 MB
Computer science/AI/Kashyap V., Bussler C., Moran M. The semantic web. Semantics for data and services on the web (Springer, 2008)(ISBN 9783540764519)(O)(414s)_CsAi_.pdf 1.8 MB
Formal methods/Milner R. Communicating and mobile systems.. the pi-calculus (CUP, 1999)(ISBN 9780521643207)(KA)(T)(171s)_CsAl_.djvu 1.8 MB
Algorithms/Abelson A., Sussman G.J. Structure and interpretation of computer programs (2ed., MIT, 1996)(ISBN 0262011530)(634s)_CsAl_.pdf 1.8 MB
Natural language/Minnen G. Efficient processing with constraint-logic grammars using grammar compilation (CSLI, 2001)(ISBN 1575863065)(600dpi)(T)(265s)_CsAi_.djvu 1.7 MB
Programming languages/Pierce B.C. Types and Programming Languages (MIT, 2002)(ISBN 0262162091)(O)(645s)_CsPl_.pdf 1.7 MB
Natural language/van Eijck J., Unger C. Computational Semantics with Functional Programming (CUP, 2010)(ISBN 0521757606)(O)(422s)_CsAi_.pdf 1.7 MB
Programming languages/Prolog/Gregory S. Parallel Logic Programming in Parlog.. The Language and Its Implementation (AW, 1987)(ISBN 9780201192414)(600dpi)(T)(229s)_CsPl_.djvu 1.7 MB
Formal methods/Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(253s)_CsAl_.djvu 1.7 MB
Programming languages/C++/Scheinerman E. C++ for mathematicians. An introduction for students and professionals (CRC, 2006)(ISBN 158488584X)(520s)_CsPl_.pdf 1.7 MB
Computer science/Reynolds C., Tymann P. Schaum's outline of principles of computer science (MGH, 2008)(ISBN 0071460519)(233s)_Cs_.pdf 1.7 MB
Algorithms/Brown P.J. Writing Interactive Compilers and Interpreters (Wiley, 1979)(ISBN 9780471276098)(600dpi)(T)(282s)_CsAl_.djvu 1.7 MB
Databases/Trinder P. A functional database (phd thesis, report PRG-82, Oxford, 1989)(600dpi)(T)(210s)_CsDb_.djvu 1.7 MB
Programming languages/Apt K. Principles of constraint programming (CUP, 2003)(420s)_CsPl_.pdf 1.7 MB
Computer science/Computability/Davis M. Computability and unsolvability (MGH, 1958)(ISBN 0486614719)(T)(235s)_CsNp_.djvu 1.7 MB
Formal methods/Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(262s)_CsAl_.djvu 1.7 MB
Formal methods/Grumberg O. Formal Logical Methods for System Security and Correctness (IOS Press, 2008)(ISBN 9781586038434)(O)(332s)_CsAl_.pdf 1.7 MB
Algorithms/Crochemore M., Hancart C., Lecroq T. Algorithms on strings (CUP, 2007)(ISBN 9780521848992)(O)(393s)_CsAl_.pdf 1.7 MB
Algorithms/Van Roy, Haridi. Concepts and techniques of computer programming (draft 2003)(888s)_CsAl_.ps.gz 1.7 MB
Programming languages/Katzan H. APL Programming and Computer Techniques (Van Nostrand, 1970)(ISBN 9780442242510)(T)(342s)_CsPl_.djvu 1.7 MB
Formal methods/Ginsburg S. The mathematical theory of context-free languages (MGH, 1966)(ASIN B0000CNDEK)(T)(245s)_CsAl_.djvu 1.7 MB
Computer science/AI/Berry M.W. (ed.) Computational Information Retrieval (SIAM, 2001)(ISBN 9780898715002)(T)(200s)_CsAi_.djvu 1.7 MB
Formal methods/Bradley A., Manna Z. The calculus of computation.. Decision procedures with applications to verification (Springer, 2007)(ISBN 3540741127)(O)(375s)_CsAl_.pdf 1.7 MB
Formal methods/Bhattacharya A., Konar A., Mandal A. Parallel and distributed logic programming (Springer, 2006)(301s)_CsAl_.pdf 1.7 MB
Programming languages/Hook B. Write Portable Code.. An Introduction to Developing Software for Multiple Platforms (No Starch Press, 2005)(ISBN 9781593270568)(150dpi)(T)(O)(273s)_CsPl_.djvu 1.7 MB
Formal methods/Holcombe M. Algebraic automata theory (CUP, 1982)(ISBN 0521231965)(400dpi)(T)(O)(238s)_CsAl_.djvu 1.7 MB
Computer science/McCartney S. ENIAC.. The triumphs and tragedies of the world's first computer (Walker, 1999)(ISBN 0802713483)(600dpi)(T)(C)(271s)_Cs_.djvu 1.7 MB
Algorithms/Bentley J. Programming pearls (Addison-Wesley, 1986)(T)(ISBN 0201103311)(195s)_CsAl_.djvu 1.7 MB
Algorithms/Salomon D. A concise introduction to data compression (Springer, 2008)(ISBN 1848000715)(298s)_CsAl_.pdf 1.7 MB
Programming languages/Fortran/Fortran 90 5-day course (U.Liverpool, 1997)(600dpi)(T)(278s).djvu 1.7 MB
Programming languages/Henderson P., Jones G.A., Jones S.B. The LispKit manual, vols.1 and 2 (report PRG-32, Oxford, 1983)(400dpi)(T)(263s)_CsPl_.djvu 1.7 MB
Computer science/AI/Wallen L.A. Automated Deduction in Nonclassical Logics.. Efficient Matrix Proof Methods for (MIT, 1989)(ISBN 9780262231442)(600dpi)(T)(260s)_CsAi_.djvu 1.7 MB
Computer science/AI/Galton A. (ed.) Temporal Logics and their Applications (AP, 1988)(ISBN 0122740602)(600dpi)(T)(258s)_CsAi_.djvu 1.7 MB
Programming languages/Lisp/Steele G.L. Common Lisp, the language (1990)(1096s).ps.gz 1.7 MB
Computer science/Computability/Harel D. Computers Ltd.. What they really can't do (OUP, 2000)(ISBN 0198505558)(600dpi)(T)(O)(238s)_CsNp_.djvu 1.7 MB
Natural language/Deng L. Dynamic Speech Models (MC, 2006)(ISBN 1598290649)(118s)_CsAi_.pdf 1.7 MB
Formal methods/Cooke J. Constructing Correct Software (2ed., Springer, 2005)(ISBN 9783540761563)(O)(515s)_CsAl_.pdf 1.7 MB
Computer science/Computability/Jones N.D. Computability and complexity from a programming perspective (MIT, 1997)(ISBN 0262100649)(O)(484s)_CsNp_.pdf 1.7 MB
Algorithms/Leermakers R. The functional treatment of parsing (Kluwer AP Publishers, 1993)(ISBN 0792393767)(600dpi)(T)(176s)_CsAl_.djvu 1.7 MB
Algorithms/Brass P. Advanced Data Structures (CUP,2008)(ISBN 9780521880374)(474s)_CsAl_.pdf 1.7 MB
Computer science/Computability/Iordache O. Polystochastic models for complexity (Springer, 2010)(ISBN 3642106536)(O)(310s)_Cs_.pdf 1.7 MB
Computer science/Computability/Dasgupta S., Papadimitriou C.H., Vazirani U.V. Algorithms (web draft, 2006)(ISBN 0073523402)(336s)_CsNp_.pdf 1.7 MB
Algorithms/Coffman E.G., Lueker G. Probabilistic analysis of packing partitioning algorithms (Wiley, 1991)(T)(ISBN 047153272X)(202s)_CsAl_.djvu 1.7 MB
Computer science/AI/Borgelt C., Steinbrecher M., Kruse R. Graphical models.. Representations for learning, reasoning and data mining (2ed., Wiley, 2009)(ISBN 047072210X)(O)(397s)_CsAl_.pdf 1.7 MB
Natural language/Dik S.C. Functional Grammar in Prolog.. An Integrated Implementation for English, French, and Dutch (de Gruyter Mouton, 1992)(ISBN 3110129795)(600dpi)(T)(278s)_CsAi_.djvu 1.7 MB
Algorithms/Tremblay J. An Implementation Guide to Compiler Writing (MGH, 1982)(ISBN 9780070651661)(600dpi)(T)(268s)_CsAl_.djvu 1.6 MB
Formal methods/Bowman H., Gomez R. Concurrency Theory.. Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Springer, 2005)(ISBN 9781852338954)(444s)_CsAl_.pdf 1.6 MB
Algorithms/Kozen D.C. The design and analysis of algorithms (Springer-Verlag, 1991)(K)(T)(ISBN 0387976876)(332s)_CsAl_.djvu 1.6 MB
Programming languages/C++/Vandevoorde D. C++ solutions.. companion to Stroustrup's book C++ programming language, 3ed. (AW, 1998)(ISBN 0201309653)(600dpi)(T)(O)(300s)_CsPl_.djvu 1.6 MB
Computer science/Computability/Schoening U. Theoretische Informatik kurz gefasst (Inf IV)(low res)(de)(T)(86s).djvu 1.6 MB
Natural language/Georgiev H. English algorithmic grammar (Continuum, 2006)(ISBN 0826487777)(T)(265s)_CsAi_.djvu 1.6 MB
Algorithms/Okasaki C. Purely functional data structures (CUP, 1999)(ISBN 0521663504)(400dpi)(T)(O)(231s)(KA)_CsAl_.djvu 1.6 MB
Natural language/Fomichov V. Semantics-oriented natural language processing.. Mathematical models and algorithms (Springer, 2010)(ISBN 0387729240)(O)(340s)_CsAi_.pdf 1.6 MB
Algorithms/Abramson H., Dahl V. Logic Grammars (Springer, 1989)(ISBN 0387969616)(600dpi)(T)(250s)_CsAl_.djvu 1.6 MB
Programming languages/Griswold R.E., et al. Snobol 4 Programming Language (PH, 1971)(ISBN 9780138153731)(600dpi)(K)(T)(O)(272s)_CsPl_.djvu 1.6 MB
Computer science/AI/Schapire R.E. The design and analysis of efficient learning algorithms (MIT, 1992)(ISBN 0262193256)(400dpi)(T)(219s)_CsAi_.djvu 1.6 MB
Algorithms/Chandra R., et al. Parallel Programming in OpenMP (Elsevier, 2001)(ISBN 9781558606715)(O)(249s)_CsAl_.pdf 1.6 MB
Algorithms/Niedermeier R. Invitation to fixed-parameter algorithms (OUP, 2006)(ISBN 0198566077)(312s)_CsAl_.pdf 1.6 MB
Programming languages/Fortran/Adams J.C., et al. Fortran 90 Handbook, complete ANSI-ISO reference (MGH, 1992)(ISBN 0070004064)(835s).pdf 1.6 MB
Computer science/AI/Boyer R.S., Moore J.S. A computational logic (AP, 1979)(ISBN 0121229505)(T)(440s)_CsAi_.djvu 1.6 MB
Natural language/Carpenter R.L. The Logic of Typed Feature Structures.. With Applications to Unification Grammar (CUP, 1992)(ISBN 0521419328)(T)(280s)_CsAi_.djvu 1.6 MB
Algorithms/Foster I. Systems Programming in Parallel Logic Languages (PH, 1990)(ISBN 9780138807740)(600dpi)(T)(209s)_CsAl_.djvu 1.6 MB
Programming languages/ML/Sokolowski S. Applicative High Order Programming.. Standard ML in Practice (Chapman and Hall, 1991)(ISBN 9780442308384)(600dpi)(T)(255s)_CsPl_.djvu 1.6 MB
Formal methods/Ostroff J.S. Temporal logic for real-time systems (Wiley, 1989)(ISBN 0471924024)(600dpi)(T)(224s)_CsAl_.djvu 1.6 MB
Programming languages/Java/Marinescu F. EJB design patters (Wiley, 2002)(400dpi)(ISBN 0471208310)(T)(C)(289s).djvu 1.6 MB
Natural language/Hausser R. A Computational Model of Natural Language Communication.. Interpretation, Inference, and Production in Database Semantics (Springer, 2006)(ISBN 354035476X)(364s)_CsAi_.pdf 1.6 MB
Formal methods/Dijkstra E.W. A discipline of programming (PH, 1976)(ISBN 013215871X)(600dpi)(T)(232s)_CsAl_.djvu 1.6 MB
Programming languages/Python/Nix M., et al. Exploring Python (Entwickler, 2005)(ISBN 3935042698)(de)(600dpi)(T)(174s)_CsAl_.djvu 1.6 MB
Algorithms/Hromkovic J. Design and analysis of randomized algorithms (Springer, 2005)(ISBN 3540239499)(279s)_CsAl_.pdf 1.6 MB
Computer science/AI/Rokach L. Pattern classification using ensemble methods (WS, 2010)(ISBN 9814271063)(O)(241s)_CsAi_.pdf 1.6 MB
Algorithms/Minker W., Bennacef S. Speech and human-machine dialog (Kluwer, 2004)(ISBN 1402080360)(104s)_CsAl_.pdf 1.6 MB
Algorithms/Michaelson G., Trinder P., Loidl H.-W. (eds.) Trends in functional programming (Intellect, 2001)(ISBN 1841500240)(T)(189s)_CsAl_.djvu 1.6 MB
Programming languages/Lisp/Kiczales G., des Rivieres J., Bobrow D.G. The art of the metaobject protocol (MIT, 1991)(ISBN 9780585358123)(KA)(T)(330s)_CsPl_.djvu 1.6 MB
Natural language/Levinson S.E. Mathematical Models for Speech Technology (Wiley,2005)(ISBN 0470844078)(284s)_CsAi_.pdf 1.6 MB
Algorithms/Tomita M. (ed.) Generalized LR Parsing (Springer, 1991)(ISBN 0792392019)(600dpi)(T)(182s)_CsAl_.djvu 1.6 MB
Formal methods/Gabbar H.A. (eds.) Modern Formal Methods and Applications (Springer, 2006)(ISBN 9781402042232)(216s)_CsPl_.pdf 1.6 MB
Computer science/AI/Birkgoff G. Matematika i psihologiya (Sovetskoe radio, 1977)(ru)(K)(600dpi)(T)(96s)_CsAi_.djvu 1.6 MB
Databases/Alagic S. Relational database technology (Springer, 1986)(ISBN 038796276X)(T)(271s)_CsAl_.djvu 1.6 MB
Algorithms/Page E.S., Wilson L.B. An introduction to computational combinatorics (CUP, 1979)(ISBN 0521224276)(T)(600dpi)(225s)_CsAl_.djvu 1.6 MB
Natural language/Hovy E.H. Generating Natural Language Under Pragmatic Constraints (Psychology, 1988)(ISBN 9780805802498)(600dpi)(T)(227s)_CsAi_.djvu 1.6 MB
Databases/Lausen G., Vossen G. Models and languages of object-oriented databases (AW, 1998)(ISBN 0201624311)(T)(224s)_CsDb_.djvu 1.6 MB
Algorithms/Bremner M.R. Lattice basis reduction. An introduction to the LLL algorithm and its applications (CRC, 2012)(ISBN 1439807027)(O)(334s)_CsAl_.pdf 1.6 MB
Formal methods/Ito M., et al. (eds.) Automata, formal languages and algebraic systems (WS, 2010)(ISBN 9814317608)(O)(247s)_CsAl_.pdf 1.6 MB
Natural language/Gelbukh A., Bolshakov I. Computational linguistics.. models, resources, applications (U. Nacional Autonoma de Mexico, 2004)(ISBN 9703601472)(198s).pdf 1.6 MB
Programming languages/Ierusalimschy R. Programming in Lua (2ed., Lua.org, 2006)(ISBN 9788590379829)(O)(329s).pdf 1.6 MB
Algorithms/Tomita M. Efficient parsing for natural language.. a fast algorithm for practical systems (Kluwer, 1986)(ISBN 0898382025)(K)(600dpi)(T)(227s)_CsAl_.djvu 1.6 MB
Algorithms/Nijenhuis A., Wilf H. Combinatorial Algorithms(2ed., AP, 1978)(200dpi)(T)(ISBN 0125192606)(309s)_CsAl_.djvu 1.6 MB
Algorithms/Ruhe G. Algorithmic Aspects of Flows in Networks (Kluwer, 1991)(ISBN 0792311515)(600dpi)(T)(212s)_CsAl_.djvu 1.6 MB
Algorithms/Weide B.W. Statistical methods in algorithm design and analysis (thesis)(1978)(T)(190s)_CsAl_.djvu 1.6 MB
Computer science/AI/Furuhashi T. (ed.) Advances in Fuzzy Logic Neural Networks and Genetic Algorithms. Proc. Workshop Nagoya, 1994 (LNCS1011, Springer, 1995)(ISBN 3540606076)(T)(155s)_CsAi_.djvu 1.6 MB
Programming languages/Prolog/Dobry T. A High Performance Architecture for Prolog (Kluwer, 1990)(ISBN 0792390601)(600dpi)(T)(238s)_CsPl_.djvu 1.6 MB
Natural language/Bolc L. (ed.) Natural language communication with computers (LNCS0063, Springer, 1978)(ISBN 038708911X)(T)(288s)_CsAi_.djvu 1.6 MB
Formal methods/Baeten J., Basten T., Reniers M. Process algebra.. Equational theories of communicating processes (CUP, 2010)(ISBN 0521820499)(O)(478s)_CsAl_.pdf 1.6 MB
Formal methods/Levelt W.J.M. Introduction to Theory of Formal Languages and Automata (John Benjamins, 2008)(ISBN 9027232504)(152s)_CsAl_.pdf 1.5 MB
Algorithms/Apt K., Gradel E. (ed.) Lectures in game theory for computer scientists (CUP, 2011)(ISBN 0521198666)(O)(309s)_CsAl_.pdf 1.5 MB
Formal methods/Amtoft T., Nielson F., Nielson H.R. Type and Effect Systems.. Behaviours for Concurrency (WS, 1999)(ISBN 9781860941542)(600dpi)(T)(268s)_CsAl_.djvu 1.5 MB
Computer science/Resnick M. Turtles, termites and traffic jams.. explorations in massively parallel microworlds (no p.97)(MIT, 1994)(T)(ISBN 0262181622)(170s)_Cs_.djvu 1.5 MB
TeX/Goossens M., Rahtz S. The LaTeX Web companion (TOC, chapter 2, index only)(T)(ISBN 0201433117)(132s)_ST_.djvu 1.5 MB
Algorithms/Van D.L., Ito M. (eds.) The mathematical foundation of informatics. Conf. Hanoi, 1999 (WS, 2005)(ISBN 9810246560)(T)(208s)_CsAl_.djvu 1.5 MB
Algorithms/Wilf H. Algorithms and complexity (2ed., AK Peters, 2002)(ISBN 1568811780)(600dpi)(T)(O)(228s)_CsAl_.djvu 1.5 MB
Programming languages/Hall J.N., McAdams J.A., Foy B.D. Effective Perl Programming.. Ways to Write Better, More Idiomatic Perl (2ed., AW, 2010)(ISBN 9780321496942)(O)(494s)_CsPl_.pdf 1.5 MB
Algorithms/Page E.S., Wilson L.B. An introduction to computational combinatorics (CUP, 1979)(ISBN 0521224276)(600dpi)(T)(225s)_CsAl_.djvu 1.5 MB
Algorithms/Pu I. Fundamental data compression (Elsevier, 2006)(ISBN 0750663103)(T)(269s)_CsAl_.djvu 1.5 MB
Formal methods/Berard B., Bidoit M., Finkel A., et al. Systems and Software Verification.. Model-Checking Techniques and Tools (Springer, 2001)(ISBN 3540415238)(600dpi)(T)(O)(201s)_CsAl_.djvu 1.5 MB
Algorithms/Hansen P.B. Architecture of Concurrent Programs (PH, 1977)(ISBN 9780130446282)(KA)(T)(329s)_CsAl_.djvu 1.5 MB
Formal methods/Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(T)(316s).djvu 1.5 MB
Computer science/Computability/Homer S., Selman A.L. Computability and complexity theory (2ed., Springer, 2011)(ISBN 9781461406815)(O)(315s)_CsNp_.pdf 1.5 MB
Natural language/Grishman R. Computational Linguistics.. An Introduction (CUP, 1986)(ISBN 9780521325028)(600dpi)(K)(T)(203s)_CsAi_.djvu 1.5 MB
Computer science/Schoening U. Theoretische Informatik - kurz gefasst (Spektrum, 2008)(ISBN 3827418240)(de)(KA)(150dpi)(T)(171s)_Cs_.djvu 1.5 MB
Algorithms/Esparza J., Michaux C., Steinhorn C. (eds.) Finite and algorithmic model theory (CUP, 2011)(ISBN 0521718201)(O)(355s)_CsAl_.pdf 1.5 MB
Algorithms/Bentley J. More programming pearls (Addison-Wesley, 1988)(T)(ISBN 0201118890)(204s)_CsAl_.djvu 1.5 MB
Computer science/AI/Merritt D. Building expert systems in Prolog (free web version, 2001)(308s)_CsAi_.pdf 1.5 MB
Computer science/AI/Merritt D. Building Expert Systems in Prolog (Springer, 1989)(ISBN 9780387970165)(O)(308s)_CsAi_.pdf 1.5 MB
Algorithms/Birman A. The TMG recognition schema (phd thesis, Princeton, 1970)(KA)(600dpi)(T)(98s)_CsAl_.djvu 1.5 MB
Natural language/Dale R. Generating Referring Expressions.. Constructing Descriptions in a Domain of Objects and Processes (MIT, 1992)(ISBN 0262041286)(600dpi)(T)(288s)_CsAi_.djvu 1.5 MB
Algorithms/Eijkhout V. The computer science of TeX and LaTeX (web draft, lecture notes, 2004)(206s)_CsAl_.pdf 1.5 MB
Programming languages/Priestley M. A science of operations.. Machines, logic and the invention of programming (Springer, 2011)(ISBN 1848825544)(O)(352s)_CsPl_.pdf 1.5 MB
TeX/Schwarz N. Einfuehrung in TeX (3ed., 1991)(de)(336s)_ST_.pdf 1.5 MB
Algorithms/Lee P. Realistic Compiler Generation (MIT, 1989)(ISBN 9780262121415)(600dpi)(T)(263s)_CsAl_.djvu 1.5 MB
Algorithms/Laboratory in software engineering (MIT EECS 6170 lecture notes, 2001)(206s)_CsAl_.pdf 1.4 MB
Natural language/Gardner A. An Artificial Intelligence Approach to Legal Reasoning (MIT, 1987)(ISBN 0262071045)(600dpi)(T)(239s)_CsAi_.djvu 1.4 MB
Algorithms/Shonkwiler R., Lefton L. An introduction to parallel and vector scientific computing (CUP, 2006)(ISBN 9780521864787)(O)(306s)_CsAl_.pdf 1.4 MB
Algorithms/Preparata F. (ed.) Theoretical computer sciences (CIME0068 1975, Springer, 2011)(ISBN 3642111181)(600dpi)(T)(O)(183s)_CsAl_.djvu 1.4 MB
Algorithms/Lent J. Probabilistic analysis of some searching and sorting algorithms (Dissertation, 1996)(T)(112s)_CsAl_.djvu 1.4 MB
Computer science/AI/Cleeremans A. Mechanisms of Implicit Learning.. Connectionist Models of Sequence Processing (MIT, 1993)(ISBN 0262032058)_CsAi_.chm 1.4 MB
Algorithms/Cormen T.H., Lee C., Lin E. Instructor's manual for Introduction to algorithms, 2ed. (MIT, 2002)(429s)_CsAl_.pdf 1.4 MB
TeX/Abrahams P.W., Hargreaves K.A., Berry K. TeX for the impatient (AW, 1990, free web version, 2003)(O)(392s)_ST_.pdf 1.4 MB
Algorithms/Luccio F., Pagli L., Steel G. Mathematical and algorithmic foundations of the Internet (CRC, 2011)(ISBN 1439831386)(O)(219s)_CsAl_.pdf 1.4 MB
Computer science/AI/Frey B.J. Graphical Models for Machine Learning and Digital Communication (MIT, 1998)(ISBN 026206202X)_CsAi_.chm 1.4 MB
Formal methods/Padawitz P. Deduction and Declarative Programming (CUP, 1992)(ISBN 9780521417235)(T)(285s)_CsAi_.djvu 1.4 MB
TeX/Morison S. A Tally of Types (CUP, 1973)(ISBN 9780521200431)(600dpi)(T)(137s)_ST_.djvu 1.4 MB
Formal methods/Hehner E.C.R. A practical theory of programming (free web version, 2012)(O)(256s).pdf 1.4 MB
Formal methods/Cohen E. Programming in the 1990's.. An Introduction to the Calculation of Programmes (Springer, 1990)(ISBN 9783540973829)(600dpi)(T)(286s)_CsAl_.djvu 1.4 MB
Algorithms/Nijenhuis N., Wilf H.S. Combinatorial algorithms for computers and calculators (2ed., AP, 1978)(ISBN 0125192606)(T)(316s)_CsAl_.djvu 1.4 MB
Programming languages/Plasmeijer R., van Eckelen M. Functional programming and parallel graph rewriting (AW, 1993)(free web version)(622s)_CsPl_.pdf 1.4 MB
Algorithms/Rohl J.S. Recursion via Pascal (CUP, 1984)(ISBN 0521269342)(T)(201s)_CsAl_.djvu 1.4 MB
Formal methods/Comon H., et al. Tree automata techniques and applications (web draft, 2005)(222s)_CsAl_.pdf 1.4 MB
Computer science/Computability/Parberry I. Complexity of parallel computations (free web version, 1987)(ISBN 0470209313)(T)(O)(212s)_CsNp_.djvu 1.4 MB
TeX/Abrahams P.W., Hargreaves K.A., Berry K. TeX for the impatient (AW, 1990, free web version, 2003)(391s)_ST_.pdf 1.4 MB
Programming languages/Finkel R.A. Advanced programming language design (AW, 1996)(ISBN 0805311912)(O)(370s)_CsPl_.pdf 1.4 MB
TeX/Krantz S.G. Handbook of typography for the mathematical sciences (CRC, 2001)(ISBN 1584881496)(O)(190s)_ST_.pdf 1.4 MB
Algorithms/Hyslop G.A. Bucketing algorithms for sorting selection and computational geometry (Dissertation, 1993)(T)(102s)_CsAl_.djvu 1.3 MB
Computer science/Computability/Schoening U. Algorithmen kurz gefasst (Spectrum, 1997)(ISBN 3827402328)(de)(T)(209s)_CsNp_.djvu 1.3 MB
Computer science/Computability/Homer S., Selman A.L. Computability and complexity theory (Springer, 2001)(ISBN 0387950559)(T)(207s)_CsNp_.djvu 1.3 MB
Natural language/Stevenson M. Word sense disambiguation.. the case for combinations of knowledge sources (CSLI, 2003)(ISBN 1575863901)(600dpi)(T)(193s)_CsAi_.djvu 1.3 MB
TeX/Gurari E.M. Writing with TEX (MGH, 1994)(ISBN 0070252076)(KA)(T)(282s)_ST_.djvu 1.3 MB
Algorithms/Bentley J. Writing efficient programs (PH Inc, 2000)(T)(ISBN 0139702512)(183s)_CsAl_.djvu 1.3 MB
Algorithms/Shen A. Algorithms and Programming (Birkhauser, 1996)(ISBN 9783764338473)(T)(O)(230s)_CsAl_.djvu 1.3 MB
Formal methods/Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628).chm 1.3 MB
Algorithms/Reekie H.J. Realtime signal processing - dataflow, visual, and functional programming (PhD thesis, 1995)(T)(226s)_CsAl_.djvu 1.3 MB
Programming languages/Leler W. Constraint Programming Languages.. Their Specification and Generation (AW, 1987)(ISBN 9780201062434)(K)(600dpi)(T)(210s)_CsPl_.djvu 1.3 MB
Algorithms/Hopgood F.R.A. Compiling techniques (MacDonald, 1974)(ISBN 0444197699)(600dpi)(T)(135s)_CsAl_.djvu 1.3 MB
Computer science/AI/Nilsson N.J. Introduction to machine learning (web draft, 1996)(208s)_CsAi_.pdf 1.3 MB
Programming languages/ML/Harper. Programming in Standard ML (lecture notes, 2002)(T)(293s).djvu 1.3 MB
Computer science/Computability/Schoning U. Gems of theoretical computer science (draft, Springer, 1998)(ISBN 3540644253)(327s)_CsNp_.pdf 1.3 MB
TeX/Knuth D. The METAFONT book (AMS, 1986)(ISBN 0201134454)(374s)_ST_.pdf 1.3 MB
Algorithms/Dumas J.-G. Algorithmes paralleles pour le calcul formel.. algebre lineaire creuse et extensions algebriques (fr)(Grenoble these, 2000)(242s)_CsAl_.pdf 1.3 MB
Computer science/AI/Fu K.S. Sequential methods in pattern recognition and machine learning (AP, 1968)(ISBN 012269550X)(T)(O)(245s)_CsAi_.djvu 1.3 MB
Algorithms/Limnios N. Fault trees (ISTE, 2007)(ISBN 1905209304)(224s)_CsAl_.pdf 1.3 MB
Algorithms/Salomaa A. Jewels of formal language theory (Computer Science, 1981)(ISBN 0914894692)(600dpi)(T)(150s)_CsAl_.djvu 1.3 MB
Programming languages/ML/Gansner E.R., Reppy J.H. (eds.) The Standard ML Basis Library (CUP, 2002)(ISBN 0521794781)(O)(487s)_CsPl_.pdf 1.3 MB
Natural language/Konrad K. Model generation for natural language interpretation and analysis (PhD thesis, Saarbruecken, 2000)(600dpi)(T)(212s)_CsAi_.djvu 1.3 MB
TeX/Eijkhout V. TeX by Topic (ISBN 0201568829)(287s).pdf 1.3 MB
Algorithms/Wirth N. Systematic programming (PH 1973)(ISBN 0138803692)(600dpi)(T)(182s)_CsAl_.djvu 1.3 MB
Algorithms/Nilsson U., Maluszynski J. Logic, programming and Prolog (2ed., Wiley, 1995)(ISBN 9780471959960)(294s)_CsAl_.pdf 1.3 MB
Natural language/Jackson P., Moulinier I. (eds.) Natural language processing for online applications.. text retrieval, extraction and categorization (2002)(ISBN 902724989X)(237s).pdf 1.3 MB
Algorithms/Lilja D.J. Measuring computer performance. A practitioner's guide (CUP, 2004)(ISBN 0521641055)(O)(279s)_CsAl_.pdf 1.3 MB
Computer science/AI/Aleksander I. How to build a mind.. Towards machines with imagination (Columbia, 2001)(ISBN 0231120125)(T)(S)(221s)_CsAi_.djvu 1.3 MB
Computer science/Vickers S. Topology via logic (CUP, 1989)(ISBN 0521360625)(K)(T)(211s)_Cs_.djvu 1.3 MB
Bash/Robbins A., Beebe N. - Classic Shell Scripting - 2005.epub 1.3 MB
Algorithms/Dolev S. Self-Stabilization (MIT Press, 2000)(K)(T)(ISBN 0262041782)(206s)_CsAl_.djvu 1.3 MB
Algorithms/Olderog E.-R. Nets, Terms and Formulas.. Three Views of Concurrent Processes and their Relationship (CUP, 1991)(ISBN 9780521400442)(T)(277s)_CsAl_.djvu 1.2 MB
Computer science/AI/Russell S., Norvig P. Instructor's Manual for Artificial Intelligence.. the modern approach 2ed. (PH, 2003)(ISBN 0130903760)(181s)_CsAi_.pdf 1.2 MB
Formal methods/Woodcock J., Davies J. Using Z.. Specification, Refinement, and Proof (PH, 1996)(ISBN 9780139484728)(O)(408s)_CsPl_.pdf 1.2 MB
Formal methods/Ito M. Algebraic theory of automata and languages(WS,2004)(T)(ISBN 9810247273)(202s)_CsPl_.djvu 1.2 MB
Formal methods/Woodcock, Davies. Using Z (free web version, 1999)(O)(407s)_CsPl_.pdf 1.2 MB
Algorithms/Tarjan R.E. Data structures and network algorithms (SIAM, 1983)(T)(ISBN 0898711878)(131s)_CsAl_.djvu 1.2 MB
Natural language/Kallmeyer L. Parsing beyond context-free grammars (Springer, 2010)(ISBN 364214845X)(O)(260s)_LF_.pdf 1.2 MB
Algorithms/Peterson W.P., Arbenz P. Introduction to parallel computing (OUP, 2004)(ISBN 0198515766)(278s)_CsAl_.pdf 1.2 MB
Algorithms/Gabizon A. Deterministic extraction from weak random sources (Springer, 2011)(ISBN 3642149022)(O)(161s)_CsAl_.pdf 1.2 MB
Algorithms/Diekert V. Combinatorics on traces (LNCS0454, Springer, 1990)(ISBN 3540530312)(T)(O)(169s)_CsAl_.djvu 1.2 MB
Algorithms/Pieprzyk J., Sadeghiyan B. Design of hashing algorithms (LNCS0756, Springer, 1993)(ISBN 3540575006)(T)(208s)_CsAl_.djvu 1.2 MB
Databases/C. J. Date SQL and Relational Theory 2009.chm 1.2 MB
Algorithms/Meduna A., Svec M. (eds.) Grammars With Context Conditions and Their Applications (Wiley, 2005)(ISBN 0471718319)(T)(O)(228s)_CsAl_.djvu 1.2 MB
Algorithms/Kernighan B.W., Plauger P.J. The elements of programming style (2ed., MGH, 1978)(ISBN 0070342075)(600dpi)(T)(181s)_CsAl_.djvu 1.2 MB
Natural language/Pereira F.C.N., Shieber S.M. Prolog and Natural-Language Analysis (1987, free web version, 2005)(ISBN 9780937073186)(204s)_CsAi_.pdf 1.2 MB
Algorithms/Mills B. Theoretical introduction to programming (Springer 2006)(365s)_CsAl_.pdf 1.2 MB
Algorithms/Blelloch G. Vector models for data-parallel computing (MIT, 1990)(ISBN 026202313X)(O)(268s)_CsAl_.pdf 1.2 MB
Algorithms/Pascal G. Arithmetique et algorithmique en algebre lineaire exacte pour la bibliotheque LinBox (fr)(Lyon these, 2004)(206s)_CsAl_.pdf 1.2 MB
Formal methods/Graham T.C. Declarative Development of Interactive Systems (Oldenbourg, 1995)(ISBN 3486234307)(600dpi)(T)(190s)_CsAl_.djvu 1.2 MB
Algorithms/Tarjan R.E. Data structures and network algorithms (SIAM, 1983)(ISBN 0898711878)(T)(O)(142s)_CsAl_.djvu 1.2 MB
Programming languages/Fortran/Akin E. Object-oriented programming via Fortran 90-95 (1991)(301s)_S_.pdf 1.2 MB
Computer science/Computability/Bovet D., Crescenzi P. Introduction to the theory of complexity (PH, 1994)(ISBN 0139153802)(O)(291s)_CsNp_.pdf 1.1 MB
Computer science/Roberts E.S. Thinking Recursively (Wiley, 1986)(ISBN 9780471816522)(T)(189s)_CsPop_.djvu 1.1 MB
Natural language/Frederking R.E. Integrated Natural Language Dialogue.... A Computational Model (Springer, 1987)(ISBN 9780898382556)(600dpi)(T)(201s)_CsAi_.djvu 1.1 MB
Computer science/Computability/Chiswell I. A course in formal languages, automata and groups (Springer, 2009)(ISBN 1848009399)(161s)_CsNp_.pdf 1.1 MB
Natural language/MacCartney B. Natural language inference (phd thesis, Stanford, 2009)(179s)_CsAi_.pdf 1.1 MB
TeX/Kohm, Morawski. The KOMAscript user's guide (free web version, 2004)(228s).pdf 1.1 MB
Algorithms/Gordon A.D. Functional Programming and Input-Output (CUP, 2008)(ISBN 9780521070072)(169s)_CsAl_.pdf 1.1 MB
Algorithms/Grune D., Jacobs C.J.H. Parsing Techniques.. A Practical Guide (Ellis Horwood, 1991)(ISBN 9780136514312)(318s)_CsAl_.pdf 1.1 MB
Programming languages/C++/Alexandrescu A. Modern C++ design.. generic programming and design patterns applied (AW, 2001)(ISBN 0201704315)(285s).pdf 1.1 MB
Formal methods/Kroeger F. Temporal Logic of Programs (Springer, 1987)(ISBN 0387170308)(600dpi)(T)(158s)_CsAl_.djvu 1.1 MB
Algorithms/Winograd S. Arithmetic complexity of computations (SIAM 1980)(K)(600dpi)(T)(ISBN 0898711630)(97s)_CsAl_.djvu 1.1 MB
Algorithms/Cui Yu. High-dimensional indexing.. Transformational approaches to high-dimensional range and similarity searches (LNCS2341, Springer, 2002)(ISBN 3540441999)(159s)_CsAl_.pdf 1.1 MB
Programming languages/Lisp/Gabriel R.P. Performance and evaluation of LISP systems (MIT, 1985)(ISBN 9780262070935)(294s)_CsPl_.pdf 1.1 MB
Computer science/AI/Nilsson N.J. Introduction to machine learning (lecture notes, 1996)(T)(208s)_CsAi_.djvu 1.1 MB
Computer science/Computability/Lipton R. The P=NP question and Goedel's lost letter (Springer, 2010)(ISBN 1441971548)(O)(254s)_CsNp_.pdf 1.1 MB
Computer science/AI/Neal R. Probabilistic Inference Using Markov Chain Monte Carlo Methods (Toronto tech.report, 1993) (T)(144s).djvu 1.1 MB
Programming languages/Prolog/Apt K.R. From logic programming to Prolog (PH, 1997)(ISBN 013230368X)(O)(345s)_CsPl_.pdf 1.1 MB
Computer science/Computability/Smith C. A recursive introduction to the theory of computation (Springer, 1994)(ISBN 0387943323)(600dpi)(T)(O)(155s)_CsNp_.djvu 1.1 MB
Formal methods/Jay B. Pattern Calculus.. computing with patterns and structures (Springer, 2009)(ISBN 3540891846)(O)(213s)_CsAl_.pdf 1.1 MB
Algorithms/Hockey S. Snobol programming for the humanities (Clarendon Press, 1985)(ISBN 0198246765)(600dpi)(T)(189s)_CsAl_.djvu 1.1 MB
Natural language/Aliseda-Llera A., et al. Computing natural language (1998)(ISBN 1575861003)(T)(168s)_CsAi_.djvu 1.1 MB
Algorithms/Goldberg L. Efficient algorithms for listing combinatorial structures (CUP, 1993)(ISBN 0521450217)(T)(O)(177s)_CsAl_.djvu 1.1 MB
Formal methods/Hoare C.A.R. Communicating sequential processes (web version, 2003)(ISBN 0131532898)(260s)_CsAl_.pdf 1.1 MB
Programming languages/Spivey J.M. An Introduction to Logic Programming Through Prolog (PH, 1996, free web version, 2002)(ISBN 9780135360477)(260s)_CsAl_.pdf 1.1 MB
Object-oriented development/Diaconescu R., Futatsugi K. CafeOBJ report.. the language, proof techniques, and methodologies for object-oriented algebraic specification (WS, 1998)(ISBN 9810235135)(600dpi)(T)(196s)_CsF_.djvu 1.1 MB
Algorithms/Gacs P., Lovasz L. Complexity of algorithms (lecture notes, 1999)(200dpi)(T)(180s).djvu 1.1 MB
Programming languages/Prolog/Bothner P.P., Kaehler W. Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung (Vieweg, 1991)(de)(ISBN 9783528051587)(O)(369s)_CsPl_.pdf 1.1 MB
TeX/Morison S. On Type Designs.. Past and Present (New Ed., Ernest Benn, 1962)(600dpi)(T)(79s)_ST_.djvu 1.1 MB
Natural language/Oakes M.P. Statistics for Corpus Linguistics (EUP, 1998)(ISBN 0748610324)_LF_.chm 1.1 MB
Algorithms/Mehlhorn K., Sanders P. Concise algorithmics, the basic toolbox (draft book, CUP)(124s)_CsAl_.pdf 1.0 MB
Algorithms/Rothenberg J., Narain S. The RAND advanced simulation language project's Declarative Modeling Formalism, DMOD (ARPA report MR-376, RAND, 1994)(ISBN 0833015559)(600dpi)(T)(72s)_CsAl_.djvu 1.0 MB
Algorithms/Andre F., Herman D., Verjus J.P. Synchronization of parallel programs (North Oxford Academic, 1985)(ISBN 9780946536207)(600dpi)(T)(122s)_CsAl_.djvu 1.0 MB
TeX/Shultis J.K. Latex notes (PTR PH, 1994)(ISBN 0131209736)(KA)(T)(192s)_ST_.djvu 1.0 MB
Programming languages/Wagner R., Wagner R. XSLT for dummies (Hungry Minds, 2002)(ISBN 0764536516)_CsPl_.chm 1.0 MB
Algorithms/Khuller S. Design and analysis of algorithms (draft, 2003)(O)(161s)_CsAl_.pdf 1.0 MB
Algorithms/Bird R. Pearls of Functional Algorithm Design (CUP, 2010)(ISBN 0521513383)(O)(291s)_CsAl_.pdf 1.0 MB
Algorithms/Schaffer R.W. Analysis of heapsort (Dissertation, 1992)(T)(91s)_CsAl_.djvu 1.0 MB
Programming languages/Fortran/Chapman S.J. Fortran 95,2003 for scientists and engineers (3ed., MGH, 2007)(ISBN 0390911976)(program code)_CsPl_.rar 1.0 MB
Computer science/Computability/Fernandez M. Models of computation.. An introduction to computability theory (Springer, 2009)(ISBN 1848824335)(188s)_CsNp_.pdf 1.0 MB
Algorithms/Greenlaw R., Hoover H.J., Ruzzo W. Limits to parallel computation. P-completeness theory (OUP, 1995)(ISBN 0195085914)(O)(328s)_CsAl_.pdf 1.0 MB
Algorithms/Ingerman P.Z. A syntax-oriented translator (AP, 1966)(ASIN B0000CN7CS)(600dpi)(T)(140s)_CsAl_.djvu 1.0 MB
Computer science/Computability/Turner R. Computable Models (Springer, 2009)(ISBN 1848820518)(238s)_CsNp_.pdf 1.0 MB
Algorithms/Rose K.H. Explicit substitutions in rewriting systems - tutorial and survey (LS-96-3, BRICS, 1996)(600dpi)(T)(163s)_CsAl_.djvu 1023.3 KB
Algorithms/Testard L. Calculs et visualisation en nombres complexes (fr)(Grenoble these, 1997)(209s)_CsAl_.pdf 1022.1 KB
TeX/Heck A. Learning METAPOST by doing (web draft, 2003)(93s)_ST_.pdf 1019.9 KB
Algorithms/Diaz J., et al. Paradigms for fast parallel approximability (CUP, 1997)(ISBN 0521431700)(T)(O)(167s)_CsAl_.djvu 1012.3 KB
Natural language/Blackburn P., Bos J. Representation and inference for natural language, vol. 2 (web draft, 1999)(225s)_CsAi_.pdf 994.8 KB
Algorithms/Wilf. Algorithms and Complexity (1ed, 1994)(139s).pdf 986.5 KB
Formal methods/Fokkink W. Introduction to process algebra (2ed., Springer, 2007)(ISBN 354066579X)(175s)_CsAl_.pdf 983.7 KB
TeX/Eijkhout V. TeX by topic (draft, 2008)(O)(319s)_ST_.pdf 980.9 KB
Formal methods/Brookes S.D. A model for communicating sequential processes (phd thesis, Oxford, 1983)(600dpi)(T)(188s)_CsF_.djvu 975.7 KB
Computer science/Computability/Goldreich O. P, NP, and NP-completeness.. The basics of computational complexity (CUP, 2010)(ISBN 052119248X)(O)(216s)_CsNp_.pdf 966.9 KB
Algorithms/Reps T.W. Generating Language-Based Environments (MIT, 1984)(ISBN 9780262181150)(600dpi)(T)(154s)_CsAl_.djvu 963.8 KB
Algorithms/Zito M.A.A. Randomized techniques in combinatorial algorithms (phd thesis, Warwick, 1999)(400dpi)(T)(150s).djvu 963.5 KB
Algorithms/Tsang E. Foundations of Constraint Satisfaction (AP, 1993)(ISBN 9780127016108)(O)(441s)_CsAl_.pdf 954.6 KB
Formal methods/Allison L. A Practical Introduction to Denotational Semantics (CUP, 1987)(ISBN 0521306892)(600dpi)(T)(146s)_CsPl_.djvu 952.1 KB
TeX/Swanson E., A.O'Shea, A.Schleyer. Mathematics into type (AMS,2000)(ISBN 0821819615)(600dpi)(T)(107s)_ST_.djvu 948.2 KB
Computer science/Computability/Dowek G. Proofs and algorithms.. An introduction to logic and computability (Springer, 2011)(ISBN 0857291203)(O)(168s)_CsNp_.pdf 944.1 KB
Programming languages/Python/Lutz M. Python pocket reference (O'Reilly, 2010)(ISBN 9780596158088)(O)(210s)_CsPl_.pdf 938.9 KB
Computer science/Computability/Codd E.F. Cellular automata (ACM monograph, AP, 1968)(ISBN 0121788504)(KA)(600dpi)(T)(132s)_CsNp_.djvu 937.2 KB
Computer science/Computability/Hehner E.C.R. A practical theory of programming (2ed., 2004)(ISBN 0387941061)(242s).pdf 911.8 KB
Formal methods/Ginsburg S. An introduction to mathematical machine theory (Addison, 1962)(ISBN 0201023903)(T)(157s)_CsAl_.djvu 911.5 KB
Programming languages/Prolog/Ait-Kaci H. Warren's Abstract Machine.. a tutorial reconstruction (MIT, 1991)(ISBN 9780262510585)(600dpi)(T)(134s)_CsPl_.djvu 910.0 KB
Algorithms/Yang R. P-Prolog.. A Parallel Logic Programming Language (WS, 1988)(ISBN 9789971505080)(600dpi)(T)(152s)_CsAl_.djvu 907.5 KB
Algorithms/Oliveira S., Stewart D. Writing scientific software. A guide to good style (CUP 2006)(316s)_CsAl_.pdf 894.9 KB
TeX/Knuth D. The TeXbook(494s).ps.bz2 893.3 KB
Computer science/AI/Griffiths M., Palissier C. Algorithmic methods for artificial intelligence (Kogan Page, 1987)(ISBN 1850912572)(600dpi)(T)(144s)_CsAi_.djvu 891.3 KB
Programming languages/ML/Reppy J.H. Concurrent Programming in ML (CUP, 2007)(ISBN 0521714729)(325s)_CsPl_.pdf 891.0 KB
Algorithms/Lau H.T. A Java Library of Graph Algorithms and Optimization (CRC, 2006)(ISBN 1584887184)(385s)_CsAl_.pdf 887.5 KB
Computer science/Computability/Sipser M. Introduction to the theory of computation. Instructor's manual.. solutions to 1ed., 1997 (Thomson, 1999)(ISBN 053437462X)(600dpi)(K)(T)(O)(61s)_CsNp_.djvu 884.7 KB
Programming languages/ML/Milner R., Tofte M. Commentary on Standard ML (MIT, 1991)(ISBN 0262631377)(176s)_CsPl_.pdf 865.3 KB
Algorithms/Jeuring J., Swierstra D. Grammars and parsing (web draft, 2001)(275s)_CsAl_.pdf 862.0 KB
Programming languages/Haskell/Hutton A. Programming in Haskell (draft, CUP, 2005)(200s)_CsPl_.pdf 861.9 KB
Algorithms/Budd T. An APL Compiler (Springer, 1987)(ISBN 9780387966434)(600dpi)(T)(167s)_CsAl_.djvu 861.2 KB
TeX/Gill E. An Essay on Typography (David R. Godine, 1993)(ISBN 9780879239503)(600dpi)(T)(158s)_ST_.djvu 860.3 KB
Algorithms/Chikalov I. Average time complexity of decision trees (Springer, 2011)(ISBN 3642226604)(O)(114s)_CsAl_.pdf 858.8 KB
Algorithms/Greene D.H., Knuth D.E. Mathematics for the analysis of algorithms (2ed., Burkhauser, 1982)(T)(ISBN 376433102X)(123s)_CsAl_.djvu 856.0 KB
Computer science/Computability/Streicher T. Domain-theoretic foundations of functional programming (WS, 2006)(ISBN 9812701427)(T)(C)(O)(132s)_CsNp_.djvu 855.9 KB
Programming languages/Python/Mertz D. Text processing in Python (AW, 2003)(ISBN 0321112547)(O)(544s)_CsPl_.chm 855.3 KB
Programming languages/Armstrong J. Making reliable distributed systems (using Erlang)(PhD thesis, Stockholm, 2003)(295s)_CsPl_.pdf 839.1 KB
Algorithms/Greene D.H., Knuth D.E. Mathematics for the analysis of algorithms (3ed., Burkhauser, 1990)(T)(ISBN 0817635157)(139s)_CsAl_.djvu 834.6 KB
Computer science/AI/Shafer G. Probabilistic expert systems (SIAM, 1996)(ISBN 0898713730)(T)(O)(91s)_CsAi_.djvu 832.3 KB
Algorithms/Berry M.W., Browne M. Understanding search engines (SIAM, 2005)(ISBN 0898715814)(T)(O)(136s)_CsAl_.djvu 827.3 KB
Programming languages/Fortran/Chivers, Sleightholme. Introduction to programming with Fortran 77, 90, 95, 2003 (Springer, 2006)(599s)_S_.pdf 822.6 KB
Algorithms/Ronse C. Feedback shift registers (LNCS0169, Springer, 1984)(ISBN 3540133305)(T)(144s)_CsAl_.djvu 822.2 KB
Programming languages/C++/Alexandrescu. Modern C++ Design, Generic Programming and Design Patterns Applied (AW).chm 815.8 KB
Algorithms/Kastens U., Hutt B., Zimmermann E. GAG.. a practical compiler generator (LNCS0141, Springer, 1982)(ISBN 3540115919)(T)(156s)_CsAl_.djvu 796.7 KB
Natural language/Guo C.-M. (ed.) Machine Tractable Dictionaries.. Design and Construction (Ablex, 1995)(ISBN 0893918539)_CsAi_.chm 783.8 KB
Computer science/AI/Raynor W.J. The international dictionary of artificial intelligence (Glenlake, 1999)(ISBN 0814404448)(295s)_CsAi_.pdf 769.2 KB
Programming languages/Lisp/McCarthy J. LISP 1.5 Programmer's Manual (MIT, 1962)(ISBN 0262130114)(400dpi)(T)(O)(116s)_CsPl_.djvu 745.3 KB
Computer science/Computability/Sudan M. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems (LNCS1001, Springer, 1995)(ISBN 3540606157)(T)(O)(98s)_CsNp_.djvu 736.1 KB
Computer science/Computability/O'Donnell M.J. Computing in systems described by equations (LNCS0058, Springer, 1977)(ISBN 0387085319)(T)(125s)_CsNp_.djvu 733.3 KB
TeX/Talbot N. Latex for complete novices (2004)(145s)_ST_.pdf 732.6 KB
Programming languages/Hudak P. Conception, evolution, and application of functional programming languages (ACM comp.surveys 21, 1989)(T)(53s).djvu 730.5 KB
Computer science/AI/Rowe N.C. Artificial Intelligence Through Prolog (PH, 1988)(ISBN 9780130486790)(520s)_CsAi_.chm 729.0 KB
Natural language/Shieber S.M. An Introduction to Unification-Based Approaches to Grammar (CSLI, 1986)(ISBN 0937073008)(600dpi)(T)(121s)_LF_.djvu 728.9 KB
Computer science/AI/Nemenman I.M. Information theory and learning.. a physical approach (Princeton PhD thesis, 2000)(physics_0009032)(T)(140s).djvu 726.0 KB
Algorithms/Fokker J. Functional programming (1995)(155s).pdf 719.1 KB
Programming languages/Wampler D. Functional Programming for Java Developers (O'Reilly, 2011)(ISBN 9781449311032)(600dpi)(T)(C)(O)(88s).djvu 714.9 KB
Computer science/AI/Rowe N.C. Artificial Intelligence Through Prolog (PH, 1988)(ISBN 9780130486790)(520s)_CsAi_.pdf 706.0 KB
Computer science/AI/Vlassis N. A Concise Introduction to Multiagent Systems and Distributed Artificial Intelligence (MC, 2007)(ISBN 1598295268)(O)(84s)_CsAi_.pdf 702.1 KB
Formal methods/Bowen J. Formal Specification and Documentation Using Z.. A Case Study Approach (Thomson Computer Press, 1996)(ISBN 9781850322306)(315s)_CsPl_.pdf 699.8 KB
Algorithms/Hein J.L. Prolog experiments in discrete mathematics, logic, and computability (Portland State U., 2005)(160s)_CsAl_.pdf 695.4 KB
TeX/Heck A. Learning LaTeX by doing (web draft, 2002)(42s)_ST_.pdf 693.5 KB
Programming languages/ML/Milner R., Tofte M., Harper R. The Definition of Standard ML (1ed., MIT, 1990)(ISBN 0262132559)(600dpi)(T)(O)(116s)_CsPl_.djvu 679.5 KB
TeX/Mittelbach, Goossens. The LaTeX companion, bibliography only(2nd ed., AW, 1999)(ISBN 0201570440)(120s)_ST_.pdf 674.2 KB
Programming languages/C++/Lippman S.B. Essential C++ (AW, 2002)(ISBN 0201485184)(251s)_CsPl_.pdf 668.7 KB
TeX/Oetiker T., Partl H., Hyna I., Schlegl E. The not so short introduction to LaTeX 2e (2002)(T)(126s)_ST_.djvu 668.2 KB
Formal methods/Winskel G. Topics in concurrency.. lecture notes (web draft, 2009)(134s)_CsF_.pdf 664.1 KB
Programming languages/ML/Milner R., Tofte M., Harper R., MacQueen D. The definition of Standard ML, revised (MIT, 1997)(ISBN 9780262631815)(400dpi)(T)(104s)_CsPl_.djvu 662.8 KB
TeX/Mittelbach, Goossens. The LaTeX companion, chapter 3 only (Basic formatting tools)(2nd ed., AW, 1999)(113s)_ST_.pdf 659.1 KB
Formal methods/Kaynar D.K., Lynch N., Segala R., Vaandrager F. The Theory of Timed I-O Automata (MC, 2006)(ISBN 159829010X)(114s)_CsAl_.pdf 656.5 KB
TeX/Porto M. LaTeX Kochbuch (1995)(de)(152s)_ST_.pdf 648.0 KB
TeX/Mittelbach, Goossens. The Latex companion, chapter 8 only (Higher mathematics)(2nd ed., AW, 1999)(48s)_ST_.pdf 631.0 KB
TeX/Greenberg H.J. A simplified introduction to LaTeX (draft, 2010)(147s)_ST_.pdf 629.1 KB
Programming languages/Prolog/Bramer M. Logic Programming with Prolog (Springer, 2005)(ISBN 9781852339388)(O)(229s)_CsPl_.pdf 619.7 KB
Algorithms/Okasaki C. Purely functional data structures (PhD thesis, CMU, 1996)(162s)_CsAl_.pdf 614.1 KB
Algorithms/Barron D. Recursive Techniques in Programming (Elsevier, 1968)(ISBN 9780444199867)(T)(71s)_CsAl_.djvu 609.0 KB
Computer science/AI/Scheutz M. (ed.) Computationalism.. New Directions (MIT,2002)(ISBN 0262194783)(217s).pdf 603.5 KB
TeX/Griffiths D.F., Higham D.J. Learning LATEX (SIAM, 1997)(ISBN 0898713838)(T)(O)(95s)_ST_.djvu 591.4 KB
Programming languages/Prolog/Bramer M. Logic Programming with Prolog (Springer, 2005)(ISBN 9781852339388)(228s)_CsPl_.pdf 587.8 KB
Computer science/Computability/Bogdanov A., Trevisan L. Average-case complexity (NOW, 2006)(ISBN 1933019492)(122s)_CsNp_.pdf 584.3 KB
Formal methods/Smith G. The Object-Z Specification Language (Springer, 1999)(ISBN 9780792386841)(159s)_CsPl_.pdf 576.0 KB
Programming languages/Hudak P. Conception, Evolution, And Application Of Functional Programming Languages (ACM Comp.Surv. 21, p359, 1989)(T)(53s)_CsPl_.djvu 572.0 KB
Programming languages/Erlang/Virding R., Wikstrom C., Williams M. Concurrent Programming in Erlang. Part 1 (2ed., PH, 1996)(ISBN 9780135083017)(205s)_CsPl_.pdf 557.3 KB
Algorithms/Hoffmann S., Lienhart R. Open MP.. Eine Einfuehrung in die parallele Programmierung mit C, C++ (Springer, 2008)(ISBN 3540731229)(de)(164s)_CsAl_.pdf 556.9 KB
TeX/Graetzer G.A. Math into LaTeX.. an introduction to LaTeX and AMS-LaTeX (Birkhauser Boston, 1996)(ISBN 0817638059)(K)(pages 3-56,345-432)(T)(114s)_ST_.djvu 545.1 KB
Algorithms/Demoen B., et al. The first 10 Prolog programming contests (2005)(ISBN 9789090197821)(161s)_CsAl_.pdf 529.7 KB
Algorithms/Barron D. Recursive Techniques in Programming (Macdonald, 1968)(ISBN 9780356022017)(600dpi)(T)(70s)_CsAl_.djvu 524.1 KB
Computer science/AI/Crockett L. The Turing Test and the Frame Problem.. AI's Mistaken Understanding of Intelligence (1994)(216s).pdf.gz 517.4 KB
Programming languages/Harrison J. Introduction to functional programming (web draft, 1997)(168s)_CsPl_.pdf 506.6 KB
Algorithms/van Rijsbergen C.J. Information Retrieval (draft, 1995)(153s)_CsAl_.pdf 496.6 KB
Algorithms/Kowalski R. Algorithm = Logic + Control (Comm.ACM, 1971)(T)(13s).djvu 495.9 KB
Formal methods/Moszkowski B.C. Executing Temporal Logic Programs (free web version, CUP, 1986)(ISBN 0521310997)(O)(125s)_CsPl_.pdf 491.2 KB
Algorithms/Downey A.B. The Little Book of Semaphores.. The Ins and Outs of Concurrency Control ...(2ed., CreateSpace, 2009)(ISBN 9781441418685)(O)(292s)_CsAl_.pdf 484.1 KB
Computer science/Computability/Avigad J. Computability and incompleteness. Lecture notes (free web version, 2007)(128s)_CsNp_.pdf 483.5 KB
Algorithms/Goddard W. Introduction to algorithms (web draft, 2004)(O)(70s).pdf 475.2 KB
Algorithms/Al-Jaber Ah. Combinatorial properties of heapsort (Dissertation, 1985)(T)(75s)_CsAl_.djvu 468.7 KB
Computer science/Computability/Luby M., Wigderson A. Pairwise independence and derandomization (NOW, 2006)(ISBN 1933019220)(78s)_CsNp_.pdf 465.2 KB
TeX/Knuth D. The TeXbook (source).tex.gz 460.9 KB
Computer science/Computability/Eilenberg S., Elgot C. Recursiveness (AP, 1970)(ISBN 0122340507)(600dpi)(T)(94s)_CsNp_.djvu 441.5 KB
Algorithms/Smith. Reflective procedural programming (phd thesis).txt.bz2 426.6 KB
TeX/Doob. Gentle introduction to TeX(ISBN 0201134889)(97s).pdf 426.3 KB
Algorithms/Hartmanis J. Feasible Computations and Provable Complexity Properties (SIAM, 1987)(ISBN 9780898710274)(T)(73s)_CsAl_.djvu 425.1 KB
Programming languages/Python/Pilgrim M. Dive into Python (draft, 2002)(O)(220s)_CsPl_.pdf 404.6 KB
TeX/Heck A. Learning Latex by doing (2002)(42s)_ST_.pdf 401.7 KB
Programming languages/Lisp/Cooper D. Basic LISP techniques (free web version, 2003)(100s)_CsPl_.pdf 394.6 KB
Object-oriented development/Wellington C.A. Refactoring to agility (AW, 2006)(ISBN 0321486471).chm 389.2 KB
Programming languages/Fortran/Page C. Professional programmer's guide to Fortran 77 (free web version, FDL, 2005)(128s).pdf 367.1 KB
Computer science/AI/Smola A.J., Schoelkopf B. Tutorial on support vector regression (2003)(24s).pdf 364.5 KB
Programming languages/Python/Lundh F. Python standard library (O'Reilly, 2001)(ISBN 0596000960)(300s)_CsPl_.chm 355.6 KB
TeX/Wilkins D.R. Gettings started with LaTeX (2ed., web draft, 1995)(46s)_ST_.pdf 349.9 KB
Programming languages/Lisp/Watson M. Loving LISP (version 0.7, 2002)(pdf,code).zip 328.3 KB
Programming languages/Fortran/Chapman. Fortran 90-95 for scientists and engineers. Files for the book and errata.zip 320.3 KB
TeX/Knuth D. The Metafont book (draft).tex.gz 318.6 KB
TeX/Fateman. Parsing TeX into mathematics(25s).pdf 316.4 KB
Formal methods/Darlington. Sintez algoritmov sortirovki (ru)(T)(36s)_CsAl_.djvu 316.1 KB
Formal methods/Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsAl_.djvu 311.7 KB
Programming languages/Rempt B. GUI programming with Python.. Qt edition (html).tar.bz2 294.5 KB
Computer science/Computability/Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsNp_.djvu 269.0 KB
Computer science/Computability/Borger E., Stark R. Abstract state machines.. Solutions to exercises (Springer, 2003)(18s)_CsNp_.pdf 252.9 KB
Computer science/Computability/Barendregt H., Barendsen E. Introduction to Lambda calculus (free web version, 2000)(53s)_CsNp_.pdf 250.7 KB
Programming languages/Lin A.C. Implementing concurrency for ML-based operating system (MS thesis, MIT, 1998)(400dpi)(T)(43s).djvu 246.3 KB
Computer science/History of computer science (web draft, 2001)(40s)_Cs_.pdf 246.1 KB
Programming languages/ML/Kahrs S. Mistakes and ambiguities in the definition of Standard ML (1993)(600dpi)(T)(33s)_CsPl_.djvu 245.1 KB
Programming languages/Lisp/Lamkins D.B. Successful Lisp.. How to Understand and Use Common Lisp (bookfix.com, 2004)(ISBN 3937526005).chm 234.7 KB
Programming languages/Lisp/Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(program code).zip 227.9 KB
Programming languages/Fortran/Ramsden, Lin, et al. Fortran 90.. a conversion course for Fortran 77 programmers (Manchester lecture notes, v3.0, 1995)(105s).pdf 224.8 KB
Algorithms/Khuller S. Advanced algorithms (lecture notes, web draft, 1994)(pages ordered backwards)(112s)_CsAl_.ps.gz 219.6 KB
TeX/Bausum D. TeX reference manual (Springer, 2002)(ISBN 0792376730)(1s)_ST_.chm 198.0 KB
Programming languages/Lisp/Lamkins D.B. Successful Lisp.. How to Understand and Use Common Lisp (bookfix.com, 2004)(ISBN 3937526005)(html).rar 187.1 KB
full file list.txt 178.0 KB
Natural language/van Eijck J., Unger C. Solutions for Computational Semantics with Functional Programming (CUP, 2010)(ISBN 0521757606)(38s)_CsAi_.pdf 171.2 KB
Algorithms/Sedgewick R. Implementing Quicksort programs (Comm.ACM 21, p847, 1978)(T)(11s).djvu 167.2 KB
Programming languages/C++/Barton J.J., Nackman L.R. Scientific and engineering C++ (Addison Wesley Longman, 1994)(example C code).rar 164.5 KB
Programming languages/Fortran/Page C. Fortran 90 for Fortran 77 programmers (web draft, 2002)(28s).pdf 153.3 KB
TeX/Mittelbach, Goossens. The LaTeX companion, program examples only (2nd ed., AW, 1999).tar.bz2 150.0 KB
TeX/Mittelbach, Goossens. The LaTeX companion.. front matter, TOC, preface only (2nd ed., AW, 1999)(ISBN 0201362996)(27s)_ST_.pdf 149.4 KB
TeX/TeX reference card (A4 paper)(2s).pdf 135.1 KB
Natural language/Pereira F.C.N., Shieber S.M. Prolog and Natural-Language Analysis (1987, free web version, 2005)(ISBN 9780937073186)(program code)_CsAi_.rar 109.4 KB
Formal methods/Lamport L. Specifying systems.. errata (2010)(5s).pdf 108.6 KB
TeX/Lamport. Draft LaTeX manual (1984) (TeX source).tar.bz2 97.2 KB
TeX/AmsTeX reference card (A4 paper)(2s).pdf 87.2 KB
Natural language/Partee B.H., ter Meulen A., Wall R.E. Errata for Mathematical Methods in Linguistics (Kluwer, 1990)(ISBN 9027722447)(1s)_LF_.pdf 78.5 KB
Programming languages/Prolog/Bothner P.P., Kaehler W. Programmieren in PROLOG. Eine umfassende und praxisgerechte Einfuehrung (program code)(Vieweg, 1991)(ISBN 9783528051587)(de)_CsPl_.zip 51.9 KB
Algorithms/Nilsson U., Maluszynski J. Logic, programming and Prolog (2ed., Wiley, 1995)(ISBN 9780471959960)(Errata)(2s)_CsAl_.pdf 51.3 KB
Natural language/Blackburn P., Bos J. Representation and inference for natural language, vol. 1 (program code).tar.gz 47.3 KB
Algorithms/Kernighan B.W., Plauger P.J. Software tools in Pascal (AW, 1981)(ISBN 0201103427)(source code).rar 45.2 KB
Programming languages/Fortran/Chivers, Sleightholme. Introduction to Fortran 77, 90, 95, 2003 - code examples.rar 36.8 KB
Natural language/Blackburn P., Bos J. Representation and inference for natural language, vol. 2 (program code).tar.gz 34.1 KB
Programming languages/Lisp/Seibel P. Practical Common Lisp (Apress, 2005)(ISBN 1590592395)(errata).html.gz 4.7 KB

Mega Collection of computer science and programming related books

File List

Download Torrent

Related Resources

Copyright Infringement