Engineering & Materials Science
Semantics
82%
Algebra
71%
Specifications
65%
Computer programming languages
63%
Temporal logic
62%
Field effect transistors
49%
Model checking
48%
High level languages
35%
Data storage equipment
35%
Visibility
30%
Communication
30%
Hardware security
29%
Reduced instruction set computing
28%
Surface mount technology
26%
Monitoring
25%
Computer hardware
25%
Atoms
23%
Internet
23%
Computer science
23%
Microprocessor chips
20%
Costs
20%
Cyanobacteria
19%
Object oriented programming
18%
Testing
15%
Mathematical models
15%
Network protocols
15%
Large scale systems
13%
Ethers
13%
Biological systems
13%
Cellular telephones
11%
Differential equations
10%
Set theory
9%
Critical infrastructures
9%
Computer operating systems
8%
Modeling languages
8%
Engineers
8%
Linux
7%
Managers
7%
System-on-chip
7%
Substitution reactions
7%
Interfaces (computer)
7%
Formal verification
6%
Codes (standards)
6%
Demonstrations
6%
Software engineering
6%
Industry
5%
Systems engineering
5%
Formal specification
5%
Specification languages
5%
Topology
5%
Mathematics
Calculus
100%
Free Algebras
54%
Communication
53%
Java
41%
Resources
35%
Logic
34%
π-calculus
30%
Monitoring
23%
Encoding
23%
Computer Science
21%
Equivalence
21%
Compiler
20%
Algebraic Theory
19%
Model Checking
19%
Bisimulation
18%
Language
18%
Intuitive
18%
Model
18%
Form
17%
Libraries
16%
Congruence
14%
Text
14%
Context
14%
Typed lambda Calculus
13%
Mobile Phone
13%
Profile
13%
Visibility
12%
First-order
12%
Resource Management
11%
Reservation
11%
Sharing
10%
Model Category
10%
Computing
9%
Monads
8%
Expand
8%
Framework
8%
Modeling Language
8%
Concurrent
8%
Semantics
8%
Community
7%
Lowest
7%
Interaction
7%
Functor
7%
Security Protocols
7%
Vary
7%
Assignment
6%
State-space Model
6%
Specification
6%
Temporal Logic
6%
Covering
6%