| lib-skill:computer-science--abstract-domain-library | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--abstract-domain-library | specialization:computer-science | Specialization |
| lib-skill:computer-science--amortized-analysis-assistant | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--amortized-analysis-assistant | specialization:computer-science | Specialization |
| lib-skill:computer-science--approximation-ratio-calculator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--approximation-ratio-calculator | specialization:computer-science | Specialization |
| lib-skill:computer-science--asymptotic-notation-calculator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--asymptotic-notation-calculator | specialization:computer-science | Specialization |
| lib-skill:computer-science--benchmark-suite-manager | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--benchmark-suite-manager | specialization:computer-science | Specialization |
| lib-skill:computer-science--complexity-class-oracle | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--complexity-class-oracle | specialization:computer-science | Specialization |
| lib-skill:computer-science--consensus-protocol-library | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--consensus-protocol-library | specialization:computer-science | Specialization |
| lib-skill:computer-science--counterexample-guided-refinement | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--counterexample-guided-refinement | specialization:computer-science | Specialization |
| lib-skill:computer-science--data-flow-analysis-framework | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--data-flow-analysis-framework | specialization:computer-science | Specialization |
| lib-skill:computer-science--dsl-compiler-generator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--dsl-compiler-generator | specialization:computer-science | Specialization |
| lib-skill:computer-science--latex-proof-formatter | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--latex-proof-formatter | specialization:computer-science | Specialization |
| lib-skill:computer-science--linearizability-checker | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--linearizability-checker | specialization:computer-science | Specialization |
| lib-skill:computer-science--loop-invariant-generator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--loop-invariant-generator | specialization:computer-science | Specialization |
| lib-skill:computer-science--memory-model-analyzer | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--memory-model-analyzer | specialization:computer-science | Specialization |
| lib-skill:computer-science--model-checker-interface | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--model-checker-interface | specialization:computer-science | Specialization |
| lib-skill:computer-science--operational-semantics-builder | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--operational-semantics-builder | specialization:computer-science | Specialization |
| lib-skill:computer-science--optimization-correctness-verifier | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--optimization-correctness-verifier | specialization:computer-science | Specialization |
| lib-skill:computer-science--probabilistic-analysis-toolkit | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--probabilistic-analysis-toolkit | specialization:computer-science | Specialization |
| lib-skill:computer-science--recurrence-solver | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--recurrence-solver | specialization:computer-science | Specialization |
| lib-skill:computer-science--reduction-builder | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--reduction-builder | specialization:computer-science | Specialization |
| lib-skill:computer-science--related-work-analyzer | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--related-work-analyzer | specialization:computer-science | Specialization |
| lib-skill:computer-science--smt-solver-interface | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--smt-solver-interface | specialization:computer-science | Specialization |
| lib-skill:computer-science--soundness-proof-assistant | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--soundness-proof-assistant | specialization:computer-science | Specialization |
| lib-skill:computer-science--ssa-transformation-library | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--ssa-transformation-library | specialization:computer-science | Specialization |
| lib-skill:computer-science--synthesis-specification-language | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--synthesis-specification-language | specialization:computer-science | Specialization |
| lib-skill:computer-science--temporal-logic-translator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--temporal-logic-translator | specialization:computer-science | Specialization |
| lib-skill:computer-science--termination-analyzer | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--termination-analyzer | specialization:computer-science | Specialization |
| lib-skill:computer-science--theorem-prover-interface | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--theorem-prover-interface | specialization:computer-science | Specialization |
| lib-skill:computer-science--tla-plus-generator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--tla-plus-generator | specialization:computer-science | Specialization |
| lib-skill:computer-science--turing-machine-simulator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--turing-machine-simulator | specialization:computer-science | Specialization |
| lib-skill:computer-science--type-inference-engine | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--type-inference-engine | specialization:computer-science | Specialization |
| lib-skill:computer-science--typing-rule-generator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--typing-rule-generator | specialization:computer-science | Specialization |
| lib-skill:electrical-engineering--reliability-analysis | specialization:electrical-engineering | Specialization |
| lib-skill:electrical-engineering--test-automation | specialization:electrical-engineering | Specialization |
| lib-skill:electrical-engineering--thermal-analysis | specialization:electrical-engineering | Specialization |
| lib-skill:environmental-engineering--air-pollution-control | specialization:environmental-engineering | Specialization |
| lib-skill:environmental-engineering--membrane-system-design | specialization:environmental-engineering | Specialization |
| lib-skill:environmental-engineering--stormwater-management | specialization:environmental-engineering | Specialization |
| lib-skill:environmental-engineering--wastewater-optimization | specialization:environmental-engineering | Specialization |
| lib-skill:industrial-engineering--a3-problem-solver | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--anthropometric-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--benchmarking-analyst | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--capacity-planner | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--control-chart-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--decision-tree-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--demand-forecaster | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--discrete-event-simulator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--distribution-fitter | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--doe-designer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--facility-layout-optimizer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--five-s-auditor | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--fmea-facilitator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--gage-rr-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--integer-program-solver | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--inventory-optimizer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--kaizen-event-facilitator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--line-balancer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--linear-program-modeler | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--mcda-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--network-optimizer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--niosh-lifting-calculator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--oee-calculator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--operational-dashboard-generator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--pareto-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--pdca-tracker | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--process-capability-calculator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--process-mining-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--production-scheduler | specialization:industrial-engineering | Specialization |