MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Subject: Computer programming
×
Collection
Electronic Theses & Dissertations
11
Material Type
Theses
11
Language
English
11
Copyright Status
In Copyright
11
Subject
Sort by
A-Z
Count
Algorithms
2
Automatic programming (Computer science)
1
C (Computer program language)
1
Computer programming--Quality control
1
Computer programs
1
Computer programs--Testing
1
Computer software--Reliability
1
Differential equations--Computer programs
1
Electronic data processing
1
Electronic data processing--Distributed processing
1
Factories--Design and construction
1
Fault-tolerant computing
2
Generators (Computer programs)
1
Homotopy theory
1
Numerical analysis
1
Parallel processing (Electronic computers)
1
Polynomials
1
Real-time data processing
1
Research
1
Sequential machine theory
1
Testing
1
Year
TO
Apply
Search results
Showing 1 to 11 of 11 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
Automated revision of distributed and real-time programs
Bonakdarpour, Borzoo
Text (2009)
Part of
Electronic Theses & Dissertations
Structural realizations of program schemata
Miles, John Gilman, 1938-
Text (1971)
Part of
Electronic Theses & Dissertations
Optimal control computations for linear sampled-data systems
Lin, Jeng Nan
Text (1968)
Part of
Electronic Theses & Dissertations
Towards automated model revision for fault-tolerant systems
Abujarad, Fuad
Text (2010)
Part of
Electronic Theses & Dissertations
Multiprocessing using programs structures
Lamie, Edward L.
Text (1974)
Part of
Electronic Theses & Dissertations
An automatic verification condition generator for the language C
Arbanas, Jennifer Marie
Text (1987)
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
The efficiency of computer algorithms for plant layout
Ritzman, Larry Paul
Text (1968)
Part of
Electronic Theses & Dissertations
On the computational complexity of certain L-relation operators
Caron, Robert Henry, 1946-
Text (1973)
Part of
Electronic Theses & Dissertations
Compiler solution of differential equations with differential analyzer-type output
Howard, Lorn Lambier
Text (1959)
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
First
1
(current)
Last
