| 1961. |
Benhamou F. Jussien N. O'Sullivan B.A. |
Trends in Constraint Programming | 2007 |
| 1962. |
Bennedsen J. Caspersen M.E. |
Reflections on the Teaching of Programming: Methods and Implementations | 2008 |
| 1963. |
Bennett G. Lees B. Fisher M. |
Objective-C for Absolute Beginners: iPhone and Mac Programming Made Easy | 2010 |
| 1964. |
Bennett J. |
Practical Computer Analysis of Switch Mode Power Supplies | 2005 |
| 1965. |
Bennett M. |
Programming with Oracle Developer | 2001 |
| 1966. |
Bennett S. McRobb S. Farmer R. |
Object-Oriented Information Systems Analysis and Design Using UML (2-nd edition) | 2001 |
| 1967. |
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 Papers | 2009 |
| 1968. |
Benschop N.F. |
Associative digital network theory: an associative algebra approach to logic, arithmetic and state machines (1 edition) | 2009 |
| 1969. |
Benschop N.F. |
Associative digital network theory: an associative algebra approach to logic, arithmetic and state machines (1 edition) | 2009 |
| 1970. |
Benson C. Elman A. Nickell S. |
GNOME Human Interface Guidelines 2.0 (3 edition) | 2004 |
| 1971. |
Bensoussan A. Verjus J.-P. |
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA | 1992 |
| 1972. |
Bensoussan A. (ed.) Lions J.L. (ed.) |
Lecture Notes in Control and Information Sciences: Analysis and Optimization of Systems | 1988 |
| 1973. |
Bentley J. |
More Programming Pearls: Confessions of a Coder (Facsimile edition) | 1988 |
| 1974. |
Bentley J. |
Programming Microsoft Windows with Microsoft Visual Basic .Net (Core Reference) | 2003 |
| 1975. |
Bentley J. |
Programming Pearls | 1986 |
| 1976. |
Bentley J. |
Programming Pearls | 1986 |
| 1977. |
Benyoucef L. Grabot B. |
Artificial Intelligence Techniques for Networked Manufacturing Enterprises Management | 2010 |
| 1978. |
Benz B. |
XML Programming Bible | 2003 |
| 1979. |
Berardi S. Coppo M. |
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers | 1996 |
| 1980. |
Berekovic M. Muller-Schloer C. Hochberger C. |
Architecture of Computing Systems; ARCS 2009 | 2009 |
| 1981. |
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 |
| 1982. |
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 |
| 1983. |
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 Papers | 2007 |
| 1984. |
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 Invited | 2004 |
| 1985. |
Bergen G. |
Collision Detection in Interactive 3D Environments (The Morgan Kaufmann Series in Interactive 3D Technology) | 2003 |
| 1986. |
Berger T.W. Chapin J.K. Gerhardt G.A. |
Brain-Computer Interfaces: An international assessment of research and development trends | 2008 |
| 1987. |
Berghammer R. (Ed) Struth G. (Ed) Miller B. |
Relational and Kleene-Algebraic Methods in Computer Science | 2004 |
| 1988. |
Bergler S. |
Advances in Artificial Intelligence: 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada | 2008 |
| 1989. |
Bergmann R. Althoff K.-D. Breen S. |
Developing Industrial Case-Based Reasoning Applications (2 edition) | 2003 |
| 1990. |
Bergmann R. Lindemann G. Kirn S. |
Multiagent System Technologies, 6 conf., MATES 2008 | 2008 |
| 1991. |
Bergmann S.D. |
Compiler design: theory, tools, and examples | 1994 |
| 1992. |
Bergstra J.A. (Ed) Ponse A. (Ed) |
Handbook of Process Algebra | 2001 |
| 1993. |
Berinde V. |
Iterative Approximation of Fixed Points (2nd edition) | 2007 |
| 1994. |
Berinde V. |
Iterative Approximation of Fixed Points (second edition) | 2007 |
| 1995. |
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 |
| 1996. |
Berliner L. Krishna N. |
Biological Magnetic Resonance - Volume 17: Structural Computation and Dynamics in Protein (Biological Magnetic Resonance) | 2002 |
| 1997. |
Bermin H.-P. |
Path Depend Options: Hedging Lookback and Lookback Options | 1998 |
| 1998. |
Bernardo M. Hillston J. |
Formal Methods for Performance Evaluation, 7 school, SFM 2007 | 2007 |
| 1999. |
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 Lectures | 2003 |
| 2000. |
Bernardo M. (Editor) Bogliolo A. (Editor) |
Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 (1 edition) | 2008 |
| 2001. |
Bernd Jahne Horst Haussecker Peter Geissler |
Handbook of Computer Vision and Applications, V3 | 1999 |
| 2002. |
Bernhard R. |
Formale Methodik des Entwurfs verteilter objektorientierter Systeme | 1996 |
| 2003. |
Bernsen N. Dybkjar L. |
Multimodal Usability (Human-Computer Interaction Series) | 2009 |
| 2004. |
Berquist K. Berquist A. |
Managing Information Highways: The PRISM Book: Principles, Methods, and Case Studies for Designing Telecommunications Management Systems | 1996 |
| 2005. |
Berry M.J.A. |
Data Mining Techniques For Marketing, Sales, and Customer Relationship Management (2nd edition) | 2004 |
| 2006. |
Berry M.W. |
Computational Information Retrieval | 2001 |
| 2007. |
Berry M.W. Dayal U. Kamath C. |
Proceedings of the Fourth SIAM International Conference on Data Mining | 2004 |
| 2008. |
Bertele U. |
Nonserial dynamic programming, Volume 91 | 1972 |
| 2009. |
Berthold M. Glen R. |
Computational Life Sciences: First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings | 2005 |
| 2010. |
Berthold M. Hand D.J. |
Intelligent data analysis. An introduction (2nd edition) | 2007 |
| 2011. |
Bertino E. Kurth H. Martella G. |
Computer Security - ESORICS 96, 4 conf | 1996 |
| 2012. |
Bertino E. |
ECOOP 2000 - Object-Oriented Programming: 14th European Conference, Sophia, Antipolis and Cannes, France, June 12-16, 2000 Proceedings | 2000 |
| 2013. |
Bertino E. Martino L. |
Object- Oriented Database Systems: Concepts and Architectures | 1993 |
| 2014. |
Bertino E. Martino L.M. Paci F. |
Security for web services and service-oriented architectures | 2010 |
| 2015. |
Bertossi L. Hunter A. Schaub T. |
Inconsistency Tolerance (1 edition) | 2004 |
| 2016. |
Bertot Y. Huet G. |
From Semantics to Computer Science: Essays in Honour of Gilles Kahn | 2009 |
| 2017. |
Bertrand Nawrocki J.R. Bartosz |
Balancing Agility and Formalism in Software Engineering, 2 conf., CEE-SET 2007 | 2008 |
| 2018. |
Bertsekas D.P. |
Constrained Optimization and Lagrange Multiplier Methods (1 edition) | 1996 |
| 2019. |
Bertsekas D.P. |
Dynamic programming and optimal control (Vol. 1) | 1995 |
| 2020. |
Bertsekas D.P. |
Dynamic programming and optimal control (Vol. 2) | 1995 |
| 2021. |
Bertsekas D.P. Tsitsiklis J.N. |
Neuro-Dynamic Programming | 1996 |
| 2022. |
Bertsekas D.P. |
Nonlinear Programming (second edition) | 1998 |
| 2023. |
BertsekasD. Tsitsiklis J. |
Neuro-Dynamic Programming (Optimization and Neural Computation Series, 3) | 1996 |
| 2024. |
Bessiere C. |
Principles and Practice of Constraint Programming - CP 2007, 13 conf., CP 2007 (1 edition) | 2007 |
| 2025. |
Beth Boynton |
SUCCESSFUL NURSE COMMUNICATION | 2016 |
| 2026. |
Betten A. Kerber A. Braun M. |
Error-Correcting Linear Codes | 2005 |
| 2027. |
Betts J.T. |
Practical Methods for Optimal Control Using Nonlinear Programming (1 edition) | 2001 |
| 2028. |
Beynon-Davies P. |
Database Systems (3rd edition) | 2004 |
| 2029. |
Bezemer J.L. |
And so Forth... | 2001 |
| 2030. |
Bhalla S. (ed.) |
Databases in Networked Information Systems | 2000 |
На уровень выше
AI, knowledge
|
|
О проекте