MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Subject: Computer programming
×
Collection
Electronic Theses & Dissertations
6
Material Type
Theses
6
Language
English
6
Copyright Status
In Copyright
6
Subject
Sort by
A-Z
Count
Algorithms
1
Automatic programming (Computer science)
1
C (Computer program language)
1
Computer programming--Quality control
1
Computer programs--Testing
1
Computer software--Reliability
1
Differential equations--Computer programs
1
Factories--Design and construction
1
Fault-tolerant computing
1
Generators (Computer programs)
1
Homotopy theory
1
Numerical analysis
1
Polynomials
1
Research
1
Sequential machine theory
1
Testing
1
Year
TO
Apply
Search results for
Back again or
Showing 1 to 6 of 6 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
An automatic verification condition generator for the language C
Arbanas, Jennifer Marie
Text (1987)
Part of
Electronic Theses & Dissertations
Towards automated model revision for fault-tolerant systems
Abujarad, Fuad
Text (2010)
Part of
Electronic Theses & Dissertations
A gradient computational technique for a class of optimal control problems subject to inequality constraints
Wang, Shyh Jong
Text (1969)
Part of
Electronic Theses & Dissertations
Algorithms for solving polynomial systems by homotopy continuation method and its parallelization
Tsai, Chih-Hsiung
Text (2008)
Part of
Electronic Theses & Dissertations
The efficiency of computer algorithms for plant layout
Ritzman, Larry Paul
Text (1968)
Part of
Electronic Theses & Dissertations
Structural realizations of program schemata
Miles, John Gilman, 1938-
Text (1971)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
