| 4201. |
Kaburlasos V.G. |
Towards a Unified Modeling and Knowledge-Representation Based on Lattice Theory: Computational Intelligence and Soft Computing Applications | 2006 |
| 4202. |
Kacsuk P. (ed.) Fahringer T. (ed.) Nemeth Z. (ed.) |
Distributed and Parallel Systems: From Cluster to Grid Computing | 2007 |
| 4203. |
Kaczynski T. Mischaikow K. Mrozek M. |
Computational Homology (2nd edition) | 2004 |
| 4204. |
Kaczynski T. Mischaikow K. Mrozek M. |
Computational Homology (Applied Mathematical Sciences) | 2004 |
| 4205. |
Kaeli D. Sachs K. |
Computer Performance Evaluation and Benchmarking, 2009 | 2009 |
| 4206. |
Kaeli D. Yew P.-C. |
Speculative Execution in High Performance Computer Architectures | 2005 |
| 4207. |
Kahan W. |
IEEE Standart 754 for Binary Floating-Point Arithmetic | 1996 |
| 4208. |
Kahle R. Schroeder-Heister P. |
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings | 2001 |
| 4209. |
Kahng H.-K. |
Information Networking: Networking Technologies for Broadband and Mobile Networks: International Conference ICOIN 2004 Busan, Korea, February 18-20, 2004 Revised Selected Papers | 2004 |
| 4210. |
Kahvecioglu D.C. |
Programming in STATA | 2004 |
| 4211. |
Kai Nacke |
Learn LLVM 12 | 2021 |
| 4212. |
Kaisa M. |
Evolutionary Algorithms in Engineering and Computer Science: Recent Advances in Genetic Algorithms, Evolution Strategies, Evolutionary Programming, Genetic Programming and Industrial Applications | 1999 |
| 4213. |
Kaisler S.H. |
Software Paradigms | 2005 |
| 4214. |
Kak A.C. Slaney M. |
Principles of computerized tomographic imaging (SIAM edition) | 1988 |
| 4215. |
Kakas A.C. Sadri F. |
Computational Logic: Logic Programming and Beyond: Essays in Honor of Robert A. Kowalski | 2002 |
| 4216. |
Kakas A.C. (ed.) Sadri F. (ed.) |
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I | 2002 |
| 4217. |
Kakde O. |
Algorithms for Compiler Design (1 edition) | 2002 |
| 4218. |
Kakde O.G. |
Algorithms for Compiler Design | 2002 |
| 4219. |
Kakde O.G. |
Algorithms for Compiler Design | 2002 |
| 4220. |
Kaklamanis Ch. (Editor) Skutella M. (Editor) |
Approximation and Online Algorithms: 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers (1 edition) | 2010 |
| 4221. |
Kaldewaij A. |
Programming: the derivation of algorithms | 1990 |
| 4222. |
Kalfoglou Y. |
Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications | 2010 |
| 4223. |
Kalinovcic L. Puzhar L. Pankov P. |
International Olympiad in Informatics 2007 - tasks and solutions | 2007 |
| 4224. |
Kaliski B.S.J. Koc C.K. |
Cryptographic Hardware and Embedded Systems - CHES 2002: 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002, Revised Papers | 2003 |
| 4225. |
Kall P. Mayer J. |
Stochastic Linear Programming: Models, Theory, and Computation (1 edition) | 2005 |
| 4226. |
Kall P. Wallace S.W. |
Stochastic Programming (First Edition) | n/a |
| 4227. |
Kall P. Wallace S. |
Stochastic Programming (Second Edition) | 2003 |
| 4228. |
Kalra P. Peleg S. |
Computer Vision, Graphics and Image Processing: 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006, Proceedings | 2007 |
| 4229. |
Kaluzniacky E. |
Managing psychological factors in information systems work: an orientation to emotional intelligence | 2004 |
| 4230. |
Kalviainen H. Parkkinen J. Kaarna A. |
Lecture Notes in Computer Science (№1540 2005). Image Analysis: 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings | 2005 |
| 4231. |
Kalyanmoy Deb (Editor) Poli R. (Editor) Banzhaf W. (Editor) |
Genetic and Evolutionary Computation - GECCO 2004: Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I (1 edition) | 2004 |
| 4232. |
Kamareddine F. |
Intelligent сomputer mathematics | n/a |
| 4233. |
Kambayashi Y. Lee D.L. Lim E.-P. |
Advances in Database Technologies: ER '98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and ... | 1999 |
| 4234. |
Kambayashi Y. Mohania M. Tjoa A.M. |
Data Warehousing and Knowledge Discovery: Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 Proceedings | 2000 |
| 4235. |
Kamel M. Campilho A. |
Image Analysis and Recognition: 4th International Conference, ICIAR 2007 Montreal, Canada, August 22-24, 2007 Proceedings | 2007 |
| 4236. |
Kamel S. Hassan A. |
Assessing the Introduction of Electronic Banking in Egypt Using the Technology Acceptance Model | 2003 |
| 4237. |
Kameyama Y. Stuckey P.J. |
Functional and Logic Programming | 2005 |
| 4238. |
Kaminka G.A. Lima P.U. Rojas R. |
RoboCup 2002: Robot Soccer World Cup VI | 2003 |
| 4239. |
Kaminski M. Martini S. |
Computer Science Logic | 2008 |
| 4240. |
Kanatani K. |
Statistical Optimization for Geometric Computation: Theory and Practice | 1996 |
| 4241. |
Kanchanasut K. Levy J.-J. |
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings | 1995 |
| 4242. |
Kandasamy W. B. V. |
New classes of codes for cryptologists and computer scientists | 2008 |
| 4243. |
Kandasamy W.B. Smarandache F. Ilanthenral F. |
Applications of Bimatrices to Some Fuzzy and Neutrosophic Models | 2005 |
| 4244. |
Kandasamy W.B. |
Introduction to N-Adaptive Fuzzy Models to Analyze Public Opinion on Aids | 2006 |
| 4245. |
Kandel A. |
Fuzzy Expert Systems | 1991 |
| 4246. |
Kandel A. Langholz G. |
Hybrid Architectures for Intelligent Systems | 1992 |
| 4247. |
Kang M. Fedkiw R.P. Liu X. |
A Boundary Condition Capturing Method for Multiphase Incompressible Flow | 2000 |
| 4248. |
Kangassalo H. Jaakkola H. Kawaguchi E. |
Information Modelling and Knowledge Bases Xiii | 2002 |
| 4249. |
Kanoun K. Spainhower L. |
Dependability Benchmarking for Computer Systems | 2008 |
| 4250. |
Kant K. Pemmaraju S.V. Sivalingam K.M. |
Lecture Notes in Computer Science (№5935 2010). Distributed Computing and Networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings | 2010 |
| 4251. |
Kantardzic M. |
Data Mining: Concepts, Models, Methods, and Algorithms | 2003 |
| 4252. |
Kao M.-Y. |
Encyclopedia of Algorithms | 2008 |
| 4253. |
Kao M.Y. (ed.) Li X.Y. (ed.) |
Algorithmic aspects in information and management. Lecture notes in computer science 4508 | 2007 |
| 4254. |
Kao R. Sarigumba D. |
BlackBerry For Dummies (For Dummies (Computer/Tech)) (4 edition) | 2010 |
| 4255. |
Kaplan B. Truex D.P. Wastell D. (eds.) |
Information Systems Research: Relevant Theory and Informed Practice | 2004 |
| 4256. |
Kaplan C. |
Introductory Tiling Theory for Computer Graphics | 2009 |
| 4257. |
Kaplan S. (ed.) Jouannaud J.-P. (ed.) |
Conditional Term Rewriting Systems | 1988 |
| 4258. |
Kapoor S. Prasad S. |
FST TCS 2000: Foundations of Software Technology and Theoretical Science: 20th Conference, New Delhi, India, December 13-15, 2000, Proceedings | 2000 |
| 4259. |
Kapur D. |
Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers | 2008 |
| 4260. |
Karacapilidis N. |
Solutions and Innovations in Web-Based Technologies for Augmented Learning: Improved Platforms, Tools, and Applications | 2008 |
| 4261. |
Karhumäki J. Maurer H. Paun G. |
Theory Is Forever (1 edition) | 2004 |
| 4262. |
Karjalainen E.J. |
Scientific Computing and Automation (Europe 1990 : Proceedings of the Scientific Computing and Automation) | 1990 |
| 4263. |
Karmakar G. Dooley L.S. |
Mobile Multimedia Communications: Concepts, Applications, and Challenges (1 edition) | 2007 |
| 4264. |
Karmouch A. Magedanz T. Delgado J. |
Mobile Agents for Telecommunication Applications | 2002 |
| 4265. |
Karmouch A. Korba L. Madeira E. |
Mobility Aware Technologies and Applications: First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings (Lecture Notes in Computer Science) | 2004 |
| 4266. |
Karny M. Bohm J. Guy T.V. |
Probabilistic Advisory System | 2003 |
| 4267. |
Karp A.H. Markstein P. |
High-Precision Division and Square Root | n/a |
| 4268. |
Karpinski M. Leeuwen J. |
Topics in the Theory of Computation: Selected International Conference Papers | 1985 |
| 4269. |
Karris S.T. |
Networks. Design and management | 2009 |
| 4270. |
Karssemeijer N. (ed.) Lelieveldt B. (ed.) |
Information Processing in Medical Imaging. 20th International Conference, IPMI 2007 Kerkrade, The Netherlands, July 2-6, 2007 Proceedings | 2007 |
На уровень выше
AI, knowledge
|
|
О проекте