01779nam 2200505Ia 450 991070185450332120120622112657.0(CKB)5470000002421563(OCoLC)796085603(EXLCZ)99547000000242156320120622d2011 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierA methodology for evaluating artifacts produced by a formal verification process[electronic resource] /Radu I. Siminiceanu, Paul S. Miner and Suzette PersonHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2011]1 online resource (23 pages) color illustrationsNASA/TM ;2011-217193Title from title screen (viewed on June 22, 2012)."November 2011."Includes bibliographical references (page 22).Program verification (computers)nasatFormalismnasatEthernetnasatFault tolerancenasatAlgorithmsnasatDesign analysisnasatProgram verification (computers)Formalism.Ethernet.Fault tolerance.Algorithms.Design analysis.Siminiceanu Radu I1405428Miner Paul S.1962-1405429Person Suzette1405430NASA Glenn Research Center.GPOGPOBOOK9910701854503321A methodology for evaluating artifacts produced by a formal verification process3481898UNINA02884nam 2200637Ia 450 991078030690332120230617021336.00-8389-9852-6(CKB)111090425045182(EBL)218930(OCoLC)71802807(SSID)ssj0000170922(PQKBManifestationID)11155150(PQKBTitleCode)TC0000170922(PQKBWorkID)10235851(PQKB)10475496(MiAaPQ)EBC3001675(MiAaPQ)EBC218930(Au-PeEL)EBL3001675(CaPaEBR)ebr10194723(OCoLC)929146276(Au-PeEL)EBL218930(EXLCZ)9911109042504518220030502d2003 uy 0engur|n|---|||||txtccrHigh tech, high touch[electronic resource] library customer service through technology /Lynn Jurewicz and Todd CutlerChicago American Library Association20031 online resource (152 p.)Description based upon print version of record.0-8389-0860-8 Includes bibliographical references (p. 135-137) and index.Contents; Figures; Chapter 1 - Libraries on the Internet; Chapter 2 - What Libraries Can Learn from Business; Chapter 3 - An Automatic E-Mail Notification System; Chapter 4 - A Dynamic Web-Based Event Calendar with Sign-up System; Chapter 5 - An Online Meeting Room Reservation System; Chapter 6 - Portals, Gateways, and Directories; Chapter 7 - Local History; Chapter 8 - Online Summer Reading Registration, Tracking, and Statistics; Chapter 9 - Providing Online Access to Users without a Library Card; Chapter 10 - Stand-Alone Services; Chapter 11 - Marketing Web-Based Library ServicesBibliographyIndex; To be competitive with other information providers, libraries and their staff have to offer customers premier access to information, technology and entertainment - without bureaucratic red tape. This work shows you how to learn how and why to empower the library and its teams.Libraries and the InternetPublic services (Libraries)Technological innovationsCustomer servicesTechnological innovationsLibrary Web sitesLibraries and the Internet.Public services (Libraries)Technological innovations.Customer servicesTechnological innovations.Library Web sites.025.5/24Jurewicz Lynn1462523Cutler Todd1462524MiAaPQMiAaPQMiAaPQBOOK9910780306903321High tech, high touch3671545UNINA