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

square Второй курс

square Третий курс

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

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

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

blank
Красота
blank
blank
Каталог
Всего ресурсов: 173859
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
Содержимое каталога
1681. Attali I. Jensen T. Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers2001
1682. Attiya H. Distributed Algorithms1994
1683. Attoh-Okine N. Ayyub B.M. Applied Research in Uncertainty Modeling and Analysis2004
1684. Atzeni P. LOGIDATA+: Deductive Databases with Complex Objects (Lecture Notes in Computer Science)1993
1685. Atzeni P. Mendelzon A. Mecca G. The World Wide Web and Databases: International Workshop WebDB'98, Valencia, Spain, March 27- 28, 1998 Selected Papers: EDBT Workshop Web DB'981999
1686. Atzeni P.(ed.) Caplinskas A.(ed.) Jaakkola H.(ed.) Advances in Databases and Information Systems: 12th East European Conference, ADBIS 2008, Pori, Finland, September 5-9, 2008, Proceedings2008
1687. Aubert M. Quick Recipes on Symbian OS: Mastering C++ Smartphone Development2008
1688. Audestad J.A. Technologies and Systems for Access and Transport Networks2007
1689. Ausiello G. Dezani-Ciancaglini M. Automata, Languages and Programming1989
1690. Ausiello G. Protasi M. CAAP 83 Trees in Algebra and Programming 8 conf1983
1691. Ausnit-Hood C. Johnson K.A. Pettit R.G. Ada 95 Quality and Style (1 edition)1995
1692. Autexier S. Campbell J. Intelligent Computer Mathematics, 9 conf., AISC 20082008
1693. Avella P. Boccia M. Sforza A. A Branch-and-Cut Algorithm for the Median-Path Problem2005
1694. Avery J. Information Theory and Evolution2003
1695. Avgoustinov N. Modelling in Mechanical Engineering and Mechatronics: Towards Autonomous Intelligent Software Models (1st edition)2007
1696. Avigad J. Computability and Incompleteness2007
1697. Avrachenkov K. (Editor) Donato D. (Editor) Litvak N. (Editor) Algorithms and Models for the Web-Graph: 6th International Workshop, WAW 2009 Barcelona, Spain, February 12-13, 2009, Proceedings (1 edition)2009
1698. Avresky D.R.(ed.) Diaz M. (ed.) Bode A. (ed.) Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (34). Cloud Computing2010
1699. Avron A. Dershowitz N. Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday2008
1700. Awad M. Thuraisingham B. Khan L. Design and implementation of data mining tools2009
1701. Awais Rashid (Editor) Mehmet Aksit (Editor) Transactions on Aspect-Oriented Software Development II: Focus: AOP Systems, Software and Middleware (1 edition)2006
1702. Awais Rashid (Editor) Aksit M. (Editor) Transactions on Aspect-Oriented Software Development IV: Focus: Early Aspects and Aspects of Software Evolution (1 edition)2007
1703. Axelrod W.C. Bayuk J.L. Schutzer D. Enterprise Information. Security and Privacy2009
1704. Axelson J. Embedded ethernet and internet complete2003
1705. Axelson J. Research L. Parallel Port Complete: Programming Interfacing & Using the PC'S Parallel Printer Port2002
1706. Axo А. Хопкрофт В. Структуры данных и алгоритмы2003
1707. Ayache N. (ed.) Ourselin S. (ed.) Maeder A. (ed.) Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007: 10th International Conference Brisbane, Australia, October 29 – November 2, 2007 Proceedings, Part II2007
1708. Ayala K. The 8051 Microcontroller. Architecture, Programming and Applns1991
1709. Aycock J. Spyware and Adware2010
1710. Aykanat C. Dayar T. Korpeoglu I. Computer and Information Sciences - ISCIS 2004: 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings2004
1711. Aykin N. Internationalization, Design and Global Development: Third International Conference, IDGD 2009, Held as Part of HCI International 2009, San Diego, CA, ... Applications, incl. Internet Web, and HCI)2009
1712. Aykin N. Usability and Internationalization. Global and Local User Interfaces, 20072007
1713. Ayres R.F. VLSI: Silicon Compilation and the Art of Automatic Microchip Design1983
1714. Azemard N. Svensson L. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 17th International Workshop, PATMOS 2007, Gothenburg,2007
1715. Azuaje F. Bioinformatics and Biomarker Discovery: ''Omic'' Data Analysis for Personalized Medicine2010
1716. Azvine B. Azarmi N. Nauck D.D. Intelligent Systems and Soft Computing: Prospects, Tools and Applications2000
1717. Aнтипов И.Н. Программирование1976
1718. Börger E. Gargantini A. Riccobene E. Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003 (1 edition)2003
1719. Börger E. (ed.) Butler M. (ed.) Bowen J.P. (ed.) Abstract State Machines. B and Z. Lecture notes in computer science 52382008
1720. Büchel G. Datenbanken und Algorithmen2000
1721. Baader F. Logic-Based Knowledge Representation1999
1722. Baar Th. Magnus R. Trzewick T. Einfuhrung in die Kunstliche Intelligenz1993
1723. Baaz M. Voronkov A. Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence2002
1724. Baaz M. (Ed) Makowsky J.M. (Ed) Computer Science Logic2003
1725. Babaoglu O. Jelasity M. Montresor A. Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations 2004 (1 edition)2005
1726. Babuka R. Groen F. Interactive Collaborative Information Systems (Studies in Computational Intelligence)2010
1727. Bachem A. Kern W. Linear Programming Duality: An Introduction to Oriented Matroids1992
1728. Bachmann O. Wang P.S. Zima E.V. Chains of Recurrences - a method to expedite the evaluation of closed-form functions1994
1729. Bachmann O. Effective simplification of cr expressions1997
1730. Back K. A Course In Derivative Securities2005
1731. Back K. A Course in Derivative Securities: Introduction to Theory and Computation2005
1732. Backhouse R. Oliveira J. Mathematics of Program Construction, 5 conf., MPC 2000 (1 edition)2000
1733. Backus J.W. Beeber R.J. The Fortan Automatic Coding System1957
1734. Badr Y. Chbeir R. Emergent Web Intelligence: Advanced Semantic Technologies2010
1735. Baeten J. Weijland W. Process Algebra (Cambridge Tracts in Theoretical Computer Science)1990
1736. Baeza-Yates R. Chavez E. Crochemore M. Combinatorial Pattern Matching, 14 conf., CPM 20032003
1737. Bagadia K. Computerized Maintenance Management Systems Made Easy2006
1738. Bagchi A. Bhattacharya B.B. Sur-kolay S. Algorithms, architectures and information systems security2008
1739. Baglivo J.A. Mathematica Laboratories for Mathematical Statistics: Emphasizing Simulation and Computer Intensive Methods2005
1740. Bai Y. Practical Database Programming with Visual Basic.NET2009
1741. Baier C. Haverkort B.R. Hermanns H. Validation of Stochastic Systems: A Guide to Current Research2004
1742. Bailey D.H. Hida Y. Li X.S. ARPREC: An Arbitrary Precision Computation Packagen/a
1743. Bailey J. Maier D. Schewe K. Web Information Systems Engineering - WISE 2008 Workshops2008
1744. Bailey P.B. Everitt W.N. Zettl A. Algorithm 810: The SLEIGN2 Sturm-Liouville Code2001
1745. Bajgoric N. Continuous computing technologies for enhancing business continuity2008
1746. Baker D.L. HTML Complete Course2003
1747. Baker P. Dai, Z.R. Grabowski J., Haugen O. Model-Driven Testing: Using the UML Testing Profile2008
1748. Baker S.G. Simple adjustments for randomized trials with nonrandomly missing or censored outcomes arising from informative covariates2006
1749. Bakir G. Hofmann T. Schölkopf Predicting Structured Data2007
1750. Bakshi A.B. Prasanna V.K. Architecture-independent programming for wireless sensor networks2008


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