Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- Theorem proving
- Computer programming 3
- Software engineering 2
- Access control 1
- Air traffic control 1
- Aircraft noise 1
- Automatic theorem proving 1
- Avionics 1
- Calculus 1
- Computer information security 1
- Computer systems performance 1
- Controllers 1
- Decoding 1
- Error correcting codes 1
- Error-correcting codes (Information theory) 1
- Failure 1
- Flight tests 1
- H [infinity symbol] control 1
- H-infinity control 1
- Helicopters 1
- Hovering 1
- Inequalities 1
- Lifting bodies (Aeronautics) 1
- Lifting rotors 1
- Low frequencies 1
- Mathematical programming 1
- Memory (Computers) 1
- Noise 1
- Numerical stability 1
- Polynomials 1
-
1
The sharing of rights and information in a capability-based protection system
Published 1988Online Access
Online Access
Government Document Electronic eBook
-
2
-
3
Exploiting structure introduction and motivation : 1993 annual status report for NASA grant NAG 5-2210 : report period, March 1, 1993 - February 28, 1994 /
Published 1994Government Document Microfilm Book -
4
Design and application of strategies/tactics in higher order logics /
Published 2003Online Access
Online Access
Government Document eBook -
5
Generating test templates via automated theorem proving
Published 1997Government Document Microfilm Book -
6
New double-byte error-correcting codes for memory systems
Published 1996Government Document Microfilm Book -
7
A theory for predicting the rotational and vortex noise of lifting rotors in hover and forward flight /
Published 1969Government Document Book -
8
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem /
Published 2014Online Access
Online Access
Government Document eBook