4411. |
Konrad K. |
Model Generation for Natural Language Interpretation and Analysis | 2004 |
4412. |
Koopman P. (Editor) Plasmeijer R. (Editor) Doaitse Swierstra (Editor) |
Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures (1 edition) | 2010 |
4413. |
Koornneef F. van der Meulen M. |
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings | 2000 |
4414. |
Kordon F. Sztipanovits J. |
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... Programming and Software Engineering) | 2007 |
4415. |
Koren I. |
Computer Arithmetic Algorithms | 2001 |
4416. |
Korenberg M.J. |
Microarray Data Analysis | 2004 |
4417. |
Korner T.W. |
Coding and cryptography | 1998 |
4418. |
Korner T.W. |
Coding and Cryptography | 1998 |
4419. |
Korol J. |
Access 2007 Programming by Example with VBA, XML and ASP | 2008 |
4420. |
Kort Y. IJsselsteijn W. Midden K. |
Persuasive Technology, 2 conf., PERSUASIVE 2007 | 2007 |
4421. |
Korte B. Vygen J. |
Combinatorial Optimization: Theory and Algorithms (2-nd edition) | 2002 |
4422. |
Kortuem G. (Editor) Finney J. (Editor) Lea R. (Editor) |
Smart sensing and context: second European conference, EuroSSC 2007, Kendal, England, October 23-25, 2007: proceedings (1 edition) | 2007 |
4423. |
Koschan A. Abidi M. |
Digital color image processing | 2008 |
4424. |
Koschmann T. Hall R. Miyake N. |
CSCL 2: Carrying Forward the Conversation (Computers, Cognition, and Work) | 2001 |
4425. |
Koskimies K. |
Compiler Construction (1 edition) | 1998 |
4426. |
Kotenko I. Skormin V. |
Computer Network Security: 5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS ... Networks and Telecommunications) | 2010 |
4427. |
Kothari C.R. |
Research Methodology: Methods and Techniques | 1985 |
4428. |
Kotsireas I. Zima E. |
Computer Algebra 2006: Latest Advances in Symbolic Algorithms: Proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006 | 2007 |
4429. |
Kott A. |
Information Warfare and Organizational Decision-Making | 2006 |
4430. |
Kotz D. (ed.) Mattern F. (ed.) |
Agent Systems, Mobile Agents, and Applications | 2000 |
4431. |
Kou-Yuan Huang |
Syntactic Pattern Recognition for Seismic Oil Exploration (1st edition) | 2002 |
4432. |
Kouh M. Kouh T. |
Thermal Physics Tutorials with Python Simulations (1 edition) | 2023 |
4433. |
Koutsojannis C. Sirmakessis S. |
Tools and Applications with Artificial Intelligence | 2009 |
4434. |
Koutsojannis C. (ed.) Sirmakessis S. (ed.) |
Studies in computational intelligence (№166 2009). Tools and applications with artificial intelligence | 2009 |
4435. |
Kovacs L. |
Research and Advanced Technology for Digital Libraries, 11 conf., ECDL 2007 | 2007 |
4436. |
Kovacs T. LIora X. Takadama K. |
Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science) | 2007 |
4437. |
Kovalerchuk B. Schwing J. |
Visual and Spatial Analysis (1 edition) | 2005 |
4438. |
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 |
4439. |
Kowalewski S. Philippou A. |
Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009 (1 edition) | 2009 |
4440. |
Kowalik J.S. (ed.) |
Parallel Computation Computers for Artificial Intelligence | 1988 |
4441. |
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 |
4442. |
Kowalski M. Sikorski C. Stenger F. |
Selected Topics in Approximation and Computation (International Series of Monographs on Computer Science) | 1995 |
4443. |
Kowalski R. |
Algorithm = Logic + Control | 1971 |
4444. |
Koyama S. |
Comparative Analysis of Evaluation Methodologies in Weapon Collection Programmes | 2006 |
4445. |
Koyuncugil A.S. |
Surveillance Technologies and Early Warning Systems: Data Mining Applications for Risk Detection | 2010 |
4446. |
Koza J.R. |
Genetic programming IV | 2003 |
4447. |
Koza J.R. |
Genetic Programming. On the Programming of Computers by Means of Natural Selection | 1998 |
4448. |
Kozen D. Shankland C. |
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings | 2004 |
4449. |
Kozen D.C. |
The Design And Analysis Of Algorithms | 1992 |
4450. |
Kozlowski Krz. (ed.) |
Robot Motion and Control: Recent Developments | 2006 |
4451. |
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 |
4452. |
Kraetzschmar G. |
Distributed Reason Maintenance for Multiagent Systems (Lecture Notes in Computer Science) | 1997 |
4453. |
Kraetzschmar G.K. |
Distributed Reason Maintenance for Multiagent Systems | 1997 |
4454. |
Krall A. (Ed.) |
Software and Compilers for Embedded Systems: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings (1 edition) | 2003 |
4455. |
Kralovic R. Urzyczyn P. |
Mathematical Foundations of Computer Science 2006 | 2006 |
4456. |
Kramer B. Lin K. Narasimhan P. |
Service-Oriented Computing - ICSOC 2007: Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings | 2007 |
4457. |
Kranakis E. |
Primality and Cryptography (Wiley-Teubner Series in Computer Science) | 1986 |
4458. |
Krar S. Gill A. |
Computer Numerical Control Programming Basics | 1999 |
4459. |
Kraus J. Margenov S. |
Robust Algebraic Multilevel Methods and Algorithms | 2009 |
4460. |
Kraut R. Brynin M. Kiesler S. |
Computers, phones, and the Internet: domesticating information technology | 2006 |
4461. |
Krauth W. |
Introduction to monte-carlo algorithms | 1996 |
4462. |
Kraynak J. |
The Complete Idiot's Guide to Computer Basics (2 edition) | 2001 |
4463. |
Kreczmar A. Mirkowska G. |
Mathematical Foundations of Computer Science 1989 (1 edition) | 1989 |
4464. |
Kreis T. |
Handbook of holographic interferometry: optical and digital methods | 2005 |
4465. |
Krishnamoorthy C.S. Rajeev S. |
Artificial intelligence and expert systems for engineers | 1996 |
4466. |
Krishnamurthi S. Odersky M. |
Compiler Construction 16 conf (1 edition) | 2007 |
4467. |
Kroening D. Strichman O. Bryant R.E. |
Decision Procedures: An Algorithmic Point of View | 2008 |
4468. |
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 |
4469. |
Kropatsch W.G. Kampel M. Hanbury A. |
Computer Analysis of Images and Patterns: 12th International Conference, CAIP 2007 | 2007 |
4470. |
Kropf P. |
Distributed Communities on the Web: Third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000, Proceedings | 2000 |
4471. |
Krose B. van der Smagt P. |
An introduction to neural networks (8-th edition) | 1996 |
4472. |
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 |
4473. |
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 |
4474. |
Krumke S.O. |
Algorithmen und Datenstrukturen 001 | 2002 |
4475. |
Krumke S.O. |
Integer Programming. Polyhedra and algorithms | 2006 |
4476. |
Krumm J. Abowd G.D. Seneviratne A. |
UbiComp 2007: Ubiquitous Computing | 2007 |
4477. |
Kruse R.L. Ryba A.J. |
Data Structures And Program Design In C++ | 2000 |
4478. |
Kruse R.L. Ryba A.J. |
Data Structures and Program Design in C++ | 2000 |
4479. |
Krutz R.L. Vines R.D. |
The CISSP Prep Guide: Mastering the Ten Domains of Computer Security | 2001 |
4480. |
Krutz R.L. Vines R.D. |
The CISSP Prep Guide: Mastering the Ten Domains of Computer Security | 2001 |