LEADER 04727nam 22007935 450 001 996466346603316 005 20200701050946.0 010 $a3-540-45352-0 024 7 $a10.1007/3-540-45352-0 035 $a(CKB)1000000000211327 035 $a(SSID)ssj0000323240 035 $a(PQKBManifestationID)11223086 035 $a(PQKBTitleCode)TC0000323240 035 $a(PQKBWorkID)10312546 035 $a(PQKB)10717802 035 $a(DE-He213)978-3-540-45352-9 035 $a(MiAaPQ)EBC3072071 035 $a(PPN)155203673 035 $a(EXLCZ)991000000000211327 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques in Real-Time and Fault-Tolerant Systems$b[electronic resource] $e6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /$fedited by Mathai Joseph 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 314 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1926 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41055-4 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Stability of Discrete Sampled Systems -- Issues in the Refinement of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking -- Scaling up Uppaal -- Decidable Model Checking of Probabilistic Hybrid Automata -- Fault Tolerance -- Invariant-Based Synthesis of Fault-Tolerant Systems -- Modeling Faults of Distributed, Reactive Systems -- Threshold and Bounded-Delay Voting in Critical Control Systems -- Automating the Addition of Fault-Tolerance -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction of Scheduled Systems -- A Dual Interpretation of ?Standard Constraints? in Parametric Scheduling -- Validation -- Co-Simulation of Hybrid Systems: Signal-Simulink -- A System for Object Code Validation -- Refinement -- Real-Time Program Refinement Using Auxiliary Variables -- On Refinement and Temporal Annotations -- Generalizing Action Systems to Hybrid Systems -- Verification -- Compositional Verification of Synchronous Networks -- Modelling Coordinated Atomic Actions in Timed CSP -- Logic and Automata -- A Logical Characterisation of Event Recording Automata -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata -- Probabilistic Neighbourhood Logic -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Verifying Universal Properties of Parameterized Networks. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1926 606 $aProgramming languages (Electronic computers) 606 $aArchitecture, Computer 606 $aComputer logic 606 $aMicroprocessors 606 $aSpecial purpose computers 606 $aLogic design 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 615 0$aProgramming languages (Electronic computers). 615 0$aArchitecture, Computer. 615 0$aComputer logic. 615 0$aMicroprocessors. 615 0$aSpecial purpose computers. 615 0$aLogic design. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer System Implementation. 615 24$aLogics and Meanings of Programs. 615 24$aProcessor Architectures. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogic Design. 676 $a004/.33 702 $aJoseph$b Mathai$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFTRTFT 2000 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466346603316 996 $aFormal Techniques in Real-Time and Fault-Tolerant Systems$91944996 997 $aUNISA LEADER 03554 am 22007213u 450 001 996205295603316 005 20221206095709.0 010 $a1-78374-005-1 010 $a1-906924-42-2 010 $a2-8218-1706-1 010 $a1-906924-44-9 035 $a(CKB)2560000000103204 035 $a(EBL)3384102 035 $a(SSID)ssj0000939974 035 $a(PQKBManifestationID)11523028 035 $a(PQKBTitleCode)TC0000939974 035 $a(PQKBWorkID)10956245 035 $a(PQKB)11688637 035 $a(MiAaPQ)EBC3384102 035 $a(Au-PeEL)EBL3384102 035 $a(CaPaEBR)ebr10715017 035 $a(OCoLC)923317993 035 $a(FrMaCLE)OB-obp-460 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/42398 035 $a(PPN)182828999 035 $a(EXLCZ)992560000000103204 100 $a20130614d2011 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBourdieu and literature$b[electronic resource] /$fJohn R.W. Speller 210 $aCambridge $cOpen Book Publishers$d2011 215 $a1 online resource (202 pages) $cdigital, PDF file(s) 300 $aDescription based upon print version of record. 311 $a1-906924-43-0 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- 1. Positions -- The field of reception -- The field of production Lévi-Strauss and structuralism -- The death of intellectuals -- Post-structuralism -- Appendix: the composition of Les Règles de l'Art -- 2. Methods -- Epistemological preliminaries -- The author's point of view -- The field of power -- The literary field -- Habitus and trajectory -- The space of possibilities -- World literary space -- Appendix: Reflexivity and reading -- 3. Autonomy -- The evolution of the literary field -- Art and money -- Zola and the Dreyfus affair -- Reversals -- Autonomy and value -- 4. Science and Literature -- L'Éducation Sentimentale -- 'Le démontage impie de la fiction' -- Cross-overs -- Fiction and realism -- 5. Literature and Cultural Politics -- The production of the dominant ideology -- 'La Pensée Tietmeyer' -- On aesthetics and ideology -- A politics of form -- For a collective intellectual -- 6. Literature and Cultural Policy -- Reproduction and distinction -- Proposals for the future of education -- Between the state and the free market -- For a corporatism of the universal -- Conclusion -- References -- Index. 330 $aThis is a wide-ranging, rigorous and accessible introduction to the relationship between Pierre Bourdieus work and literary studies. It provides a comprehensive overview and critical assessment of his contributions to literary theory and his thinking about authors and literary works. 606 $aSociologists$zFrance 606 $aLiterature and society$zFrance 610 $aliterary theory 610 $aPierre Bourdieu 610 $acultural theory 610 $aFrench literature 610 $asociology 610 $ascience and literature 610 $astructuralism 610 $areception 610 $apost-structuralism 615 0$aSociologists 615 0$aLiterature and society 676 $a801.3 700 $aSpeller$b John R. W$0934274 712 02$aOpen Book Publishers, 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996205295603316 996 $aBourdieu and literature$92103364 997 $aUNISA