{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":49,"n_cols":5,"rows_kept":49,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[18,2,18,3],[19,2,19,3],[23,2,23,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[30,2,30,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[36,2,36,3],[37,2,37,3],[41,2,41,3],[42,2,42,3],[45,2,45,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465499803316"]
[null,null,"Titolo",null,"Foundations of Software Science and Computational Structures [[electronic resource] ] : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / / edited by Andrew D. Gordon"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003"]
[null,null,"ISBN",null,"3-540-36576-1"]
[null,null,"Edizione",null,"[1st ed. 2003.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 440 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2620"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Computation by Abstract Devices"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Paper -- A Game Semantics for Generic Polymorphism -- Contributed Papers -- Categories of Containers -- Verification of Probabilistic Systems with Faulty Communication -- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes -- Ambiguous Classes in the Games ?-Calculus Hierarchy -- Parameterized Verification by Probabilistic Abstraction -- Genericity and the ?-Calculus -- Model Checking Lossy Channels Systems Is Probably Decidable -- Verification of Cryptographic Protocols: Tagging Enforces Termination -- A Normalisation Result for Higher-Order Calculi with Explicit Substitutions -- When Ambients Cannot Be Opened -- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time -- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity -- Manipulating Trees with Hidden Labels -- "]
[{"$nulls":4},"The Converse of a Stochastic Relation -- Type Assignment for Intersections and Unions in Call-by-Value Languages -- Cones and Foci for Protocol Verification Revisited -- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems -- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard -- A Game Semantics of Linearly Used Continuations -- Counting and Equality Constraints for Multitree Automata -- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete -- A Monadic Multi-stage Metalanguage -- Multi-level Meta-reasoning with Higher-Order Abstract Syntax -- Abstraction in Reasoning about Higraph-Based Systems -- Deriving Bisimulation Congruences: 2-Categories Vs Precategories -- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the ?Calculus."]
[null,"2.","Record Nr.",null,"UNINA9910984507303321"]
[null,null,"Autore",null,"Cleaver Harry"]
[null,null,"Titolo",null,"The Fragile Juggernaut : Marx & Engels on Capitalism, Class Struggle and Crisis / / Harry Cleaver"]
[null,null,"Pubbl/distr/stampa",null,"Leiden ; ; Boston : , : Brill, , 2025"]
[{"$nulls":4},"©2025"]
[null,null,"ISBN",null,"9789004708631"]
[{"$nulls":4},"9789004708365"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (573 pages)"]
[null,null,"Collana",null,"Social Sciences E-Books Online, Collection 2025"]
[{"$nulls":4},"Studies in Political Economy of Global Labor and Work ; ; 6"]
[null,null,"Disciplina",null,"338.5/42"]
[null,null,"Soggetti",null,"Capitalism - Social aspects - Europe"]
[{"$nulls":4},"Financial crises - Philosophy"]
[{"$nulls":4},"Financial crises - Europe - History - 19th century"]
[{"$nulls":4},"Marxian economics"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Foreword -- Preface -- 1 Introduction -- 1 Work, the Vulnerable Heart of Capitalism -- 2 “Class” and Class Struggle -- 3 Capitalism, the Fragile Juggernaut -- 4 What Constitutes a Crisis? -- 2 Marx &amp; Engels’ Studies of Crisies, 1843−1895 -- 1 The Early Studies: 1842−1852 --  1.1 Paris and Manchester --  1.2 Brussels --  1.3 Paris --  1.4 Cologne --  1.5 London -- 2 Years of Theory, 1857−1867 --  2.1 From Notes to Weighty Tomes --  2.2 The First International (1864–1876) -- 3 After Capital, 1867−1895 --  3.1 A New Terrain of Struggle: Electoral Politics --  3.2 Continuing Conflicts within the First International --  3.3 War and the Paris Commune --  3.4 Revisions and Translations --  3.5 Working Class Parties and Debates --  3.6 Marx: Critique of the Gotha Program --  3.7 Engels: Anti-Dühring --  3.8 Engels: Socialism: Utopian &amp; Scientific --  3.9 Engels: the Dialectics of Nature --  3.10 Periodical Crisis Becomes Permanent Stagnation? --  3.11 The Second International --  3.12 Engels: Sources and Circulation of Crises -- 3 Marx’s Theory of Accumulation -- 1 A “Labor” Theory of Value? -- 2 The Material Circuits of Accumulation -- 3 Three Observations -- 4 Omnipresent Conflict; Omnipresent Struggle -- 5 Conditions of Reproduction -- 6 Accumulation in Terms of “Value” --  6.1 The Substance of Value --  6.2 The Measure of Value --  6.3 "]
[{"$nulls":4},"The Form of Value -- 4 The Possibilities of Crisis -- 1 Markets &amp; Crisis -- 2 And in Capitalism Per Se -- 3 Possibilities of Crisis in the First Stage of the Circuit: Investment --  3.1 Possible Crises in Gathering Enough Money, M --  3.2 Possible Crises in Hiring in the Labor Market, L – P --  3.3 Possible Crises of Hiring in the Labor Market, M – LP --  3.4 Possible Crises for Buyers of the Means of Production, M – MP -- 4 Possibilities of Crisis in the Second Stage of the Circuit: Production --  4.1 Possible Crises with Labor-Power, LP in … P … --  4.2 Possible Crises in Means of Production, MP in … P … --  4.3 Possible Crises Caused by a Rising Organic Composition of Capital --  4.4 Possible Crises Due to a Tendency for the Rate of Profit to Fall -- 5 Possibilities of Crisis in the Third Stage of the Circuit: Sales --  5.1 Possible Crises in Selling Slaves, C(LP) – M′ --  5.2 Possible Crises in Selling C(MS)’ or C(MP)’ --  5.3 Credit, Debt, and Commercial Crisis --  5.4 Summarizing -- 5 Predispositions to Crisis -- 1 Predispositions in the First Stage of the Circuit: Investment --  1.1 Forces Limiting Access to Money for Investment, M --  1.2 Forces Interfering with the Supply of Labor-Power, LP --  1.3 Forces Causing a Shortage in the Supply of the Means of Production, MP -- 2 Predispositions in the Second Stage: Production --  2.1 Predispositions to Breakdowns in Labor-Power, LP --  2.2 Predispositions to Breakdowns in the Means of Production, MP --  2.3 Predispositions to Increasing the Organic Composition of Capital --  2.4 Predispositions to a Falling Rate of Profit Tendency and Its Crises -- 3 Predispositions in the Third Stage of the Circuit: Sales --  3.1 Predispositions to Crises in Selling Slaves, C(LP) – M′ --  3.2 Predisposition to Crises in Markets for C(MS)’ or C(MP)’ --  3.3 Predispositions to Credit Crises -- 4 The Circulation of Breakdown --  4.1 Quantitative and Qualitative Change --  4.2 Circulation of Crisis within Individual Circuits --  4.3 Circulation of Crisis among Interconnected Circuits -- 5 Linkages among Tendencies -- 6 Offsetting Strategies and Their Contradictions -- 1 Force -- 2 Laws: Writing and Enforcing -- 3 Ideology: Ideas, Institutions and Behavior -- 4 Strategic Ideas -- 5 Apologetic Ideas -- 6 Structural Changes -- 7 Offsets in the First Stage of the Circuit: Investment --  7.1 Getting Enough Money --  7.2 Fixing the Supply of Labor-Power --  7.3 Offsetting Crises in Buying the Means of Production, M – MP -- 8 Offsets in the Second Stage of the Circuit: Production, … P … --  8.1 Countering Breakdowns in Labor-Power --  8.2 Countering Breakdowns in the Means of Production --  8.3 Offsets to Crises Due to Rising Organic Composition of Capital --  8.4 Offsets to the Falling Rate of Profit Tendency -- 9 Offsets in the Third Stage of the Circuit: Sales --  9.1 Dealing with Crises in Selling Slaves, C(LP) – M′ --  9.2 Dealing with Crises in Selling C(MS)’ or C(MP)’ --  9.3 Dealing with Crises in Selling the Means of Production, C(MP)’ – M′ --  9.4 Countering Credit and Commercial Crises -- 10 Offsets to the Circulation of Breakdown --  10.1 Dealing with Qualitative Change --  10.2 Blunting Circulation within Individual Circuits --  10.3 Blunting Circulation among Interconnected Circuits -- 7 Crises as Solutions to the Contradictions of Accumulation -- 1 In the First Stage of the Circuit: LP – M/M – LP -- 2 In the Second Stage of the Circuit: …P… -- 3 In the Third Stage of the Circuit: C′ – M′ -- 8 Crisis and Revolution -- 1 Revolution: Another Amoebic Term -- 2 “Revolution” as Used by Marx and Engels -- Appendix 1: Note to Polish Readers (2016) -- Appendix 2: Annotated Bibliography of Marx and Engels’ Writings on Crisis -- Index."]
[null,null,null,"Sommario/riassunto","Whether loving or hating it, many visualize capitalism as an unstoppable juggernaut. For those of us who would defeat it, we must identify its weaknesses. Fortunately, Marx and Engels’ writings on “crisis” reveal them. They show how its endless imposition of "]
[{"$nulls":4},"exploitative and alienating work creates such antagonistic conflicts everywhere as to make it, ultimately, a far more fragile monster than it first appears. Each of its efforts to shape social relationships, subordinating them to the work of commodity production and its control over society, has been and can be thrown into crisis by those of us resisting its way of life and seeking to create more appealing alternatives."]