| 2731. |
Dahl V. Niemela I. |
Lecture Notes in Computer Science (4670). Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings | 2007 |
| 2732. |
Dahl V. Saint-Dizier P. |
Natural language understanding and logic programming | 1991 |
| 2733. |
Dainoff M. |
Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July | 2007 |
| 2734. |
Daintith J. Wright E. |
The Facts on File Dictionary of Computer Science | 2006 |
| 2735. |
Dale N. |
C++ Data Structures (3 edition) | 2003 |
| 2736. |
Dale N. Lewis J. |
Computer science illuminated | 2002 |
| 2737. |
Dale R. Wong K.-F. Su J. |
Natural Language Processing IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings | 2005 |
| 2738. |
Dalen E. |
Microsoft Dynamics AX 2009 Programming: Getting Started | 2009 |
| 2739. |
Damgard I.B. |
Lectures on Data Security: Modern Cryptology in Theory and Practice | 1999 |
| 2740. |
Damiani E. Succi G. (Ed) Scotto M. (Ed) |
Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings | 2007 |
| 2741. |
Damiani E. Fitzgerald B. |
Open Source Systems: IFIP Working Group 2.13 Foundation on Open Source Software, June 8-10, 2006, Como, Italy | 2006 |
| 2742. |
Damiani E. Dipanda A. Yetongnon K. |
Signal Processing for Image Enhancement and Multimedia Processing | 2007 |
| 2743. |
Damm W. Hermanns H. |
Computer Aided Verification | 2007 |
| 2744. |
Dams D. Hannemann U. Steffen M. |
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science Theoretical Computer Science and General Issues) | 2010 |
| 2745. |
Dams D. Gerth R. Leue S. |
Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s (1 edition) | 1999 |
| 2746. |
Dan A. Lamersdorf W. |
Service-Oriented Computing - ICSOC 2006: 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings | 2006 |
| 2747. |
Dan R. Olsen J. |
User Interface Management Systems: Models and Algorithms | 1991 |
| 2748. |
Dan Sanderson |
Programming Google App Engine: Build and Run Scalable Web Apps on Google's Infrastructure | 2009 |
| 2749. |
Dandamudi S. |
Fundamentals of Computer Organization and Design | 2003 |
| 2750. |
Danelutto M.(ed.) Vanneschi M.(ed.) Laforenza D.(ed.) |
Euro-Par 2004 Parallel Processing 10th International Euro-Par Conference Pisa, Italy, August 31- September 3, 2004 Proceedings (1 edition) | 2004 |
| 2751. |
Daneshrad B. Eltawil A.M. |
Integrated circuit technologies for wireless communications | n/a |
| 2752. |
Daniilidis K. Maragos P. Paragios N. |
Computer Vision -- ECCV 2010: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I ... Vision, Pattern Recognition, and Graphics) | 2010 |
| 2753. |
Danny W. Van Dyke P.H. Michel F. |
Environments for Multi-Agent Systems 3 conf., E4MAS 2006 | 2007 |
| 2754. |
Dantzig G. Thapa M. |
Linear programming: Introduction | 1997 |
| 2755. |
Dantzig G.B.B. Thapa N.M. |
Linear Programming | 1997 |
| 2756. |
Darcy L. (ed.) |
Dictionary of computer terms (third edition) | 1988 |
| 2757. |
Dark M.J. |
Information Assurance and Security Ethics in Complex Systems: Interdisciplinary Perspectives | 2010 |
| 2758. |
Darren Brooker |
Essential CG Lighting Techniques with 3ds Max, Second Edition (Autodesk Media and Entertainment Techniques) (2 edition) | 2006 |
| 2759. |
Darwen H. |
An Introduction to Relational Database Theory | 2009 |
| 2760. |
Das S.R. Das S.K. |
Distributed Computing - IWDC 2003 | 2003 |
| 2761. |
Dasgupta S. Papadimitriou C.H. Vazirani U.V. |
Algorithms | 2006 |
| 2762. |
Dastani M. Seghrouchni A. Ricci A. |
Programming Multi-Agent Systems, 5 conf., ProMAS 2007 | 2008 |
| 2763. |
Datta A. |
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues) | 2010 |
| 2764. |
Datta А. |
Дефейс Веб-сайтов – Объяснение сложностей | 2006 |
| 2765. |
Dattatreya G. |
Performance Analysis of Queuing and Computer Networks (Chapman & Hall Crc Computer & Information Science Series) | 2008 |
| 2766. |
Dattatreya G.R. |
Performance Analysis of Queuing and Computer Networks | 2008 |
| 2767. |
Dau F. |
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic | 2004 |
| 2768. |
Daumer M. Durr D. Goldstein S. |
On the Quantum Probability Flux Through Surfaces | 1997 |
| 2769. |
Davenport J.H. |
Solving systems of polynomials: theory and practice | n/a |
| 2770. |
David R Musser |
Multivariate polynomial factorization | 1974 |
| 2771. |
David Sh.B. (Ed) Case J. (Ed) Maruoka A. (Ed) |
Algorithmic Learning Theory: 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004, Proceedings | 2004 |
| 2772. |
Davida G.I. Frankel Y. |
Information Security: 4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings | 2001 |
| 2773. |
Davidov O. |
Overdiagnosis in early detection programs | 2004 |
| 2774. |
Davidov O. |
The theory of case-control studies for early detection programs | 2003 |
| 2775. |
Davidson I. Soukup T. |
Visual Data Mining: Techniques and Tools for Data Visualization and Mining | 2002 |
| 2776. |
Davies E.R. |
Machine Vision: Theory, Algorithms, Practicalities (3 edition) | 2005 |
| 2777. |
Davies J. Gibbons J. |
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings | 2007 |
| 2778. |
Davies J. Bussler C. |
The Semantic Web: Research and Applications: First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, May 10-12, 2004 Proceedings | 2004 |
| 2779. |
Davies M.E.(ed.) |
Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007 London, UK, September 9-12, 2007 Proceedings | 2007 |
| 2780. |
Davies N. (ed.) Mynatt E. (ed.) Siio I. (ed.) |
UbiComp 2004. Ubiquitous Computing. 6th International Conference Nottingham, UK, September 7-10, 2004 Proceedings | 2004 |
| 2781. |
Davis H. |
Visual Basic .NET Programming. | 2002 |
| 2782. |
Davis H. |
Visual C# .Net programming | 2002 |
| 2783. |
Davis H. |
Visual C# .NET Programming | 2002 |
| 2784. |
Davis K. Turner J. Yocom N. |
The Definitive Guide to Linux Network Programming | 2004 |
| 2785. |
Davis L.D. (ed.) De Jong K. (ed.) Vose M.D. (ed.) |
Evolutionary Algorithms | 1999 |
| 2786. |
Davis M. |
Computability and unsolvability (New edition) | 1958 |
| 2787. |
Davis M. Sigal R. Weyuker E. |
Computability, complexity, and languages: Fundamentals of theoretical computer science (2-nd edition) | 1994 |
| 2788. |
Davis S. |
Beginning Programming with C++ For Dummies | 2010 |
| 2789. |
Davis W.S. Yen D.C. |
The Information System Consultant's Handbook. Systems Analysis And Design | 1999 |
| 2790. |
Davison M.J. |
The Legal Protection of Databases | 2003 |
| 2791. |
Dawar A. Veith H. |
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ... Computer Science and General Issues) | 2010 |
| 2792. |
Dawes A. |
Windows 8 and Windows Phone 8 Game Development | 2013 |
| 2793. |
Dawson E. Clark A. Boyd C. |
Information Security and Privacy | 2000 |
| 2794. |
Dawson E. (ed.) Wong D.S. (ed.) |
Information Security Practice and Experience: Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings | 2007 |
| 2795. |
Dawson M. |
Beginning C++ Through Game Programming (3rd edition) | 2010 |
| 2796. |
de Alfaro L. |
Foundations of Software Science and Computational Structures | 2009 |
| 2797. |
de Antonio A. Aylett R. Ballin D. |
Intelligent Virtual Agents: Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001. Proceedings | 2001 |
| 2798. |
de Bakker J. W. van Leeuwen J. |
Lecture Notes in Computer Science (85). Automata, Languages and Programming | 1980 |
| 2799. |
de Bakker J.W. (ed.) de Roever W.P. (ed.) |
A decade of concurrency. Lecture notes in computer science 803 | 1994 |
| 2800. |
de Berg M. van Kreveld M. Overmars M. |
Computational Geometry: Algorithms and Applications. Chapter 6: Point Location (3rd edition) | 2008 |
На уровень выше
AI, knowledge
|
|
О проекте