Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano.
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | Verifying stability of dynamic soft computing systems. |
| Format: | Government Document Microfilm Book |
| Language: | English |
| Published: |
[Washington, DC] : [Springfield, Va.] :
National Aeronautics and Space Administration ; [National Technical Information Service, distributor],
[1997]
|
| Series: | NASA contractor report ;
NASA CR-207032. Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; NASA-IVV-97-002. |
| Subjects: |
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 001 | b3053380 | ||
| 003 | CoU | ||
| 005 | 19991102151940.0 | ||
| 007 | he |||||||||| | ||
| 008 | 991102s1997 dcu b f000 0 eng d | ||
| 035 | |a (OCoLC)ocm42750569 | ||
| 035 | |a tmp97151757 | ||
| 037 | |a 19980018318 |b NASA | ||
| 040 | |a GPO |c GPO |d DLC |d MvI | ||
| 049 | |a COD9 | ||
| 074 | |a 0830-H-14 (MF) | ||
| 086 | 0 | |a NAS 1.26:207032 | |
| 086 | 0 | |a NAS 1.26:207032 | |
| 100 | 1 | |a Wen, Wu. |0 http://id.loc.gov/authorities/names/nr95030850 |1 http://isni.org/isni/0000000079857998. | |
| 245 | 1 | 0 | |a Verifying stability of dynamic soft-computing systems |h [microform] / |c by Wu Wen, John Callahan and Marcello Napolitano. |
| 246 | 2 | |a Verifying stability of dynamic soft computing systems. | |
| 260 | |a [Washington, DC] : |b National Aeronautics and Space Administration ; |a [Springfield, Va.] : |b [National Technical Information Service, distributor], |c [1997] | ||
| 300 | |a 1 volume. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a microform |b h |2 rdamedia. | ||
| 338 | |a microfiche |b he |2 rdacarrier. | ||
| 490 | 1 | |a Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; |v NASA-IVV-97-002. | |
| 500 | |a Shipping list number: 99-0654-M. | ||
| 533 | |a Microfiche. |b [Washington, D.C. : |c National Aeronautics and Space Administration, |d 1998] |e 1 microfiche. |f (NASA/CR ; 97-207032) | ||
| 650 | 7 | |a Proving. |2 nasat. | |
| 650 | 7 | |a Stability. |2 nasat. | |
| 650 | 7 | |a Algorithms. |2 nasat. | |
| 650 | 7 | |a Computers. |2 nasat. | |
| 650 | 7 | |a Systems analysis. |2 nasat. | |
| 650 | 0 | |a Computers. |0 http://id.loc.gov/authorities/subjects/sh85029552. | |
| 650 | 0 | |a Stability. |0 http://id.loc.gov/authorities/subjects/sh85127185. | |
| 650 | 0 | |a Algorithms. |0 http://id.loc.gov/authorities/subjects/sh85003487. | |
| 700 | 1 | |a Callahan, John. |0 http://id.loc.gov/authorities/names/no97042285 |1 http://isni.org/isni/0000000046358965. | |
| 700 | 1 | |a Napolitano, Marcello R. |0 http://id.loc.gov/authorities/names/no2006071832 |1 http://isni.org/isni/0000000049089246. | |
| 710 | 1 | |a United States. |b National Aeronautics and Space Administration. |0 http://id.loc.gov/authorities/names/n78087581 |1 http://isni.org/isni/0000000449071619. | |
| 830 | 0 | |a NASA contractor report ; |v NASA CR-207032. |0 http://id.loc.gov/authorities/names/n83825229. | |
| 830 | 0 | |a Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ; |v NASA-IVV-97-002. | |
| 907 | |a .b30533806 |b 11-23-21 |c 07-17-99 | ||
| 998 | |a gov |b 12-21-99 |c - |d m |e - |f eng |g dcu |h 0 |i 2 | ||
| 907 | |a .b30533806 |b 05-08-19 |c 07-17-99 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b30533806 |b 01-13-09 |c 07-17-99 | ||
| 907 | |a .b30533806 |b 01-03-03 |c 07-17-99 | ||
| 999 | f | f | |i 19eb25c4-28f0-543f-a136-81f91cb4938d |s 55156bdf-2b6e-59d8-89e2-ad040a8ebe5d |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Norlin |d Norlin Library - Government Information - Microform |e NAS 1.26:207032 |h Superintendent of Documents classification |i document |n 1 |