Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

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

blank
Красота
blank
blank
Каталог
Всего ресурсов: 192611
parent directoryНа уровень выше
dirAI, knowledge (102 / 102)
dirАлгоритмы (91 / 91)
dirБиоинформатика (22 / 22)
dirКомпьютерная алгебра (19 / 19)
dirВычислительная геометрия (28 / 28)
dirКриптография (11 / 11)
dirДискретная математика (41 / 41)
dirГенетика, нейронные сети (32 / 32)
dirТеория информации (19 / 19)
dirОбработка изображений (59 / 59)
dirВычислимость (35 / 35)
dirЯзыки программирования (180 / 180)
dirПопулярные издания (2 / 2)
dirКвантовые вычисления (23 / 23)


» Computer science »

blank
Содержимое каталога
4551. Lauer P.E. Functional Programming, Concurrency, Simulation and Automated Reasoning1993
4552. Launchbury J. Meijer E. Sheard T. Advanced Functional Programming2007
4553. Launchbury J. (ed.) Meijer E. (ed.) Sheard T. (ed.) Advanced Functional Programming1996
4554. Laurini R. Advances in Visual Information Systems: 4th International Conference, VISUAL 2000, Lyon, France, November 2-4, 2000 Proceedings2000
4555. Lausen G. Database Programming Languages: 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers2004
4556. Lausen G. Vossen G. Models and Languages of Object-Oriented Databases1997
4557. Lavine B.K. Clustering and classification of analytical data2000
4558. Lavrac N. Dzeroski S. Inductive Logic Programming. 7th International Workshop, ILP-97 Prague, Czech Republic September 17-20, 1997 Proceedings1997
4559. Lavrac N. Wrobel S. Machine Learning: ECML-95: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings1995
4560. Law and Practice DIGITAL COPYRIGHT (5 edition)2019
4561. Law C. Lee E.K. Ramzan Z. Introduction to the Theory of Computation1999
4562. Lawrence C. Paulson ML for the working programmer (2 edition)1996
4563. Lawrence I. Belem R.C.L. Professional Ubuntu Mobile Development2009
4564. Lawry J. Modelling and Reasoning with Vague Concepts (1st edition)2005
4565. Le Bellac M. de Forcrand-Millard P. A Short Introduction to Quantum Information and Quantum Computation2006
4566. LEANNA RIERSON Developing Safety-Critical Softwaren/a
4567. Lear B.W. Adult Programs in the Library2001
4568. Leavens G.T. O'Hearn P. Rajamani S.K. Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings2010
4569. Lecky-Thompson E. Nowicki S. Myer T. Professional PHP62009
4570. Lecky-Thompson G. Just enough C/C++ programming (1 edition)2008
4571. Ledgard H. Tauer J. C With Excellence: Programming Proverbs1987
4572. Lee C. Grid Computing - GRID 2001: Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings2001
4573. Lee D. Lopes A. Poetzsch-Heffter A. Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 Lisboa, Portugal, June 9-12, 2009 Proceedings2009
4574. Lee E.T. Wang J.W. Statistical methods for survival data analysis (3rd edition)2003
4575. Lee G.M.M. Tam N.N. Yen N.D. Quadratic Programming and Affine Variational Inequalities2005
4576. Lee J. Intelligent Agents and Multi-Agent Systems: 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings2004
4577. Lee J.-K.(ed.) Yi O.(ed.) Yung M.(ed.) Information Security Applications 7th International Workshop, WISA 2006 Jeju Island, Korea, August 28-30, 2006 Revised Selected Papers2007
4578. Lee J.J. Ajax Programming for the Absolute Beginner2008
4579. Lee M. C programming2007
4580. Lee M. Bieker G. Mastering SQL Server 2008 (1 edition)2010
4581. Lee P.J. Advances in Cryptology - ASIACRYPT 2004: 10th International Conference on the Theory and Application of Cryptology and Information Security2004
4582. Lee S.(ed.) Choo H.(ed.) Ha S.(ed.) Computer–Human Interaction 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings2008
4583. Lee S.-W. Nakano Y. Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998, Selected Papers1999
4584. Lee S.-W. Verri A. Pattern Recognition with Support Vector Machines: First International Workshop, SVM 2002, Niagara Falls, Canada, August 10, 2002. Proceedings2002
4585. Lee W. Beginning iPhone SDK Programming with Objective-C (Wrox Programmer to Programmer)2010
4586. Lee W. Professional Windows Vista Gadgets Programming2007
4587. Lee W. (ed.) Mé L. (ed.) Wespi A. (ed.) Recent Advances in Intrusion Detection 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001 Proceedings2001
4588. Lee W.F. Verilog Coding for Logic Synthesis2003
4589. Leeuwen J. Handbook of Theoretical Computer Science – Vol. B – Formal Models and Semantics1990
4590. Leeuwen J. Watanabe O Hagiya M. Theoretical Computer Science(Exploring New Frontiers of Theoretical Informatics) (1 edition)2000
4591. Leeuwen J. (ed.) Meyer A.R. Nivat M. Algorithms and Complexity, Volume A (1st edition)1990
4592. Leeuwen J.(ed.) Italiano G. F.(ed.) Hoek W.(ed.) SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science Harrachov, Czech Republic, January 20-26, 2007 Proceedings2007
4593. Leeuwen J.V. Handbook of Theoretical Computer Science: Algorithms and Complexity2005
4594. Lehman E. Leighton T. Mathematics for Computer Science2004
4595. Leigh-lancaster D. Functional equations: Mathsworks for teachers2005
4596. Leiss E.L. A Programmer's Companion to Algorithm Analysis2007
4597. Leissa A.W. Buckling of laminated composite plates and shell panels1985
4598. Leitch S. Programming Algol 68 made easy2002
4599. Leite J. Omicini A. Sterling L. Declarative Agent Languages and Technologies, 1 conf., DALT 2003 (1 edition)2004
4600. Leith P. Software and patents in Europe2007
4601. Leitold H. (ed.) Markatos E. (ed.) Lecture Notes in Computer Science (4237). Communications and Multimedia Security: 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings2006
4602. Leitsch A. (Ed) Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 1281997
4603. Leivant D. Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers1995
4604. Leivant D. Logic, Language, Information and Computation, 14 conf., WoLLIC 2007 (1 edition)2007
4605. Lengauer C. Batory D. Consel C. Domain-Specific Program Generation 2003 (1 edition)2004
4606. Lenke L. Numerische Simulation der turbuienten Stromung in Ruckfuhrkanaien mehrstufiger Radiaiverdichter2000
4607. Lenz M. (ed.) Bartsch-Sporl B. (ed.) Burkhard H.D. (ed.) Case-based reasoning technology1998
4608. Leonardi S. Algorithms and models for the web-graph (1 edition)2005
4609. Leonardis A. Bischof H. Pinz A. Computer Vision -- ECCV 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I2006
4610. Leondes C. Systems Techniques and Computational Methods2000
4611. Leondes C.T. Computer aided and integrated manufacturing systems2004
4612. Leondes C.T. Computer Aided and Integrated Manufacturing Systems, Vol. 3: Optimization Methods2002
4613. Leondes C.T. Computer techniques and algorithms in digital signal processing1996
4614. Lerdorf R. Tatroe K. Programming PHP2002
4615. Lerdorf R. Tatroe K. MacIntyre P. Programming PHP (2nd edition)2002
4616. Lerman J. Programming Entity Framework (1 edition)2009
4617. Lerner J.(ed.) Wagner D.(ed.) Zweig K.(ed.) Algorithmics of Large and Complex Networks: Design, Analysis, and Simulation2009
4618. Leroy X. Ohori A. Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings1998
4619. Lescanne P. Rewriting Techniques and Applications1987
4620. Leser U. (ed.) Naumann F. (ed.) Eckman B. (ed.) Data Integration in the Life Sciences: Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006, Proceedings2006


blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте