Computer Science

• General
• Software / Coding / Development / Engineering
• Operating System
• Programming Concepts
• Programming Paradigms
• System Design
• Distributed System
• Testing
• Security
• Interview Question
• IoT
• Others
• Links

Outline

• Logic in computer science
  • Formal methods(Formal verification)
  • Logic programming
  • Multi-valued logic
    • Fuzzy logic
  • Programming language semantics
  • Type theory
• Algorithms
  • Computational geometry
  • Distributed algorithms
  • Parallel algorithms
  • Randomized algorithms
• Artificial intelligence(outline)
  • Cognitive science
    • Automated reasoning
    • Computer vision(outline)
    • Machine learning
      • Artificial neural network
      • Support vector machine
    • Natural language processing(Computational linguistics)
  • Expert systems
  • Robotics(outline)
• Data structures
• Computer architecture
• Computer graphics
  • Image processing
  • Scientific visualization
• Computer communications (networks)
  • Cloud computing
  • Information theory
  • Internet, World Wide Web
  • Ubiquitous computing
  • Wireless computing(Mobile computing)
• Computer security and reliability
  • Cryptography
  • Fault-tolerant computing
• Computing in mathematics, natural sciences, engineering, and medicine
  • Algebraic (symbolic) computation
  • Computational biology (bioinformatics)
  • Computational chemistry
  • Computational mathematics
  • Computational neuroscience
  • Computational number theory
  • Computational physics
  • Computer-aided engineering
    • Computational fluid dynamics
    • Finite element analysis
  • Numerical analysis
  • Scientific computing (Computational science)
• Computing in social sciences, arts, humanities, and professions
  • Community informatics
  • Computational economics
  • Computational finance
  • Computational sociology
  • Digital humanities(Humanities computing)
  • History of computer hardware
  • History of computer science(outline)
  • Humanistic informatics
  • Database(outline)
    • Distributed database
    • Object database
    • Relational database
  • Data management
  • Data mining
  • Information management
  • Information retrieval
  • Knowledge management
  • Multimedia, hypermedia
    • Sound and music computing
• Distributed computing
  • Grid computing
• Human-computer interaction
• Operating systems
• Parallel computing
  • High-performance computing
• Programming languages
  • Compilers
  • Programming paradigms
    • Concurrent programming
    • Functional programming
    • Imperative programming
    • Logic programming
    • Object-oriented programming
  • Program semantics
  • Type theory
• Quantum computing - The Map of Quantum Computing | Quantum Computers Explained- Software engineering
  • Formal methods(Formal verification)
• Theory of computation
  • Automata theory(Formal languages)
  • Computability theory
  • Computational complexity theory
  • Concurrency theory
• VLSI design