| 1821. |
Ball T. Jones R. |
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
| 1822. |
Bampis E. Jansen K. Kenyon C. |
Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications | 2006 |
| 1823. |
Banatre J.-P. Fradet P. Giavitto J.-L. |
Unconventional Programming Paradigms | 2005 |
| 1824. |
Bandini S. (Editor) Chopard B. (Editor) Tomassini M. (Editor) |
Cellular Automata: 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings (1 edition) | 2002 |
| 1825. |
Bandyopadhyay S. Maulik U. Holder L.B. |
Advanced Methods for Knowledge Discovery from Complex Data | 2004 |
| 1826. |
Bandyopadhyay S.K. Adi W. |
Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings | 2010 |
| 1827. |
Bang-Jensen J. Gutin G. |
Digraphs: Theory Algorithms and Applications (1st edition) | 2000 |
| 1828. |
Banks S. Hodgson V. McConnell D. |
Advances in Research on Networked Learning (Computer-Supported Collaborative Learning Series) | 2004 |
| 1829. |
Banks W. Hayward G. |
Fuzzy logic in embedded microcomputers and control systems | 2002 |
| 1830. |
Bannister J. Mather P. Coope S. |
Convergence Technologies for 3G Networks : IP, UMTS, EGPRS and ATM | 2004 |
| 1831. |
Banzhaf W. Poli R. Schoenauer M. |
Genetic Programming | 1998 |
| 1832. |
Banzhaf W. Poli R. |
Genetic Programming: First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings | 1998 |
| 1833. |
Bao F. (eds.) Ling S. (eds.) Okamoto T. (eds.) |
Cryptology and Network Security, 6 conf., CANS 2007 | 2007 |
| 1834. |
Barabasi A.L. |
Linked: the new science of networks | 2002 |
| 1835. |
Baral C. |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings | 2007 |
| 1836. |
Baranauskas C. Palanque P. Abascal J. |
Human-Computer Interaction - INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings | 2007 |
| 1837. |
Barbacci M.R. |
SEI architecture analysis techniques and when to use them | 2002 |
| 1838. |
Barbara Simons Alfred Spector |
Fault-tolerant Distributed Computing (Lecture Notes in Computer Science) | 1990 |
| 1839. |
Barbosa D. Bonifati A. |
Database and XML Technologies: 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings | 2007 |
| 1840. |
Barbosa V.C. |
An Introduction to Distributed Algorithms | 1996 |
| 1841. |
Barendregt H. Barendsen E. |
Introduction to Lambda Calculus | 1994 |
| 1842. |
Barendregt H. |
Lambda Calculi with Types | 1992 |
| 1843. |
Baresi L.(ed.) Dustdar S.(ed.) Gall H.(ed.) |
Ubiquitous Mobile Information and Collaboration Systems, 2 conf., UMICS 2004 (1 edition) | 2005 |
| 1844. |
Barg A. |
Complexity Issues in Coding Theory | 1997 |
| 1845. |
Barger R.N. |
Computer Ethics: A Case-based Approach | 2008 |
| 1846. |
Bargiela A. (Author, Editor) Pedrycz W. (Editor) |
Human-Centric Information Processing Through Granular Modelling (1 edition) | 2009 |
| 1847. |
Barichard V. Ehrgott M. Gandibleux X. |
Multiobjective programming and goal programming: Theoretical results and practical applications | 2009 |
| 1848. |
Barillot C. Haynor D.R. |
Medical Image Computing And Computer-assisted Intervention -- Miccai 2004: 7th International Conference Saint-malo, France, September 26-29, 2004, Pro ..., Part Two (Lecture Notes in Computer Science) | 2004 |
| 1849. |
Barillot C. Haynor D.R. |
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2004: 7th International Conference Saint-Malo, France, September 26-29, 2004 Proceedings, Part I | 2004 |
| 1850. |
Barillot C. (Editor) Haynor D.R. (Editor) Hellier P. (Editor) |
Medical Image Computing And Computer-assisted Intervention -- Miccai 2004: 7th International Conference Saint-malo, France, September 26-29, 2004 (1 edition) | 2004 |
| 1851. |
Barish G. |
Building Scalable and High-Performance Java Web Applications Using J2EE Technology | 2001 |
| 1852. |
Barker F. |
Wrox's Visual C# 2005 Express Edition Starter Kit (Programmer to Programmer) | 2006 |
| 1853. |
Barkowsky T. Knauff M. |
Spatial Cognition V: Reasoning, Action, Interaction | 2008 |
| 1854. |
Barnes J. |
Ada 2005 Rationale: The Language, The Standard Libraries | 2008 |
| 1855. |
Barnes J. |
Ada 95 rationale. The language the Standard libraries | 1995 |
| 1856. |
Barnett R.H. O'Cull L. Cox S. |
Embedded C Programming and the Microchip PIC | 2003 |
| 1857. |
Barnett S. |
Quantum Information | 2009 |
| 1858. |
Barni M. Cox I. Kalker T. |
Digital Watermarking: 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings | 2005 |
| 1859. |
Baron M. |
Probability and Statistics for Computer Scientists | 2006 |
| 1860. |
Barr M. |
Programming Embedded Systems in C and C ++ | 1999 |
| 1861. |
Barrels R.H. Beatty J.C. |
An Introduction to Splines for use in Computer Graphics and Geometric Modeling | 1987 |
| 1862. |
Barrett S.F. Pack D. Thornton M. |
Atmel AVR microcontroller primer: programming and interfacing | 2007 |
| 1863. |
Barria J.A. |
Communication Networks And Computer Systems: a tribute to Professor Erol Gelenbe (illustrated edition) | 2006 |
| 1864. |
Barron T. |
Multiplayer Game Programming | 2000 |
| 1865. |
Barron T. |
Strategy Game Programming With Directx 9.0 2003 | 2003 |
| 1866. |
Barros M. Guilherme J. Horta N. |
Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques (Studies in Computational Intelligence, 294) | 2010 |
| 1867. |
Barroso L. |
The Data Center as a Computer | 2009 |
| 1868. |
Barrows A. Young M. Stockman J. |
Access 2010 All-in-One For Dummies | 2010 |
| 1869. |
Barry C. Conboy K. Lang M. |
Information Systems Development: Challenges in Practice, Theory, and Education. Volume 2 | 2008 |
| 1870. |
Barry D.A. Culligan-Hensley P.J. Barry S.J. |
Algorithm 743: WAPR-a Fortran routine for calculating real values of the W-function | 1995 |
| 1871. |
Barry D.K. |
Web Services and Service-Oriented Architectures: The Savvy Manager's Guide | 2003 |
| 1872. |
Barry P. |
Programming the Network with Perl | 2002 |
| 1873. |
Barry P. |
Programming the Network with Perl | 2002 |
| 1874. |
Barth W. |
Nagios: system and network monitoring | 2005 |
| 1875. |
Barthe G. Dybjer P. Pinto L. |
Lecture Notes in Computer Science (2395). Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) | 2002 |
| 1876. |
Barthe G. Fournet C. |
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers | 2008 |
| 1877. |
Barthelmann V. |
VBCC compiler system | 2004 |
| 1878. |
Barthold F. Stander N. Stein E. |
Performance comparison of SAM and SQP for structural optimization | n/a |
| 1879. |
Bartholomew-Biggs M. |
Nonlinear Optimization with Engineering Applications | 2008 |
| 1880. |
Bartlett R.D. Bartlett P. |
Koi For Dummies | 2007 |
| 1881. |
Bartlomiej Beliczynski (Editor) Dzielinski A. (Editor) Iwanowski M. (Editor) |
Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I (1 edition) | 2007 |
| 1882. |
Bartz-Beielstein T. Blesa M.J. Blum C. |
Hybrid Metaheuristics 4th InternationalWorkshop, HM 2007 Dortmund, Germany, October 8-9, 2007 Proceedings | 2007 |
| 1883. |
Bartz-Beielstein T. (ed.) Aguilera M.J.B. (ed.) Blum C. (ed.) |
Hybrid Metaheuristics 4th InternationalWorkshop, HM 2007 Dortmund, Germany, October 8-9, 2007 Proceedings | 2007 |
| 1884. |
Basagni S. |
Mobile Ad Hoc Networking | 2004 |
| 1885. |
Basili V.(ed.) Dombach D.(ed.) Schneider K.(ed.) |
Empirical Software Engineering Issues. Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers | 2007 |
| 1886. |
Basin D. Rusinowitch M. |
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | 2005 |
| 1887. |
Basten T. (ed.) Geilen M. (ed.) Groot H. (ed.) |
Ambient Intelligence: Impact on Embedded System Design | 2004 |
| 1888. |
Bastide R. Palanque P. |
Engineering Human Computer Interaction and Interactive Systems: Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers | 2005 |
| 1889. |
Basu M. (ed.) Ho T.K. (ed.) |
Data Complexity in Pattern Recognition | 2006 |
| 1890. |
Batageli V. (ed.) Bock H.H. Ferligoi A. (ed.) |
Data Science and Classification | 2006 |
На уровень выше
AI, knowledge
|
|
О проекте