LEADER 01232nam  2200373   450 
001 990001211270203316
005 20031021181709.0
035   $a000121127
035   $aUSA01000121127
035   $a(ALEPH)000121127USA01
035   $a000121127
100   $a20031021d1982----km-y0itay0103----ba
101 0 $aeng
102   $aUK
105   $a||||||||001yy
200 1 $aFormal specification and software development$f[By]Dines Bjorner and Cliff B. Jones$gIn collaboration with Derek Andrews [et al...]
210   $aEnglewood Cliffs$cPrentice-Hall International$dcopyr. 1982
215   $aX, 501 p$cill$d23 cm
225 2 $aPrentice-Hall International series in computer science
410  0$1Prentice-Hall International series in computer science
454  1$12001
461  1$1001-------$12001
676   $a001.642
700  1$aBJRNER,$bDines$0556239
701  1$aJONES,$bCliff B.$026769
801  0$aIT$bsalbc$gISBD
912   $a990001211270203316
951   $a001.6 SCS (3)$b19985 Ing$c001.6
959   $aBK
969   $aTEC
979   $aSIAV2$b10$c20031021$lUSA01$h1817
979   $aPATRY$b90$c20040406$lUSA01$h1727
996   $aFormal specification and software development$9984336
997   $aUNISA

LEADER 02234nam  2200601Ia 450 
001 9910698966903321
005 20090625082814.0
035   $a(CKB)5470000002398205
035   $a(OCoLC)412767692
035   $a(EXLCZ)995470000002398205
100   $a20090625d1987      ua             0
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aApplication of expert systems in project management decision aiding$b[electronic resource] $escientific and technical report /$fprepared by Regina Harris ... [and others] ; submitted to National Aeronautics and Space Administration ... Goddard Space Flight Center
210  1$aGreenbelt, Md. :$cNational Aeronautics and Space Administration, Goddard Space Flight Center,$d[1987]
215   $a1 volume (various pagings) $cillustrations
225 1 $aNASA-CR ;$v180762
300   $aTitle from title screen (viewed June 24, 2009)
300   $a"August 1987."
300   $a"Final technical report 2092."
517   $aApplication of expert systems in project management decision aiding 
606   $aExpert systems (Computer science)
606   $aProject management
606   $aDecision making
606   $aArtificial intelligence$2nasat
606   $aDecision making$2nasat
606   $aExpert systems$2nasat
606   $aHuman-computer interface$2nasat
606   $aManagement methods$2nasat
606   $aNASA programs$2nasat
606   $aProject management$2nasat
606   $aStatistical analysis$2nasat
615  0$aExpert systems (Computer science)
615  0$aProject management.
615  0$aDecision making.
615  7$aArtificial intelligence.
615  7$aDecision making.
615  7$aExpert systems.
615  7$aHuman-computer interface.
615  7$aManagement methods.
615  7$aNASA programs.
615  7$aProject management.
615  7$aStatistical analysis.
701   $aHarris$b Regina$01400829
712 02$aGoddard Space Flight Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910698966903321
996   $aApplication of expert systems in project management decision aiding$93468457
997   $aUNINA