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

square Второй курс

square Третий курс

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

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

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

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


» Computer science »

blank
Содержимое каталога
1541. Alba E. Metaheuristic procedures for training neural networks2006
1542. Albahari B. Albahari J. C# 4.0 Pocket Reference: Instant Help for C# 4.0 Programmers (3-rd edition)2010
1543. Albahari J. Albahari B. C# 3.0 Pocket Reference (2-nd edition)2008
1544. Albanese J. Sonnenreich W. Network Security Illustrated2004
1545. Alber G. Zeilinger A. Quantum information2001
1546. Alberts D.S. Garstka J.J. Hayes R.E. Understanding Information Age Warfare2001
1547. Aldini A. Bernardo M. Di Pierro A. Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)2010
1548. Aldini A. Gorrieri R. Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures2005
1549. Aldo R.(ed.) Giustina S.(ed.) Dynamic learning networks: models and cases in action2009
1550. Aldrich C. Learning by Doing: A Comprehensive Guide to Simulations, Computer Games, and Pedagogy in e-Learning and Other Educational Experiences2005
1551. Aleven V. Kay J. Mostow J. Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I2010
1552. Alex Atsctoy Самоучитель хакера: подробное иилюстрированное руководство2005
1553. Alex WebKnacKer Хакинг и антихакинг: защита и нападение2004
1554. Alexander J. Hollis B. Developing Web Applications with Visual Basic. NET and ASP.NET2002
1555. Alexandrescu A. C++ - Modern C++ Design. Generic Programming and Design Patterns Applied2001
1556. Alexandrescu A. The D Programming Language2010
1557. Alexandrov V. Albada G. Sloot P. Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II2006
1558. Alexandrov V.N. van Albada G.D. Sloot P.M.A. Lecture Notes in Computer Science (3991). Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I2006
1559. Alferes J.J. Bailey J. May W. Principles and Practice of Semantic Web Reasoning2006
1560. Ali M. Dapoigny R. Advances in Applied Artificial Intelligence: 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems,2006
1561. Aliseda A. Van Glabbeek R. Westerstahl D. Computing natural language1998
1562. Aliseda-Llera A. Glabbeek R.V. Computing Natural Language: Context, Structure, and Processes1998
1563. Alkhatib G. Agent Technologies and Web Engineering: Applications and Systems2008
1564. Allen A. Introduction to Computer Performance Analysis With Mathematica (Computer Science and Scientific Computing)1994
1565. Allen M. Tildesley D. Computer simulation of liquids1989
1566. Allen P.D. Information Operations Planning2006
1567. Allen R. Kennedy R. Optimizing compilers for modern architectures2001
1568. Allen Sh. Terry E. Beginning Relational Data Modeling (Second Edition)2005
1569. Almasi G. Cascaval C. Wu P. Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers2007
1570. Almeida J. Frade M.J. Rigorous Software Development: An Introduction to Program Verification2011
1571. Alon N. Spenser J. The probabilistic method1991
1572. Alonso G. (ed.) Dadam P. (ed.) Rosemann M. (ed.) Business process management. Lecture notes in computer science 47142007
1573. Alpuente M. Cook B. Joubert C. Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)2009
1574. Alspach T. Illustrator CS4 For Dummies2009
1575. Alt F. Rubinoff M. Advances in Computers, Volume 10: The Brown University Lectures in computer science1970
1576. Alt F. Advances in computers.Volume 2.1961
1577. Alt F. Rubinoff M. Advances in Computers.Volume 5.1964
1578. Alt F. Rubinoff M. Advances in Computers.Volume 6.1965
1579. Alt F.L. Rubinoff M. Advances in computers.Volume 31962
1580. Alt R. Vignes J. 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics2002
1581. Alt R. Vignes J. 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics2002
1582. Alt R. Frommer A. Kearfott R.B. Numerical Software with Result Verification2004
1583. Altenkirch T. (ed.) McBride C.(ed.) Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers2007
1584. Althaus E. A branch-and-cut algorithm for multiple sequence alignment2006
1585. Alur R. Henzinger T.A. Sontag E.D. Hybrid Systems III: Verification and Control1996
1586. Alur R. Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings2004
1587. Alves-Foss J. Formal Syntax and Semantics of Java1999
1588. Amadio R.M. Curien P.L. Domains and Lambda-Calculi2008
1589. Amaral J.N. Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers2008
1590. Amari S.-I. Nagaoka H. Methods of Information Geometry2000
1591. Amati D. Konishi K. Meurice Y. Non-perturbative aspects in supersymmetric gauge theories1988
1592. Amati G. (ed.) Carpineto C. (ed.) Romano G. (ed.) Advances in Information Retrieval 29th European Conference on IR Research, ECIR 2007 Rome, Italy, April 2-5, 2007 Proceedings (1 edition)2007
1593. Ambler S. Agile Modeling: Effective Practices for eXtreme Programming and the Unified Process2002
1594. Ambler S.W. Nalbone J. Vizdos M.J. The Enterprise Unified Process: Extending the Rational Unified Process2005
1595. Ambler S.W. The Object Primer: Agile Modeling-Driven Development with UML 2 (3rd Edition)2004
1596. Ambrosius L. AutoCAD 2008 3D Modeling Workbook For Dummies (For Dummies (Computer/Tech))2008
1597. Amer-Yahia S. Bellahsene Z. Hunt E. Database and XML Technologies: 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 20062006
1598. America P. ECOOP'91 on Object-Oriented Programming1991
1599. Amoss J.J. Minoli D. Handbook of IPv4 to IPv6 Transition: Methodologies for Institutional and Corporate Networks2007
1600. Amundsen M. Smith C. Teach Yourself Database Programming With Visual Basic 4 in 21 Days1996
1601. Amusia M. Chernysheva L. Computation of atomic processes: a handbook for the ATOM programs1997
1602. Anagnostopoulou C. Ferrand M. Smaill A. Music and Artificial Intelligence2002
1603. Analog Devices Inc. Engineering Data Conversion Handbook (Analog Devices)2004
1604. Anarchriz CRC, и как его восстановить1999
1605. Andersen K.V. Debenham J. Wagner R. Lecture Notes in Computer Science (3588). Database and Expert Systems Applications: 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings2005
1606. Anderson H. Apergis J. Professional K2 blackpearl2009
1607. Anderson J.B. Johnnesson R. Understanding Information Transmission (1st edition)2005
1608. Anderson J.M. Gwinn W.H. Adopting IT: food program sponsor discovers it's no picnicn/a
1609. Anderson P.O. McGuinness S.M. Bourne P.E. Pharmacy Informatics2009
1610. Anderson S. Bologna S. Felici M. Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings2002


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