Ghi chú: * Tổng số giờ tín chỉ (số giờ tín chỉ lên lớp/số giờ tín chỉ thực hành/số giờ tín chỉ tự học)

• 
  Subrata Kumar Das, Deductive Databasea and Logic Programming, Ed. Addison Wesley, 1992
  
• 
  Phan Trương Dần, Ngôn ngữ lập trình Prolog v.2, NXB. KHKT, 1998
  
• 
  Phan Huy Khánh, Lập trình logic trong Prolog, NXB. Đại học quốc gia Hà nội, 2004
  

• 
  Timothy J. Ross, Fuzzy Logic with Engineering Applications, ISBN: 0470860758, 650 pages, paperback, published by John Wiley & Sons, 2nd edition, 2004
  
• 
  Kevin M. Passino and Stephen Yurkovich, Fuzzy Control, Addison Wesley Longman, Menlo Park, CA, 1998 (later published by Prentice-Hall). http://eewww.eng.ohio-state.edu/~passino/FCbook.pdf
  
• 
  McNeill, Martin and Ellen Thro., Fuzzy Logic: a Practical Approach, 1994 Academic Press Professional. http://www.fuzzysys.com/books/FLLib/FUZZYPDF/FUZZYLOG.PDF
  

• 
  Ananth Grama, Anshul Gupta, George Karypis, and Vipin Kumar, Introduction to parallel computing, 2^nd edition, Addison-Wesley, 2003. ISBN 0-201-64865-2
  
• 
  Seyed H. Roosta, Parallel Processing and Parallel Algorithms, Springer-Verlag, 2000.
  

• 
  M. Sasikumar, Dinesh Shikhare, P. Ravi Prakash, Introduction to Parallel Processing, Prentice - Hall, 2000
  
• 
  Barry Wilkinson, Michael Allen, Parallel Programming, Prentice Hall, 1999.
  
• 
  Michael Jay. Quinn, Parallel Computing, McGRAW-HILL, 1994.
  
• 
  Joseph JáJá, An Introduction to Parallel Algorithms, Addison-Wesley Company, 1992.
  

• 
  Bratko, I., Prolog, 2 Ed., Addison-Wesley, 1990.
  
• 
  ChBratko, I., Prolog, 2 Ed., Addison-Wesley, 1990.
  
• 
  Charniak, E., and McDermott, D., Introduction to Artificial Intelligence, Addison-Wesley, 1987.
  
• 
  Dean, T., Allen, J., and Aloimonos, Y., Artificial Intelligence Theory and Practice, Benjamin/Cummings, 1995.
  
• 
  Giarratano, J., and Riley, G., Expert Systems Principles and Programming, PWS-KENT, 1989.
  
• 
  Luger, G., and Stubblefield, W., Artificial Intelligence , 2 Ed., Benjamin/Cummings, 1993.
  
• 
  Nilsson, N. J., Principles of Artificial Intelligence, Tioga, 1980.
  
• 
  Rich, E. and Knight, K., Artificial Intelligence, 2 Ed., McGraw-Hill, 1991.
  
• 
  Russell S., and Novig, P., Artificial Intelligence A Modern Approach, 1995.
  
• 
  Tanimoto, S. L., The Elements of Artificial Intelligence Using Common Lisp, 2 Ed., W. H. Freeman, 1995.arniak, E., and McDermott, D., Introduction to Artificial Intelligence, Addison-Wesley, 1987.
  
• 
  Dean, T., Allen, J., and Aloimonos, Y., Artificial Intelligence Theory and Practice, Benjamin/Cummings, 1995.
  
• 
  Giarratano, J., and Riley, G., Expert Systems Principles and Programming, PWS-KENT, 1989.
  
• 
  Luger, G., and Stubblefield, W., Artificial Intelligence , 2 Ed., Benjamin/Cummings, 1993.
  
• 
  Nilsson, N. J., Principles of Artificial Intelligence, Tioga, 1980.
  
• 
  Rich, E. and Knight, K., Artificial Intelligence, 2 Ed., McGraw-Hill, 1991.
  
• 
  Russell S., and Novig, P., Artificial Intelligence A Modern Approach, 1995.
  
• 
  Tanimoto, S. L., The Elements of Artificial Intelligence Using Common Lisp, 2 Ed., W. H. Freeman, 1995.
  

• 
  I. Manxep, Thuật toán và hàm đệ quy (Tiếng Nga), Mockva 1965.
  
• 
  Cơ sở toán học của điều khiển học, (Tiếng Nga), Mockva, 1974.
  
• 
  A. Tractenbrot, Thuật toán và các otomat tính toán, (Tiếng Nga), Mockva, 1974.
  
• 
  Đỗ Đức giáo & Đặng Huy Ruận, Lý thuyết hàm đệ quy, ĐHTH Hà Nội, 1991.
  
• 
  Phan Đình Diệu, Lý thuyết otomat và thuật toán - Hà nội 1977.
  

• 
  Jiawei Han và Micheline Kamber. Data Mining: Concepts and Techniques. Morgan Kaufmann Publisher, 2001 (và file poiwerpoint bài giảng từ nguồn www-courses.cs.uiuc.edu/~cs497jh/).
  

• 
  Pierre Baldi, Paolo Frasconi, Padhraic Smyth. Modeling the Internet and the Web: Probabilistic Methods and Algorithms, Wiley, 2003.
  
• 
  Peter Cabena, Pablo Hadjinian, Roff Stadler, Jaap Verheer, Alexxandro Zanasi. Discovering Data Mining. From Concept to Inplementation. Prentice Hall Ptr, Upper Staddle River, New Jersey 07458, 1997
  
• 
  R. O. Duda, P. E. Hart và D. G. Stork. Pattern Classification (Second Edition), Wiley, 2000, ISBN: 0-471-05669-3.
  
• 
  Usama M. Fayyad, Gregory Piatetsky-Shapiro, Padhraic Smyth, Ramasamy Uthurusamy. Advances in Knowledge Discovery in Databases. AAAI Press/The MIT Press. 1996,
  
• 
  W.H. Inmon. Building the Data Warehouse (Third Edition). John Wiley & Sons, Inc., 2002, ISBN: 0-471-08130-2, 2002.
  

• 
  Boris Kovalerchuk, Evgenii Vityaev. Data Mining in Finance: Advances in Relational and Hybrid Methods. Kluwer Academic Publishers, Second Printing, 2001.
  
• 
  Nguyen Hung Son. Rough Set and Data Mining. 2006.
  
• 
  Christopher Westphal, Teresa Blaxton. Data Mining Solution. Wiley Computer Publishing, 1998.
  
• 
  Ian H. Writen and Eibe Frank. Data Mining: Practical Machine Learning Tools and Techniques (Second Edition). Elsevier Inc., 2005, ISBN: 0-12-088407-0.
  
• 
  Jason T.L. Wang, Mohammed J. Zaki, Hannu T.T. Toivonen và Dennis Shasha (eds.). Data Mining in BioInformatics. Springer, 2005.
  
• 
  Wojciech P. Ziarko (Ed., 1994). Rough Sets, Fuzzy Sets and Knowledge Discovery. Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD'93), Banff, Alberta, Canada, 12-15 October 1993, Springer-Verlag.
  

• 
  Larry Peterson and Bruce Davie , Computer Networks: A Systems Approach (3rd Edition), Morgan Kaufmann, 2003.
  
• 
  Michael Donahoo and Kenneth Calvert , TCP/IP Sockets in C: Practical Guide for Programmers, Morgan Kaufmann, 2003.
  
• 
  Jim Kurose and Keith Ross , Computer Networking: A Top-Down Approach Featuring the Internet, Addison-Wesley. 1998
  
• 
  R. Guerin, A. Orda, and D. Williams. QoS Routing Mechanisms and OSPF Extensions. Global Internet 1997.
  
• 
  Các bài báo khoa học liên quan
  

• 
  Andras Adam, Behavior and Simplicity of Finite Moore Automata, Akademiai Kiado, Budapest, 1996.
  
• 
  Taylor L. Booth, Sequential Machines and Automata Theory, John Wiley and Sons, Inc., New York, NY, 1967.
  
• 
  Parimal Pal Chaudhuri, et al., Additive Cellular Automata: Theory and Applications, IEEE Computer Society Press, Los Alamitos, CA, 1997.
  
• 
  Vladimir Drobot, Formal Languages and Automata Theory, Computer Science Press, Inc., Rockville, MD, 1989.
  
• 
  Ding-Zhu Du and Ker-I. Ko, Problem Solving in Automata, Languages, and Complexity, A Wiley-Interscience Publication, New York, NY, 2001.
  
• 
  John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, 3rd edition, Pearson Addison-Wesley Publishing Company, Inc., Reading, MA, 2006.
  
• 
  Bakhadyr Khoussainov and Anil Nerode, Automata Theory and Its Applications, Birkhauser, Boston, MA, 2001.
  
• 
  Mark V. Lawson, Finite Automata, Chapman & Hall/CRC, Washington, DC, 2004.
  
• 
  Peter Linz, An Introduction to Formal Languages and Automata, 4th edition, Jones and Bartlett, Boston, MA, 2006.
  
• 
  Alexander Meduna, Automata and Languages: Theory and Applications, Springer Verlag, London, UK, 2000.
  
• 
  John N. Mordeson and Davender S. Malik, Fuzzy Automata and Languages: Theory and Applications, Chapman & Hall/CRC, Boca Raton, FL, 2002.
  
• 
  John E. Savage, Models of Computation: Exploring the Power of Computing, Addison Wesley Longman, Inc., Reading, MA, 1998.
  
• 
  Matthew Simon, Automata Theory, World Scientific Press, Singapore, 1999.
  
• 
  Thomas A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science, 3rd Edition, Pearson - Addison-Wesley Longman, Inc., Reading, MA, 2005.
  

• 
  Pressman R.S. Software Engineering: Practitioner's Approach. Fifth edition. McGraw-Hill Inc., 2004.
  Steinberg D., Palmer D. Extreme Software Engineering: A Hands-On Approach. Prentice Hall. 2003.
  
• 
  Ahern M. D., Clouse A., Turner R. CMMI Distilled: A Practical introduction to Integrated Process Improvement. Second Edition. Pearson Education, Inc. 2004.
  

• 
  Schwaber K., Beedle M. Agile Software Development with SCRUM. Prentice Hall. 2002.
  Schwalbe Kathy. Information Technology Project Management. Third Edition. Thompson Learning, Inc. 2004.
  
• 
  ISO/IEC 12207:1995 “Information technology – Software life cycle processes”. Geneva: ISO, 1995.
  
• 
  IEEE/EIA 12207.0-1997 “Industry Implementation of International Standard ISO/IEC 12207”. IEEE Standards: Software Engineering, Volume One: Customer and Terminology Standards. 1999.
  
• 
  IEEE/EIA 12207.1-1997 “Software life cycle processes – Life cycle data”. IEEE Standards: Software Engineering, Volume One: Customer and Terminology Standards. 1999.
  
• 
  ISO/IEC 15507:1998 “Information technology – Software process assessment”. Geneva: ISO, 1998
  
• 
  ISO/IEC 9126–1:2001. Software engineering – Product quality – Part 1: Quality model. Geneva: ISO, 2001
  
• 
  ISO/IEC 9126–2:2003. Software engineering – Product quality – Part 2: External metrics. Geneva:
  
• 
  ISO, 2003, ISO/IEC 9126–3:2003. Software engineering – Product quality – Part 3: Internal metrics. Geneva: ISO, 2003
  

• 
  Bishop, M., Computer Security: Art and Science, Addison-Wesley, 2003.
  
• 
  Menezes, A. J., van Oorschot, P. C., and Vanstone, S. A., Handbook of Applied Cryptography, CRC, 1996.
  
• 
  Pfleeger, C. P., Pfleeger, S. L., Security in Computing, Third Edition, Printice-Hall, 2002.
  
• 
  Anderson, R., Security Engineering: A Guide to Building Dependable Distributed Systems, Wiley, 2001.
  

Distributed Systems

• 
  Couloris, Dollimore, and Kindberg, Distributed Systems: Concepts and Design, Addison Wesley, 2005
  

• 
  Rachid Guerraoui and Louis Rodrigues. Introduction to Reliable Distributed Programming. Springer-Verlag, Berlin, Germany, 2006.
  
• 
  Các bài báo khoa học liên quan
  

• 
  Booch G., Rumbaugh J. and Jacobson I., The unified Software Development Process, Addision – Wesley, 1998.
  
• 
  Booch G., Rumbaugh J. and Jacobson I., The unified Software Modeling User Guide, Addision – Wesley, 1999.
  
• 
  Sommerville I., Software Engineering, 4^th edition, Addision – Wesley, 1994.
  
• 
  Larman C., Applying UML and Patterns: An Instruction to Object – Oriented Analysis and Design, Prentice Hall, 1997.
  
• 
  Michael B., William P., Object – Oriented Modeling and Design for Database Applications, Addision – Wesley 1997
  
• 
  Oestrereich B., Development Software with UML, Object – Oriented Analysis and Design in Practic, Addision – Wesley, 2000
  
• 
  OMG, “The OMG Unified Modeling Language Specification”, http://www.omg.org/uml, 1999
  
• 
  Quatrani T., Visual Modeing With Rational Rose and UML, Addison – Wesley, http://www.rational.com , 2000
  
• 
  Liang Y., From use cass to classees: a way of building object model with UML, Information and Software Technology, 45 (2003) 83-93, www.elsevier.com/loate/sof.
  
• 
  Zhiming L., Object – Oriented Sofware Developmet Using UML, UNU.IIST, Macau 2001
  
• 
  Đặng Văn Đức, Phân tích thiết kế hướng đối tượng bằng UML (Thực hành với Rational Rose), NXB Khoa học và Kỹ thuật, Hà Nội, 2002
  
• 
  Đoàn Văn Ban, Phân tích, thiết kế và lập trình hướng đối tượng, NXB Thống kê 1997
  
• 
  Đoàn Văn Ban, Hoàng Quang, Chuyển đổi các biểu thức đại số quan hệ thành câu truy vấn trong mô hình dữ liệu hướng đối tượng, Tạp chí Khoa học và Công nghệ, Tập 40 – Số ĐB, 2002 (120 – 129).
  
• 
  Đoàn Văn Ban, Cơ sở dữ liệ hướng đối tượng, Giáo trình Khoa CNTT, Hà Nội, 2003.
  

• 
  Finlay, P. N. (1994). Introducing decision support systems. Oxford, UK Cambridge, Mass., NCC Blackwell; Blackwell Publishers.
  
• 
  Turban, E. (1995). Decision support and expert systems: management support systems. Englewood Cliffs, N.J., Prentice Hall.
  
• 
  Haag, Cummings, McCubbrey, Pinsonneault, Donovan (2000). Management Information Systems: For The Information Age. McGraw-Hill Ryerson Limited: 136-140.
  
• 
  Marakas, G. M. (1999). Decision support systems in the twenty-first century. Upper Saddle River, N.J., Prentice Hall.
  
• 
  Holsapple, C.W., and A. B. Whinston. (1996). Decision Support Systems: A Knowledge-Based Approach. St. Paul: West Publishing.
  
• 
  Sprague, R. H. and H. J. Watson (1993). Decision support systems: putting theory into practice. Englewood Clifts, N.J., Prentice Hall
  
• 
  Turban, E.,Aronson, J.E., and Liang, T.P.(2005). Decision Support Systems and Intelligent Systems. New Jersey, Pearson Education, Inc.
  

• 
  D.A. Watt, Programming language – Concept and Paradigms, Prentice, 1990.
  
• 
  T.J. Bergin and R.G. Gibson, History of Programming languages. New York: ACM Press, 1996.
  
• 
  R.W. Sebesta, Concepts of Programming languages,4^th edition, Reading, MA: Addision – Wesley, 1996.
  
• 
  J.G. Brookshear, Computer Science, an overview, 6^th edition, Addision – Wesley, 2000.
  
• 
  J. C. Mitchell, Foundations of Programming languages, The MIT Press, 1996.
  
• 
  R. Sethi, Programming languages: Concepts and Constructs, Addision – Wesley, 1989.
  
• 
  T.W. Pratt and M.V. Zelkowitz, Programming Languages, Design and Implemetation, 3^rd edition, Englewood Cliffs, NJ: Prentice – Hall, 1996.
  

• 
  J. Aalbersberg & G. Rozenberg, Theory of Traces, Theoretical Computer Science 60 (1988), pp 1-82.
  
• 
  L. Alfaro, T. A. Henzinger and F. Y. C. Mang, The Control of Synchronous Systems, LNCS 1877 (2000), pp 458-473.
  
• 
  C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall – 1985
  
• 
  R. Milner, Communicating and Concurrency, Prentice Hall – 1991
  
• 
  W. Reisig, Petri Nets: An Introduction, Springer Verlag – 1985
  
• 
  Hoang Chi Thanh, Behavioural Synchronization of Net Systems, IMSc. Report 115, Madras, India (1991), pp. 136 - 145.
  

• 
  Douglas B. West, Introduction to Graph Theory, (2nd edition, Prentice-Hall, 2001, ISBN: 0-13-014400-2).
  
• 
  C. Berge, Lý thuyết đồ thị và ứng dụng (Bản dịch tiếng Việt), Hà nội, 1971
  
• 
  Toán rời rạc dành cho kỹ sư. Moskva, 1988 (tiếng Nga).
  
• 
  Đặng Huy Ruận, Lý thuyết đồ thị và ứng dụng, NXB KHKT Hà Nội, 2001
  

• 
  Valduriez P., et al., Nguyên lí của các hệ phân tán, NXB. Thống kê, 1999
  

• 
  S. Ceri and G. Pelagatti, Distributed Database: Principle and Systems, New York: Mc Graw – Hill, 1984.
  
• 
  R. Elmasri and S.B. Navathe, Fundamentals of Database Systems,2^nd edition. Menlo Park, Calif.: Benjamin – Cummings, 1994.
  
• 
  David Bell and Jane Grimson, Distributed Database Systems, Addision – Wesley, 1992.
  
• 
  M. Tamer Ozsu and Patrick Valduriez, Principles of Distributed Database Systems, 2^nd edition, Prentice – Hall, 1999.
  
• 
  M. S. Sacco and S. B. Yao, Query optimization in Distributed Database Systems, Advance in Computer, Vol 21, Academic Press, 1982.
  
• 
  P.A. Berstein and D.M. Chiu, Using semi joins to solve relation queries, Journal of the ACM, Vol. 28, No. 1, March 1981.
  
• 
  L. Lamport, Time, clocks and the ordering of events in distributed systems, Com. ACM, Vol 21, No. 7, 1978.
  
• 
  E. Knapp, Deadlock detection in distributed databases, ACM Computing surveys, Vol. 19, Num. 4, December 1987
  
• 
  Hồ Thuần, Hồ Cẩm Hà, Các hệ Cơ sở dữ liệu: Lý thuets và thực hành, tập 2, Chương 9, Nhà xuất bản Giáo dục 1987.
  

• 
  Aho, Alfred V., Sethi, R., and Ullman, D., Compilers: Principles, Techniques and Tools. Pearson Higher Education, 1985
  
• 
  V.J. Rayward & A. Smith, First course in formal language theory - M. 1978.
  
• 
  Arto Saloma, Nhập môn lý thuyết tính toán và các otomat (Bản dịch tiếng Việt) NXB KHKT, Hà nội 1992.
  
• 
  B.M. Goluskov et al. Algebra of programming languages - Kiev, 1974.
  
• 
  John E Hopcroft & Jeffrey D. Ullman, Formal languages and their relation to automata, 1982
  
• 
  Wilhelm, R., and Maurer, D., Compiler Design (International Computer Science). Addison Wesley, 1995)
  
• 
  Muchnick, S., Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997.
  
• 
  Bornat, R., Understanding and Writing Compilers: A Do It Yourself Guide. Macmillan Education, 1979.
  

• 
  Alain Cooper, The essential of user interface design, Ed. IDG books Worldwide, 1995.
  
• 
  C. Faulkner, The essence of Human-computer interaction. Ed. Prentice Hall, 1998.
  
• 
  D. Bental, Conceptual Modeling for User Interface Development. Ed. Springer, 1999.
  
• 
  D. R. Olsen Jr., User interface management systems : models and algorithms. Ed. Morgan Kaufman Publishers, 1992.
  
• 
  J. Preece et al., Human-computer interaction. Ed. Addison Wesley, 1994.
  
• 
  J. Raskin, The Human interface. Ed. Addison Wesley, 2000.
  

• 
  Simon Gibbs, Multimedia Programming, Addison-Wedsley - 1995
  

• 
  Robin Williams; Peachpit Press, The Non-Designer's Design Book, 2004; ISBN: 0321193857
  
• 
  Tay Vaughan ; McGraw Hill, Multimedia: Making It Work, 2004; ISBN: 0072230002
  
• 
  James Lengel; Addison-Wesley, The Web Wizard's Guide to Multimedia on the Web, 2001; ISBN: 0201745615
  
• 
  Jim Shuman, Multimedia Concepts: Enhanced Edition, Thomson Course Technology, 2003; ISBN: 061911052X
  

• 
  John Durkin, Expert Systems. Nxb. Prentice Hall, 1994.
  
• 
  Kurt Sundermeyer, Knowledge Based Systems. Nxb. Wissenschaftsverlag, 1991.
  
• 
  N. Nilson, Artificial Intelligence. Nxb. McGrawhill, 1971.
  
• 
  Patrick Henry Winston, Artificial Intelligence. Nxb. Addison Wesley, 1992.
  
• 
  Rich Elaine, Artificial Intelligence. Nxb. McGrawhill, 1983.
  
• 
  Stuart Russell, Peter Norvig, Artificial Intelligence. A mordern approach. Nxb. Prentice Hall, 1995.
  
• 
  Michel Tom M., Machine learning, Nxb. McGrawHill, 1997
  
• 
  Margaret A. Boden, Artificial Intelligence, Nxb. Academic Press, 1996
  

• 
  Internetworking with TCP/IP, Vol. III: Client-Server Programming and Applications, Linux/Posix Sockets Version, by Douglas E. Comer and David Stevens, Prentice Hall, 2001, ISBN 0-13-032071-4.
  
• 
  Computer Networks and Internets with Internet Applications, third edition, by Douglas E. Comer, Prentice Hall, 2001, ISBN 0130914495.
  
• 
  Hands-On Networking with Internet Technologies, second edition, by D.E. Comer and W.D. Laverell, Prentice-Hall, 2003, ISBN: 0-13-144310-0.
  

• 
  T. Cormen, C. Leiserson, R. Rivest, Introduction to Algorithms , McGraw-Hill, 1990
  
• 
  Vanderbei, R. Linear Programming: Foundations and Extensions. Springer, 2nd edition, 2001.
  
• 
  Laurence A. Wolsey, George L. Nemhauser. Integer and Combinatorial Optimization, 1988
  

http://www.princeton.edu/~rvdb/LPbook/index.html

• 
  C. D. Manning, H. Schütze, 1999, Foundations of Statistical Natural Language Processing, The MIT Press, Cambridge, Massachusetts.
  
• 
  R. Mitkov, 2002, The Oxford Handbook of Computational Linguistics, Oxford Univ. Press
  
• 
  Daniel Jurafsky and James H. Martin: Speech and Language Processing: An introduction to natural language processing, computational linguistics, and speech recognition, Prentice-Hall, 2000. (second edition 2008)
  

1. 
   Ian Foster and Carl Kesselman , The Grid 2: Blueprint for a New Computing Infrastructure, Morgan Kaufmann, 2003
   

1. 
   Fran Berman, Geoffrey Fox and Anthony J.G. Hey, Grid Computing: Making The Global Infrastructure a Reality, John Wiley & Sons; 2003.
   
2. 
   Các bài báo khoa học
   

• 
  J.G. Proakis and D.G. Manolakis, Digital Signal Processing -- Principles, Algorithms, and Applications, Third Edition, Prentice Hall, 1996
  
• 
  Oppenheim, Schafer, and Buck, "Discrete-Time Signal Processing, 2nd Edition" , Prentice Hall, 1999
  
• 
  S. K. Mitra, Digital Signal Processing: A Computer-Based Approach, 2e., with DSP Laboratory using MATLAB, McGraw-Hill, 2001.
  
• 
  S. Haykin, Adaptive Filter Theory, Prentice Hall, 1995.
  
• 
  H. Liu, Signal Processing Applications in CDMA Communications, Artech House, 2000.
  
• 
  G. B. Giannakis, Y. Hua, P. Stoica, and L. Tong, Signal Processing Advances in Wireless and Mobile Communications, Volume 1: Trends in Channel Estimation and Equalization, Prentice Hall, 2000.
  
• 
  G. B. Giannakis, Y. Hua, P. Stoica, and L. Tong, Signal Processing Advances in Wireless and Mobile Communications, Volume 2: Trends in Single- and Multi-User Systems, Prentice Hall, 2000.
  

• 
  Burns, A. Wellings, "Real-Time Systems and Their Programming Languages", Addison Wesley, 1996.
  
• 
  P. Laplante, "Real-Time Systems Design and Analysis: An Engineer's Handbook", John Wiley & Sons, 1996.
  
• 
  Các bài báo khoa học
  

• 
  Baird, D., 1992 – Inductive Logic – Englewood Cliffs, N. J., Prentice-Hall.
  
• 
  Bezdek, J. C., 1981 – Pattern Recognition with Fuzzy Objective Function Algorithms – New York, Plenum.
  
• 
  Brewka, G., Dix, J. & Konolige, K.,1997 – Nonmonotonic Reasoning, an Overview, Center for the Study of Language and Information, Stanford, CA. – Stanford University Press.
  
• 
  Chellas, B., 1980 – Modal Logic an Introduction, Cambridge – Cambridge University Press.
  
• 
  Gabbay, D. et Smets, P., ed., 1998 – Handbook of Defeasible Reasoning and Uncertainty Management Systems – Dordrecht, Boston, Kluwer.
  
• 
  Kyburg, H. E. et Teng, C. M., 2001 – Uncertain Inference, Cambridge – Cambridge University Press .
  
• 
  Jeffrey, R. C., 1965 – The Logic of Decision – Chicago, University of Chicago Press.
  
• 
  Klir, G. et Yuan, B., 1995 – Fuzzy Sets and Fuzzy Logic, Theory and Applications, – Englewood Cliffs, N. J. Prentice-Hall.
  
• 
  Miyamoto, S., 1990 – Fuzzy Sets in Information Retrieval and Cluster Analysis – Dordrecht, Netherlands: Kluwer Academic Publishers.
  
• 
  Novak, V., Perfilieva, I. et Mockor, J., 1999 – Mathematical Principles of Fuzzy Logic – Dordrecht, Kluwer Academic Publishers.
  
• 
  Priest, G., 2001 – An Introduction to Non-Classical Logic – Cambridge, Cambridge University Press .
  
• 
  Rescher, N., 1969 – Many-valued Logic – New York, McGraw-Hill.
  
• 
  Rescher, N. et Urquhart, A., 1971 – Temporal Logic – Vienne, New York, Springer-Verlag.
  
• 
  Turner, R., 1991 – Truth and Modality for Knowledge Representation – Cambridge, MA: MIT Press.
  

• 
  C. D. Manning, H. Schütze, 1999, Foundations of Statistical Natural Language Processing, The MIT Press, Cambridge, Massachusetts.
  
• 
  R. Mitkov, 2002, The Oxford Handbook of Computational Linguistics, Oxford Univ. Press
  
• 
  Daniel Jurafsky and James H. Martin, 2000, Speech and Language Processing: An introduction to natural language processing, computational linguistics, and speech recognition, Prentice-Hall (second edition 2008)
  
• 
  Các bài báo khoa học liên quan
  

• 
  Jiawei Han và Micheline Kamber. Data Mining: Concepts and Techniques. Morgan Kaufmann Publisher, 2001 (và file poiwerpoint bài giảng từ nguồn www-courses.cs.uiuc.edu/~cs497jh/).
  

• 
  Pierre Baldi, Paolo Frasconi, Padhraic Smyth. Modeling the Internet and the Web: Probabilistic Methods and Algorithms, Wiley, 2003.
  
• 
  Peter Cabena, Pablo Hadjinian, Roff Stadler, Jaap Verheer, Alexxandro Zanasi. Discovering Data Mining. From Concept to Inplementation. Prentice Hall Ptr, Upper Staddle River, New Jersey 07458, 1997
  
• 
  R. O. Duda, P. E. Hart và D. G. Stork. Pattern Classification (Second Edition), Wiley, 2000, ISBN: 0-471-05669-3.
  
• 
  Usama M. Fayyad, Gregory Piatetsky-Shapiro, Padhraic Smyth, Ramasamy Uthurusamy. Advances in Knowledge Discovery in Databases. AAAI Press/The MIT Press. 1996,
  
• 
  W.H. Inmon. Building the Data Warehouse (Third Edition). John Wiley & Sons, Inc., 2002, ISBN: 0-471-08130-2, 2002.
  

• 
  Boris Kovalerchuk, Evgenii Vityaev. Data Mining in Finance: Advances in Relational and Hybrid Methods. Kluwer Academic Publishers, Second Printing, 2001.
  
• 
  Nguyen Hung Son. Rough Set and Data Mining. 2006.
  
• 
  Christopher Westphal, Teresa Blaxton. Data Mining Solution. Wiley Computer Publishing, 1998.
  
• 
  Ian H. Writen and Eibe Frank. Data Mining: Practical Machine Learning Tools and Techniques (Second Edition). Elsevier Inc., 2005, ISBN: 0-12-088407-0.
  
• 
  Jason T.L. Wang, Mohammed J. Zaki, Hannu T.T. Toivonen và Dennis Shasha (eds.). Data Mining in BioInformatics. Springer, 2005.
  
• 
  Wojciech P. Ziarko (Ed., 1994). Rough Sets, Fuzzy Sets and Knowledge Discovery. Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD'93), Banff, Alberta, Canada, 12-15 October 1993, Springer-Verlag.
  
• 
  Các bài báo khoa học liên quan
  

• 
  Neil D. Jones. Computability and Complexity from a Programming Perspective. MIT Press, 1997
  
• 
  Hopcroft, J.E., Motwani, R. & Ullman, J.D. (2001). Introduction to automata theory, languages, and computation. Addison-Wesley (2nd ed.).
  
• 
  Cutland, N.J. (1980). Computability. An introduction to recursive function theory. Cambridge University Press.
  
• 
  Davis, M.D., Sigal, R. & Weyuker E.J. (1994). Computability, complexity and languages. Academic Press (2nd ed.).
  
• 
  Sudkamp, T.A. (1995). Languages and machines. Addison-Wesley (2nd ed.).
  

• 
  Raj Jain, The Art of Computer Systems Performance Analysis, Wiley, 1991
  
• 
  Các bài báo khoa học liên quan
  

• 
  Bishop, M., Computer Security: Art and Science, Addison-Wesley, 2003.
  
• 
  Menezes, A. J., van Oorschot, P. C., and Vanstone, S. A., Handbook of Applied Cryptography, CRC, 1996.
  
• 
  Pfleeger, C. P., Pfleeger, S. L., Security in Computing, Third Edition, Printice-Hall, 2002.
  
• 
  Anderson, R., Security Engineering: A Guide to Building Dependable Distributed Systems, Wiley, 2001.
  
• 
  Các bài báo khoa học liên quan
  

• 
  Couloris, Dollimore, and Kindberg, Distributed Systems: Concepts and Design, Addison Wesley, 2005
  

• 
  Rachid Guerraoui and Louis Rodrigues. Introduction to Reliable Distributed Programming. Springer-Verlag, Berlin, Germany, 2006.
  
• 
  Các bài báo khoa học liên quan
  

• 
  Anil K. Jain, Fundamentals of Digital Image Processing, Prentice Hall, 1989
  
• 
  William K. Pratt, Digital Image Processing, 3rd Edition, John Wiley, 2001
  
• 
  Kenneth R. Castleman, Digital Image Processing, Prentice Hall, 1996
  

• 
  Arun N. Netravali, Barry G. Haskell, Digital Pictures, Plenum, 2e, 1995