| 4411. |
Kovacs L. |
Research and Advanced Technology for Digital Libraries, 11 conf., ECDL 2007 | 2007 |
| 4412. |
Kovacs T. LIora X. Takadama K. |
Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science) | 2007 |
| 4413. |
Kovalerchuk B. Schwing J. |
Visual and Spatial Analysis (1 edition) | 2005 |
| 4414. |
Kowalczyk R.(ed.) Müller J.P.(ed.) Tianfield H.(ed.) |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services: NODe 2002 Agent-Related Workshop, Erfurt, Germany, October 7-10, 2002 (1 edition) | 2003 |
| 4415. |
Kowalewski S. Philippou A. |
Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009 (1 edition) | 2009 |
| 4416. |
Kowalik J.S. (ed.) |
Parallel Computation Computers for Artificial Intelligence | 1988 |
| 4417. |
Kowalik J.S., Gorski J., Sachenko A. |
Cyberspace security and defense: research issues. Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense, NATO Advanced Research Workshop (1 edition) | 2005 |
| 4418. |
Kowalski M. Sikorski C. Stenger F. |
Selected Topics in Approximation and Computation (International Series of Monographs on Computer Science) | 1995 |
| 4419. |
Kowalski R. |
Algorithm = Logic + Control | 1971 |
| 4420. |
Koyama S. |
Comparative Analysis of Evaluation Methodologies in Weapon Collection Programmes | 2006 |
| 4421. |
Koyuncugil A.S. |
Surveillance Technologies and Early Warning Systems: Data Mining Applications for Risk Detection | 2010 |
| 4422. |
Koza J.R. |
Genetic programming IV | 2003 |
| 4423. |
Koza J.R. |
Genetic Programming. On the Programming of Computers by Means of Natural Selection | 1998 |
| 4424. |
Kozen D. Shankland C. |
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings | 2004 |
| 4425. |
Kozen D.C. |
The Design And Analysis Of Algorithms | 1992 |
| 4426. |
Kozlowski Krz. (ed.) |
Robot Motion and Control: Recent Developments | 2006 |
| 4427. |
Královič R. Sýkora O. |
Structural Information and Communication Complexity: 11th International Colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004, Proceedings | 2004 |
| 4428. |
Kraetzschmar G. |
Distributed Reason Maintenance for Multiagent Systems (Lecture Notes in Computer Science) | 1997 |
| 4429. |
Kraetzschmar G.K. |
Distributed Reason Maintenance for Multiagent Systems | 1997 |
| 4430. |
Krall A. (Ed.) |
Software and Compilers for Embedded Systems: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings (1 edition) | 2003 |
| 4431. |
Kralovic R. Urzyczyn P. |
Mathematical Foundations of Computer Science 2006 | 2006 |
| 4432. |
Kramer B. Lin K. Narasimhan P. |
Service-Oriented Computing - ICSOC 2007: Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings | 2007 |
| 4433. |
Kranakis E. |
Primality and Cryptography (Wiley-Teubner Series in Computer Science) | 1986 |
| 4434. |
Krar S. Gill A. |
Computer Numerical Control Programming Basics | 1999 |
| 4435. |
Kraus J. Margenov S. |
Robust Algebraic Multilevel Methods and Algorithms | 2009 |
| 4436. |
Kraut R. Brynin M. Kiesler S. |
Computers, phones, and the Internet: domesticating information technology | 2006 |
| 4437. |
Krauth W. |
Introduction to monte-carlo algorithms | 1996 |
| 4438. |
Kraynak J. |
The Complete Idiot's Guide to Computer Basics (2 edition) | 2001 |
| 4439. |
Kreczmar A. Mirkowska G. |
Mathematical Foundations of Computer Science 1989 (1 edition) | 1989 |
| 4440. |
Kreis T. |
Handbook of holographic interferometry: optical and digital methods | 2005 |
| 4441. |
Krishnamoorthy C.S. Rajeev S. |
Artificial intelligence and expert systems for engineers | 1996 |
| 4442. |
Krishnamurthi S. Odersky M. |
Compiler Construction 16 conf (1 edition) | 2007 |
| 4443. |
Kroening D. Strichman O. Bryant R.E. |
Decision Procedures: An Algorithmic Point of View | 2008 |
| 4444. |
Kronland-Martinet R. (ed.) Ystad S. (ed.) Jensen K. (ed.) |
Computer Music Modeling and Retrieval. Sense of Sounds. 4th International Symposium, CMMR 2007 Copenhagen, Denmark, August 27-31, 2007 Revised Papers | 2007 |
| 4445. |
Kropatsch W.G. Kampel M. Hanbury A. |
Computer Analysis of Images and Patterns: 12th International Conference, CAIP 2007 | 2007 |
| 4446. |
Kropf P. |
Distributed Communities on the Web: Third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000, Proceedings | 2000 |
| 4447. |
Krose B. van der Smagt P. |
An introduction to neural networks (8-th edition) | 1996 |
| 4448. |
Kruegel Chr. (Editor) Lippmann R. (Editor) Clark A. (Editor) |
Recent Advances in Intrusion Detection: 10th International Symposium, RAID 2007, Gold Coast, Australia, September 5-7, 2007, Proceedings (1 edition) | 2007 |
| 4449. |
Kruglak H. Moore J.T. Mata-Toledo R.A. |
Schaum's outline of theory and problems of basic mathematics with applications to science and technology (2-е издание edition) | 1998 |
| 4450. |
Krumke S.O. |
Algorithmen und Datenstrukturen 001 | 2002 |
| 4451. |
Krumke S.O. |
Integer Programming. Polyhedra and algorithms | 2006 |
| 4452. |
Krumm J. Abowd G.D. Seneviratne A. |
UbiComp 2007: Ubiquitous Computing | 2007 |
| 4453. |
Kruse R.L. Ryba A.J. |
Data Structures And Program Design In C++ | 2000 |
| 4454. |
Kruse R.L. Ryba A.J. |
Data Structures and Program Design in C++ | 2000 |
| 4455. |
Krutz R.L. Vines R.D. |
The CISSP Prep Guide: Mastering the Ten Domains of Computer Security | 2001 |
| 4456. |
Krutz R.L. Vines R.D. |
The CISSP Prep Guide: Mastering the Ten Domains of Computer Security | 2001 |
| 4457. |
Krzysztof R. |
From Logic Programming to Prolog | 1997 |
| 4458. |
Kshemkalyani A.D. Singhal M. |
Distributed Computing: Principles, Algorithms, and Systems | 2008 |
| 4459. |
Kuba A. (Ed.) Nyúl L.G. (Ed.) Palágyi K. (Ed.) |
Discrete Geometry for Computer Imagery: 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings (1 edition) | 2006 |
| 4460. |
Kuchen H. Ueda K. |
Functional and Logic Programming, 5 conf., FLOPS 2001 | 2001 |
| 4461. |
Kucherov G. Ukkonen E. |
Combinatorial Pattern Matching: 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings | 2009 |
| 4462. |
Kuchlin W. |
Betriebsysteme I | 2004 |
| 4463. |
Kuczma M. Wilmanski K. |
Computer Methods in Mechanics: Lectures of the CMM 2009 (Advanced Structured Materials) | 2010 |
| 4464. |
Kuehne R. Sullivan J. |
OpenGL(R) Programming on Mac OS(R) X: Architecture, Performance, and Integration (1 edition) | 2008 |
| 4465. |
Kuhne T. Selic B.V. Gervais M.-P. |
Modelling Foundations and Applications | 2010 |
| 4466. |
Kuhnel C. |
Bascom Programming of Microcontrollers With Ease: An Introduction by Program Examples (1581126719 edition) | 2001 |
| 4467. |
Kuich W |
Automata, Languages and Programming, 19 conf., ICALP92 | 1992 |
| 4468. |
Kulkarni A.D. |
Computer vision and Fuzzy-Neural Systems | 2001 |
| 4469. |
Kullmann O. |
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 | 2009 |
| 4470. |
Kumar D. |
Current Trends in SNePS - Semantic Network Processing System | 1990 |
| 4471. |
Kumar P. Alameda J.C. Folk M. |
Hydroinformatics: data integrative approaches in computation, analysis, and modeling | 2005 |
| 4472. |
Kumar V. Gavrilova M. Tan C. |
Computational Science and Its Applications - ICCSA 2003 | 2003 |
| 4473. |
Kuo B.C. Golnaradhi F. |
Automatic Control Systems (8-th edition) | n/a |
| 4474. |
Kureichik V.M. Malioukov S.P. Kureichik V.V. |
Genetic Algorithms for Applied CAD Problems (1 edition) | 2009 |
| 4475. |
Kurkova-Pohlova V. (ed.) Neruda R. (ed.) Koutnik J. (ed.) |
Artificial Neural Networks - ICANN 2008: 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings Part 1 | 2008 |
| 4476. |
Kurosawa K. (ed.) |
Advances in cryptology - ASIACRYPT 2007. Lecture notes in computer science 4833 | 2007 |
| 4477. |
Kurose J. Ross K. |
Computer networking: A top-down approach (Solutions to review questions and problems) (4th edition) | 2007 |
| 4478. |
Kurosu M. (ed.) |
Human-Computer Interaction: Design and User Experience Case Studies | 2021 |
| 4479. |
Kutsche R.-D. Weber H. |
Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice ... | 2002 |
| 4480. |
Kutylowski M. |
Formale Sprachen | 1994 |
На уровень выше
AI, knowledge
|
|
О проекте