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

square Второй курс

square Третий курс

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

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

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

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


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