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

square Второй курс

square Третий курс

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

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

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

blank
Красота
blank
blank
Каталог
Всего ресурсов: 173866
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
Содержимое каталога
1891. Bensalem S. Peled D.A. Lecture Notes in Computer Science (5779). Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers2009
1892. Benson C. Elman A. Nickell S. GNOME Human Interface Guidelines 2.0 (3 edition)2004
1893. Bensoussan A. Verjus J.-P. Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA1992
1894. Bensoussan A. (ed.) Lions J.L. (ed.) Lecture Notes in Control and Information Sciences: Analysis and Optimization of Systems1988
1895. Bentley J. More Programming Pearls: Confessions of a Coder (Facsimile edition)1988
1896. Bentley J. Programming Microsoft Windows with Microsoft Visual Basic .Net (Core Reference)2003
1897. Bentley J. Programming Pearls1986
1898. Bentley J. Programming Pearls1986
1899. Benyoucef L. Grabot B. Artificial Intelligence Techniques for Networked Manufacturing Enterprises Management2010
1900. Benz B. XML Programming Bible2003
1901. Berardi S. Coppo M. Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers1996
1902. Berekovic M. Muller-Schloer C. Hochberger C. Architecture of Computing Systems; ARCS 20092009
1903. Berekovic M. Dimopoulos N. Wong S. Embedded Computer Systems: Architectures, Modeling, and Simulation: 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science)2008
1904. Berekovic M. (Editor) Dimopoulos N. (Editor) Wong S. (Editor) Embedded Computer Systems: Architectures, Modeling, and Simulation: 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008 (1 edition)2008
1905. Berendt B. Hotho A. FromWeb to SocialWeb: Discovering and Deploying User and Content Profiles: Workshop onWeb Mining,WebMine 2006 Berlin, Germany, September 18, 2006 Revised Selected and Invited Papers2007
1906. Berendt B. Hotho Web Mining: From Web to Semantic Web: First European Web Mining Forum, EWMF 2003, Cavtat-Dubrovnik, Croatia, September 22, 2003, Revised Selected and Invited2004
1907. Berger T.W. Chapin J.K. Gerhardt G.A. Brain-Computer Interfaces: An international assessment of research and development trends2008
1908. Berghammer R. (Ed) Struth G. (Ed) Miller B. Relational and Kleene-Algebraic Methods in Computer Science2004
1909. Bergler S. Advances in Artificial Intelligence: 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada2008
1910. Bergmann R. Althoff K.-D. Breen S. Developing Industrial Case-Based Reasoning Applications (2 edition)2003
1911. Bergmann R. Lindemann G. Kirn S. Multiagent System Technologies, 6 conf., MATES 20082008
1912. Bergstra J.A. (Ed) Ponse A. (Ed) Handbook of Process Algebra2001
1913. Berinde V. Iterative Approximation of Fixed Points (2nd edition)2007
1914. Berinde V. Iterative Approximation of Fixed Points (second edition)2007
1915. Berleur J.J. (ed.) Hercheui M.D. (ed.) Hilty L.M. (ed.) What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience: 9th IFIP TC 9 International Conference, HCC9 2010 and ... in Information and Communication Technology)2010
1916. Berliner L. Krishna N. Biological Magnetic Resonance - Volume 17: Structural Computation and Dynamics in Protein (Biological Magnetic Resonance)2002
1917. Bermin H.-P. Path Depend Options: Hedging Lookback and Lookback Options1998
1918. Bernardo M. Hillston J. Formal Methods for Performance Evaluation, 7 school, SFM 20072007
1919. Bernardo M. Inverardi P. Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures2003
1920. Bernardo M. (Editor) Bogliolo A. (Editor) Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 (1 edition)2008
1921. Bernhard R. Formale Methodik des Entwurfs verteilter objektorientierter Systeme1996
1922. Bernsen N. Dybkjar L. Multimodal Usability (Human-Computer Interaction Series)2009
1923. Berquist K. Berquist A. Managing Information Highways: The PRISM Book: Principles, Methods, and Case Studies for Designing Telecommunications Management Systems1996
1924. Berry M.J.A. Data Mining Techniques For Marketing, Sales, and Customer Relationship Management (2nd edition)2004
1925. Berry M.W. Computational Information Retrieval2001
1926. Berry M.W. Dayal U. Kamath C. Proceedings of the Fourth SIAM International Conference on Data Mining2004
1927. Bertele U. Nonserial dynamic programming, Volume 911972
1928. Berthold M. Glen R. Computational Life Sciences: First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings2005
1929. Berthold M. Hand D.J. Intelligent data analysis. An introduction (2nd edition)2007
1930. Bertino E. Kurth H. Martella G. Computer Security - ESORICS 96, 4 conf1996
1931. Bertino E. ECOOP 2000 - Object-Oriented Programming: 14th European Conference, Sophia, Antipolis and Cannes, France, June 12-16, 2000 Proceedings2000
1932. Bertino E. Martino L. Object- Oriented Database Systems: Concepts and Architectures1993
1933. Bertino E. Martino L.M. Paci F. Security for web services and service-oriented architectures2010
1934. Bertossi L. Hunter A. Schaub T. Inconsistency Tolerance (1 edition)2004
1935. Bertot Y. Huet G. From Semantics to Computer Science: Essays in Honour of Gilles Kahn2009
1936. Bertrand Nawrocki J.R. Bartosz Balancing Agility and Formalism in Software Engineering, 2 conf., CEE-SET 20072008
1937. Bertsekas D.P. Constrained Optimization and Lagrange Multiplier Methods (1 edition)1996
1938. Bertsekas D.P. Dynamic programming and optimal control (Vol. 1)1995
1939. Bertsekas D.P. Dynamic programming and optimal control (Vol. 2)1995
1940. Bertsekas D.P. Tsitsiklis J.N. Neuro-Dynamic Programming1996
1941. Bertsekas D.P. Nonlinear Programming (second edition)1998
1942. BertsekasD. Tsitsiklis J. Neuro-Dynamic Programming (Optimization and Neural Computation Series, 3)1996
1943. Bessiere C. Principles and Practice of Constraint Programming - CP 2007, 13 conf., CP 2007 (1 edition)2007
1944. Betten A. Kerber A. Braun M. Error-Correcting Linear Codes2005
1945. Betts J.T. Practical Methods for Optimal Control Using Nonlinear Programming (1 edition)2001
1946. Beynon-Davies P. Database Systems (3rd edition)2004
1947. Bezemer J.L. And so Forth...2001
1948. Bhalla S. (ed.) Databases in Networked Information Systems2000
1949. Bhanu B. Chen H. Human Ear Recognition by Computer2008
1950. Bhatnagar H. Advanced ASIC chip synthesis: using Synopsys Design Compiler, Physical Compiler, and Prime Time (2-nd edition)2002
1951. Bhattacharya A. Konar A. Mandal A.K. Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines2006
1952. Bhavani T. Data Mining: Technologies, Techniques, Tools and Trends1998
1953. Bhowmick S.S.(ed.) Küng J.(ed.) Wagner R.R.(ed.) Database and Expert Systems Applications 19th International Conference, DEXA 2008 Turin, Italy, September 1-5, 2008 Proceedings2008
1954. Biancuzzi F. Warden S. Masterminds of Programming: Conversations with the Creators of Major Programming Languages2009
1955. Bickerton D. Biological Foundations and Origin of Syntax2009
1956. Biegelman M.T. Biegelman D.R. Building a World-Class Compliance Program: Best Practices and Strategies for Success2008
1957. Biegler L.T. Nonlinear programming2010
1958. Biermann A.W. Ramm D. Great ideas in computer science with java2002
1959. Bigelow J.H. Using Linear Programming to Design Samples for a Complex Survey2007
1960. Biglieri E. Coding For Wireless Channels (Information Technology Series: Transmission, Processing, and Storage) (1st edition)2005


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