LEADER 00934nam0-2200277---450- 001 990009102570403321 005 20091012151726.0 035 $a000910257 035 $aFED01000910257 035 $a(Aleph)000910257FED01 035 $a000910257 100 $a20091012d1907----km-y0itay50------ba 101 0 $ager 102 $aDE 105 $ay-------001yy 200 1 $a<>Schadensersakpflicht nach österreichischem Rechte mit Bedachtnahme auf auslandischem Gesetzgebungen$fmit einem Anhange über Automobilrecht von Anton Ritter von Randa 210 $aWien$cManzsche$d1907 215 $aVIII, 237 p.$d24 cm 700 1$aRanda,$bAnton$0320546 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009102570403321 952 $aVIII E 289$b3524$fFGBC 959 $aFGBC 996 $aSchadensersakpflicht nach österreichischem Rechte mit Bedachtnahme auf auslandischem Gesetzgebungen$9781763 997 $aUNINA LEADER 01248nam 2200409 450 001 9910483504703321 005 20211021171315.0 010 $a3-030-69808-4 035 $a(CKB)4100000011881141 035 $a(MiAaPQ)EBC6546214 035 $a(Au-PeEL)EBL6546214 035 $a(OCoLC)1246143602 035 $a(PPN)255295855 035 $a(EXLCZ)994100000011881141 100 $a20211021d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamentals of music processing $eusing Python and Jupyter notebooks /$fMeinard Mu?ller 205 $aSecond edition. 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$dİ2021 215 $a1 online resource (523 pages) 311 $a3-030-69807-6 606 $aSound$xRecording and reproducing$xDigital techniques$vHandbooks, manuals, etc 615 0$aSound$xRecording and reproducing$xDigital techniques 676 $a006.45 700 $aMu?ller$b Meinard$0854105 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483504703321 996 $aFundamentals of music processing$91907225 997 $aUNINA LEADER 04151nam 2200565 450 001 9910812576103321 005 20230126221321.0 010 $a1-4773-1915-8 024 7 $a10.7560/319130 035 $a(CKB)4100000009184493 035 $a(MiAaPQ)EBC5890987 035 $a(DE-B1597)588479 035 $a(OCoLC)1269268339 035 $a(DE-B1597)9781477319154 035 $a(EXLCZ)994100000009184493 100 $a20191001d2019 ub 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngendering revolution $ewomen, unpaid labor, and maternalism in Bolivarian Venezuela /$fRachel Elfenbein 210 1$aAustin, Texas :$cUniversity of Texas Press,$d[2019] 210 4$dİ2019 215 $a1 online resource (284 pages) 311 $a1-4773-1913-1 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tContents -- $tTables and Images -- $tAcknowledgments -- $tGlossary of Abbreviations and Terms -- $tINTRODUCTION The Unpaid Labor and Suffering of the Women Undergirding the Bolivarian Revolution -- $tCHAPTER 1 Out of the Margins: The Struggle for the Rights to State Recognition of Women?s Unpaid Housework and Social Security for Homemakers -- $tCHAPTER 2 Between Fruitless Legislative Initiatives and Executive Magic: Contestations over the Implementation of Homemakers? Social Security -- $tCHAPTER 3 State Imaginations of Popular Motherhood within the Revolution: The Institutional Design of Madres del Barrio Mission -- $tCHAPTER 4 Regulating Motherhood in Madres del Barrio: Intensifying yet Disregarding the Unpaid Labor of the Mothers of the Bolivarian Revolution -- $tCHAPTER 5 In the Shadows of the Magical Revolutionary State: Popular Women?s Work Where the State Did Not Reach -- $tCHAPTER 6 Mobilized yet Contained within Chavista Populism: Popular Women?s Organizing around the 2012 Organic Labor Law -- $tCONCLUSION Imagining a More Dignified Map for Popular Women?s Unpaid Labor and Power -- $tNotes -- $tReferences -- $tIndex 330 $aIn 1999, Venezuela became the first country in the world to constitutionally recognize the socioeconomic value of housework and enshrine homemakers? social security. This landmark provision was part of a larger project to transform the state and expand social inclusion during Hugo Chávez?s presidency. The Bolivarian revolution opened new opportunities for poor and working-class?or popular?women?s organizing. The state recognized their unpaid labor and maternal gender role as central to the revolution. Yet even as state recognition enabled some popular women to receive public assistance, it also made their unpaid labor and organizing vulnerable to state appropriation. Offering the first comprehensive analysis of this phenomenon, Engendering Revolution demonstrates that the Bolivarian revolution cannot be understood without comprehending the gendered nature of its state-society relations. Showcasing field research that comprises archival analysis, observation, and extensive interviews, these thought-provoking findings underscore the ways in which popular women sustained a movement purported to exalt them, even while many could not access social security and remained socially, economically, and politically vulnerable. 606 $aPoor women$zVenezuela$xSocial conditions 606 $aPoor women$zVenezuela 606 $aWomen$xPolitical activity$zVenezuela 606 $aUnpaid labor$zVenezuela 606 $aFeminism$zVenezuela$xHistory 607 $aVenezuela$xPolitics and government$y1999- 607 $aVenezuela$xSocial conditions$y1999- 615 0$aPoor women$xSocial conditions. 615 0$aPoor women 615 0$aWomen$xPolitical activity 615 0$aUnpaid labor 615 0$aFeminism$xHistory. 676 $a305.484420987 700 $aElfenbein$b Rachel$01700848 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910812576103321 996 $aEngendering revolution$94084176 997 $aUNINA LEADER 07411nam 22007935 450 001 9910144341103321 005 20200701023335.0 010 $a3-540-30476-2 024 7 $a10.1007/b102065 035 $a(CKB)1000000000212613 035 $a(DE-He213)978-3-540-30476-0 035 $a(SSID)ssj0000107944 035 $a(PQKBManifestationID)11128900 035 $a(PQKBTitleCode)TC0000107944 035 $a(PQKBWorkID)10013032 035 $a(PQKB)11534390 035 $a(MiAaPQ)EBC3088894 035 $a(PPN)155203312 035 $a(EXLCZ)991000000000212613 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Technology for Verification and Analysis $eSecond International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /$fedited by Farn Wang 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 510 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3299 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23610-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aKeynote Speech -- Games for Formal Design and Verification of Reactive Systems -- Evolution of Model Checking into the EDA Industry -- Abstraction Refinement -- Invited Speech -- Tools for Automated Verification of Web Services -- Theorem Proving Languages for Verification -- An Automated Rigorous Review Method for Verifying and Validating Formal Specifications -- Papers -- Toward Unbounded Model Checking for Region Automata -- Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity -- Synthesising Attacks on Cryptographic Protocols -- Büchi Complementation Made Tighter -- SAT-Based Verification of Safe Petri Nets -- Disjunctive Invariants for Numerical Systems -- Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas -- Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts -- Exploiting Symmetries for Testing Equivalence in the Spi Calculus -- Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors -- Abstraction-Based Model Checking Using Heuristical Refinement -- A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata -- Design and Evaluation of a Symbolic and Abstraction-Based Model Checker -- Component-Wise Instruction-Cache Behavior Prediction -- Validating the Translation of an Industrial Optimizing Compiler -- Composition of Accelerations to Verify Infinite Heterogeneous Systems -- Hybrid System Verification Is Not a Sinecure -- Providing Automated Verification in HOL Using MDGs -- Specification, Abduction, and Proof -- Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets -- Typeness for ?-Regular Automata -- Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits -- Mutation Coverage Estimation for Model Checking -- Modular Model Checking of Software Specifications with Simultaneous Environment Generation -- Rabin Tree and Its Application to Group Key Distribution -- Using Overlay Networks to Improve VoIP Reliability -- Integrity-Enhanced Verification Scheme for Software-Intensive Organizations -- RCGES: Retargetable Code Generation for Embedded Systems -- Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets -- First-Order LTL Model Checking Using MDGs -- Localizing Errors in Counterexample with Iteratively Witness Searching -- Verification of WCDMA Protocols and Implementation -- Efficient Representation of Algebraic Expressions -- Development of RTOS for PLC Using Formal Methods -- Reducing Parametric Automata: A Multimedia Protocol Service Case Study -- Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems -- Solving Box-Pushing Games via Model Checking with Optimizations -- CLP Based Static Property Checking -- A Temporal Assertion Extension to Verilog. 330 $aIt was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31? November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology on veri?cation has become the new strength in industry and brought forward various hot research activities in both Europe and USA. In comparison, easternAsia has been quiet in the forum.With more and more IC design houses moving from SiliconValley to easternAsia, we believe this is a good time to start cultivating related research activities in the region. TheemphasisoftheATVAworkshopseriesisonvariousmechanicalandinformative techniques, which can give engineers valuable feedback to fast converge their designs according to the speci?cations. The scope of interest contains the following research - eas: model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated veri?cation, parametric analysis, optimization, formal perf- mance analysis, real-time systems, embedded systems, in?nite-state systems, Petri nets, UML, synthesis, tools, and practice in industry. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3299 606 $aComputer-aided engineering 606 $aComputer logic 606 $aComputers 606 $aComputer networks 606 $aComputers, Special purpose 606 $aSoftware engineering 606 $aComputer-Aided Engineering (CAD, CAE) and Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I23044 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputer-aided engineering. 615 0$aComputer logic. 615 0$aComputers. 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aSoftware engineering. 615 14$aComputer-Aided Engineering (CAD, CAE) and Design. 615 24$aLogics and Meanings of Programs. 615 24$aInformation Systems and Communication Service. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 676 $a004.015113 702 $aWang$b Farn$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144341103321 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNINA