| 1751. |
Avron A. Dershowitz N. |
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday | 2008 |
| 1752. |
Awad M. Thuraisingham B. Khan L. |
Design and implementation of data mining tools | 2009 |
| 1753. |
Awais Rashid (Editor) Mehmet Aksit (Editor) |
Transactions on Aspect-Oriented Software Development II: Focus: AOP Systems, Software and Middleware (1 edition) | 2006 |
| 1754. |
Awais Rashid (Editor) Aksit M. (Editor) |
Transactions on Aspect-Oriented Software Development IV: Focus: Early Aspects and Aspects of Software Evolution (1 edition) | 2007 |
| 1755. |
Axelrod W.C. Bayuk J.L. Schutzer D. |
Enterprise Information. Security and Privacy | 2009 |
| 1756. |
Axelson J. |
Embedded ethernet and internet complete | 2003 |
| 1757. |
Axelson J. Research L. |
Parallel Port Complete: Programming Interfacing & Using the PC'S Parallel Printer Port | 2002 |
| 1758. |
Axo А. Хопкрофт В. |
Структуры данных и алгоритмы | 2003 |
| 1759. |
Ayache N. (ed.) Ourselin S. (ed.) Maeder A. (ed.) |
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007: 10th International Conference Brisbane, Australia, October 29 – November 2, 2007 Proceedings, Part II | 2007 |
| 1760. |
Ayala K. |
The 8051 Microcontroller. Architecture, Programming and Applns | 1991 |
| 1761. |
Aycock J. |
Spyware and Adware | 2010 |
| 1762. |
Aykanat C. Dayar T. Korpeoglu I. |
Computer and Information Sciences - ISCIS 2004: 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings | 2004 |
| 1763. |
Aykin N. |
Internationalization, Design and Global Development: Third International Conference, IDGD 2009, Held as Part of HCI International 2009, San Diego, CA, ... Applications, incl. Internet Web, and HCI) | 2009 |
| 1764. |
Aykin N. |
Usability and Internationalization. Global and Local User Interfaces, 2007 | 2007 |
| 1765. |
Ayres R.F. |
VLSI: Silicon Compilation and the Art of Automatic Microchip Design | 1983 |
| 1766. |
Azemard N. Svensson L. |
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 17th International Workshop, PATMOS 2007, Gothenburg, | 2007 |
| 1767. |
Azvine B. Azarmi N. Nauck D.D. |
Intelligent Systems and Soft Computing: Prospects, Tools and Applications | 2000 |
| 1768. |
Aнтипов И.Н. |
Программирование | 1976 |
| 1769. |
Börger E. Gargantini A. Riccobene E. |
Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003 (1 edition) | 2003 |
| 1770. |
Börger E. (ed.) Butler M. (ed.) Bowen J.P. (ed.) |
Abstract State Machines. B and Z. Lecture notes in computer science 5238 | 2008 |
| 1771. |
Büchel G. |
Datenbanken und Algorithmen | 2000 |
| 1772. |
B. Clegg |
Studying Using the Web: The Student's Guide to Using the Ultimate Information Resource (Routledge Study Guides) | 2006 |
| 1773. |
B. Evjen S. Hanselman F. Muhammad, S.Sivakumar, D. Rader |
Professional ASP.NET 2.0 | 2005 |
| 1774. |
B. Gorayska J. L. Mey |
Cognition And Technology: Co-existence, Convergence And Co-evolution | 2004 |
| 1775. |
B. Jahne |
Computer Vision and Applications: Concise Edition (1st edition) | 2000 |
| 1776. |
B. Jahne |
Spatio-Temporal Image Processing: Theory and Scientific Applications (Lecture Notes in Computer Science) | 1993 |
| 1777. |
Baader F. |
Logic-Based Knowledge Representation | 1999 |
| 1778. |
Baar Th. Magnus R. Trzewick T. |
Einfuhrung in die Kunstliche Intelligenz | 1993 |
| 1779. |
Baaz M. Voronkov A. |
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence | 2002 |
| 1780. |
Baaz M. (Ed) Makowsky J.M. (Ed) |
Computer Science Logic | 2003 |
| 1781. |
Babaoglu O. Jelasity M. Montresor A. |
Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations 2004 (1 edition) | 2005 |
| 1782. |
Babuka R. Groen F. |
Interactive Collaborative Information Systems (Studies in Computational Intelligence) | 2010 |
| 1783. |
Bachem A. Kern W. |
Linear Programming Duality: An Introduction to Oriented Matroids | 1992 |
| 1784. |
Bachmann O. Wang P.S. Zima E.V. |
Chains of Recurrences - a method to expedite the evaluation of closed-form functions | 1994 |
| 1785. |
Bachmann O. |
Effective simplification of cr expressions | 1997 |
| 1786. |
Back K. |
A Course In Derivative Securities | 2005 |
| 1787. |
Back K. |
A Course in Derivative Securities: Introduction to Theory and Computation | 2005 |
| 1788. |
Backhouse R. Oliveira J. |
Mathematics of Program Construction, 5 conf., MPC 2000 (1 edition) | 2000 |
| 1789. |
Backus J.W. Beeber R.J. |
The Fortan Automatic Coding System | 1957 |
| 1790. |
Badr Y. Chbeir R. |
Emergent Web Intelligence: Advanced Semantic Technologies | 2010 |
| 1791. |
Baeten J. Weijland W. |
Process Algebra (Cambridge Tracts in Theoretical Computer Science) | 1990 |
| 1792. |
Baeza-Yates R. Chavez E. Crochemore M. |
Combinatorial Pattern Matching, 14 conf., CPM 2003 | 2003 |
| 1793. |
Bagadia K. |
Computerized Maintenance Management Systems Made Easy | 2006 |
| 1794. |
Bagchi A. Bhattacharya B.B. Sur-kolay S. |
Algorithms, architectures and information systems security | 2008 |
| 1795. |
Baglivo J.A. |
Mathematica Laboratories for Mathematical Statistics: Emphasizing Simulation and Computer Intensive Methods | 2005 |
| 1796. |
Bai Y. |
Practical Database Programming with Visual Basic.NET | 2009 |
| 1797. |
Baier C. Haverkort B.R. Hermanns H. |
Validation of Stochastic Systems: A Guide to Current Research | 2004 |
| 1798. |
Baig E. |
Macs For Dummies, 10th Edition (For Dummies (Computer Tech)) (10th edition) | 2009 |
| 1799. |
Baik D.-K. |
Systems modeling and simulation: theory and applications: third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004: revised selected papers (1 edition) | 2005 |
| 1800. |
Bailey D.H. Hida Y. Li X.S. |
ARPREC: An Arbitrary Precision Computation Package | n/a |
| 1801. |
Bailey J. Maier D. Schewe K. |
Web Information Systems Engineering - WISE 2008 Workshops | 2008 |
| 1802. |
Bailey P.B. Everitt W.N. Zettl A. |
Algorithm 810: The SLEIGN2 Sturm-Liouville Code | 2001 |
| 1803. |
Bajgoric N. |
Continuous computing technologies for enhancing business continuity | 2008 |
| 1804. |
Baker D.L. |
HTML Complete Course | 2003 |
| 1805. |
Baker P. Dai, Z.R. Grabowski J., Haugen O. |
Model-Driven Testing: Using the UML Testing Profile | 2008 |
| 1806. |
Baker S.G. |
Simple adjustments for randomized trials with nonrandomly missing or censored outcomes arising from informative covariates | 2006 |
| 1807. |
Bakir G. Hofmann T. Schölkopf |
Predicting Structured Data | 2007 |
| 1808. |
Bakshi A.B. Prasanna V.K. |
Architecture-independent programming for wireless sensor networks | 2008 |
| 1809. |
Bal H. |
Internet Programming Languages: ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings (2-nd edition) | 1999 |
| 1810. |
Balandin S. Moltchanov D. Koucheryavy Y. |
Next Generation Teletraffic and Wired/Wireless Advanced Networking: 8th International Conference, NEW2AN 2008 and 1st Russian Conference on Smart Spaces, ... Networks and Telecommunications) (1 edition) | 2008 |
| 1811. |
Balcázar J.L. (Editor) Long Ph.M. (Editor) Stephan F. (Editor) |
Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings (1 edition) | 2006 |
| 1812. |
Balcazar J.L. (Ed) Long Ph.M. (Ed) Stephan F. (Ed) |
Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings | 2006 |
| 1813. |
Balch M. |
Complete Digital Design. A Comprehensive Guide to Digital Electronics and Computer System Architecture | 2003 |
| 1814. |
Baldoni M. (Editor) Tran Cao Son (Editor) van Riemsdijk B. (Editor) |
Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008 (1 edition) | 2009 |
| 1815. |
Baldoni R. Riva G. Davide F. |
Global Data Management - Emerging Communication | 2006 |
| 1816. |
Baldwin D. Scragg G.W. |
Algorithms and Data Structures: The Science of Computing | 2004 |
| 1817. |
Bales D. |
Java Programming with Oracle JDBC | 2002 |
| 1818. |
Balibar S. |
The Atom and the Apple, 12 Tales from Contemporary Physics | 2008 |
| 1819. |
Ball S. |
Analog Interfacing to Embedded Microprocessors: Real World Design | 2001 |
| 1820. |
Ball T. Jones R. |
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
На уровень выше
AI, knowledge
|
|
О проекте