| 4131. |
Joubert |
Informationsanalyse | 1992 |
| 4132. |
Joyce J.J. Seger C.-J. |
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 Proceedings | 1994 |
| 4133. |
Joye M. Miyaji A. Otsuka A. |
Pairing-Based Cryptography - Pairing 2010: 4th International Conference, Yamanaka Hot Spring, Japan, December 13-15, 2010, Proceedings | 2010 |
| 4134. |
Ju An Wang A. Qian K. |
Component-Oriented Programming | 2005 |
| 4135. |
Juels A. |
Financial Cryptography: 8th International Conference, FC 2004, Key West, FL, USA, February 9-12, 2004. Revised Papers | 2004 |
| 4136. |
Juhlin O. |
Social Media on the Road: The Future of Car Based Computing | 2010 |
| 4137. |
Jukna S. |
Extremal combinatorics: With applications in computer science | 2001 |
| 4138. |
Julie Anderson |
JAVA Illuminated An Active Learning Approach (Пятое издание edition) | 2019 |
| 4139. |
Juneja B. Seth A. |
Programming with C++ | 2009 |
| 4140. |
Juneja B. Seth A. |
Programming with C++ | 2009 |
| 4141. |
Jung W.G. |
Op Amp Apps Handbook | 2005 |
| 4142. |
Junger M. Liebling T.M. Naddef D. |
50 Years of Integer Programming 1958-2008: From the Early Years to the State-of-the-Art | 2010 |
| 4143. |
Junger M. Liebling T. Naddef D. |
50 Years of Integer Programming 1958-2008: From the Early Years to the State-of-the-Art | 2010 |
| 4144. |
Junger M. Kaibel V. |
Integer Programming and Combinatorial Optimization (1 edition) | 2005 |
| 4145. |
Junghuei Chen (Editor) Reif J. (Editor) |
DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers (1 edition) | 2004 |
| 4146. |
Jungnickel D. |
Graphs, Networks and Algorithms | 2008 |
| 4147. |
Jurafsky D. Martin J.H. |
Speech and Language Processing | 1999 |
| 4148. |
Jurdak R. |
Wireless Ad Hoc and Sensor Networks: A Cross-Layer Design Perspective (Signals and Communication Technology) | 2007 |
| 4149. |
Jurgen Becker Marco Platzner Serge Vernalde |
Field Programmable Logic and Applications, 14 conf., FPL 2004 | 2004 |
| 4150. |
Kågström B. (ed.) Elmroth E. (ed.) Dongarra J. (ed.) |
Applied Parallel Computing: State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected | 2007 |
| 4151. |
Kühne T. |
Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers | 2007 |
| 4152. |
K. Chen R.Deng X. Lai, J. Zhou |
Information Security Practice and Experience | 2006 |
| 4153. |
K. Diamantaras W. Duch L. S. Iliadis |
Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III (Lecture ... Computer Science and General Issues) | 2010 |
| 4154. |
K. Janowicz M.Raubal S. Levashkin |
GeoSpatial Semantics: Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009, Proceedings (Lecture Notes in Computer ... Applications, incl. Internet Web, and HCI) | 2009 |
| 4155. |
K. Jensen (Ed.) |
Lecture Notes in Computer Science. 616 | 1992 |
| 4156. |
K. Kingsley-Hughes |
Hacking GPS (ExtremeTech) | 2005 |
| 4157. |
K. L. Calvert M. J. Donahoo |
TCP/IP Sockets in Java: Practical Guide for Programmers (1st edition) | 2001 |
| 4158. |
K. Li M.Fei G. W. Irwin, Shiwei Ma |
Life System Modeling and Simulation: International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. ... Science / Lecture Notes in Bioinformatics) | 2007 |
| 4159. |
K. R. Irvine |
Assembly Language for Intel-Based Computers (4 edition) | 2002 |
| 4160. |
K.Cho P.Jacquet |
Technologies for Advanced Heterogeneous Networks II: Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, (2 edition) | 2006 |
| 4161. |
K.R Jantke (ed) S. Kobayashi (ed) |
Lecture Notes in Artificial Intelligence. Algorithmic Learning Theory | 1993 |
| 4162. |
K.T. Lee W.H.Tsai |
Advances in Multimedia Modeling | 2011 |
| 4163. |
Kaburlasos V.G. |
Towards a Unified Modeling and Knowledge-Representation Based on Lattice Theory: Computational Intelligence and Soft Computing Applications | 2006 |
| 4164. |
Kacsuk P. (ed.) Fahringer T. (ed.) Nemeth Z. (ed.) |
Distributed and Parallel Systems: From Cluster to Grid Computing | 2007 |
| 4165. |
Kaczynski T. Mischaikow K. Mrozek M. |
Computational Homology (2nd edition) | 2004 |
| 4166. |
Kaczynski T. Mischaikow K. Mrozek M. |
Computational Homology (Applied Mathematical Sciences) | 2004 |
| 4167. |
Kaeli D. Sachs K. |
Computer Performance Evaluation and Benchmarking, 2009 | 2009 |
| 4168. |
Kaeli D. Yew P.-C. |
Speculative Execution in High Performance Computer Architectures | 2005 |
| 4169. |
Kahan W. |
IEEE Standart 754 for Binary Floating-Point Arithmetic | 1996 |
| 4170. |
Kahle R. Schroeder-Heister P. |
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings | 2001 |
| 4171. |
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 |
| 4172. |
Kahvecioglu D.C. |
Programming in STATA | 2004 |
| 4173. |
Kai Nacke |
Learn LLVM 12 | 2021 |
| 4174. |
Kaisa M. |
Evolutionary Algorithms in Engineering and Computer Science: Recent Advances in Genetic Algorithms, Evolution Strategies, Evolutionary Programming, Genetic Programming and Industrial Applications | 1999 |
| 4175. |
Kaisler S.H. |
Software Paradigms | 2005 |
| 4176. |
Kak A.C. Slaney M. |
Principles of computerized tomographic imaging (SIAM edition) | 1988 |
| 4177. |
Kakas A.C. Sadri F. |
Computational Logic: Logic Programming and Beyond: Essays in Honor of Robert A. Kowalski | 2002 |
| 4178. |
Kakas A.C. (ed.) Sadri F. (ed.) |
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I | 2002 |
| 4179. |
Kakde O. |
Algorithms for Compiler Design (1 edition) | 2002 |
| 4180. |
Kakde O.G. |
Algorithms for Compiler Design | 2002 |
| 4181. |
Kakde O.G. |
Algorithms for Compiler Design | 2002 |
| 4182. |
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 |
| 4183. |
Kaldewaij A. |
Programming: the derivation of algorithms | 1990 |
| 4184. |
Kalfoglou Y. |
Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications | 2010 |
| 4185. |
Kalinovcic L. Puzhar L. Pankov P. |
International Olympiad in Informatics 2007 - tasks and solutions | 2007 |
| 4186. |
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 |
| 4187. |
Kall P. Mayer J. |
Stochastic Linear Programming: Models, Theory, and Computation (1 edition) | 2005 |
| 4188. |
Kall P. Wallace S.W. |
Stochastic Programming (First Edition) | n/a |
| 4189. |
Kall P. Wallace S. |
Stochastic Programming (Second Edition) | 2003 |
| 4190. |
Kalra P. Peleg S. |
Computer Vision, Graphics and Image Processing: 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006, Proceedings | 2007 |
| 4191. |
Kaluzniacky E. |
Managing psychological factors in information systems work: an orientation to emotional intelligence | 2004 |
| 4192. |
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 |
| 4193. |
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 |
| 4194. |
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 |
| 4195. |
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 |
| 4196. |
Kamel M. Campilho A. |
Image Analysis and Recognition: 4th International Conference, ICIAR 2007 Montreal, Canada, August 22-24, 2007 Proceedings | 2007 |
| 4197. |
Kamel S. Hassan A. |
Assessing the Introduction of Electronic Banking in Egypt Using the Technology Acceptance Model | 2003 |
| 4198. |
Kameyama Y. Stuckey P.J. |
Functional and Logic Programming | 2005 |
| 4199. |
Kaminka G.A. Lima P.U. Rojas R. |
RoboCup 2002: Robot Soccer World Cup VI | 2003 |
| 4200. |
Kaminski M. Martini S. |
Computer Science Logic | 2008 |
На уровень выше
AI, knowledge
|
|
О проекте