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

square Второй курс

square Третий курс

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

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

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

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


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