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

square Второй курс

square Третий курс

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

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

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

blank
Красота
blank
blank
Каталог
Всего ресурсов: 194054
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Теория информации (20 / 20)
dirОбработка изображений (59 / 59)
dirВычислимость (35 / 35)
dirЯзыки программирования (180 / 180)
dirПопулярные издания (2 / 2)
dirКвантовые вычисления (23 / 23)


» Computer science »

blank
Содержимое каталога
1961. Benczur A. (ed.) Demetrovics J. (ed.) Gottlob G. (ed.) Lecture Notes in Computer Science (3255). Advances in Databases and Information Systems: 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings2004
1962. Bendsoe M.P. Variable-Topology Optimization: Status and Challenges1999
1963. Benedetto M. Sangiovanni-Vincentelli A. Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings2001
1964. Benenti G. Casati G. Strini G. Principles of Quantum Computation and Information: Basic Tools and Special Topics2007
1965. Benhamou F. Jussien N. O'Sullivan B.A. Trends in Constraint Programming2007
1966. Bennedsen J. Caspersen M.E. Reflections on the Teaching of Programming: Methods and Implementations2008
1967. Bennett G. Lees B. Fisher M. Objective-C for Absolute Beginners: iPhone and Mac Programming Made Easy2010
1968. Bennett J. Practical Computer Analysis of Switch Mode Power Supplies2005
1969. Bennett M. Programming with Oracle Developer2001
1970. Bennett S. McRobb S. Farmer R. Object-Oriented Information Systems Analysis and Design Using UML (2-nd edition)2001
1971. 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
1972. Benschop N.F. Associative digital network theory: an associative algebra approach to logic, arithmetic and state machines (1 edition)2009
1973. Benschop N.F. Associative digital network theory: an associative algebra approach to logic, arithmetic and state machines (1 edition)2009
1974. Benson C. Elman A. Nickell S. GNOME Human Interface Guidelines 2.0 (3 edition)2004
1975. 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
1976. Bensoussan A. (ed.) Lions J.L. (ed.) Lecture Notes in Control and Information Sciences: Analysis and Optimization of Systems1988
1977. Bentley J. More Programming Pearls: Confessions of a Coder (Facsimile edition)1988
1978. Bentley J. Programming Microsoft Windows with Microsoft Visual Basic .Net (Core Reference)2003
1979. Bentley J. Programming Pearls1986
1980. Bentley J. Programming Pearls1986
1981. Benyoucef L. Grabot B. Artificial Intelligence Techniques for Networked Manufacturing Enterprises Management2010
1982. Benz B. XML Programming Bible2003
1983. Berardi S. Coppo M. Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers1996
1984. Berekovic M. Muller-Schloer C. Hochberger C. Architecture of Computing Systems; ARCS 20092009
1985. 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
1986. 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
1987. 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
1988. 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
1989. Bergen G. Collision Detection in Interactive 3D Environments (The Morgan Kaufmann Series in Interactive 3D Technology)2003
1990. Berger T.W. Chapin J.K. Gerhardt G.A. Brain-Computer Interfaces: An international assessment of research and development trends2008
1991. Berghammer R. (Ed) Struth G. (Ed) Miller B. Relational and Kleene-Algebraic Methods in Computer Science2004
1992. Bergler S. Advances in Artificial Intelligence: 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada2008
1993. Bergmann R. Althoff K.-D. Breen S. Developing Industrial Case-Based Reasoning Applications (2 edition)2003
1994. Bergmann R. Lindemann G. Kirn S. Multiagent System Technologies, 6 conf., MATES 20082008
1995. Bergmann S.D. Compiler design: theory, tools, and examples1994
1996. Bergstra J.A. (Ed) Ponse A. (Ed) Handbook of Process Algebra2001
1997. Berinde V. Iterative Approximation of Fixed Points (2nd edition)2007
1998. Berinde V. Iterative Approximation of Fixed Points (second edition)2007
1999. 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
2000. Berliner L. Krishna N. Biological Magnetic Resonance - Volume 17: Structural Computation and Dynamics in Protein (Biological Magnetic Resonance)2002
2001. Bermin H.-P. Path Depend Options: Hedging Lookback and Lookback Options1998
2002. Bernardo M. Hillston J. Formal Methods for Performance Evaluation, 7 school, SFM 20072007
2003. 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
2004. Bernardo M. (Editor) Bogliolo A. (Editor) Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 (1 edition)2008
2005. Bernd Jahne Horst Haussecker Peter Geissler Handbook of Computer Vision and Applications, V31999
2006. Bernhard R. Formale Methodik des Entwurfs verteilter objektorientierter Systeme1996
2007. Bernsen N. Dybkjar L. Multimodal Usability (Human-Computer Interaction Series)2009
2008. Berquist K. Berquist A. Managing Information Highways: The PRISM Book: Principles, Methods, and Case Studies for Designing Telecommunications Management Systems1996
2009. Berry M.J.A. Data Mining Techniques For Marketing, Sales, and Customer Relationship Management (2nd edition)2004
2010. Berry M.W. Computational Information Retrieval2001
2011. Berry M.W. Dayal U. Kamath C. Proceedings of the Fourth SIAM International Conference on Data Mining2004
2012. Bertele U. Nonserial dynamic programming, Volume 911972
2013. Berthold M. Glen R. Computational Life Sciences: First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings2005
2014. Berthold M. Hand D.J. Intelligent data analysis. An introduction (2nd edition)2007
2015. Bertino E. Kurth H. Martella G. Computer Security - ESORICS 96, 4 conf1996
2016. Bertino E. ECOOP 2000 - Object-Oriented Programming: 14th European Conference, Sophia, Antipolis and Cannes, France, June 12-16, 2000 Proceedings2000
2017. Bertino E. Martino L. Object- Oriented Database Systems: Concepts and Architectures1993
2018. Bertino E. Martino L.M. Paci F. Security for web services and service-oriented architectures2010
2019. Bertossi L. Hunter A. Schaub T. Inconsistency Tolerance (1 edition)2004
2020. Bertot Y. Huet G. From Semantics to Computer Science: Essays in Honour of Gilles Kahn2009
2021. Bertrand Nawrocki J.R. Bartosz Balancing Agility and Formalism in Software Engineering, 2 conf., CEE-SET 20072008
2022. Bertsekas D.P. Constrained Optimization and Lagrange Multiplier Methods (1 edition)1996
2023. Bertsekas D.P. Dynamic programming and optimal control (Vol. 1)1995
2024. Bertsekas D.P. Dynamic programming and optimal control (Vol. 2)1995
2025. Bertsekas D.P. Tsitsiklis J.N. Neuro-Dynamic Programming1996
2026. Bertsekas D.P. Nonlinear Programming (second edition)1998
2027. BertsekasD. Tsitsiklis J. Neuro-Dynamic Programming (Optimization and Neural Computation Series, 3)1996
2028. Bessiere C. Principles and Practice of Constraint Programming - CP 2007, 13 conf., CP 2007 (1 edition)2007
2029. Beth Boynton SUCCESSFUL NURSE COMMUNICATION2016
2030. Betten A. Kerber A. Braun M. Error-Correcting Linear Codes2005


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