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

square Второй курс

square Третий курс

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

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

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

blank
Красота
blank
blank
Каталог
Всего ресурсов: 192602
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
Содержимое каталога
1611. Alon N. Spenser J. The probabilistic method1991
1612. Alonso G. (ed.) Dadam P. (ed.) Rosemann M. (ed.) Business process management. Lecture notes in computer science 47142007
1613. 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
1614. Alspach T. Illustrator CS4 For Dummies2009
1615. Alt F. Rubinoff M. Advances in Computers, Volume 10: The Brown University Lectures in computer science1970
1616. Alt F. Rubinoff M. Advances in computers. Volume 61965
1617. Alt F. Advances in computers.Volume 2.1961
1618. Alt F. Rubinoff M. Advances in Computers.Volume 5.1964
1619. Alt F. Rubinoff M. Advances in Computers.Volume 6.1965
1620. Alt F.L. Rubinoff M. Advances in computers.Volume 31962
1621. Alt R. Vignes J. 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics2002
1622. Alt R. Vignes J. 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics2002
1623. Alt R. Frommer A. Kearfott R.B. Numerical Software with Result Verification2004
1624. Altenkirch T. (ed.) McBride C.(ed.) Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers2007
1625. Althaus E. A branch-and-cut algorithm for multiple sequence alignment2006
1626. Althoff C. The self-taught computer scientist2022
1627. Althoff C. The Self-Taught Computer Scientist: The Beginner's Guide to Data Structures & Algorithms (1 edition)2022
1628. Alur R. Henzinger T.A. Sontag E.D. Hybrid Systems III: Verification and Control1996
1629. Alur R. Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings2004
1630. Alves-Foss J. Formal Syntax and Semantics of Java1999
1631. Alvin Alexander Scala Cookbook Recipes for Object-Oriented and Functional Programming (Второе издание edition)2021
1632. Amadio R.M. Curien P.L. Domains and Lambda-Calculi2008
1633. Amaral J.N. Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers2008
1634. Amari S.-I. Nagaoka H. Methods of Information Geometry2000
1635. Amati D. Konishi K. Meurice Y. Non-perturbative aspects in supersymmetric gauge theories1988
1636. 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
1637. Ambler S. Agile Modeling: Effective Practices for eXtreme Programming and the Unified Process2002
1638. Ambler S.W. Nalbone J. Vizdos M.J. The Enterprise Unified Process: Extending the Rational Unified Process2005
1639. Ambler S.W. The Object Primer: Agile Modeling-Driven Development with UML 2 (3rd Edition)2004
1640. Ambrosius L. AutoCAD 2008 3D Modeling Workbook For Dummies (For Dummies (Computer/Tech))2008
1641. Amer-Yahia S. Bellahsene Z. Hunt E. Database and XML Technologies: 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 20062006
1642. America P. ECOOP'91 on Object-Oriented Programming1991
1643. Amoss J.J. Minoli D. Handbook of IPv4 to IPv6 Transition: Methodologies for Institutional and Corporate Networks2007
1644. Amundsen M. Smith C. Teach Yourself Database Programming With Visual Basic 4 in 21 Days1996
1645. Amusia M. Chernysheva L. Computation of atomic processes: a handbook for the ATOM programs1997
1646. Amy Bhatt High-Tech Housewives2018
1647. Anagnostopoulou C. Ferrand M. Smaill A. Music and Artificial Intelligence2002
1648. Analog Devices Inc. Engineering Data Conversion Handbook (Analog Devices)2004
1649. Anarchriz CRC, и как его восстановить1999
1650. 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
1651. Anderson H. Apergis J. Professional K2 blackpearl2009
1652. Anderson J.B. Johnnesson R. Understanding Information Transmission (1st edition)2005
1653. Anderson J.M. Gwinn W.H. Adopting IT: food program sponsor discovers it's no picnicn/a
1654. Anderson P.O. McGuinness S.M. Bourne P.E. Pharmacy Informatics2009
1655. Anderson S. Bologna S. Felici M. Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings2002
1656. Ando N. Balakirsky S. Hemker T. Simulation, Modeling, and Programming for Autonomous Robots2010
1657. Andraka R. Modulation & Demodulation Techniques of Fpga. DesignCON 20002000
1658. Andreasen T Yager R.R. Bulskov H. Flexible Query Answering Systems2009
1659. Andrew Glassner DEEP LEARNING A Visual Approach2021
1660. Andrew S.Tanenbaum Distributed Systems: Principles and Paradigms2006
1661. Andrews G.R. Foundations Of Multithreaded Parallel And Distributed Programming1999
1662. Andrienko N. Andrienko G. Exploratory Analysis of Spatial and Temporal Data2006
1663. Andrist B. Sehr V. C++ High Performance (2 edition)2020
1664. Andy Mitchell ArcGIS Desktop I: Getting Started with GIS2008
1665. Aneziris C. The Mystery of Knots: Computer Programm: Computer Programming for Knot Tabulation1999
1666. Angel E. Interactive Computer Graphics: A Top-Down Approach Using OpenGL (Fifth Edition)2008
1667. Anglin K.L. CliffsQuickReview Math Word Problems2004
1668. Anguish S. Buck E. Yacktman D. Cocoa Programming2002
1669. Anjna Virmani Shalini Harisukh Click Start: Computer Science for Schools 4 (2 edition)2014
1670. Anthony Scime Web Mining: Applications and Techniques2004
1671. Antia H.M. Numerical Methods for Scientists and Engineers1991
1672. Antognetti P. Pederson D. Man H. Computer Design AIDS for Vlsi Circuits1981
1673. Antonio Fernandez Anta Chryssis Georgiou Maurice Herlihy Principles of Blockchain Systems2021
1674. Antoniou G.(ed.) Aßmann U.(ed.) Baroglio C.(ed.) Reasoning Web Third International Summer School 2007 Dresden, Germany, September 3-7, 2007 Tutorial Lectures2007
1675. Antonopoulos N. Gillam L. Cloud Computing: Principles, Systems and Applications2010
1676. Antsaklis P. (editor) Kohn W. (editor) Nerode A. (editor) Lecture notes in computer science. Volume 1273. Hybrid Systems IV1997
1677. Ao S.I. Lecture notes in electrical engineering (№25 2008). Data mining and applications in genomics2008
1678. Aouad G. Arayici Y. Requirements Engineering for Computer Integrated Environments in Construction2010
1679. Apolinario J.A. QRD-RLS adaptive filtering2009
1680. Apostolico A. Crochemore M. Combinatorial Pattern Matching: 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings2005


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