Search Results
Showing 1 - 10 of 15 results
Search Results
Software engineering-- ESEC '95
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.758 .E97 1995 | ✔ Available |
SOFSEM 2001, theory and practice of informatics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.751 .S62 2001 | ✔ Available |
Intelligent agents and their potential for future design and synthesis environment
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.55:208986 | ✔ Available |
Proceedings of the twenty-first annual Software Engineering Workshop
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:208617 | ✔ Available |
Proceedings of the Fourteenth Annual Software Engineering Workshop
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:103389 | ✔ Available |
Peer review of a formal verification/design proof methodology
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.55:2377 | ✔ Available |
Proceedings of the second NASA Ada User's Symposium
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:103407 | ✔ Available |
Second International Workshop on Software Engineering and Code Design in Parallel Meteorological and Oceanographic Applications
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.55:206860 | ✔ Available |