2871. |
Dieter Hutter Stephan W. |
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers | 2004 |
2872. |
Dignum F. Greaves M. |
Issues in Agent Communication | 2000 |
2873. |
Dignum F. Greaves M. |
Issues in Agent Communication (Lecture Notes in Computer Science) | 2000 |
2874. |
Dignum F. (ed.) van Eijk R.M. (ed.) Flores R. (ed.) |
Agent Communication 2. Lecture notes in artificial intelligence 3859 | 2006 |
2875. |
Dignum V. |
Handbook of research on multi-agent systems: semantics and dynamics of organizational models | 2009 |
2876. |
Dijkstra E. |
A discipline of programming | 1976 |
2877. |
Dikaiakos M. |
Grid Computing | 2004 |
2878. |
Dikaiakos M.D. |
Grid Computing | 2004 |
2879. |
Dill D. |
Computer Aided Verification, 6 conf., CAV '94 | 1994 |
2880. |
Dillon T.S. (ed.) Chang E. (ed.) Meersman R. (ed.) |
Advances in web semantics I. Ontologies, web services | 2008 |
2881. |
Dimitrakos T. Martinelli F. Ryan P.Y.A. |
Formal Aspects in Security and Trust, 4 conf., FAST 2006 | 2007 |
2882. |
Dimitrios I. |
Definite integration using the generalized hypergeometric functions | 1977 |
2883. |
DIMITRIS G. MANOLAKIS VINAY K. INGLE |
Applied Digital Signal Processing THEORY AND PRACTICE | 2011 |
2884. |
Din A.I. |
Structured Query Language | 1994 |
2885. |
Ding J. Schmidt D. Gower J.E. |
Multivariate Public Key Cryptosystems | 2006 |
2886. |
Dingledine R. Golle P. |
Financial Cryptography and Data Security | 2009 |
2887. |
Dingledine R. |
Privacy Enhancing Technologies: Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers | 2003 |
2888. |
Dingsøyr T. |
Software Process Improvement, 11 conf., EuroSPI 2004 (1 edition) | 2004 |
2889. |
Dingyi Pei (Editor) |
Information Security and Cryptology: Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers (1 edition) | 2008 |
2890. |
Dingzhu Du |
Satisfiability Problem: Theory and Applications | 1996 |
2891. |
Dioguardi G. |
Network Enterprises: The Evolution of Organizational Models from Guilds to Assembly Lines to Innovation Clusters | 2009 |
2892. |
DiSessa, Andrea A. |
Changing Minds : Computers, Learning, and Literacy | 2000 |
2893. |
Dittner R. Rule D. Majors K. |
Matthijs ten Seldam, Virtualization with Microsoft Virtual Server 2005 | 2006 |
2894. |
Dix J. Pereira L.M. Przymusinski T.C. |
Non-Monotonic Extensions of Logic Programming | 1997 |
2895. |
Dix J. Pereira L. Przymusinski T. |
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers | 1995 |
2896. |
Dix J. (ed.) Leite J. (ed.) |
Computational Logic and Multi-Agent Systems: 4th International Workshop, Clima 2004, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers | 2005 |
2897. |
Dobashi Y. Kaneda K. Yamashita H. |
A Simple, Efficient Method for Realistic Animation of Clouds | 2000 |
2898. |
Dobbertin H. (ed.) Rijmen V. (ed.) Sowa A. (ed.) |
Advanced Encryption Standard - AES: 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers | 2005 |
2899. |
Doberkat E. |
Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series) | 2010 |
2900. |
Dochev D. (ed.) Pistore M. (ed.) Traverso P. (ed.) |
Artificial intelligence: methodology, systems, and applications | 2008 |
2901. |
Dodge C. Jerse T. |
Computer Music: Synthesis, Composition, and Performance (2-nd edition) | 1997 |
2902. |
Doets K. van Eijck J. Mackie I. (Ed) |
The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, Vol.4) | 2004 |
2903. |
Dohi T. Kikinis R. |
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference Tokyo, Japan, September 25-28, 2002 Proceedings, Part II | 2002 |
2904. |
Doke E. Hardgrave B. Johnson R. |
COBOL Programmers Swing with Java (2nd edition) | 2005 |
2905. |
Dolev D. Galil Z. Rodeh M. |
Theory of Computing and Systems: ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings | 1992 |
2906. |
Domenico Ursino |
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources | 2002 |
2907. |
Domingue J. Fensel D. Traverso P. |
Future Internet - FIS 2008, 1 conf., FIS 2008 (1 edition) | 2009 |
2908. |
Dominus M. |
Higher-Order Perl: Transforming Programs with Programs | 2005 |
2909. |
Dominus M.J. |
Higher-Order Perl: Transforming Programs with Programs | 2005 |
2910. |
Donahoo M.J. Calvert K.L. |
TCP/IP Sockets in C: Practical Guide for Programmers (Second Edition) | 2009 |
2911. |
Dong G.(ed.) Lin X.(ed.) Wang W.(ed.) |
Advances in Data and Web Management: Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference on Web-Age Information Management | 2007 |
2912. |
Dong J. (ed.) Paul R. (ed.) |
High Assurance Services Computing | 2009 |
2913. |
Dongarra J. Madsen K. Wasniewski J. |
Lecture Notes in Computer Science (3732). Applied Parallel Computing: State of the Art in Scientific Computing | 2006 |
2914. |
Dongarra J. Foster I. Fox G. |
The Sourcebook of Parallel Computing | 2003 |
2915. |
Dorf R.C. |
Circuits, Signals, and Speech and Image Processing (3rd edition) | 2006 |
2916. |
Dorigo M. Birattari M. Blum C. |
Ant Colony Optimization and Swarm Intelligence, 6 conf., ANTS 2008 | 2008 |
2917. |
Dorigo M. (ed.) Di Caro G. (ed.) Sampels M. (ed.) |
Ant algorithms. Lecture notes in computer science 2463 | 2002 |
2918. |
Dorigo M. (ed.) Birattari M. (ed.) Blum C. (ed.) |
Ant colony optimization and swarm intelligence. Lecture notes in computer science 3172 | 2005 |
2919. |
Dorigo M. (ed.) Gambardella L.M. (ed.) Birattari M. (ed.) |
Ant colony optimization and swarm intelligence. Lecture notes in computer science 4150 | 2006 |
2920. |
Dorndorf U. Pesch Е. Phan-Huv Т. |
A branch-and-bound algorithm for the resource-constrained project scheduling problem | 2000 |
2921. |
Dorner J. Seely J. |
One Step Ahead: Writing for the Internet | 2002 |
2922. |
Dorst L. Fontijne D. Mann S. |
Geometric algebra for computer science (with errata) | 2007 |
2923. |
Dostal Z. |
Optimal quadratic programming algorithms | 2009 |
2924. |
Dostal Z. |
Optimal Quadratic Programming Algorithms: With Applications to Variational Inequalities (Springer Optimization and Its Applications) | 2009 |
2925. |
Doucet J. Weber J. |
Computer-Aided Molecular Design: Theory and Applications | 1996 |
2926. |
Dowek G. Heering Ою Meinke K. |
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | 1996 |
2927. |
Downey A. Elkner J. Meyers C. |
How to Think Like a Computer Scientist. Learning with Python | 2002 |
2928. |
Downey A.B. Elkner J. |
How to think like a computer scientist | 2001 |
2929. |
Downey A.B. |
How to Think Like a Computer Scientist. Learning with C++ | 2002 |
2930. |
Downing D. Covington M. Covington M. |
Dictionary of Computer and Internet Terms (10 edition) | 2009 |
2931. |
Doyle M. |
Beginning PHP 5.3 | 2009 |
2932. |
Doyle M. |
Beginning PHP 5.3 (Wrox Programmer to Programmer) | 2010 |
2933. |
Draheim D. |
Trends in Enterprise ApplicationArchitecture: 2nd International Conference, TEAA 2006 Berlin, Germany, November 29 - December 1, 2006 Revised Selected Papers | 2007 |
2934. |
Dress A. (ed.) Xu Y. (ed.) Zhu B. (ed.) |
Combinatorial Optimization and Applications. First International Conference, COCOA 2007 Xi’an, China, August 14-16, 2007 Proceedings | 2007 |
2935. |
Dreyfus G. |
Neural Networks: Methodology and Applications | 2005 |
2936. |
Dreyfus H. |
What Computers Can't Do: The Limits of Artificial Intelligence | 1972 |
2937. |
Dreyfus S. Law A. |
The art and theory of dynamic programming | 1977 |
2938. |
Drinfeld V.G. Manin Yu.I. |
Description of instantons | 1978 |
2939. |
Drmac Z. (ed.) Tutek Z. (ed.) Marusic M. (ed.) |
Proceedings of the Conference on Applied Mathematics and Scientific Computing | 2005 |
2940. |
Drossopoulou S. |
Programming Languages and Systems, 17 conf., ESOP 2008 | 2008 |