| 2871. |
Dershowitz N. (ed.) Voronkov A. (ed.) |
Logic for Programming, Artificial Intelligence, and Reasoning. 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 Proceedings | 2007 |
| 2872. |
Deschamps J.-P. |
Synthesis of arithmetic circuits: FPGA, ASIC, and embedded systems | 2006 |
| 2873. |
Desel J. (ed.) Pernici B. (ed.) Weske M. (ed.) |
Business process management. Lecture notes in computer science 3080 | 2005 |
| 2874. |
Desel J. (Editor) Reisig W. (Editor) Rozenberg Grz. (Editor) |
Lectures on Concurrency and Petri Nets, Advances in Petri Nets, ACPN 2003 (1 edition) | 2004 |
| 2875. |
Desmedt Y. |
Information Theoretic Security: Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers (Lecture Notes in Computer Science Security and Cryptology) | 2009 |
| 2876. |
Desmedt Y.G. (ed.) Wang H. (ed.) Mu Y. (ed.) |
Cryptology and Network Security | 2005 |
| 2877. |
Desouza K.C. |
Agile Information Systems: Conceptualization, Construction, and Management | 2006 |
| 2878. |
Dessi M. |
Spring 2 5 Aspect Oriented Programming | 2009 |
| 2879. |
Dessi M. |
Spring 2.5 Aspect Oriented Programming | 2009 |
| 2880. |
Detmer R.C. |
Introduction to 80X86 Assembly Language and Computer Architecture | 2001 |
| 2881. |
Detmer R.C.C. |
Introduction to 80x86 Assembly Language and Computer Architecture (1st edition) | 2001 |
| 2882. |
Deuflhard P. |
Computational Molecular Dynamics: Challenges, Methods, Ideas: Proceedings of the 2nd International Symposium on Algorithms for Macromolecular Modelling | 1998 |
| 2883. |
Deussen O. Lintermann B. Dowden-Williams A. |
Digital Design of Nature (1st edition) | 2004 |
| 2884. |
DeVries D. Naberezny M. |
Rails for PHP Developers | 2008 |
| 2885. |
Dewar J.D. |
Computer Modelling of Concrete Mixtures | 1999 |
| 2886. |
Deza M. Sikiric M.D. |
Geometry of chemical graphs: Polycycles and two-faced maps | 2008 |
| 2887. |
Deza M.M. Euler R. Manoussakis I. |
Combinatorics and Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers: ... Papers 8th | 1996 |
| 2888. |
Dhondt G. |
The Finite Element Method for Three-Dimensional Thermomechanical Applications | 2004 |
| 2889. |
Di Tosto G. Van Dyke Parunak H. |
Multi-Agent-Based Simulation X: International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers (Lecture Notes in ... Lecture Notes in Artificial Intelligence) | 2010 |
| 2890. |
Diamond S. |
Prezi For Dummies | 2010 |
| 2891. |
Diaper D. Stanton N. |
The Handbook of Task Analysis for Human-Computer Interaction | 2003 |
| 2892. |
Dias J.G. Vermunt J.K. |
A bootstrap-based aggregate classifier for model-based clustering | 2008 |
| 2893. |
Diaz J. |
Automata, Languages and Programming, 10 conf., Barcelona, Spain, July 18-22, 1983 | 1983 |
| 2894. |
Diaz J. (ed.) Ramos I. (ed.) |
Formalization of Programming Concepts | 1981 |
| 2895. |
Diaz-Herrera J.L. |
Lecture Notes in Computer Science (750). Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings | 1994 |
| 2896. |
Dibble P. |
Real-Time Java Platform Programming | 2002 |
| 2897. |
Dickersbach J.T. |
Supply Chain Management with APO Structures Model Approaches and Implementation of mySAP (2 edition) | 2005 |
| 2898. |
Dickersbach J.T. |
Supply Chain Management with SAP APO: Structures, Modelling Approaches and Implementation of SAP SCM 2008 (3 edition) | 2009 |
| 2899. |
Didex(ред.) |
4 PDA. Журнал о КПК. (№3, 2006) | 2006 |
| 2900. |
Didonato A. Morris A.H. |
Algorithm 708: Significant Digit Computation of the Incomplete Beta Function Ratios | 1992 |
| 2901. |
Diekert V. |
Combinatorics on Traces (Lecture Notes in Computer Science) (1st edition) | 1990 |
| 2902. |
Diekert V. Volkov M. Voronkov A. |
Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7 | 2007 |
| 2903. |
Dieter Hutter Stephan W. |
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers | 2004 |
| 2904. |
Dignum F. Greaves M. |
Issues in Agent Communication | 2000 |
| 2905. |
Dignum F. Greaves M. |
Issues in Agent Communication (Lecture Notes in Computer Science) | 2000 |
| 2906. |
Dignum F. (ed.) van Eijk R.M. (ed.) Flores R. (ed.) |
Agent Communication 2. Lecture notes in artificial intelligence 3859 | 2006 |
| 2907. |
Dignum V. |
Handbook of research on multi-agent systems: semantics and dynamics of organizational models | 2009 |
| 2908. |
Dijkstra E. |
A discipline of programming | 1976 |
| 2909. |
Dikaiakos M. |
Grid Computing | 2004 |
| 2910. |
Dikaiakos M.D. |
Grid Computing | 2004 |
| 2911. |
Dill D. |
Computer Aided Verification, 6 conf., CAV '94 | 1994 |
| 2912. |
Dillon T.S. (ed.) Chang E. (ed.) Meersman R. (ed.) |
Advances in web semantics I. Ontologies, web services | 2008 |
| 2913. |
Dimitrakos T. Martinelli F. Ryan P.Y.A. |
Formal Aspects in Security and Trust, 4 conf., FAST 2006 | 2007 |
| 2914. |
Dimitrios I. |
Definite integration using the generalized hypergeometric functions | 1977 |
| 2915. |
DIMITRIS G. MANOLAKIS VINAY K. INGLE |
Applied Digital Signal Processing THEORY AND PRACTICE | 2011 |
| 2916. |
Din A.I. |
Structured Query Language | 1994 |
| 2917. |
Ding J. Schmidt D. Gower J.E. |
Multivariate Public Key Cryptosystems | 2006 |
| 2918. |
Dingledine R. Golle P. |
Financial Cryptography and Data Security | 2009 |
| 2919. |
Dingledine R. |
Privacy Enhancing Technologies: Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers | 2003 |
| 2920. |
Dingsøyr T. |
Software Process Improvement, 11 conf., EuroSPI 2004 (1 edition) | 2004 |
| 2921. |
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 |
| 2922. |
Dingzhu Du |
Satisfiability Problem: Theory and Applications | 1996 |
| 2923. |
Dioguardi G. |
Network Enterprises: The Evolution of Organizational Models from Guilds to Assembly Lines to Innovation Clusters | 2009 |
| 2924. |
DiSessa, Andrea A. |
Changing Minds : Computers, Learning, and Literacy | 2000 |
| 2925. |
Dittner R. Rule D. Majors K. |
Matthijs ten Seldam, Virtualization with Microsoft Virtual Server 2005 | 2006 |
| 2926. |
Dix J. Pereira L.M. Przymusinski T.C. |
Non-Monotonic Extensions of Logic Programming | 1997 |
| 2927. |
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 |
| 2928. |
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 |
| 2929. |
Dobashi Y. Kaneda K. Yamashita H. |
A Simple, Efficient Method for Realistic Animation of Clouds | 2000 |
| 2930. |
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 |
| 2931. |
Doberkat E. |
Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series) | 2010 |
| 2932. |
Dochev D. (ed.) Pistore M. (ed.) Traverso P. (ed.) |
Artificial intelligence: methodology, systems, and applications | 2008 |
| 2933. |
Dodge C. Jerse T. |
Computer Music: Synthesis, Composition, and Performance (2-nd edition) | 1997 |
| 2934. |
Doets K. van Eijck J. Mackie I. (Ed) |
The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, Vol.4) | 2004 |
| 2935. |
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 |
| 2936. |
Doke E. Hardgrave B. Johnson R. |
COBOL Programmers Swing with Java (2nd edition) | 2005 |
| 2937. |
Dolev D. Galil Z. Rodeh M. |
Theory of Computing and Systems: ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings | 1992 |
| 2938. |
Domenico Ursino |
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources | 2002 |
| 2939. |
Domingue J. Fensel D. Traverso P. |
Future Internet - FIS 2008, 1 conf., FIS 2008 (1 edition) | 2009 |
| 2940. |
Dominus M. |
Higher-Order Perl: Transforming Programs with Programs | 2005 |
На уровень выше
AI, knowledge
|
|
О проекте