02162oam 2200457 450 991070825170332120140715094032.0(CKB)3710000000116377(OCoLC)874927555(EXLCZ)99371000000011637720140327d2014 ua 0engurcn||||a||||txtrdacontentcrdamediacrrdacarrierOversight hearing titled "America's mineral resources: creating mining and manufacturing jobs and securing America"; and legislative hearing on H.R. 1063, H.R. 687, H.R. 697, H.R. 761, H.R. 767, H.R. 957, and H.R. 981 oversight and legislative hearing before the Subcommittee on Energy and Mineral Resources of the Committee on Natural Resources, U.S. House of Representatives, One Hundred Thirteenth Congress, first session, Thursday, March 21, 2013Washington :U.S. Government Printing Office,2014.1 online resource (iv, 113 pages) color illustrationTitle from title screen (viewed on Mar. 27, 2014).Paper version available for sale by the Superintendent of Documents, U.S. Government Printing Office."Serial no. 113-7."Includes bibliographical references.Oversight Hearing Titled America's Mineral ResourcesMines and mineral resourcesGovernment policyUnited StatesMineral industriesGovernment policyUnited StatesMining lawUnited StatesLegislative hearings.lcgftMines and mineral resourcesGovernment policyMineral industriesGovernment policyMining lawGPOGPOGPOCOOOCLCOGPOBOOK9910708251703321Oversight hearing titled "America's mineral resources: creating mining and manufacturing jobs and securing America"; and legislative hearing on H.R. 1063, H.R. 687, H.R. 697, H.R. 761, H.R. 767, H.R. 957, and H.R. 9813514164UNINA02432nam 2200481z- 450 991050430150332120231214133526.0(CKB)5590000000629475(oapen)https://directory.doabooks.org/handle/20.500.12854/72387(EXLCZ)99559000000062947520202110d2021 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierProceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021ViennaTU Wien Academic Press20211 electronic resource (284 p.)Conference Series: Formal Methods in Computer-Aided Design1-66540-294-6 3-85448-046-6 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.2021 Formal Methods in Computer Aided DesignSystems analysis & designbicsscSoftware testing & verificationbicsscComputer architecture & logic designbicsscMathematical theory of computationbicsscArtificial intelligencebicsscFormal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal ReasoningSystems analysis & designSoftware testing & verificationComputer architecture & logic designMathematical theory of computationArtificial intelligencePiskac Ruzicaedt1283190Whalen MichaeledtPiskac RuzicaothWhalen MichaelothPROCEEDING9910504301503321Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 20213018950UNINA00771nam0-2200289 --450 991071089990332120240221104945.0978-88-13-38065-620230517d2022----kmuy0itay5050 baitaitaIT 001yyAppunti di geografiaa cura di Claudio MincaMilanoWolters Kluwer2022XXIII, 474 p.ill.24 cmCEDAM scienze umane91023itaMinca,ClaudioITUNINAREICATUNIMARCBK9910710899903321XVII 12712023/708FGBC910 MIN 2022SESFGBCSESPpunti di geografia3376685UNINA