| 3921. |
Hu A.J. Vardi M.Y. |
Computer Aided Verification, 10 conf., CAV '98 | 1998 |
| 3922. |
Hußmann H. |
Formal Foundations for Software Engineeing Methods (1 edition) | 1997 |
| 3923. |
Huang A. Rudolph L. |
Bluetooth Essentials for Programmers | 2007 |
| 3924. |
Huang C. Chen Y. |
Telematics Communication Technologies and Vehicular Networks: Wireless Architectures and Applications (Premier Reference Source) | 2010 |
| 3925. |
Huang D.-S. Jo K.-H. Lee H.-H. |
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence | 2009 |
| 3926. |
Huang D.S. Chen L. |
Advanced Intelligent Computing Theories and Applications, 3 conf., ICIC 2007 (1 edition) | 2007 |
| 3927. |
Huang D.S. (ed.) Wunsch D.C. (ed.) Levine D.S. (ed.) |
Lecture notes in computer science (№4226 2006). Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues | 2006 |
| 3928. |
Huang J.C. |
Path-Oriented Program Analysis (illustrated edition) | 2007 |
| 3929. |
Huang K.-Z. Yang H. Lyu M.R. |
Machine Learning: Modeling Data Locally and Globally | 2008 |
| 3930. |
Huang S. Li K. Irwin G. |
Intelligent Computing: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I | 2006 |
| 3931. |
Huang T.-M. Kecman V. Kopriva I. |
Kernel Based Algorithms for Mining Huge Data Sets: Supervised, Semi-supervised, and Unsupervised Learning | 2006 |
| 3932. |
Huang T.S. Andrews H.C. |
Picture Processing and Digital Filtering (second edition) | 1979 |
| 3933. |
Huang X. Acero A. Hon H.-W. |
Spoken Language Processing | 2001 |
| 3934. |
Huang Y. Gao X. Zhang Z. |
A better constant-factor approximation for weighted dominating set in unit disk graph | 2008 |
| 3935. |
Huanguo Z. Fan W. |
A behavior-based remote trust attestation model | 2006 |
| 3936. |
Huanguo Z. Fan W. |
A Behavior.Based Remote Trust Attestation Model | 2006 |
| 3937. |
Huard P. |
Point-to-set maps and mathematical programming | 1979 |
| 3938. |
Hubbard J. |
Schaum's Outline of Programming with C++ (2nd edition) | 2000 |
| 3939. |
Hubert L. Arabie P. Meulman J. |
The structural representation of proximity matrices with MATLAB | 2006 |
| 3940. |
Huckle Th. Schneider S. |
Numerische Methoden: Eine Einführung für Informatiker, Naturwissenschaftler, Ingenieure und Mathematiker (2. Aufl. edition) | 2006 |
| 3941. |
Hudak P. |
ACM Computing Surveys.Volume 21( №3 1989).Conception, Evolution, and Application of Functional Programming Languages | 1989 |
| 3942. |
Huddleston R. |
HTML, XHTML, and CSS: Your visual blueprint for designing effective Web.. | 2008 |
| 3943. |
Huet G. Kulkarni A. Scharf P. |
Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected and Invited Papers | 2009 |
| 3944. |
Huffel S. Vandewalle J. |
The total least squares problem: computational aspects and analysis | 1991 |
| 3945. |
Huffman W.C. Pless V. |
Fundamentals of Error-Correcting Codes | 2003 |
| 3946. |
Hugdahl K. Westerhausen R. |
The Two Halves of the Brain: Information Processing in the Cerebral Hemispheres | 2010 |
| 3947. |
Hughes C. Hughes T. |
Professional Multicore Programming | 2008 |
| 3948. |
Hughes C. Hughes T. |
Professional Multicore Programming: Design and Implementation for C++ Developers | 2008 |
| 3949. |
Hughes C. Hughes T. |
Professional Multicore Programming: Design and Implementation for C++ Developers | 2008 |
| 3950. |
Hughes C. Hughes T. |
Professional Multicore Programming: Design and Implementation for C++ Developers (Wrox Programmer to Programmer) | 2008 |
| 3951. |
Hughes J. |
Functional Programming Languages and Computer Architecture | 1991 |
| 3952. |
Huitema C. |
IPv6 The New Internet Protocol (2 edition) | 1998 |
| 3953. |
Hull J.C. |
Options, futures and other derivatives (5th edition) | 2002 |
| 3954. |
Hullermeier E. |
Case-Based Approximate Reasoning | 2007 |
| 3955. |
Hulse M. |
Seminar der Prozessinformatik: Entropie und Information | 1997 |
| 3956. |
Humphrey W.S. Kitson D.H. |
Preliminary report on conducting SEI-assisted assessments of software engineering capability (Technical report. Carnegie Mellon University. Software Engineering Institute) | 1987 |
| 3957. |
Hunt B.R. |
Matlab R2007 с нуля! | 2008 |
| 3958. |
Hunt W.A.Jr. Somenzi F. |
Computer Aided Verification, 15 conf., CAV 2003 | 2003 |
| 3959. |
Hunter J. |
Java Servlet Programming | 1998 |
| 3960. |
Hurley C. |
WarDriving and Wireless Penetration Testing | 2007 |
| 3961. |
Hurley S. Chater N. |
Perspectives on Imitation: From Neuroscience to Social Science - Volume 2: Imitation, Human Development, and Culture | 2005 |
| 3962. |
Hurson A. Zelkowitz M. |
Advances in COMPUTERS.Volume 63.Parallel, Distributed, and Pervasive Computing. | 2005 |
| 3963. |
Hurwitz J. Bloor R. Baroudi C. |
Service Oriented Architecture For Dummies (For Dummies (Computer/Tech)) | 2006 |
| 3964. |
Huseby S. |
Innocent Code: A Security Wake-Up Call for Web Programmers | 2004 |
| 3965. |
Huston S. Johnson J. Syyid U. |
The ACE Programmer's Guide | 2003 |
| 3966. |
Hutcheson M.L. |
Software Testing Fundamentals | 2003 |
| 3967. |
Hutchison D. Katz R.H. |
Self-Organizing Systems: Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings | 2007 |
| 3968. |
Huth M. Ryan M. |
Logic in computer science: modelling and reasoning about systems (0 edition) | 1999 |
| 3969. |
Hutter D. (ed.) Stephan W. (ed.) Traverse P. (ed.) |
Applied formal methods - FM-Trends 98 | 1999 |
| 3970. |
Hwang K. Briggs F.A. |
Computer Architecture and Parallel Processing | 1984 |
| 3971. |
Hyde R. |
The Art of 64-Bit Assembly, Volume 1: x86-64 Machine Organization and Programming | 2022 |
| 3972. |
Hyde R. |
The Art of Assembly Language | 2003 |
| 3973. |
Hyde R. |
Write Great Code: Thinking Low-Level, Writing High-Level, Vol.2 | 2006 |
| 3974. |
Hyde R. |
Write Great Code: Understanding the Machine, Vol. 1 | 2004 |
| 3975. |
I. Bratko |
Prolog programming for artificial intelligence (3rd edition) | 2001 |
| 3976. |
I. Cinnamon |
Programming Video Games for the Evil Genius | n/a |
| 3977. |
I.Z. Emiris B. Mourrain |
Algebraic and Numerical Algorithms | n/a |
| 3978. |
Ibaraki T. Nonobe K. Yagiura M. |
Metaheuristics: Progress as Real Problem Solvers | 2005 |
| 3979. |
IBM Redbooks |
Java Thin-Client Programming | 1999 |
| 3980. |
Ibrahim E. |
ASP.NET MVC 1.0 Test Driven Development: Problem - Design - Solution | 2009 |
| 3981. |
Ibrahimbegoviс A. (ed.) Brank B. (ed.) |
Internati International journal for computer-aided engineering and software. (№22 2005) | 2005 |
| 3982. |
Ideker T. (ed.) Bafna B. (ed.) |
Systems Biology and Computational Proteomics. Joint RECOMB 2006 SatelliteWorkshops on Systems Biology and on Computational Proteomics San Diego, CA, USA, December 1-3, 2006 Revised Selected Papers | 2007 |
| 3983. |
IEEE |
Proceedings of International Parallel and Distributed Processing Symposium | 2003 |
| 3984. |
IJsselsteijn W. (ed.) de Kort Y. (ed.) Midden C. (ed.) |
Persuasive Technology: First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings | 2006 |
| 3985. |
Il Yeol Song Eder J. Tho Manh Nguyen |
Data Warehousing and Knowledge Discovery: 10th International Conference, DaWak 2008 Turin, Italy, September 1-5, 2008, Proceedings (1 edition) | 2008 |
| 3986. |
Ilyas M. Mahgoub I. |
Handbook of sensor networks. Compact wireless and wired sensing systems | 2004 |
| 3987. |
Imai H. Wang G. |
Information and Communications Security: 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings | 2008 |
| 3988. |
Imai H. Rahman M.G. Kobara K. |
Wireless Communications Security | 2005 |
| 3989. |
Impagliazzo J. Lee J.A.N. |
History of Computing in Education | 2004 |
| 3990. |
Inc NetLibrary M C J D van Eekelen |
Trends in Functional Programming. Volume 6 | 2007 |
На уровень выше
AI, knowledge
|
|
О проекте