عرض مصدر أرابيكا:مبادرة العطاء الرقمي/المقالات المقترحة/علم الحاسوب

== Computer Science ==
<div class="mw-content-ltr" style="font-size: 90%; -webkit-column-count:3; -moz-column-count:3; column-count:3;">
# [[:en:SHA-2|SHA-2]]
# [[:en:Speculative execution|Speculative execution]]
# [[:en:Year 2038 problem|Year 2038 problem]]
# [[:en:Directed acyclic graph|Directed acyclic graph]]
# [[:en:Cluster analysis|Cluster analysis]]
# [[:en:SHA-1|SHA-1]]
# [[:en:Bitwise operation|Bitwise operation]]
# [[:en:ECMAScript|ECMAScript]]
# [[:en:Breadth-first search|Breadth-first search]]
# [[:en:3-D Secure|3-D Secure]]
# [[:en:Usage share of operating systems|Usage share of operating systems]]
# [[:en:Polymorphism (computer science)|Polymorphism]]
# [[:en:Block cipher mode of operation|Block cipher mode of operation]]
# [[:en:Salt (cryptography)|Salt]]
# [[:en:Exclusive or|Exclusive or]]
# [[:en:Hash-based message authentication code|Hash-based message authentication code]]
# [[:en:Extract, transform, load|Extract]]
# [[:en:Singleton pattern|Singleton pattern]]
# [[:en:Cryptanalysis of the Enigma|Cryptanalysis of the Enigma]]
# [[:en:Trie|Trie]]
# [[:en:Heapsort|Heapsort]]
# [[:en:Rainbow table|Rainbow table]]
# [[:en:Tree traversal|Tree traversal]]
# [[:en:Behavior-driven development|Behavior-driven development]]
# [[:en:TypeScript|TypeScript]]
# [[:en:Levenshtein distance|Levenshtein distance]]
# [[:en:Activation function|Activation function]]
# [[:en:Code talker|Code talker]]
# [[:en:Abstract data type|Abstract data type]]
# [[:en:Artificial general intelligence|Artificial general intelligence]]
# [[:en:Database schema|Database schema]]
# [[:en:Prim's algorithm|Prim's algorithm]]
# [[:en:Join (SQL)|Join]]
# [[:en:Factory method pattern|Factory method pattern]]
# [[:en:Minimum spanning tree|Minimum spanning tree]]
# [[:en:Hierarchical clustering|Hierarchical clustering]]
# [[:en:Topological sorting|Topological sorting]]
# [[:en:Cypherpunk|Cypherpunk]]
# [[:en:Cosine similarity|Cosine similarity]]
# [[:en:Priority queue|Priority queue]]
# [[:en:Relational model|Relational model]]
# [[:en:List of academic databases and search engines|List of academic databases and search engines]]
# [[:en:Zero-knowledge proof|Zero-knowledge proof]]
# [[:en:Magic number (programming)|Magic number]]
# [[:en:Monad (functional programming)|Monad]]
# [[:en:Branch predictor|Branch predictor]]
# [[:en:Hamming distance|Hamming distance]]
# [[:en:Boolean satisfiability problem|Boolean satisfiability problem]]
# [[:en:Radix sort|Radix sort]]
# [[:en:Business Process Model and Notation|Business Process Model and Notation]]
# [[:en:Context-free grammar|Context-free grammar]]
# [[:en:Foobar|Foobar]]
# [[:en:Shortest path problem|Shortest path problem]]
# [[:en:Idempotence|Idempotence]]
# [[:en:Applications of artificial intelligence|Applications of artificial intelligence]]
# [[:en:Third normal form|Third normal form]]
# [[:en:One-time password|One-time password]]
# [[:en:Memory hierarchy|Memory hierarchy]]
# [[:en:Best, worst and average case|Best]]
# [[:en:Check digit|Check digit]]
# [[:en:Binary heap|Binary heap]]
# [[:en:Real-time computing|Real-time computing]]
# [[:en:Letter frequency|Letter frequency]]
# [[:en:Integer (computer science)|Integer]]
# [[:en:Elliptic Curve Digital Signature Algorithm|Elliptic Curve Digital Signature Algorithm]]
# [[:en:Jaccard index|Jaccard index]]
# [[:en:Relational algebra|Relational algebra]]
# [[:en:Event-driven programming|Event-driven programming]]
# [[:en:Bombe|Bombe]]
# [[:en:Windows-1252|Windows-1252]]
# [[:en:Canny edge detector|Canny edge detector]]
# [[:en:Message authentication code|Message authentication code]]
# [[:en:B+ tree|B+ tree]]
# [[:en:Colossus computer|Colossus computer]]
# [[:en:Command pattern|Command pattern]]
# [[:en:Associative array|Associative array]]
# [[:en:Beale ciphers|Beale ciphers]]
# [[:en:Actor model|Actor model]]
# [[:en:Star schema|Star schema]]
# [[:en:Call stack|Call stack]]
# [[:en:Birthday attack|Birthday attack]]
# [[:en:Object-oriented analysis and design|Object-oriented analysis and design]]
# [[:en:Context switch|Context switch]]
# [[:en:Forward secrecy|Forward secrecy]]
# [[:en:Column-oriented DBMS|Column-oriented DBMS]]
# [[:en:Shamir's Secret Sharing|Shamir's Secret Sharing]]
# [[:en:Blowfish (cipher)|Blowfish]]
# [[:en:Second normal form|Second normal form]]
# [[:en:Role-based access control|Role-based access control]]
# [[:en:Microkernel|Microkernel]]
# [[:en:RC4|RC4]]
# [[:en:Signed number representations|Signed number representations]]
# [[:en:David Gelernter|David Gelernter]]
# [[:en:Block cipher|Block cipher]]
# [[:en:Anomaly detection|Anomaly detection]]
# [[:en:Comparison of relational database management systems|Comparison of relational database management systems]]
# [[:en:Chomsky hierarchy|Chomsky hierarchy]]
# [[:en:Data mart|Data mart]]
# [[:en:Exception handling|Exception handling]]
# [[:en:Open Database Connectivity|Open Database Connectivity]]
# [[:en:Database design|Database design]]
# [[:en:Linker (computing)|Linker]]
# [[:en:Linear congruential generator|Linear congruential generator]]
# [[:en:Teradata|Teradata]]
# [[:en:Cut, copy, and paste|Cut]]
# [[:en:Closure (computer programming)|Closure]]
# [[:en:Isolation (database systems)|Isolation]]
# [[:en:Digital Signature Algorithm|Digital Signature Algorithm]]
# [[:en:Digest access authentication|Digest access authentication]]
# [[:en:Self-balancing binary search tree|Self-balancing binary search tree]]
# [[:en:Currying|Currying]]
# [[:en:Abstract factory pattern|Abstract factory pattern]]
# [[:en:Coroutine|Coroutine]]
# [[:en:Dining philosophers problem|Dining philosophers problem]]
# [[:en:Generic programming|Generic programming]]
# [[:en:Apriori algorithm|Apriori algorithm]]
# [[:en:Connected component (graph theory)|Connected component]]
# [[:en:Two-phase commit protocol|Two-phase commit protocol]]
# [[:en:Illegal prime|Illegal prime]]
# [[:en:Multiple inheritance|Multiple inheritance]]
# [[:en:Skip list|Skip list]]
# [[:en:Fibonacci heap|Fibonacci heap]]
# [[:en:Circular buffer|Circular buffer]]
# [[:en:Delimiter|Delimiter]]
# [[:en:Vertex cover|Vertex cover]]
# [[:en:Quantum programming|Quantum programming]]
# [[:en:Alice and Bob|Alice and Bob]]
# [[:en:Hill climbing|Hill climbing]]
# [[:en:Agent-based model|Agent-based model]]
# [[:en:Cell (microprocessor)|Cell]]
# [[:en:Architectural pattern|Architectural pattern]]
# [[:en:Preemption (computing)|Preemption]]
# [[:en:Data structure alignment|Data structure alignment]]
# [[:en:Doubly linked list|Doubly linked list]]
# [[:en:Division algorithm|Division algorithm]]
# [[:en:List of NP-complete problems|List of NP-complete problems]]
# [[:en:Master theorem|Master theorem]]
# [[:en:Two-phase locking|Two-phase locking]]
# [[:en:Bucket sort|Bucket sort]]
# [[:en:Fragmentation (computing)|Fragmentation]]
# [[:en:Maximum flow problem|Maximum flow problem]]
# [[:en:Shellsort|Shellsort]]
# [[:en:Discrete logarithm|Discrete logarithm]]
# [[:en:Xerox Alto|Xerox Alto]]
# [[:en:Database transaction|Database transaction]]
# [[:en:R-tree|R-tree]]
# [[:en:Multiplication algorithm|Multiplication algorithm]]
# [[:en:Flat file database|Flat file database]]
# [[:en:Tree structure|Tree structure]]
# [[:en:Asynchronous I/O|Asynchronous I/O]]
# [[:en:Common Lisp|Common Lisp]]
# [[:en:Grover's algorithm|Grover's algorithm]]
# [[:en:Adjacency list|Adjacency list]]
# [[:en:No free lunch theorem|No free lunch theorem]]
# [[:en:In-memory database|In-memory database]]
# [[:en:Tail call|Tail call]]
# [[:en:Key size|Key size]]
# [[:en:Universal Turing machine|Universal Turing machine]]
# [[:en:Higher-order function|Higher-order function]]
# [[:en:JD Edwards|JD Edwards]]
# [[:en:Time series database|Time series database]]
# [[:en:Memory segmentation|Memory segmentation]]
# [[:en:Code page 437|Code page 437]]
# [[:en:String searching algorithm|String searching algorithm]]
# [[:en:Atomicity (database systems)|Atomicity]]
# [[:en:ALGOL 60|ALGOL 60]]
# [[:en:Splay tree|Splay tree]]
# [[:en:Hamiltonian path problem|Hamiltonian path problem]]
# [[:en:Functional dependency|Functional dependency]]
# [[:en:Independent set (graph theory)|Independent set]]
# [[:en:Initialization vector|Initialization vector]]
# [[:en:Row- and column-major order|Row- and column-major order]]
# [[:en:Edit distance|Edit distance]]
# [[:en:Secret sharing|Secret sharing]]
# [[:en:Branch (computer science)|Branch]]
# [[:en:Short-circuit evaluation|Short-circuit evaluation]]
# [[:en:Counting sort|Counting sort]]
# [[:en:Mersenne Twister|Mersenne Twister]]
# [[:en:Max-flow min-cut theorem|Max-flow min-cut theorem]]
# [[:en:Kolmogorov complexity|Kolmogorov complexity]]
# [[:en:Combinatorial optimization|Combinatorial optimization]]
# [[:en:S-expression|S-expression]]
# [[:en:C99|C99]]
# [[:en:Type conversion|Type conversion]]
# [[:en:Computer chess|Computer chess]]
# [[:en:Futures and promises|Futures and promises]]
# [[:en:History of cryptography|History of cryptography]]
# [[:en:Graph (abstract data type)|Graph]]
# [[:en:Message passing|Message passing]]
# [[:en:Set cover problem|Set cover problem]]
# [[:en:Abstraction layer|Abstraction layer]]
# [[:en:Static program analysis|Static program analysis]]
# [[:en:Snowflake schema|Snowflake schema]]
# [[:en:Dynamic programming language|Dynamic programming language]]
# [[:en:Computational complexity of mathematical operations|Computational complexity of mathematical operations]]
# [[:en:Timeline of quantum computing|Timeline of quantum computing]]
# [[:en:PKCS|PKCS]]
# [[:en:Concurrency control|Concurrency control]]
# [[:en:System programming|System programming]]
# [[:en:Radix tree|Radix tree]]
# [[:en:Serializability|Serializability]]
# [[:en:List (abstract data type)|List]]
# [[:en:Inverted index|Inverted index]]
# [[:en:Loose coupling|Loose coupling]]
# [[:en:Cryptographically secure pseudorandom number generator|Cryptographically secure pseudorandom number generator]]
# [[:en:Amortized analysis|Amortized analysis]]
# [[:en:Outline of computer science|Outline of computer science]]
# [[:en:Executive information system|Executive information system]]
# [[:en:Approximate string matching|Approximate string matching]]
# [[:en:Nonlinear programming|Nonlinear programming]]
# [[:en:First-class function|First-class function]]
# [[:en:DBase|DBase]]
# [[:en:Relational operator|Relational operator]]
# [[:en:Pattern matching|Pattern matching]]
# [[:en:Communicating sequential processes|Communicating sequential processes]]
# [[:en:Suffix tree|Suffix tree]]
# [[:en:Codd's 12 rules|Codd's 12 rules]]
# [[:en:Authenticated encryption|Authenticated encryption]]
# [[:en:VC dimension|VC dimension]]
# [[:en:Double-ended queue|Double-ended queue]]
# [[:en:Outline of artificial intelligence|Outline of artificial intelligence]]
# [[:en:Denormalization|Denormalization]]
# [[:en:Formal verification|Formal verification]]
# [[:en:User error|User error]]
# [[:en:Cycle detection|Cycle detection]]
# [[:en:Standard ML|Standard ML]]
# [[:en:Consistency model|Consistency model]]
# [[:en:Static single assignment form|Static single assignment form]]
# [[:en:Randomized algorithm|Randomized algorithm]]
# [[:en:Strassen algorithm|Strassen algorithm]]
# [[:en:Profiling (computer programming)|Profiling]]
# [[:en:Decision problem|Decision problem]]
# [[:en:Comparison of database tools|Comparison of database tools]]
# [[:en:Compare-and-swap|Compare-and-swap]]
# [[:en:Blob detection|Blob detection]]
# [[:en:Constraint satisfaction problem|Constraint satisfaction problem]]
# [[:en:Quantum information|Quantum information]]
# [[:en:Algorithmic efficiency|Algorithmic efficiency]]
# [[:en:Operational data store|Operational data store]]
# [[:en:Interval tree|Interval tree]]
# [[:en:Side effect (computer science)|Side effect]]
# [[:en:Coq|Coq]]
# [[:en:Quickselect|Quickselect]]
# [[:en:Kent Beck|Kent Beck]]
# [[:en:CORDIC|CORDIC]]
# [[:en:Parsing expression grammar|Parsing expression grammar]]
# [[:en:Blind signature|Blind signature]]
# [[:en:Approximation algorithm|Approximation algorithm]]
# [[:en:Cursor (databases)|Cursor]]
# [[:en:Non-deterministic Turing machine|Non-deterministic Turing machine]]
# [[:en:Multiversion concurrency control|Multiversion concurrency control]]
# [[:en:Spatial database|Spatial database]]
# [[:en:Programming language theory|Programming language theory]]
# [[:en:Statement (computer science)|Statement]]
# [[:en:Object code|Object code]]
# [[:en:Candidate key|Candidate key]]
# [[:en:Array programming|Array programming]]
# [[:en:Control flow graph|Control flow graph]]
# [[:en:Fixed-point combinator|Fixed-point combinator]]
# [[:en:Citation index|Citation index]]
# [[:en:Fold (higher-order function)|Fold]]
# [[:en:X86 memory segmentation|X86 memory segmentation]]
# [[:en:Trapdoor function|Trapdoor function]]
# [[:en:Public key fingerprint|Public key fingerprint]]
# [[:en:Feature detection (computer vision)|Feature detection]]
# [[:en:Pumping lemma for regular languages|Pumping lemma for regular languages]]
# [[:en:Where (SQL)|Where]]
# [[:en:Longest common substring problem|Longest common substring problem]]
# [[:en:Web of trust|Web of trust]]
# [[:en:Null (SQL)|Null]]
# [[:en:Handwriting recognition|Handwriting recognition]]
# [[:en:Object file|Object file]]
# [[:en:Duff's device|Duff's device]]
# [[:en:IEEE 754-1985|IEEE 754-1985]]
# [[:en:Reentrancy (computing)|Reentrancy]]
# [[:en:Clipping (computer graphics)|Clipping]]
# [[:en:Affine cipher|Affine cipher]]
# [[:en:Cyc|Cyc]]
# [[:en:Algebraic data type|Algebraic data type]]
# [[:en:Literate programming|Literate programming]]
# [[:en:Topological data analysis|Topological data analysis]]
# [[:en:Web engineering|Web engineering]]
# [[:en:Job shop scheduling|Job shop scheduling]]
# [[:en:Dual EC DRBG|Dual EC DRBG]]
# [[:en:Anonymous P2P|Anonymous P2P]]
# [[:en:Delegation pattern|Delegation pattern]]
# [[:en:Pre-shared key|Pre-shared key]]
# [[:en:Reversible computing|Reversible computing]]
# [[:en:Clipper chip|Clipper chip]]
# [[:en:Oracle machine|Oracle machine]]
# [[:en:Fourth normal form|Fourth normal form]]
# [[:en:Iterator|Iterator]]
# [[:en:Signed zero|Signed zero]]
# [[:en:Continuation-passing style|Continuation-passing style]]
# [[:en:Demand paging|Demand paging]]
# [[:en:Context-free language|Context-free language]]
# [[:en:Haxe|Haxe]]
# [[:en:Avalanche effect|Avalanche effect]]
# [[:en:Don Norman|Don Norman]]
# [[:en:Salsa20|Salsa20]]
# [[:en:Trusted Computing|Trusted Computing]]
# [[:en:Collision attack|Collision attack]]
# [[:en:Peterson's algorithm|Peterson's algorithm]]
# [[:en:Optimizing compiler|Optimizing compiler]]
# [[:en:Cold boot attack|Cold boot attack]]
# [[:en:Local search (optimization)|Local search]]
# [[:en:Void type|Void type]]
# [[:en:Microsoft Jet Database Engine|Microsoft Jet Database Engine]]
# [[:en:Self-modifying code|Self-modifying code]]
# [[:en:Cuckoo hashing|Cuckoo hashing]]
# [[:en:Differential cryptanalysis|Differential cryptanalysis]]
# [[:en:CYK algorithm|CYK algorithm]]
# [[:en:Ring signature|Ring signature]]
# [[:en:Forward chaining|Forward chaining]]
# [[:en:Adversary (cryptography)|Adversary]]
# [[:en:CiteSeerX|CiteSeerX]]
# [[:en:Set (abstract data type)|Set]]
# [[:en:Evaluation strategy|Evaluation strategy]]
# [[:en:Data architecture|Data architecture]]
# [[:en:Mean shift|Mean shift]]
# [[:en:Bibliographic database|Bibliographic database]]
# [[:en:MINIX 3|MINIX 3]]
# [[:en:Starvation (computer science)|Starvation]]
# [[:en:Dependent type|Dependent type]]
# [[:en:Hidden surface determination|Hidden surface determination]]
# [[:en:Glossary of graph theory terms|Glossary of graph theory terms]]
# [[:en:Graph drawing|Graph drawing]]
# [[:en:Entry point|Entry point]]
# [[:en:Classical cipher|Classical cipher]]
# [[:en:Backward chaining|Backward chaining]]
# [[:en:Calling convention|Calling convention]]
# [[:en:Hoare logic|Hoare logic]]
# [[:en:Commitment scheme|Commitment scheme]]
# [[:en:Tree rotation|Tree rotation]]
# [[:en:Consistency (database systems)|Consistency]]
# [[:en:Arthur Samuel|Arthur Samuel]]
# [[:en:Continuation|Continuation]]
# [[:en:Comparison sort|Comparison sort]]
# [[:en:Union type|Union type]]
# [[:en:Factory (object-oriented programming)|Factory]]
# [[:en:Quadratic probing|Quadratic probing]]
# [[:en:Ambiguous grammar|Ambiguous grammar]]
# [[:en:Pseudorandom binary sequence|Pseudorandom binary sequence]]
# [[:en:Entropy encoding|Entropy encoding]]
# [[:en:TorChat|TorChat]]
# [[:en:Cocktail shaker sort|Cocktail shaker sort]]
# [[:en:Model checking|Model checking]]
# [[:en:De Bruijn sequence|De Bruijn sequence]]
# [[:en:Application virtualization|Application virtualization]]
# [[:en:Business performance management|Business performance management]]
# [[:en:AI-complete|AI-complete]]
# [[:en:Minimum-cost flow problem|Minimum-cost flow problem]]
# [[:en:List of important publications in computer science|List of important publications in computer science]]
# [[:en:List of online databases|List of online databases]]
# [[:en:K-ary tree|K-ary tree]]
# [[:en:S-box|S-box]]
# [[:en:OLE DB|OLE DB]]
# [[:en:Comparison of parser generators|Comparison of parser generators]]
# [[:en:Schnorr signature|Schnorr signature]]
# [[:en:SIGGRAPH|SIGGRAPH]]
# [[:en:Affective computing|Affective computing]]
# [[:en:Information visualization|Information visualization]]
# [[:en:List of computer science conferences|List of computer science conferences]]
# [[:en:Binary decision diagram|Binary decision diagram]]
# [[:en:CCM mode|CCM mode]]
# [[:en:Treemapping|Treemapping]]
# [[:en:Lamport signature|Lamport signature]]
# [[:en:Communications security|Communications security]]
# [[:en:Embedded database|Embedded database]]
# [[:en:Software transactional memory|Software transactional memory]]
# [[:en:David Cheriton|David Cheriton]]
# [[:en:SQL Server Compact|SQL Server Compact]]
# [[:en:2-satisfiability|2-satisfiability]]
# [[:en:Game tree|Game tree]]
# [[:en:System F|System F]]
# [[:en:Meet-in-the-middle attack|Meet-in-the-middle attack]]
# [[:en:Malleability (cryptography)|Malleability]]
# [[:en:Dynamic loading|Dynamic loading]]
# [[:en:A New Kind of Science|A New Kind of Science]]
# [[:en:Code (cryptography)|Code]]
# [[:en:No free lunch in search and optimization|No free lunch in search and optimization]]
# [[:en:Subtyping|Subtyping]]
# [[:en:Pipeline (software)|Pipeline]]
# [[:en:Parametric polymorphism|Parametric polymorphism]]
# [[:en:Computer programming in the punched card era|Computer programming in the punched card era]]
# [[:en:Map (higher-order function)|Map]]
# [[:en:Collision resistance|Collision resistance]]
# [[:en:Communications Security Establishment|Communications Security Establishment]]
# [[:en:Dominating set|Dominating set]]
# [[:en:Christos Papadimitriou|Christos Papadimitriou]]
# [[:en:BQP|BQP]]
# [[:en:Bitmap index|Bitmap index]]
# [[:en:DPLL algorithm|DPLL algorithm]]
# [[:en:Left recursion|Left recursion]]
# [[:en:Graph isomorphism problem|Graph isomorphism problem]]
# [[:en:Disassembler|Disassembler]]
# [[:en:Declaration (computer programming)|Declaration]]
# [[:en:Las Vegas algorithm|Las Vegas algorithm]]
# [[:en:Suffix array|Suffix array]]
# [[:en:CPLEX|CPLEX]]
# [[:en:Computational intelligence|Computational intelligence]]
# [[:en:ALGOL 68|ALGOL 68]]
# [[:en:Register allocation|Register allocation]]
# [[:en:Terminal and nonterminal symbols|Terminal and nonterminal symbols]]
# [[:en:Model-driven architecture|Model-driven architecture]]
# [[:en:Unification (computer science)|Unification]]
# [[:en:Treap|Treap]]
# [[:en:CBC-MAC|CBC-MAC]]
# [[:en:Denotational semantics|Denotational semantics]]
# [[:en:End-user development|End-user development]]
# [[:en:Universal hashing|Universal hashing]]
# [[:en:Delete (SQL)|Delete]]
# [[:en:Temporal Key Integrity Protocol|Temporal Key Integrity Protocol]]
# [[:en:DFA minimization|DFA minimization]]
# [[:en:Fifth normal form|Fifth normal form]]
# [[:en:Key server (cryptographic)|Key server]]
# [[:en:RSA problem|RSA problem]]
# [[:en:SQL-92|SQL-92]]
# [[:en:Aravind Joshi|Aravind Joshi]]
# [[:en:Cooperative multitasking|Cooperative multitasking]]
# [[:en:Polynomial-time reduction|Polynomial-time reduction]]
# [[:en:Answer set programming|Answer set programming]]
# [[:en:Squeak|Squeak]]
# [[:en:Access Control Matrix|Access Control Matrix]]
# [[:en:Exact cover|Exact cover]]
# [[:en:H.263|H.263]]
# [[:en:Network Security Services|Network Security Services]]
# [[:en:Technology strategy|Technology strategy]]
# [[:en:Rope (data structure)|Rope]]
# [[:en:Blum Blum Shub|Blum Blum Shub]]
# [[:en:Autokey cipher|Autokey cipher]]
# [[:en:Tracing garbage collection|Tracing garbage collection]]
# [[:en:Pseudo-polynomial time|Pseudo-polynomial time]]
# [[:en:Single event upset|Single event upset]]
# [[:en:Subgraph isomorphism problem|Subgraph isomorphism problem]]
# [[:en:Carnegie Mellon School of Computer Science|Carnegie Mellon School of Computer Science]]
# [[:en:Optimal asymmetric encryption padding|Optimal asymmetric encryption padding]]
# [[:en:Algorithmic information theory|Algorithmic information theory]]
# [[:en:Operator-precedence parser|Operator-precedence parser]]
# [[:en:Armstrong's axioms|Armstrong's axioms]]
# [[:en:Dutch national flag problem|Dutch national flag problem]]
# [[:en:Linear programming relaxation|Linear programming relaxation]]
# [[:en:Tree sort|Tree sort]]
# [[:en:74181|74181]]
# [[:en:Graph partition|Graph partition]]
# [[:en:Confusion and diffusion|Confusion and diffusion]]
# [[:en:Opportunistic TLS|Opportunistic TLS]]
# [[:en:Glasgow Haskell Compiler|Glasgow Haskell Compiler]]
# [[:en:Sorting network|Sorting network]]
# [[:en:Call graph|Call graph]]
# [[:en:IBM Informix|IBM Informix]]
# [[:en:Gerald Jay Sussman|Gerald Jay Sussman]]
# [[:en:PowerPC G4|PowerPC G4]]
# [[:en:Block size (cryptography)|Block size]]
# [[:en:EFF DES cracker|EFF DES cracker]]
# [[:en:Lamport's bakery algorithm|Lamport's bakery algorithm]]
# [[:en:Autonomic computing|Autonomic computing]]
# [[:en:Advanced Encryption Standard process|Advanced Encryption Standard process]]
# [[:en:Artificial bee colony algorithm|Artificial bee colony algorithm]]
# [[:en:Van Emde Boas tree|Van Emde Boas tree]]
# [[:en:Computational creativity|Computational creativity]]
# [[:en:Rewriting|Rewriting]]
# [[:en:Radiosity (computer graphics)|Radiosity]]
# [[:en:Operational semantics|Operational semantics]]
# [[:en:Deep Thought (chess computer)|Deep Thought]]
# [[:en:Maximal independent set|Maximal independent set]]
# [[:en:Data domain|Data domain]]
# [[:en:Transactional memory|Transactional memory]]
# [[:en:Poly1305|Poly1305]]
# [[:en:Instrumentation (computer programming)|Instrumentation]]
# [[:en:Jakob Nielsen (usability consultant)|Jakob Nielsen]]
# [[:en:Paillier cryptosystem|Paillier cryptosystem]]
# [[:en:Structural type system|Structural type system]]
# [[:en:ElGamal signature scheme|ElGamal signature scheme]]
# [[:en:Graph cuts in computer vision|Graph cuts in computer vision]]
# [[:en:Variable-length code|Variable-length code]]
# [[:en:CODASYL|CODASYL]]
# [[:en:Microsoft Data Access Components|Microsoft Data Access Components]]
# [[:en:Anonymous remailer|Anonymous remailer]]
# [[:en:Chosen-ciphertext attack|Chosen-ciphertext attack]]
# [[:en:Atomic commit|Atomic commit]]
# [[:en:Correctness (computer science)|Correctness]]
# [[:en:Relational calculus|Relational calculus]]
# [[:en:Color quantization|Color quantization]]
# [[:en:Aspect-oriented software development|Aspect-oriented software development]]
# [[:en:Empty string|Empty string]]
# [[:en:Tacit programming|Tacit programming]]
# [[:en:NSAKEY|NSAKEY]]
# [[:en:Chromatic polynomial|Chromatic polynomial]]
# [[:en:Karger's algorithm|Karger's algorithm]]
# [[:en:Parameterized complexity|Parameterized complexity]]
# [[:en:Abstract interpretation|Abstract interpretation]]
# [[:en:Frame (artificial intelligence)|Frame]]
# [[:en:W. T. Tutte|W. T. Tutte]]
# [[:en:French Institute for Research in Computer Science and Automation|French Institute for Research in Computer Science and Automation]]
# [[:en:ID-based encryption|ID-based encryption]]
# [[:en:SQL Anywhere|SQL Anywhere]]
# [[:en:Data aggregation|Data aggregation]]
# [[:en:Dead code elimination|Dead code elimination]]
# [[:en:NetLogo|NetLogo]]
# [[:en:Camellia (cipher)|Camellia]]
# [[:en:Hadamard code|Hadamard code]]
# [[:en:Data element|Data element]]
# [[:en:Cigarette smokers problem|Cigarette smokers problem]]
# [[:en:Presburger arithmetic|Presburger arithmetic]]
# [[:en:Ralph Kimball|Ralph Kimball]]
# [[:en:AA tree|AA tree]]
# [[:en:Asymptotic computational complexity|Asymptotic computational complexity]]
# [[:en:Unique games conjecture|Unique games conjecture]]
# [[:en:Durability (database systems)|Durability]]
# [[:en:Proof assistant|Proof assistant]]
# [[:en:Canonical LR parser|Canonical LR parser]]
# [[:en:Deterministic pushdown automaton|Deterministic pushdown automaton]]
# [[:en:Earley parser|Earley parser]]
# [[:en:Expander graph|Expander graph]]
# [[:en:Loop optimization|Loop optimization]]
# [[:en:Channel I/O|Channel I/O]]
# [[:en:Computation tree logic|Computation tree logic]]
# [[:en:Semantic security|Semantic security]]
# [[:en:Constant folding|Constant folding]]
# [[:en:Ciphertext indistinguishability|Ciphertext indistinguishability]]
# [[:en:Ad hoc polymorphism|Ad hoc polymorphism]]
# [[:en:Name binding|Name binding]]
# [[:en:Destructor (computer programming)|Destructor]]
# [[:en:Function composition (computer science)|Function composition]]
# [[:en:Jonathan Zittrain|Jonathan Zittrain]]
# [[:en:McEliece cryptosystem|McEliece cryptosystem]]
# [[:en:XOR linked list|XOR linked list]]
# [[:en:Skipjack (cipher)|Skipjack]]
# [[:en:DBLP|DBLP]]
# [[:en:Accuracy paradox|Accuracy paradox]]
# [[:en:Schedule (computer science)|Schedule]]
# [[:en:Concatenative programming language|Concatenative programming language]]
# [[:en:Modula-3|Modula-3]]
# [[:en:Lagrangian relaxation|Lagrangian relaxation]]
# [[:en:Interactive proof system|Interactive proof system]]
# [[:en:Parallel random-access machine|Parallel random-access machine]]
# [[:en:MAINWAY|MAINWAY]]
# [[:en:Nominal type system|Nominal type system]]
# [[:en:NTRUEncrypt|NTRUEncrypt]]
# [[:en:Montgomery modular multiplication|Montgomery modular multiplication]]
# [[:en:Distributed algorithm|Distributed algorithm]]
# [[:en:Trusted Computing Group|Trusted Computing Group]]
# [[:en:Bees algorithm|Bees algorithm]]
# [[:en:Turing degree|Turing degree]]
# [[:en:Compiler-compiler|Compiler-compiler]]
# [[:en:NSA encryption systems|NSA encryption systems]]
# [[:en:Crypt (Unix)|Crypt]]
# [[:en:Isabelle (proof assistant)|Isabelle]]
# [[:en:Arts and Humanities Citation Index|Arts and Humanities Citation Index]]
# [[:en:Terry Sejnowski|Terry Sejnowski]]
# [[:en:Collection (abstract data type)|Collection]]
# [[:en:Yarrow algorithm|Yarrow algorithm]]
# [[:en:Merge (version control)|Merge]]
# [[:en:Hybrid cryptosystem|Hybrid cryptosystem]]
# [[:en:Powerset construction|Powerset construction]]
# [[:en:Sharp-P-complete|Sharp-P-complete]]
# [[:en:Keystroke-level model|Keystroke-level model]]
# [[:en:Database theory|Database theory]]
# [[:en:Commit (data management)|Commit]]
# [[:en:Secure voice|Secure voice]]
# [[:en:Naked objects|Naked objects]]
# [[:en:PowerPC 7xx|PowerPC 7xx]]
# [[:en:Rule 184|Rule 184]]
# [[:en:Inline assembler|Inline assembler]]
# [[:en:Unit type|Unit type]]
# [[:en:Structural induction|Structural induction]]
# [[:en:Executable UML|Executable UML]]
# [[:en:Arlington Hall|Arlington Hall]]
# [[:en:Automatic parallelization|Automatic parallelization]]
# [[:en:B*|B*]]
# [[:en:Acoustic cryptanalysis|Acoustic cryptanalysis]]
# [[:en:GLR parser|GLR parser]]
# [[:en:Polynomial-time approximation scheme|Polynomial-time approximation scheme]]
# [[:en:Filesystem-level encryption|Filesystem-level encryption]]
# [[:en:Rubberhose (file system)|Rubberhose]]
# [[:en:Grille (cryptography)|Grille]]
# [[:en:Mutual recursion|Mutual recursion]]
# [[:en:Dominator (graph theory)|Dominator]]
# [[:en:Gpg4win|Gpg4win]]
# [[:en:Deterministic context-free language|Deterministic context-free language]]
# [[:en:Leftist tree|Leftist tree]]
# [[:en:Catamorphism|Catamorphism]]
# [[:en:Back-end database|Back-end database]]
# [[:en:Call-with-current-continuation|Call-with-current-continuation]]
# [[:en:Average-case complexity|Average-case complexity]]
# [[:en:Agent-based computational economics|Agent-based computational economics]]
# [[:en:Fortuna (PRNG)|Fortuna]]
# [[:en:Turing reduction|Turing reduction]]
# [[:en:PCP theorem|PCP theorem]]
# [[:en:Partial evaluation|Partial evaluation]]
# [[:en:Bill Inmon|Bill Inmon]]
# [[:en:Corecursion|Corecursion]]
# [[:en:SQL:2003|SQL:2003]]
# [[:en:Rabin cryptosystem|Rabin cryptosystem]]
# [[:en:Greibach normal form|Greibach normal form]]
# [[:en:Comparison of object-relational database management systems|Comparison of object-relational database management systems]]
# [[:en:Cryptographic Service Provider|Cryptographic Service Provider]]
# [[:en:Pairing-based cryptography|Pairing-based cryptography]]
# [[:en:Generic function|Generic function]]
# [[:en:Zentralblatt MATH|Zentralblatt MATH]]
# [[:en:Crypto phone|Crypto phone]]
# [[:en:Multimap|Multimap]]
# [[:en:Function type|Function type]]
# [[:en:GOST (block cipher)|GOST]]
# [[:en:CAST-128|CAST-128]]
# [[:en:Generalized algebraic data type|Generalized algebraic data type]]
# [[:en:Edmonds' algorithm|Edmonds' algorithm]]
# [[:en:KeeLoq|KeeLoq]]
# [[:en:SQL/PSM|SQL/PSM]]
# [[:en:Circuit complexity|Circuit complexity]]
# [[:en:Tree decomposition|Tree decomposition]]
# [[:en:David J. Farber|David J. Farber]]
# [[:en:Domain-key normal form|Domain-key normal form]]
# [[:en:Simple Features|Simple Features]]
# [[:en:Graph minor|Graph minor]]
# [[:en:40-bit encryption|40-bit encryption]]
# [[:en:Chan's algorithm|Chan's algorithm]]
# [[:en:Transaction data|Transaction data]]
# [[:en:Kleene's recursion theorem|Kleene's recursion theorem]]
# [[:en:Object type (object-oriented programming)|Object type]]
# [[:en:Operational system|Operational system]]
# [[:en:Pairing heap|Pairing heap]]
# [[:en:Jim Bell|Jim Bell]]
# [[:en:Government database|Government database]]
# [[:en:O(1) scheduler|O(1) scheduler]]
# [[:en:Michael A. Jackson|Michael A. Jackson]]
# [[:en:Guarded Command Language|Guarded Command Language]]
# [[:en:List of complexity classes|List of complexity classes]]
# [[:en:List of terms relating to algorithms and data structures|List of terms relating to algorithms and data structures]]
# [[:en:Linear grammar|Linear grammar]]
# [[:en:Ross J. Anderson|Ross J. Anderson]]
# [[:en:Introduction to Automata Theory, Languages, and Computation|Introduction to Automata Theory]]
# [[:en:TLS-PSK|TLS-PSK]]
# [[:en:Generalized suffix tree|Generalized suffix tree]]
# [[:en:Domain-specific modeling|Domain-specific modeling]]
# [[:en:Astrophysics Data System|Astrophysics Data System]]
# [[:en:Edge cover|Edge cover]]
# [[:en:W-shingling|W-shingling]]
# [[:en:Upper ontology|Upper ontology]]
# [[:en:SLD resolution|SLD resolution]]
# [[:en:Btrieve|Btrieve]]
# [[:en:Charles H. Moore|Charles H. Moore]]
# [[:en:Station-to-Station protocol|Station-to-Station protocol]]
# [[:en:L (complexity)|L]]
# [[:en:Authorization certificate|Authorization certificate]]
# [[:en:OCB mode|OCB mode]]
# [[:en:Distributed concurrency control|Distributed concurrency control]]
# [[:en:String operations|String operations]]
# [[:en:Predicate transformer semantics|Predicate transformer semantics]]
# [[:en:Pie menu|Pie menu]]
# [[:en:Jeffrey Ullman|Jeffrey Ullman]]
# [[:en:Search problem|Search problem]]
# [[:en:Operator-precedence grammar|Operator-precedence grammar]]
# [[:en:Flashsort|Flashsort]]
# [[:en:Trellis (graph)|Trellis]]
# [[:en:Brian Reid (computer scientist)|Brian Reid]]
# [[:en:EAX mode|EAX mode]]
# [[:en:Blinding (cryptography)|Blinding]]
# [[:en:Hutter Prize|Hutter Prize]]
# [[:en:Mizar system|Mizar system]]
# [[:en:Threshold cryptosystem|Threshold cryptosystem]]
# [[:en:Role-oriented programming|Role-oriented programming]]
# [[:en:Check constraint|Check constraint]]
# [[:en:Automated proof checking|Automated proof checking]]
# [[:en:Esterel|Esterel]]
# [[:en:Proxy re-encryption|Proxy re-encryption]]
# [[:en:Knuth Prize|Knuth Prize]]
# [[:en:CMAC|CMAC]]
# [[:en:Pairing|Pairing]]
# [[:en:Total functional programming|Total functional programming]]
# [[:en:Communication complexity|Communication complexity]]
# [[:en:Feedback arc set|Feedback arc set]]
# [[:en:Competitive analysis (online algorithm)|Competitive analysis]]
# [[:en:Quantum walk|Quantum walk]]
# [[:en:NESSIE|NESSIE]]
# [[:en:Cardan grille|Cardan grille]]
# [[:en:The Third Manifesto|The Third Manifesto]]
# [[:en:Integrity constraints|Integrity constraints]]
# [[:en:Cryptography law|Cryptography law]]
# [[:en:SQL:2008|SQL:2008]]
# [[:en:Interface-based programming|Interface-based programming]]
# [[:en:Fair-share scheduling|Fair-share scheduling]]
# [[:en:Database audit|Database audit]]
# [[:en:Internet studies|Internet studies]]
# [[:en:BD+|BD+]]
# [[:en:Snark (graph theory)|Snark]]
# [[:en:Probabilistically checkable proof|Probabilistically checkable proof]]
# [[:en:Skew heap|Skew heap]]
# [[:en:Expression-oriented programming language|Expression-oriented programming language]]
# [[:en:Dijkstra Prize|Dijkstra Prize]]
# [[:en:Language technology|Language technology]]
# [[:en:A Symbolic Analysis of Relay and Switching Circuits|A Symbolic Analysis of Relay and Switching Circuits]]
# [[:en:Tutte polynomial|Tutte polynomial]]
# [[:en:3M computer|3M computer]]
# [[:en:KASUMI|KASUMI]]
# [[:en:Tomaso Poggio|Tomaso Poggio]]
# [[:en:Asymptotically optimal algorithm|Asymptotically optimal algorithm]]
# [[:en:Data warehouse appliance|Data warehouse appliance]]
# [[:en:Cyberinfrastructure|Cyberinfrastructure]]
# [[:en:Three-pass protocol|Three-pass protocol]]
# [[:en:D (data language specification)|D]]
# [[:en:Anonym.OS|Anonym.OS]]
# [[:en:Jack Edmonds|Jack Edmonds]]
# [[:en:Delimited continuation|Delimited continuation]]
# [[:en:IBM Research - Almaden|IBM Research - Almaden]]
# [[:en:Community network|Community network]]
# [[:en:P/poly|P/poly]]
# [[:en:Lustre (programming language)|Lustre]]
# [[:en:Probabilistic encryption|Probabilistic encryption]]
# [[:en:Adaptive quadrature|Adaptive quadrature]]
# [[:en:Vantage-point tree|Vantage-point tree]]
# [[:en:Conditional loop|Conditional loop]]
# [[:en:McCarthy 91 function|McCarthy 91 function]]
# [[:en:Fusion tree|Fusion tree]]
# [[:en:Bozo bit|Bozo bit]]
# [[:en:Jack Dongarra|Jack Dongarra]]
# [[:en:Hasty Pudding cipher|Hasty Pudding cipher]]
# [[:en:John Gage|John Gage]]
# [[:en:Application streaming|Application streaming]]
# [[:en:MQV|MQV]]
# [[:en:Boomerang attack|Boomerang attack]]
# [[:en:Commitment ordering|Commitment ordering]]
# [[:en:Key encapsulation|Key encapsulation]]
# [[:en:Introselect|Introselect]]
# [[:en:Data element definition|Data element definition]]
# [[:en:Coinduction|Coinduction]]
# [[:en:OpenBSD security features|OpenBSD security features]]
# [[:en:CAcert.org|CAcert.org]]
# [[:en:Result set|Result set]]
# [[:en:Link time|Link time]]
# [[:en:Attack model|Attack model]]
# [[:en:Quantum finite automata|Quantum finite automata]]
# [[:en:Michael McRobbie|Michael McRobbie]]
# [[:en:Arrow (computer science)|Arrow]]
# [[:en:Web of Knowledge|Web of Knowledge]]
# [[:en:AN/CYZ-10|AN/CYZ-10]]
# [[:en:ISAAC (cipher)|ISAAC]]
# [[:en:Fractional cascading|Fractional cascading]]
# [[:en:Multivariate cryptography|Multivariate cryptography]]
# [[:en:A5/2|A5/2]]
# [[:en:IEEE P1363|IEEE P1363]]
# [[:en:Feedback vertex set|Feedback vertex set]]
# [[:en:Abstraction inversion|Abstraction inversion]]
# [[:en:Deterministic encryption|Deterministic encryption]]
# [[:en:Peter J. Denning|Peter J. Denning]]
# [[:en:Maclisp|Maclisp]]
# [[:en:YAWL|YAWL]]
# [[:en:Enterprise Data Modeling|Enterprise Data Modeling]]
# [[:en:Anubis (cipher)|Anubis]]
# [[:en:David Eppstein|David Eppstein]]
# [[:en:Andrew Project|Andrew Project]]
# [[:en:ARIA (cipher)|ARIA]]
# [[:en:Catalog Service for the Web|Catalog Service for the Web]]
# [[:en:Aozora Bunko|Aozora Bunko]]
# [[:en:E0 (cipher)|E0]]
# [[:en:L-attributed grammar|L-attributed grammar]]
# [[:en:BATON|BATON]]
# [[:en:Lock (database)|Lock]]
# [[:en:Automatic label placement|Automatic label placement]]
# [[:en:ZINC database|ZINC database]]
# [[:en:Parity game|Parity game]]
# [[:en:Secure Hash Standard|Secure Hash Standard]]
# [[:en:Combinatorial search|Combinatorial search]]
# [[:en:Platform-independent model|Platform-independent model]]
# [[:en:Verifiable secret sharing|Verifiable secret sharing]]
# [[:en:Broadcast encryption|Broadcast encryption]]
# [[:en:SPIN model checker|SPIN model checker]]
# [[:en:Kernelization|Kernelization]]
# [[:en:Gadget (computer science)|Gadget]]
# [[:en:V (operating system)|V]]
# [[:en:FEAL|FEAL]]
# [[:en:Order by|Order by]]
# [[:en:Calculus of communicating systems|Calculus of communicating systems]]
# [[:en:Call Level Interface|Call Level Interface]]
# [[:en:One-way quantum computer|One-way quantum computer]]
# [[:en:Lucid (programming language)|Lucid]]
# [[:en:Computers and Intractability|Computers and Intractability]]
# [[:en:Brian Randell|Brian Randell]]
# [[:en:Artificial stupidity|Artificial stupidity]]
# [[:en:Vertex separator|Vertex separator]]
# [[:en:Laguerre's method|Laguerre's method]]
# [[:en:POSSE project|POSSE project]]
# [[:en:Mario Szegedy|Mario Szegedy]]
# [[:en:Interlock protocol|Interlock protocol]]
# [[:en:Peter Landin|Peter Landin]]
# [[:en:Regular tree grammar|Regular tree grammar]]
# [[:en:Cobham's thesis|Cobham's thesis]]
# [[:en:Stable model semantics|Stable model semantics]]
# [[:en:National DNA database|National DNA database]]
# [[:en:Recordset|Recordset]]
# [[:en:Server-Gated Cryptography|Server-Gated Cryptography]]
# [[:en:List of academic computer science departments|List of academic computer science departments]]
# [[:en:Jim Highsmith|Jim Highsmith]]
# [[:en:Quantum digital signature|Quantum digital signature]]
# [[:en:WATFIV|WATFIV]]
# [[:en:Alex Biryukov|Alex Biryukov]]
# [[:en:Merkle's Puzzles|Merkle's Puzzles]]
# [[:en:Hugh Darwen|Hugh Darwen]]
# [[:en:Block cellular automaton|Block cellular automaton]]
# [[:en:Soft heap|Soft heap]]
# [[:en:Semi-Thue system|Semi-Thue system]]
# [[:en:ICE (cipher)|ICE]]
# [[:en:Oakley protocol|Oakley protocol]]
# [[:en:Distinguishing attack|Distinguishing attack]]
# [[:en:ContactPoint|ContactPoint]]
# [[:en:CAST-256|CAST-256]]
# [[:en:Proof complexity|Proof complexity]]
# [[:en:Cluster state|Cluster state]]
# [[:en:Normal number (computing)|Normal number]]
# [[:en:Scott Ambler|Scott Ambler]]
# [[:en:Deniable authentication|Deniable authentication]]
# [[:en:The Humane Interface|The Humane Interface]]
# [[:en:R (complexity)|R]]
# [[:en:James Clark (programmer)|James Clark]]
# [[:en:KeY|KeY]]
# [[:en:Combined Cipher Machine|Combined Cipher Machine]]
# [[:en:A-normal form|A-normal form]]
# [[:en:Addition-chain exponentiation|Addition-chain exponentiation]]
# [[:en:St-connectivity|St-connectivity]]
# [[:en:Strong NP-completeness|Strong NP-completeness]]
# [[:en:List decoding|List decoding]]
# [[:en:AntiPatterns|AntiPatterns]]
# [[:en:Cellular Message Encryption Algorithm|Cellular Message Encryption Algorithm]]
# [[:en:Integrated Computer-Aided Manufacturing|Integrated Computer-Aided Manufacturing]]
# [[:en:Star height problem|Star height problem]]
# [[:en:Higher-order abstract syntax|Higher-order abstract syntax]]
# [[:en:3-Way|3-Way]]
# [[:en:Raphael Finkel|Raphael Finkel]]
# [[:en:List of functional programming topics|List of functional programming topics]]
# [[:en:John Alan Robinson|John Alan Robinson]]
# [[:en:Anonymous recursion|Anonymous recursion]]
# [[:en:Hirsch conjecture|Hirsch conjecture]]
# [[:en:Hidden Field Equations|Hidden Field Equations]]
# [[:en:Action at a distance (computer programming)|Action at a distance]]
# [[:en:NSPACE|NSPACE]]
# [[:en:David E. Goldberg|David E. Goldberg]]
# [[:en:Graph state|Graph state]]
# [[:en:Information-based complexity|Information-based complexity]]
# [[:en:Book embedding|Book embedding]]
# [[:en:Tony Hey|Tony Hey]]
# [[:en:Kuroda normal form|Kuroda normal form]]
# [[:en:Common Algebraic Specification Language|Common Algebraic Specification Language]]
# [[:en:Ronald Fedkiw|Ronald Fedkiw]]
# [[:en:Full Domain Hash|Full Domain Hash]]
# [[:en:NTRUSign|NTRUSign]]
# [[:en:Hessian form of an elliptic curve|Hessian form of an elliptic curve]]
# [[:en:P-Grid|P-Grid]]
# [[:en:Benaloh cryptosystem|Benaloh cryptosystem]]
# [[:en:Adaptive grammar|Adaptive grammar]]
# [[:en:Blom's scheme|Blom's scheme]]
# [[:en:Automated Mathematician|Automated Mathematician]]
# [[:en:Anticipatory scheduling|Anticipatory scheduling]]
# [[:en:Global serializability|Global serializability]]
# [[:en:Lovelace Medal|Lovelace Medal]]
# [[:en:Schnorr group|Schnorr group]]
# [[:en:Information algebra|Information algebra]]
# [[:en:Symposium on Principles of Programming Languages|Symposium on Principles of Programming Languages]]
# [[:en:Index locking|Index locking]]
# [[:en:Complete (complexity)|Complete]]
# [[:en:2-EXPTIME|2-EXPTIME]]
# [[:en:Strong RSA assumption|Strong RSA assumption]]
# [[:en:Coding by exception|Coding by exception]]
# [[:en:PostBQP|PostBQP]]
# [[:en:Gio Wiederhold|Gio Wiederhold]]
# [[:en:Fagin's theorem|Fagin's theorem]]
# [[:en:Paul H. Cress|Paul H. Cress]]
# [[:en:IDEA NXT|IDEA NXT]]
# [[:en:Rabin signature algorithm|Rabin signature algorithm]]
# [[:en:Abstract family of languages|Abstract family of languages]]
# [[:en:Declarative Referential Integrity|Declarative Referential Integrity]]
# [[:en:Artificial chemistry|Artificial chemistry]]
# [[:en:Heinz Zemanek|Heinz Zemanek]]
# [[:en:Cryptomeria cipher|Cryptomeria cipher]]
# [[:en:Weak NP-completeness|Weak NP-completeness]]
# [[:en:Encyclopedia of Reagents for Organic Synthesis|Encyclopedia of Reagents for Organic Synthesis]]
# [[:en:Charles Goldfarb|Charles Goldfarb]]
# [[:en:Akelarre (cipher)|Akelarre]]
# [[:en:COCONUT98|COCONUT98]]
# [[:en:Architecture of Btrieve|Architecture of Btrieve]]
# [[:en:Concrete security|Concrete security]]
# [[:en:Cocks IBE scheme|Cocks IBE scheme]]
# [[:en:CMN-GOMS|CMN-GOMS]]
# [[:en:Mathematical Optimization Society|Mathematical Optimization Society]]
# [[:en:Advice (complexity)|Advice]]
# [[:en:GMR (cryptography)|GMR]]
# [[:en:Hierocrypt|Hierocrypt]]
# [[:en:Monoculture (computer science)|Monoculture]]
# [[:en:ATLA Religion Database|ATLA Religion Database]]
# [[:en:Implicit certificate|Implicit certificate]]
# [[:en:Efficient Probabilistic Public-Key Encryption Scheme|Efficient Probabilistic Public-Key Encryption Scheme]]
# [[:en:Complexity of constraint satisfaction|Complexity of constraint satisfaction]]
# [[:en:CIPHERUNICORN-A|CIPHERUNICORN-A]]
# [[:en:David S. H. Rosenthal|David S. H. Rosenthal]]
# [[:en:Muller automaton|Muller automaton]]
# [[:en:International Symposium on Graph Drawing|International Symposium on Graph Drawing]]
# [[:en:CIPHERUNICORN-E|CIPHERUNICORN-E]]
# [[:en:SafetyLit|SafetyLit]]
# [[:en:Kotok-McCarthy|Kotok-McCarthy]]
# [[:en:GGH signature scheme|GGH signature scheme]]
# [[:en:Disaster informatics|Disaster informatics]]
# [[:en:Graph-structured stack|Graph-structured stack]]
# [[:en:Decision Linear assumption|Decision Linear assumption]]
# [[:en:Helmut Schreyer|Helmut Schreyer]]
# [[:en:Herb Grosch|Herb Grosch]]
# [[:en:David McGoveran|David McGoveran]]
# [[:en:Gerhard Weikum|Gerhard Weikum]]
# [[:en:Plaintext-aware encryption|Plaintext-aware encryption]]
# [[:en:Conjunctive grammar|Conjunctive grammar]]
# [[:en:Constraint satisfaction dual problem|Constraint satisfaction dual problem]]
# [[:en:Analytical Sciences Digital Library|Analytical Sciences Digital Library]]
# [[:en:Cris Kobryn|Cris Kobryn]]
# [[:en:John Amsden Starkweather|John Amsden Starkweather]]
# [[:en:LR-attributed grammar|LR-attributed grammar]]
# [[:en:Tom Berson|Tom Berson]]
# [[:en:Thomsen Diagrams|Thomsen Diagrams]]
# [[:en:Harmony Compiler|Harmony Compiler]]
# [[:en:Demzilla|Demzilla]]
# [[:en:ADOdb Lite|ADOdb Lite]]
# [[:en:Nikos Lorentzos|Nikos Lorentzos]]
# [[:en:ECLR-attributed grammar|ECLR-attributed grammar]]
</div>
</div>