{"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":48,"n_cols":5,"rows_kept":48,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[12,2,12,3],[18,2,18,3],[19,2,19,3],[22,2,22,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[41,2,41,3],[42,2,42,3],[46,2,46,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996201181603316"]
[null,null,"Autore",null,"Evans Peter B. <1944->"]
[null,null,"Titolo",null,"Embedded autonomy [[electronic resource] ] : states and industrial transformation / / Peter Evans"]
[null,null,"Pubbl/distr/stampa",null,"Princeton, N.J., : Princeton University Press, ©1995"]
[null,null,"ISBN",null,"1-4008-0210-5"]
[{"$nulls":4},"9786612738333"]
[{"$nulls":4},"1-4008-2172-X"]
[{"$nulls":4},"1-282-73833-X"]
[{"$nulls":4},"1-4008-1153-8"]
[null,null,"Descrizione fisica",null,"1 online resource (344 pages)"]
[null,null,"Collana",null,"Princeton paperbacks"]
[null,null,"Disciplina",null,"338.4/7004"]
[null,null,"Soggetti",null,"Computer industry - Government policy - Brazil"]
[{"$nulls":4},"Computer industry - Government policy - India"]
[{"$nulls":4},"Computer industry - Government policy - Korea (South)"]
[{"$nulls":4},"Industrial policy - Brazil"]
[{"$nulls":4},"Industrial policy - India"]
[{"$nulls":4},"Industrial policy - Korea (South)"]
[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 (p. [287]-310) and index."]
[null,null,"Nota di contenuto",null,"States and Industrial Transformation -- A Comparative Institutional Approach -- States -- Roles and Sectors -- Promotion and Policing -- State Firms and High-Tech Husbandry -- The Rise of Local Firms -- The New Internationalization -- Lessons from Informatics -- Rethinking Embedded Autonomy."]
[null,null,null,"Sommario/riassunto","In recent years, debate on the state's economic role has too often devolved into diatribes against intervention. Peter Evans questions such simplistic views, offering a new vision of why state involvement works in some cases and produces disasters in others. To illustrate, he looks at how state agencies, local entrepreneurs, and transnational corporations shaped the emergence of computer industries in Brazil, India, and Korea during the seventies and eighties. Evans starts with the idea that states vary in the way they are organized and tied to society. In some nations, like Zaire, the state is predatory, ruthlessly extracting and providing nothing of value in return. In others, like Korea, it is developmental, promoting industrial transformation. In still "]
[{"$nulls":4},"others, like Brazil and India, it is in between, sometimes helping, sometimes hindering. Evans's years of comparative research on the successes and failures of state involvement in the process of industrialization have here been crafted into a persuasive and entertaining work, which demonstrates that successful state action requires an understanding of its own limits, a realistic relationship to the global economy, and the combination of coherent internal organization and close links to society that Evans called \"embedded autonomy.\""]
[null,"2.","Record Nr.",null,"UNISA996466094503316"]
[null,null,"Titolo",null,"Computer Science - Theory and Applications [[electronic resource] ] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings / / edited by Volker Diekert, Mikhail Volkov, Andrei Voronkov"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007"]
[null,null,"ISBN",null,"3-540-74510-6"]
[null,null,"Edizione",null,"[1st ed. 2007.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 420 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4649"]
[null,null,"Disciplina",null,"004.0947"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Bioinformatics"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematics of Computing"]
[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,"Proving Church’s Thesis -- The Limits of Quantum Computers -- Marrying Words and Trees -- TPTP, TSTP, CASC, etc. -- Abstract Modeling and Formal Verification of Microprocessors -- Sequences of Level 1, 2, 3,..., k,... -- Timers and Proximities for Mobile Ambients -- Pushing Random Walk Beyond Golden Ratio -- Reversible Machine Code and Its Abstract Processor Architecture -- A Fast Algorithm for Path 2-Packing Problem -- Decidability of Parameterized Probabilistic Information Flow -- Inverting Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs -- Planarity, Determinants, Permanents, and (Unique) Matchings -- Equivalence Problems for Circuits over Sets of Natural Numbers -- Bouillon: A Wiki-Wiki Social Web -- A PDL-Like Logic of Knowledge Acquisition -- Resource Placement in Networks Using Chromatic Sets of Power Graphs -- Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth -- Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems -- "]
[{"$nulls":4},"New Bounds for MAX-SAT by Clause Learning -- Towards Hierarchical Clustering (Extended Abstract) -- Estimation of the Click Volume by Large Scale Regression Analysis -- Maximal Intersection Queries in Randomized Graph Models -- A Note on Specialization of Interpreters -- Efficient Computation in Groups Via Compression -- Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization -- On the Complexity of Matrix Rank and Rigidity -- On the Usage of Clustering for Content Based Image Retrieval -- Performance Modeling of Wormhole Hypermeshes Under Hotspot Traffic -- Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols -- Symmetry of Information and Nonuniform Lower Bounds -- Perceptrons of Large Weight -- A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes -- Kolmogorov Complexity, Lovász Local Lemma and Critical Exponents -- Generic Complexity of Presburger Arithmetic -- Everywhere ?-Repetitive Sequences and Sturmian Words -- Timed Traces and Strand Spaces -- On Empirical Meaning of Randomness with Respect to a Real Parameter -- An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity -- Generic Complexity of Undecidable Problems."]