LEADER 01501nam  2200385   450 
001 9910332545903321
005 20230721041406.0
010   $a1-5090-6978-X
035   $a(CKB)4100000008867320
035   $a(WaSeSS)IndRDA00119662
035   $a(EXLCZ)994100000008867320
100   $a20200305d2009      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFMCAD 2009 $eproceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : 15-18 November 2009, Austin, Texas, USA /$ftechnically sponsored by, IEEE Council on Electronic Design Automation ; in cooperation with ACM SIGDA
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2009.
215   $a1 online resource (115 pages)
311   $a1-4244-4965-0 
320   $aIncludes bibliographical references and index.
606   $aIntegrated circuits$xVerification$vCongresses
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
615  0$aIntegrated circuits$xVerification
615  0$aDigital integrated circuits$xComputer-aided design
676   $a621
712 02$aIEEE Council on Electronic Design Automation,
712 02$aACM Special Interest Group on Design Automation,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910332545903321
996   $aFMCAD 2009$92520506
997   $aUNINA

LEADER 01588nam  2200421Ia 450 
001 9910700924303321
005 20110922151143.0
035   $a(CKB)5470000002413787
035   $a(OCoLC)754112569
035   $a(EXLCZ)995470000002413787
100   $a20110922d2011      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aQuality assurance and quality control of geochemical data$b[electronic resource] $ea primer for the research scientist /$fby Nicholas J. Geboy and Mark A. Engle
210  1$aReston, Va. :$cU.S. Dept. of the Interior, U.S. Geological Survey,$d2011.
215   $a1 online resource (v, 28 pages) $ccolor illustrations
225 1 $aOpen-file report ;$v2011-1187
300   $aTitle from title screen (viewed on Sept. 22, 2011).
320   $aIncludes bibliographical references (pages 21-22).
517   $aQuality assurance and quality control of geochemical data 
606   $aAnalytical geochemistry$xData processing$xQuality control
606   $aQuality assurance
606   $aData integrity
615  0$aAnalytical geochemistry$xData processing$xQuality control.
615  0$aQuality assurance.
615  0$aData integrity.
700   $aGeboy$b Nicholas J$01417092
701   $aEngle$b Mark A$01419756
712 02$aGeological Survey (U.S.)
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910700924303321
996   $aQuality assurance and quality control of geochemical data$93535342
997   $aUNINA