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

square Второй курс

square Третий курс

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

square Пятый курс

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

Всего ресурсов: 173902
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 »

Содержимое каталога
1751. Bal H. Internet Programming Languages: ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings (2-nd edition)1999
1752. Balcázar J.L. (Editor) Long Ph.M. (Editor) Stephan F. (Editor) Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings (1 edition)2006
1753. Balcazar J.L. (Ed) Long Ph.M. (Ed) Stephan F. (Ed) Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings2006
1754. Balch M. Complete Digital Design. A Comprehensive Guide to Digital Electronics and Computer System Architecture2003
1755. Baldoni M. (Editor) Tran Cao Son (Editor) van Riemsdijk B. (Editor) Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008 (1 edition)2009
1756. Baldoni R. Riva G. Davide F. Global Data Management - Emerging Communication2006
1757. Baldwin D. Scragg G.W. Algorithms and Data Structures: The Science of Computing2004
1758. Bales D. Java Programming with Oracle JDBC2002
1759. Balibar S. The Atom and the Apple, 12 Tales from Contemporary Physics2008
1760. Ball S. Analog Interfacing to Embedded Microprocessors: Real World Design2001
1761. Ball T. Jones R. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings2006
1762. Bampis E. Jansen K. Kenyon C. Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications2006
1763. Banatre J.-P. Fradet P. Giavitto J.-L. Unconventional Programming Paradigms2005
1764. Bandini S. (Editor) Chopard B. (Editor) Tomassini M. (Editor) Cellular Automata: 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings (1 edition)2002
1765. Bandyopadhyay S. Maulik U. Holder L.B. Advanced Methods for Knowledge Discovery from Complex Data2004
1766. Bandyopadhyay S.K. Adi W. Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings2010
1767. Bang-Jensen J. Gutin G. Digraphs: Theory Algorithms and Applications (1st edition)2000
1768. Banks S. Hodgson V. McConnell D. Advances in Research on Networked Learning (Computer-Supported Collaborative Learning Series)2004
1769. Banks W. Hayward G. Fuzzy logic in embedded microcomputers and control systems2002
1770. Bannister J. Mather P. Coope S. Convergence Technologies for 3G Networks : IP, UMTS, EGPRS and ATM2004
1771. Banzhaf W. Poli R. Schoenauer M. Genetic Programming1998
1772. Banzhaf W. Poli R. Genetic Programming: First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings1998
1773. Bao F. (eds.) Ling S. (eds.) Okamoto T. (eds.) Cryptology and Network Security, 6 conf., CANS 20072007
1774. Barabasi A.L. Linked: the new science of networks2002
1775. Baral C. Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings2007
1776. Baranauskas C. Palanque P. Abascal J. Human-Computer Interaction - INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings2007
1777. Barbacci M.R. SEI architecture analysis techniques and when to use them2002
1778. Barbosa D. Bonifati A. Database and XML Technologies: 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings2007
1779. Barbosa V.C. An Introduction to Distributed Algorithms1996
1780. Barendregt H. Barendsen E. Introduction to Lambda Calculus1994
1781. Barendregt H. Lambda Calculi with Types1992
1782. Baresi L.(ed.) Dustdar S.(ed.) Gall H.(ed.) Ubiquitous Mobile Information and Collaboration Systems, 2 conf., UMICS 2004 (1 edition)2005
1783. Barg A. Complexity Issues in Coding Theory1997
1784. Barger R.N. Computer Ethics: A Case-based Approach2008
1785. Bargiela A. (Author, Editor) Pedrycz W. (Editor) Human-Centric Information Processing Through Granular Modelling (1 edition)2009
1786. Barichard V. Ehrgott M. Gandibleux X. Multiobjective programming and goal programming: Theoretical results and practical applications2009
1787. Barillot C. Haynor D.R. Medical Image Computing and Computer-Assisted Intervention – MICCAI 2004: 7th International Conference Saint-Malo, France, September 26-29, 2004 Proceedings, Part I2004
1788. Barillot C. (Editor) Haynor D.R. (Editor) Hellier P. (Editor) Medical Image Computing And Computer-assisted Intervention -- Miccai 2004: 7th International Conference Saint-malo, France, September 26-29, 2004 (1 edition)2004
1789. Barish G. Building Scalable and High-Performance Java Web Applications Using J2EE Technology2001
1790. Barker F. Wrox's Visual C# 2005 Express Edition Starter Kit (Programmer to Programmer)2006
1791. Barkowsky T. Knauff M. Spatial Cognition V: Reasoning, Action, Interaction2008
1792. Barnes J. Ada 2005 Rationale: The Language, The Standard Libraries2008
1793. Barnes J. Ada 95 rationale. The language the Standard libraries1995
1794. Barnett S. Quantum Information2009
1795. Barni M. Cox I. Kalker T. Digital Watermarking: 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings2005
1796. Baron M. Probability and Statistics for Computer Scientists2006
1797. Barr M. Programming Embedded Systems in C and C ++1999
1798. Barrels R.H. Beatty J.C. An Introduction to Splines for use in Computer Graphics and Geometric Modeling1987
1799. Barrett S.F. Pack D. Thornton M. Atmel AVR microcontroller primer: programming and interfacing2007
1800. Barria J.A. Communication Networks And Computer Systems: a tribute to Professor Erol Gelenbe (illustrated edition)2006
1801. Barron T. Multiplayer Game Programming2000
1802. Barron T. Strategy Game Programming With Directx 9.0 20032003
1803. Barros M. Guilherme J. Horta N. Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques (Studies in Computational Intelligence, 294)2010
1804. Barroso L. The Data Center as a Computer2009
1805. Barrows A. Young M. Stockman J. Access 2010 All-in-One For Dummies2010
1806. Barry C. Conboy K. Lang M. Information Systems Development: Challenges in Practice, Theory, and Education. Volume 22008
1807. Barry D.A. Culligan-Hensley P.J. Barry S.J. Algorithm 743: WAPR-a Fortran routine for calculating real values of the W-function1995
1808. Barry D.K. Web Services and Service-Oriented Architectures: The Savvy Manager's Guide2003
1809. Barry P. Programming the Network with Perl2002
1810. Barry P. Programming the Network with Perl2002
1811. Barth W. Nagios: system and network monitoring2005
1812. Barthe G. Dybjer P. Pinto L. Lecture Notes in Computer Science (2395). Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)2002
1813. Barthe G. Fournet C. Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers2008
1814. Barthelmann V. VBCC compiler system2004
1815. Barthold F. Stander N. Stein E. Performance comparison of SAM and SQP for structural optimizationn/a
1816. Bartholomew-Biggs M. Nonlinear Optimization with Engineering Applications2008
1817. Bartlett R.D. Bartlett P. Koi For Dummies2007
1818. Bartlomiej Beliczynski (Editor) Dzielinski A. (Editor) Iwanowski M. (Editor) Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I (1 edition)2007
1819. Bartz-Beielstein T. Blesa M.J. Blum C. Hybrid Metaheuristics 4th InternationalWorkshop, HM 2007 Dortmund, Germany, October 8-9, 2007 Proceedings2007
1820. Bartz-Beielstein T. (ed.) Aguilera M.J.B. (ed.) Blum C. (ed.) Hybrid Metaheuristics 4th InternationalWorkshop, HM 2007 Dortmund, Germany, October 8-9, 2007 Proceedings2007

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