Search Results
Showing 1 - 10 of 281 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Specification and compositional verification of real-time systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54.H66 1991 | ✔ Available |
Guide to the design of real-time systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76 .R68 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Formal methods for real-time computing
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54 .F64 1996 | ✔ Available |
Future data bus requirements for laboratory high speed data acquisition systems
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | ER 1.11:TID-27621 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Programming real-time computer systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | HF5548.3 .M3 | ✔ Available |
Real-time data-processing systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | HF5548.3 .S8 | ✔ Available |
Design of real-time computer systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54 .M37 | ✔ Available |