Category:Computer science stubs
This category is maintained by WikiProject Stub sorting.
Please propose new stub templates and categories here before creation.
Please propose new stub templates and categories here before creation.
This category is for stub articles relating to computer science. You can help by expanding them.
To add an article to this category, use
To add an article to this category, use
{{comp-sci-stub}} instead of {{stub}}.Subcategories
This category has the following 15 subcategories, out of 15 total.
- Formal methods stubs (29 P)
- Computer science journal stubs (143 P)
Τ
Pages in category "Computer science stubs"
The following 200 pages are in this category, out of approximately 455 total. This list may not reflect recent changes.
(previous page) (next page)0–9
A
- Abox
- Abstract rewriting machine
- ACM Computing Classification System
- Activity-centered design
- Addressable cursor
- Adobe Content Server
- Alewife (multiprocessor)
- ALF (proof assistant)
- Algebraic Logic Functional programming language
- Algebraic reconstruction technique
- Analog image processing
- Apple Worm
- Application discovery and understanding
- AQUA@home
- AsciiMath
- Association for Automated Reasoning
- Asymptotic decider
- Asynchrony (computer programming)
- Attentive user interface
- Automated exception handling
- Automatic layout
- Automatic mutual exclusion
- Available expression
B
C
- C-slowing
- Canterbury corpus
- Captology
- Cartesian Perceptual Compression
- Cellular multiprocessing
- Cepstral mean and variance normalization
- ClearTalk
- Cluster-aware application
- Code as data
- Code rate
- Coded mark inversion
- Collision avoidance (networking)
- Common Business Communication Language
- Compile farm
- Compile time
- Computational history
- Computer Aided Verification
- Computer Russification
- Computer Science Tripos
- Computing with words and perceptions
- Concurrency pattern
- Concurrency semantics
- Conference on Automated Deduction
- Conference on Embedded Networked Sensor Systems
- Configurable modularity
- Confusion network
- Connection string
- Constraint (information theory)
- Context tree weighting
- Context-adaptive variable-length coding
- Contextualization (computer science)
- Cooperative distributed problem solving
- Coset leader
- COSFIRE
- Cost efficiency
- CoSy
- COSYSMO
- Counting hierarchy
- CPM-GOMS
- Critical security parameter
- CUBIT
- Cyberith Virtualizer
- Cyclic language
D
- Data binding
- Data drilling
- Data Privacy Lab
- Data processing inequality
- Data truncation
- Data verification
- Database repair
- Database-as-IPC
- Dave rule
- Deadline-monotonic scheduling
- Decentralized identifier
- Decentralized object location and routing
- Defining length
- Degree of isochronous distortion
- Degree of parallelism
- Department of Computer Science, University of Bristol
- Derivative code
- Design By Numbers
- Deterministic parsing
- Dichotomic search
- Differential privacy composition theorems
- Disruptor (software)
- Distributed design patterns
- Divergence (computer science)
- Docking@Home
- Doo–Sabin subdivision surface
- Driver wrapper
- DUAL (cognitive architecture)
- Dynamic data
- Dynamic link matching
- Dynamic priority scheduling
- Dynamic problem (algorithms)
E
- Edge loop
- Education informatics
- Eight Ones
- Elastic matching
- Elbow method (clustering)
- Electronic quantum holography
- Emptiness problem
- Encompassment ordering
- Encrypted function
- Energy informatics
- Engine (computer science)
- Enterprise data modelling
- EPAM
- Epitome (data processing)
- Equivalence problem
- Error floor
- Evolutionary programming
- Exclusive relationship (programming)
- EXperimental Computing Facility
- Experimental software engineering
- Explicit parallelism
- Expression language
- Extended reality
- Extended Semantic Web Conference
F
G
- Gabbay's separation theorem
- Gateway Setup Assistant
- Gem5
- General-purpose language
- General-purpose modeling
- Generation gap (pattern)
- Genetic memory (computer science)
- Genome informatics
- Given-When-Then
- Global Neighborhood Watch
- GLOH
- Graph matching
- Graph-structured stack
- Graphics Turing test
- Greedy Perimeter Stateless Routing in Wireless Networks
H
I
- IBM Laboratory Vienna
- IBM WebFountain
- Identification scheme
- Identity map pattern
- IEEE Transactions on Control Systems Technology
- IJCAI Award for Research Excellence
- Imake
- IMAP IDLE
- Implicit invocation
- Implicit parallelism
- Import and export of data
- Information Harvesting
- Information-based complexity
- Input Field Separators
- Input/output completion port
- Instruction step
- Instrumentation (computer programming)
- Interaction protocol
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
- International Conference on Distributed Computing Systems
- International Conference on Logic Programming