| 2521. |
Christianson B.(ed.) Crispo B.(ed.) Malcolm J.A.(ed.) |
Security Protocols 10th International Workshop Cambridge, UK, April 17-19, 2002 Revised Papers (1 edition) | 2004 |
| 2522. |
Christianson B.(ed.) Crispo B.(ed.) Malcom J.A.(ed.) |
Security Protocols 13th International Workshop Cambridge, UK, April 20-22, 2005 Revised Selected Papers | 2007 |
| 2523. |
Christine Peynote |
Word 2010 | 2012 |
| 2524. |
Christofides P.D. El-Farra N.H. |
Control of nonlinear and hybrid process systems: designs for uncertainty, constraints and time-delays (1 edition) | 2005 |
| 2525. |
Christoph M. |
Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications | 1998 |
| 2526. |
Christopher A Chung |
Simulation modeling handbook: a practical approach (1 edition) | 2003 |
| 2527. |
Christopher Paul William M.Mason Daniel McCaffrey |
A cautionary case study of approaches to the treatment of missing data | 2008 |
| 2528. |
Christophides V. Collard M. Gutierrez C. |
Semantic Web, Ontologies and Databases: VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers | 2008 |
| 2529. |
Chu J. |
Law Enforcement Information Technology: A Managerial, Operational, and Practitioner Guide (1 edition) | 2001 |
| 2530. |
Chu W.W. Lin T.Y. |
Foundations and Advances in Data Mining | 2005 |
| 2531. |
Chung K.-I. Sohn K. Yung M. |
Information Security Applications, 9 conf., WISA 2008 | 2009 |
| 2532. |
Chung Y. Moreira J.E. |
Advances in Grid and Pervasive Computing | 2006 |
| 2533. |
Chvatal V. |
Linear programming | 1983 |
| 2534. |
Cierniak R. |
X-Ray Computed Tomography in Biomedical Engineering | 2011 |
| 2535. |
Cimato S. Galdi C. Persiano G. |
Security in Communication Networks | 2003 |
| 2536. |
Cinque L. Lombardi L. Manzini G. |
Multiresolution approach for page segmentation | 1998 |
| 2537. |
Cipolla R. Battiato S. Farinella G.M. |
Computer Vision: Detection, Recognition and Reconstruction | 2010 |
| 2538. |
Cisco Systems |
Руководство по поиску неисправностей в объединенных сетях | 2003 |
| 2539. |
CIT forum |
Практическое руководство Novell по Internet и интрасетям. Применение Internet и интрасетей в вашем бизнесе (издание 3) | 1997 |
| 2540. |
CIT forum |
Приемы профессиональной работы в Unix | n/a |
| 2541. |
Ciuprina G. Ioan D. |
Scientific Computing in Electrical Engineering | 2007 |
| 2542. |
Ciuprina G. Ioan D. |
Scientific Computing in Electrical Engineering (Mathematics in Industry / The European Consortium for Mathematics in Industry) | 2007 |
| 2543. |
Clair J.S. |
Project Arcade: Build Your Own Arcade Machine | 2004 |
| 2544. |
Clancey W. |
Situated Cognition: On Human Knowledge and Computer Representations (Learning in Doing: Social, Cognitive and Computational Perspectives) | 1997 |
| 2545. |
Clare-Marie Karat, Jan O. Blom, and John Karat Obendorf H. |
Minimalism: Designing Simplicity (1 edition) | 2009 |
| 2546. |
Clark D. |
Beginning Object-Oriented Programming with VB 2005: From Novice to Professional (Beginning: from Novice to Professional) (2nd edition) | 2006 |
| 2547. |
Clark F. Diliberto K. |
Investigating Computer Crime | 1996 |
| 2548. |
Clarke E. M. |
Model Checking (2 edition) | 2018 |
| 2549. |
Clarke E.M. Kurshan R.P. |
Computer Aided Verification | 1991 |
| 2550. |
Clarke N. |
Computer Forensics. A Pocket Guide | 2010 |
| 2551. |
Clarke S. |
End User Computing Challenges and Technologies: Emerging Tools and Applications (illustrated edition) | 2007 |
| 2552. |
Claude Delobel Michael Kifer Yoshifumi Masunaga |
Deductive and Object-Oriented Databases: Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991. Proceedings (1 edition) | 1991 |
| 2553. |
Claude Lemaréchal Adam Ouorou Georgios Petrou |
A bundle-type algorithm for routing in telecommunication data networks | 2007 |
| 2554. |
Claus V. Ehrig H. Rozenberg G. |
Lecture Notes in Computer Science (73). Graph-Grammars and Their Application to Computer Science and Biology | 1979 |
| 2555. |
Clavel M. Duran F. Eker S. |
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (1 edition) | 2007 |
| 2556. |
Cleary J. Holmes G. Cunningham S. |
Metadata for Database Mining | 1996 |
| 2557. |
Cleaveland J. |
Grammars for programming languages | 1977 |
| 2558. |
Cleaveland W.R. |
Tools and Algorithms for the Construction and Analysis of Systems, 5 conf., TACAS '99 (1 edition) | 1999 |
| 2559. |
Clemm A. (ed.) Granville L.Z. (ed.) Stadler R. (ed.) |
Managing Virtualization of Networks and Services. 18th IFIP/IEEE InternationalWorkshop on Distributed Systems: Operations and Management, DSOM 2007 San José, CA, USA, October 29-31, 2007 Proceedings | 2007 |
| 2560. |
Clenshaw C.W. Olver F.W. |
Beyond floating point | 2000 |
| 2561. |
Clessa J.J. |
Math and Logic Puzzles for PC Enthusiasts | 1996 |
| 2562. |
Clif Flynt |
Tcl Tk, Second Edition : A Developer's Guide (The Morgan Kaufmann Series in Software Engineering and Programming) (2 edition) | 2003 |
| 2563. |
Clifford J. |
Formal Semantics and Pragmatics for Natural Language Querying | 1990 |
| 2564. |
Clocksin W.F. Mellish C.S. |
Programming in Prolog, using the ISO standard (5-th edition) | 2003 |
| 2565. |
Clote P.G. Schwichtenberg H. |
Computer Science Logic | 2000 |
| 2566. |
Coates P. |
Programming.Architecture | 2010 |
| 2567. |
Cockerell P.J. |
ARM assembly language programming | 1987 |
| 2568. |
Coden A. Brown E. Srinivasan S. |
Information Retrieval Techniques for Speech Applications (Lecture Notes in Computer Science) | 2002 |
| 2569. |
Cody R.P. Pass R. |
SAS programming by example (1 edition) | 1995 |
| 2570. |
Coello C.A. de Albornoz A. |
MICAI 2002: Advances in Artificial Intelligence: Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico | 2002 |
| 2571. |
Coen-Porisini A.(eds.) Hoek A.(eds.) |
Software Engineering and Middleware (3 conf., SEM 2002) | 2003 |
| 2572. |
Coenen F. Petridis M. |
Research and Development in Intelligent Systems XXV: Proceedings of AI-2008, The Twenty-eighth SGAI International Conference on Innovative Techniques ... of Artificial Intelligence | 2008 |
| 2573. |
Cohen E. |
Programming in the 1990's: An Introduction to the Calculation of Programmes | 1990 |
| 2574. |
Cohen G. Quadrat J.-P. |
11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems : Sophia-Antipolis, June 15-16-17, 1994 | 1994 |
| 2575. |
Cohen L. Cohen J. |
The Web Programmer's Desk Reference | 2004 |
| 2576. |
Cohen-Boulakia S. |
Data Integration in the Life Sciences, 4 conf., DILS 2007 | 2007 |
| 2577. |
Cointe P. |
Meta-Level Architectures and Reflection | 1999 |
| 2578. |
Cojocaru S. Ufnarovski V. Pfister G. |
Computational Commutative And Non-commutative Algebraic Geometry | 2005 |
| 2579. |
Cole E. Krutz R.L. Conley J |
Network Security Bible | 2005 |
| 2580. |
Cole T. |
A 75 Angle Constraint for Plane Minimal T1 Trees | 2000 |
| 2581. |
Collard M. |
Ontologies-Based Databases and Information Systems | 2007 |
| 2582. |
Collier M. |
eBay For Dummies, 6th Edition (For Dummies (Computer Tech)) (6 edition) | 2009 |
| 2583. |
Collingwood E.F. Lohwater A.J. |
The Theory of Cluster Sets | 1966 |
| 2584. |
Collins G.E. Krandick W. |
Addition of multiple precision floating point numbers | 2000 |
| 2585. |
Collins G.E. |
Polynomial Real Root Isolation Using Descarte's Rule of Signs | 1976 |
| 2586. |
Collins G.E. Johnson J.R. |
Quantifier Elimination and the Sign Variation Method for Real Root Isolation | 1989 |
| 2587. |
Collins K. |
Game Sound: An Introduction to the History, Theory, and Practice of Video Game Music and Sound Design (1 edition) | 2008 |
| 2588. |
Colugnati F.A.B. Lopes L.C.R. Barretto S.F.A. |
Digital Ecosystems | 2010 |
| 2589. |
Comaniciu D. |
Statistical Methods in Video Processing: ECCV 2004 Workshop SMVP 2004, Prague, Czech Republic, May 16, 2004, Revised Selected Papers | 2005 |
| 2590. |
Comingore D. Hinson D. |
Professional SQL Server 2005 CLR Programming: with Stored Procedures, Functions, Triggers, Aggregates and Types | 2007 |
На уровень выше
AI, knowledge
|
|
О проекте