| 2101. |
Boehme T. Unger H. |
Innovative Internet Computing Systems: International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings | 2001 |
| 2102. |
Boerger E. Staerk R. |
Abstract State Machines: A Method for High-Level System Design and Analysis (1 edition) | 2003 |
| 2103. |
Boers E. Gottlieb J. |
Applications of Evolutionary Computing: EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings | 2001 |
| 2104. |
Bohlen M. Gamper J. Polasek W. |
E-Government: Towards Electronic Democracy | 2005 |
| 2105. |
Boiko I. |
Discontinuous Control Systems: Frequency-Domain Analysis and Design | 2009 |
| 2106. |
Boillot M. |
Basic Concepts and Structured Problem Solving | 1984 |
| 2107. |
Boiten E. Derrick J. |
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings | 2004 |
| 2108. |
Boiten E.A. Muller B. |
Mathematics of Program Construction | 2002 |
| 2109. |
Bolc L. Kulpa Z. |
Digital Image Processing Systems: Proceedings | 1981 |
| 2110. |
Bolc L. Kulikowski J.L. Wojciechowski K. |
Computer Vision and Graphics: International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers | 2009 |
| 2111. |
Bolc L. Tadeusiewicz R. Chmielewski L. |
Computer Vision and Graphics: Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I (Lecture Notes ... Vision, Pattern Recognition, and Graphics) | 2010 |
| 2112. |
Bolc L. Kulpa Z. |
Digital Image Processing Systems: Proceedings (Lecture Notes in Computer Science) | 1981 |
| 2113. |
Bolc L. |
Natural language parsing systems | 1987 |
| 2114. |
Bolc L. (ed.) |
Natural language communication with computers (1 edition) | 1978 |
| 2115. |
Bolch G. Greiner S. de Meer H. |
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications (2-е издание edition) | 2006 |
| 2116. |
Bolch G. Greiner S. Trivedi K.S. |
Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications (2nd edition) | 2006 |
| 2117. |
Boldi P. Gargano L. |
Lecture Notes in Computer Science (№6099 2010). Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings | 2010 |
| 2118. |
Boldt O. |
Automata Implementation: 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers | 2001 |
| 2119. |
Bolton W. |
Programmable Logic Controllers, Fourth Edition (4th edition) | 2006 |
| 2120. |
Boman M. (Editor) van de Velde W. (Editor) |
Multi-Agent Rationality: 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 (1 edition) | 1997 |
| 2121. |
Bommel P.V. |
Transformation Of Knowledge, Information And Data: Theory And Applications | 2004 |
| 2122. |
Bonato A. (ed) Chung R.K.(ed) |
Algorithms and Models for the Web-Graph: 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings | 2007 |
| 2123. |
Bonchi F. (ed.) Boulicaut J.-F. (ed.) |
Lecture Notes in Computer Science (3933). Knowledge Discovery in Inductive Databases: 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers | 2006 |
| 2124. |
Bonsangue M.M. (ed.) Johnsen E.B. (ed.) |
Formal Methods for Open Object-Based Distributed Systems. 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedings | 2007 |
| 2125. |
Boolos G.S. Burgess J.P. Jeffrey R.C. |
Computability and Logic (Fifth edition) | 2007 |
| 2126. |
Boolos G.S. |
Logic, Logic, and Logic | 1998 |
| 2127. |
Bordini R.H. Wooldridge M. |
Programming Multi-Agent Systems in AgentSpeak using Jason | 2007 |
| 2128. |
Bordini R.H. Dastani M. Dix J. |
Programming Multi-Agent Systems: Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers | 2005 |
| 2129. |
Bordini R.H. (Editor) Dastani M. (Editor) Dix J. (Editor) |
Programming Multi-Agent-Systems: 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (1 edition) | 2007 |
| 2130. |
Borenstein N.S. |
Programming As If People Mattered: Friendly Programs, Software Engineering, and Other Noble Delusions | 1991 |
| 2131. |
Borg I. Groenen P.J. |
Modern Multidimensional Scaling: Theory and Applications (1st edition) | 2005 |
| 2132. |
Borger E. |
Computability, Complexity, Logic | 1986 |
| 2133. |
Borger E. Jager G. Buning H. |
Computer Science Logic, 5 conf., CSL '91 | 1992 |
| 2134. |
Borger E. Gurevich Y. Meinke K. |
Computer Science Logic, 7 conf., CSL '93 | 1994 |
| 2135. |
Borger E. Buning H.K. Richter M.M. |
CSL '88 Computer Science Logic 2 conf | 1989 |
| 2136. |
Borgman C.L. |
Scholarship in the Digital Age: Information, Infrastructure, and the Internet | 2007 |
| 2137. |
Borisov N. Golle P. |
Privacy Enhancing Technologies, 2007 (1 edition) | 2007 |
| 2138. |
Born G. |
Dateiformate - Eine Referenz | 2000 |
| 2139. |
Bornemann F. Laurie D. Wagon S. |
The SIAM 100-digit challenge: a study in high-accuracy numerical computing | 2004 |
| 2140. |
Borzyszkowski A.M. Sokolowski S. |
Mathematical Foundations of Computer Science | 1993 |
| 2141. |
Bosio A. Dilillo L. |
Advanced Test Methods for SRAMs: Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies | 2009 |
| 2142. |
Bosma W. Cannon J. Playoust C. |
Magma algebra system I. User language | 1997 |
| 2143. |
Bosnacki D. (Editor) Leue S. (Editor) |
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (1 edition) | 2002 |
| 2144. |
Bossert M. Jordan R. Freudenberger J. |
Angewandte Informationstheorie | 2002 |
| 2145. |
Bottaci L. Fraser G. |
Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September ... Programming and Software Engineering) | 2010 |
| 2146. |
Bouajjani A. (Editor) Maler O. (Editor) |
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (1 edition) | 2009 |
| 2147. |
Boudreaux T. |
Programming the iPhone User Experience | 2009 |
| 2148. |
Bouge L. Forsell M. |
Euro-Par 2007 Workshops: Parallel Processing | 2008 |
| 2149. |
Boujemaa N. (ed.) Detyniecki M. (ed.) Nürnberger A. (ed.) |
Adaptive Multimedia Retrieval: Retrieval, User, and Semantics: 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007, Revised Selected Papers | 2008 |
| 2150. |
Boule M., Zilic Z. |
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring | 2008 |
| 2151. |
Boulicaut J. Esposito F. Giannotti F. |
Knowledge Discovery in Databases.. PKDD 2004, 8 conf (1 edition) | 2004 |
| 2152. |
Bourg D. |
Physics for Game Developers | 2001 |
| 2153. |
Bourgeois A.G. (ed.) Zheng S.Q. (ed.) |
Algorithms and architectures for parallel processing. Lecture notes in computer science 5022 | 2008 |
| 2154. |
Bourne J. Burstein D. |
DSL: A Wiley Tech Brief | 2001 |
| 2155. |
Bousquet O. Ulrike von Luxburg Rätsch G. |
Advanced Lectures on Machine Learning 2003 (1 edition) | 2004 |
| 2156. |
Bouzeghoub M. Kedad Z. Metais E. |
Natural Language and Information Systems: 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 | 2001 |
| 2157. |
Bove N. |
iPod В & В iTunes For Dummies В (second edition) | 2004 |
| 2158. |
Bove T. |
iPod & iTunes For Dummies (For Dummies (Computer/Tech)) (6th edition) | 2008 |
| 2159. |
Bowen J. Hinchey M. Till D. |
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings | 1997 |
| 2160. |
Bowers D.S. |
Directions in Databases | 1994 |
| 2161. |
Bowman A.W. Azzalini A. |
Applied Smoothing Techniques for Data Analysis: The Kernel Approach with S-Plus Illustrations | 1997 |
| 2162. |
Boyd C. Nieto J.M.G. |
Information Security and Privacy | 2005 |
| 2163. |
Boyd C. |
Information Security and Privacy: 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings (Lecture Notes in Computer Science Security and Cryptology) | 2009 |
| 2164. |
Boyle R. Parvin B. Koracin D. |
Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III ... Vision, Pattern Recognition, and Graphics) | 2010 |
| 2165. |
Brackenbury L.E. |
Design of Very Large Scale Integration Systems | 1987 |
| 2166. |
Bradford R. |
The Art of Computer Networking | 2007 |
| 2167. |
Bradley J. Millspaugh A. |
Advanced Programming Using Visual Basic 2008 (4 edition) | 2008 |
| 2168. |
Bradley P.S. Fayyad U.M. Mangasarian O.L. |
Mathematical Programming for Data Mining: Formulations and Chalenges | 1998 |
| 2169. |
Bradski G. Kaehler A. |
Learning OpenCV: Computer Vision with the OpenCV Library | 2008 |
| 2170. |
Brady D.J. |
Optical Imaging and Spectroscopy | 2009 |
На уровень выше
AI, knowledge
|
|
О проекте