| 2661. |
Courtois P. |
Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering) | 2008 |
| 2662. |
Cousens G. |
There Is a Cure for Diabetes: The Tree of Life 21-Day+ Program | 2008 |
| 2663. |
Cousineau G. Curien P. Robinet B. |
Combinators and Functional Programming Languages, 13 school LITP, 1985 | 1986 |
| 2664. |
Cousineau G. Mauny M. |
The Functional Approach to Programming | 1998 |
| 2665. |
Cousot R. Schmidt D.A. |
Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings | 1996 |
| 2666. |
Cousot R. (ed.) |
Lecture Notes in Computer Science (3385). Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings | 2005 |
| 2667. |
Coussy P. (ed.) Morawiec A. |
High-level synthesis. From algorithm to digital circuit | 2008 |
| 2668. |
Covey, J. |
Bundle 6 WhatsApp Text Game | 2019 |
| 2669. |
Covington M. |
Computer Science (Barron's Ez-101 Study Keys) | 1991 |
| 2670. |
Covington M.A. Nute D. Vellino A. |
Prolog programming in depth | 1996 |
| 2671. |
Cox D.R. Snell E.J. |
Analysis of Binary Data (2nd edition) | 1989 |
| 2672. |
Cox T.F. Cox M.A.A. |
Multidimensional scaling (2nd edition) | 2000 |
| 2673. |
Craddock D.-L. |
Dungeon Hacks: How NetHack, Angband, and Other Rougelikes Changed the Course of Video Games | 2021 |
| 2674. |
Craeynest D. Strohmeier A. |
Reliable Software Technologies - Ada-Europe 2001 | 2001 |
| 2675. |
Craig I.D. |
Formal Refinement of Operating System Kernels | 2007 |
| 2676. |
Craig I.D. |
Object-Oriented Programming Languages | 2007 |
| 2677. |
Crayton C.A. Dubrawsky I. Cross M. |
Security+ Study Guide | 2003 |
| 2678. |
Crescenzi P. (Editor) Prencipe G. (Editor) |
Fun with Algorithms: 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings (1 edition) | 2007 |
| 2679. |
Crestani F. Girolami M. Rijsbergen C. |
Advances in Information Retrieval: 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings (Lecture Notes in Computer Science) | 2002 |
| 2680. |
Crestani F. Ruthven I. |
Information Context: Nature, Impact, and Role: 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, | 2005 |
| 2681. |
Crestani F. Ferragina P. Sanderson M. |
String Processing and Information Retrieval: 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings | 2006 |
| 2682. |
Cristian Darie |
Programmer's Guide to SQL | 2003 |
| 2683. |
Critchlow C. Eck D. |
Foundations of Computation (2-nd edition) | 2010 |
| 2684. |
Crocco G. Cerro L. Herzig A. |
Conditionals: From Philosophy to Computer Science | 1995 |
| 2685. |
Crochemore M.(ed.) Paterson M/(ed.) |
Combinatorial Pattern Matching 10th Annual Symposium, CPM 99 Warwick University, UK, July 22-24, 1999 Proceedings (1 edition) | 1999 |
| 2686. |
Crowcroft J. Hofmann M. |
Networked Group Communication: Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001. Proceedings | 2001 |
| 2687. |
Crowder P. Crowder D.A. |
Creating Web Sites Bible (Third Edition) | 2008 |
| 2688. |
Crowley J. Piater J. |
Computer Vision Systems: Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings | 2003 |
| 2689. |
Crowley P. Franklin M.A. Hadimioglu H. |
Network Processor Design, Volume 3: Issues and Practices | 2005 |
| 2690. |
Cruz F.R. Mateus G.R. Smith J.M. |
A Branch-and-Bound Algorithm to Solve a Multi-level Network Optimization Problem | 2003 |
| 2691. |
Cruz-Cunha M. |
Enterprise Information Systems for Business Integration in SMEs: Technological, Organizational, and Social Dimensions (Advances in Information Resources Management (Airm) Book Series) | 2010 |
| 2692. |
Cryer J.D. Chan K.S. |
Time Series Analysis: With Applications in R (2nd edition) | 2008 |
| 2693. |
Csiszar I. |
Entropy, Search, Complexity | 2007 |
| 2694. |
Csiszar I. Shields P. |
Information Theory and Statistics: A Tutorial | 2004 |
| 2695. |
Csiszar I. Körner J. |
Information Theory: Coding Theorems for Discrete Memoryless Systems | 1982 |
| 2696. |
Cuadrado-Gallego J.J. Braungarten R. Dumke R.R. |
Software Process and Product Measurement: International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers | 2008 |
| 2697. |
Cullen S. Willcocks L. |
Intelligent IT Outsourcing: Eight Building Blocks to Success | 2003 |
| 2698. |
Cullum J. Willoughby R. |
Lanczos Algorithms for Large Symmetric Eigenvalue Computations | 1985 |
| 2699. |
Cumberlidge M. |
Business Process Management with JBoss jBPM: A Practical Guide for Business Analysts | 2007 |
| 2700. |
Cunningham S. |
Siggraph 96: 23rd International Acm Conference on Computer Graphics & Interactive Techniques | 1996 |
| 2701. |
Cunningham W.H. McCormick S.T. Queyranne M. |
Integer Programming and Combinatorial Optimization | 1996 |
| 2702. |
Cuppens F. Deswarte Y. Gollmann D. |
Computer Security - ESORICS 2000 | 2000 |
| 2703. |
Curien P.-L. |
Categorical Combinators, Sequential Algorithms, and Functional Programming | 1993 |
| 2704. |
Curry A. Hollingworth I. Flett P. |
Managing Information & Systems | 2006 |
| 2705. |
Cussens J. Dzeroski S. |
Learning Language in Logic | 2000 |
| 2706. |
Cuyt A. |
A Recursive Computation Scheme for Multivariate Rational Interpolants | 1986 |
| 2707. |
Cyganek B. Siebert J.P. |
An Introduction to 3D Computer Vision Techniques and Algorithms | 2009 |
| 2708. |
Cyll T. |
Practical Ruby Projects: Ideas for the Eclectic Programmer | 2007 |
| 2709. |
Czerniawska F. Potter G. |
Business in a Virtual World: Exploiting Information for Competitive Advantage (Macmillan Business) | 1998 |
| 2710. |
D V. Hoffman |
Implementing NAP and NAC Security Technologies: The Complete Guide to Network Access Control | 2008 |
| 2711. |
Díaz J. (ed.) Karhumäki J. (ed.) Lepistö A. (ed. |
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings | 2005 |
| 2712. |
Díaz R.M. Pichler F. Arencibia A.Q. |
Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, SpainFebruary 12-16, 2007 Revised Selected Papers | 2007 |
| 2713. |
Düntsch I. Gediga G. |
Rough set data analysis: A road to non-invasive knowledge discovery | 2000 |
| 2714. |
Dür M. |
Duality in Global Optimization: Optimality Conditions and Algorithmical Aspects | 1999 |
| 2715. |
D'Alotto L. A. Giardina Ch.R. |
A Unified Signal Algebra Approach to Two-Dimensional Parallel Digital Signal Processing | 1998 |
| 2716. |
d'Amours S. Guinet A. |
Intelligent Agent-Based Operations Management | 2003 |
| 2717. |
D'Apice C. |
A MAPk/Gk/1 Queueing System with Generalized Foreground-Background Processor Sharing Discipline | 2003 |
| 2718. |
d'Inverno M. |
Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers | 2002 |
| 2719. |
D. A. Forsyth J.Ponce |
Computer Vision: A Modern Approach | 2002 |
| 2720. |
D. Liu S. Fei Z.-G. Hou |
Advances in Neural Networks - ISNN 2007: 4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III (1 edition) | 2007 |
| 2721. |
D. Posada |
Bioinformatics for DNA sequence analysis | 2009 |
| 2722. |
D. S. Shapiro M. J. Tauber R. Traunmuller |
The Design of Computer Supported Cooperative Work and Groupware Systems | 1996 |
| 2723. |
D.Moore R.Budd E. Benson, |
Professional Rich Internet Applications: AJAX and Beyond (Programmer to Programmer) | 2007 |
| 2724. |
D.N. Rutledge |
Signal Treatment and Signal Analysis in NMR (Data Handling in Science and Technology) | 1996 |
| 2725. |
D.S.Huang K.-H. Jo |
Emerging Intelligent Computing Technology and Applications: 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, ... Computer Science and General Issues) | 2009 |
| 2726. |
D.V.Gadre |
Embedded SystemsProgramming And Customizing The Avr Microcontroller | n/a |
| 2727. |
D.Zhang A.K. Jain |
Biometric Authentication: First International Conference, ICBA 2004 | 2004 |
| 2728. |
Daelemans W. Goethals B. Morik K. |
Machine Learning and Knowledge Discovery in Databases, ECML-PKDD 2008 | 2008 |
| 2729. |
Daemen J. Rijmen V. |
The Design of Rijndael. AES - The Advanced Encryption Standard | 2002 |
| 2730. |
Dahl O.-J. Dijkstra E.W. Hoare C.A.R. |
Structured Programming | 1972 |
На уровень выше
AI, knowledge
|
|
О проекте