00905nam0-22003131i-450-99000161214040332120050210104531.0000161214FED01000161214(Aleph)000161214FED0100016121420030910d1944----km-y0itay50------baengAmerican economic problemsHoward Patterson, Selwjn Little, Henry Reed BurchWashingtonThe MacMillan1944632 p.20 cmStoria economicaStati Uniti d'America330.9Patterson,Howard352932Little,Selwjn352933Reed Burch,Henry352934ITUNINARICAUNIMARCBK99000161214040332160 330.9 B 6434694FAGBCFAGBCAmerican economic problems369176UNINA03519nam 2200505Ia 450 991029976010332120200520144314.01-4614-7324-110.1007/978-1-4614-7324-4(OCoLC)859155688(MiFhGG)GVRL6YWB(CKB)2550000001117831(MiAaPQ)EBC1398425(EXLCZ)99255000000111783120130311d2014 uy 0engurun|---uuuuatxtccrSystem Verilog assertions and functional coverage guide to language, methodology and applications /Ashok B. MehtaNew York Springerc20141 online resource (xxxiii, 356 pages) illustrations (some color)Gale eBooksIncludes index.1-4614-7323-3 1-299-85750-7 Introduction -- System Verilog Assertions -- Immediate Assertions -- Concurrent Assertions – Basics (sequence, property, assert).- Sampled Value Functions   $rose, $fell -- Operators -- System Functions and Tasks -- Multiple clocks -- Local Variables -- Recursive property -- Detecting and using endpoint of a sequence -- ‘expect’ -- ‘assume’ and formal (static functional) verification -- Other important topics -- Asynchronous Assertions !!! -- IEEE-1800–2009 Features -- SystemVerilog Assertions LABs -- System Verilog Assertions – LAB Answers -- Functional Coverage -- Performance Implications of coverage methodology -- Coverage Options (Reference material).This book provides a hands-on, application-oriented guide to the language and methodology of both System Verilog Assertions and System Verilog Functional Coverage.  Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question ‘have we functionally verified everything’.  Written by a professional end-user of both System Verilog Assertions and System Verilog Functional Coverage, this book explains each concept with easy to understand examples, simulation logs and applications derived from real projects.  Readers will be empowered to tackle the modeling of complex checkers for functional verification, thereby reducing drastically their time to design and debug. Covers both System Verilog Assertions and System Verilog Functional Coverage language and methodologies; Provides practical examples of the what, how and why of Assertion Based Verification and Functional Coverage methodologies; Explains each concept in an easy to understand, step-by-step fashion and applies it to a real example; Includes practical labs that enable readers to put in practice the concepts explained in the book.Computer hardware description languagesVerilog (Computer hardware description language)Computer hardware description languages.Verilog (Computer hardware description language)004.1620621.381621.3815Mehta Ashok B763798MiAaPQMiAaPQMiAaPQBOOK9910299760103321System Verilog assertions and functional coverage2215558UNINA01440nam0 22003131i 450 UON0052127620231222024510.2020231222d1969 |0itac50 baengUS|||| |||||On social order and mass societyselected papersTheodor Geigeredited and with an introduction by Renate Mayntztranslations by Robert E. PeckChicagoLondonUniversity of Chicago press1969X, 242 p.21 cmDonazione prof.ssa Amalia SignorelliIT-UONSI F. Signorelli1 E923001UON005080782001 ˆThe ‰Heritage of Sociology210 ChicagoLondonUniversity of Chicago PressSociologiaSaggiUONC093545FIUSChicago, Ill.UONL000120301Sociologia e antropologia21GeigerTheodorUONV105891103325MayntzRenateUONV100141PECKRobert E.UONV293803The University of Chicago PressUONV246827650ITSOL20250919RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00521276SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI F. Signore1 E 923 SI 48696 5 Donazione prof.ssa Amalia SignorelliOn social order and mass society3905734UNIOR03479nam 22006855 450 991073148530332120251113202926.03-031-27897-610.1007/978-3-031-27897-6(CKB)5590000001071016(DE-He213)978-3-031-27897-6(PPN)272265381(MiAaPQ)EBC30603302(Au-PeEL)EBL30603302(OCoLC)1419061762(ODN)ODN0010070916(EXLCZ)99559000000107101620230619d2023 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierIsotopes in Economic Geology, Metallogenesis and Exploration /edited by David Huston, Jens Gutzmer1st ed. 2023.Cham :Springer International Publishing :Imprint: Springer,2023.1 online resource (XIII, 475 p. 151 illus., 118 illus. in color.)Mineral Resource Reviews,2365-05673-031-27896-8 1. Isotopes in economic geology, metallogeny and exploration – an introduction -- 2. Radiometric dating applied to ore deposits: theory and methods -- 3. U–Pb dating of mineral deposits: from age constraints to ore-forming processes -- 4. The 187Re-187Os and 190Pt-186Os radiogenic isotope systems -- 5. Applications of Nd isotopes to ore deposits and metallogenic terranes.This open access book documents the use of radiogenic and stable isotopes to study mineral deposits from a global to the deposit scale. It includes data-sets that have been directly used in mineral exploration. Isotopic data have been key to developing models for the origin of many mineral deposit types. The book has four sections: (1) the use of radiogenic isotopes to date mineral deposits, (2) the use of radiogenic isotope mapping to understand metal sources and regional- to district-scale controls on metallogenesis, (3) the use of light stable isotopes to determine fluid and sulfur sources, and (4) the use of metallic stable isotopes to understand the sources of ore metals. Each section includes chapters on specific isotopic systems and/or mineral systems that provide information on theory, analytical methods, uses in deposit and metallogenic studies, examples, and traps for young players.Mineral Resource Reviews,2365-0567GeochemistryMineralogyPetrologyGeotechnical engineeringGeochemistryMineralogyPetrologyGeotechnical Engineering and Applied Earth SciencesGeochemistry.Mineralogy.Petrology.Geotechnical engineering.Geochemistry.Mineralogy.Petrology.Geotechnical Engineering and Applied Earth Sciences.551.9SCI019000SCI031000SCI048000bisacshHuston David L1387189Huston David L.edthttp://id.loc.gov/vocabulary/relators/edtGutzmer Jensedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910731485303321Isotopes in Economic Geology, Metallogenesis and Exploration4430893UNINA