| 2241. |
Broy M.(ed.) Jonsson B.(ed.) Katoen J.- P.(ed.) |
Model-Based Testing of Reactive Systems, Advanced Lectures 2004 (1 edition) | 2005 |
| 2242. |
Bruaset A. Tveito A. |
Numerical Solution of Partial Differential Equations on Parallel Computers | 2006 |
| 2243. |
Bruce K.B. |
Foundations of Object-Oriented Languages: Types and Semantics | 2002 |
| 2244. |
Brucker P. |
Scheduling Algorithms | 2007 |
| 2245. |
Bruel J.-M. Bellahsene Z. |
Advances in Object-Oriented Information Systems: OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings (1 edition) | 2002 |
| 2246. |
Brunelli R. |
Template matching techniques in computer vision: theory and practice | 2009 |
| 2247. |
Bruney A. |
Professional VSTO 2005: Visual Studio 2005 Tools for Office (Programmer to Programmer) | 2006 |
| 2248. |
Brusco M.J. |
A Binary Integer Program to Maximize the Agreement Between Partitions | 2008 |
| 2249. |
Bruss D. (ed.) Leuchs G. (ed.) |
Lectures on Quantum Information | 2007 |
| 2250. |
Bruynooghe M. Lau K. |
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development | 2004 |
| 2251. |
Bruynooghe M. Lau K. |
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science) | 2005 |
| 2252. |
Bruynooghe M. Wirsing M. |
Programming Language Implementation and Logic Programming | 1992 |
| 2253. |
Bry F. Henze N. Maluszynski J. |
Principles and Practice of Semantic Web Reasoning | 2003 |
| 2254. |
Bry F. (ed.) Małuszynski J. (ed.) |
Lecture Notes in Computer Science (5500). Semantic Techniques for the Web | 2009 |
| 2255. |
Bryant R. O'Hallaron D.R. |
Computer Systems: A Programmer's Perspective | 2002 |
| 2256. |
Bryant R.E. Hallaron D.R.O. |
Computer Systems A Programmer's Perspective | 2001 |
| 2257. |
Bryla B. Gilmore W.J. |
Beginning PHP and Oracle: From Novice to Professional | 2007 |
| 2258. |
Bshouty N. Gentile C. |
Learning Theory, 20 conf., COLT 2007 | 2007 |
| 2259. |
Bubak M. Albada G.D. Sloot P.M. |
Computational Science - ICCS 2004, 4 conf | 2004 |
| 2260. |
Bubak M. van Albada G.D. |
Computational Science - ICCS 2004: 4th International Conference, Krak?w, Poland, June 6-9, 2004, Proceedings | 2004 |
| 2261. |
Bubak M. Albada G. Sloot P. |
Computational Science - ICCS 2004: 4th International Conference, Krakow, Poland, June 6-9, 2004, Proceedings | 2004 |
| 2262. |
Bubak M. Albada G. Sloot P. |
Computational Science - ICCS 2004: 4th International Conference, Krakow, Poland, June 6-9, 2004, Proceedings, Part IV (Lecture Notes in Computer Science) (Pt. 4) | 2004 |
| 2263. |
Bubak M. van Albada G. |
Computational Science - ICCS 2008: 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I | 2008 |
| 2264. |
Bubak M. Williams R. Afsarmanesh H. |
High-Performance Computing and Networking: 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8-10, 2000 Proceedings | 2000 |
| 2265. |
Bubak M.(ed.) Albada G.D.(ed.) Dongarra J.D.(ed.) |
Computational Science – ICCS 2008 8th International Conference Kraków, Poland, June 23-25, 2008 Proceedings, Part II | 2008 |
| 2266. |
Bubak M.(ed.) Albada G.D.(ed.) Dongarra J.D.(ed.) |
Computational Science – ICCS 2008 8th International Conference Kraków, Poland, June 23-25, 2008 Proceedings, Part III | 2008 |
| 2267. |
Buchberger B. Campbell J.A. (Ed) |
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings | 2003 |
| 2268. |
Buchberger B. |
Computer algebra: the end of mathematics? | 2002 |
| 2269. |
Buchbinder N. Naor J. |
The Design of Competitive Online Algorithms via a Primal-Dual Approach | 2009 |
| 2270. |
Buckmaster J.D. Takeno T. |
Mathematical Modeling in Combustion Science | 1988 |
| 2271. |
Bulka D. Mayhew D. |
Efficient C++: Performance Programming Techniques | 1999 |
| 2272. |
Bull L. (ed.) Kovacs T. (ed.) |
Foundations of Learning Classifier Systems | 2005 |
| 2273. |
Bullard V. Smith K.T. Daconta M.C. |
Essential XUL programming | 2001 |
| 2274. |
Bulusu N. Jha S. |
Implementing and Integrating Product Data Management and Software Configuration Management | 2003 |
| 2275. |
Bungartz H.-J. |
Wissenschaftliches Rechnen | 2000 |
| 2276. |
Bungartz H.J. |
Praktikum 'Anwendungen der Computergraphik' | 1999 |
| 2277. |
Bunke H. Dickinson P.J. Kraetzl M. |
A Graph-Theoretic Approach to Enterprise Network Dynamics (1 edition) | 2006 |
| 2278. |
Bunke H. Villanueva J.J. Sanchez G. |
Progress In Computer Vision And Image Analysis | 2009 |
| 2279. |
Bunke H. (ed.) Kandel A. (ed.) Last M. (ed.) |
Data Mining In Time Series Databases | 2004 |
| 2280. |
Bunt H.C. (Ed) Satta G. (Ed) |
New Developments in Parsing Technology | 2004 |
| 2281. |
Buntine W. Grobelnik M. |
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II ... Lecture Notes in Artificial Intelligence) | 2009 |
| 2282. |
Burd B. |
Beginning Programming with Java For Dummies (2nd edition) | 2005 |
| 2283. |
Burkart O. |
Automatic Verification of Sequential Infinite-State Processes | 1997 |
| 2284. |
Burke E. Coyner B. |
Java Extreme Programming Cookbook | 2003 |
| 2285. |
Burke E. |
Practice and Theory of Automated Timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic,August 30–September 1, 2006 Revised Selected Papers | 2007 |
| 2286. |
Burke E.K. Kendall G. |
Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques | 2005 |
| 2287. |
Burke E.M. Coyner B.M. |
Java Extreme Programming Cookbook | 2003 |
| 2288. |
Burkhardt H. Neumann B. |
Computer Vision, ECCV '98: 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings: 002 | 1998 |
| 2289. |
Burks A.R. Burks A.W. |
The First Electronic Computer: The Atanasoff Story | 1989 |
| 2290. |
Burleson D.K. Lewis J. Hordila M. |
Oracle Index Management Secrets Top Oracle Experts Discuss Index Management Techniques | 2003 |
| 2291. |
Burn J. Marshall P. Barnett M. |
e-Business Strategies for Virtual Organizations (Computer Weekly Professional) | 2002 |
| 2292. |
Burns A. Wellings A. |
Concurrent and Real-Time Programming in Ada | 2007 |
| 2293. |
Burstein F. Holsapple C.W. |
Handbook on Decision Support Systems 2: Variations | 2008 |
| 2294. |
Burstein F. Holsapple C. W. |
International Handbook on Information Systems. Handbook on Decision Support Systems 1: Basic Themes | 2008 |
| 2295. |
Burton K. Ready R. |
Neuro-linguistic Programming For Dummies (2-nd edition) | 2010 |
| 2296. |
Busby J. Parrish Z. Wilson J. |
Mastering Unreal Technology, Volume I: Introduction to Level Design with Unreal Engine 3 | 2009 |
| 2297. |
Busby J. Parrish Z. Wilson J. |
Mastering Unreal Technology, Volume II: Advanced Level Design Concepts with Unreal Engine 3 | 2009 |
| 2298. |
BUSS B. |
3D Computer Graphics A Mathematical Introduction With Opengl | 2003 |
| 2299. |
Busse G. Hemelrijck D.V. Solodov I. |
Emerging Technologies in NDT (Balkema: Proceedings and Monographs in Engineering, Water and Earth Sciences) | 2008 |
| 2300. |
Bussler C. Hong S.-k. Jun W. |
Web Information Systems - WISE 2004 Workshops: WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004, Proceedings | 2004 |
| 2301. |
Bussler C. Hong S. Jun W. |
Web Information Systems -- WISE 2004 Workshops: WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004, Proceedings (Lecture Notes in Computer Science) | 2005 |
| 2302. |
Bussler C. (ed.) Fensel D. (ed.) Orlowska M.O. (ed.) |
Web Services, E-Business, and the Semantic Web. Second International Workshop, WES 2003 Klagenfurt, Austria, June 16-17, 2003 Revised Selected Papers | 2004 |
| 2303. |
Bussler Ch. (Ed) Fensel D. (Ed) |
Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, Aimsa 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings | 2004 |
| 2304. |
Butcher M. |
Drupal 6 JavaScript and jQuery | 2009 |
| 2305. |
Butkovic P. |
Max-linear systems: Theory and algorithms | 2010 |
| 2306. |
Butler M. (Editor) Hinchey M.G. (Editor) Larrondo-Petrie M.M. (Editor) |
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA (1 edition) | 2007 |
| 2307. |
Buttazzo G.C. |
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications | 1997 |
| 2308. |
Butz A. Fisher B. Kruger A. |
Smart Graphics: 5th International Symposium, SG 2005, Frauenw?rth Cloister, Germany, August 22-24, 2005, Proceedings | 2005 |
| 2309. |
Butz A. Fisher B. Krüger A. |
Smart Graphics: 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007, Proceedings | 2007 |
| 2310. |
Butz A. (Ed) Olivier P. (Ed) |
Smart Graphics | 2004 |
На уровень выше
AI, knowledge
|
|
О проекте