{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":83,"n_cols":5,"rows_kept":83,"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],[9,2,9,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[14,2,14,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[21,2,21,3],[23,2,23,3],[24,2,24,3],[28,2,28,3],[30,2,30,3],[30,4,30,5],[31,2,31,3],[31,4,31,5],[32,2,32,3],[33,2,33,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[50,2,50,3],[51,2,51,3],[53,2,53,3],[56,2,56,3],[56,4,56,5],[57,2,57,3],[57,4,57,5],[58,2,58,3],[59,2,59,3],[62,2,62,3],[63,2,63,3],[64,2,64,3],[65,2,65,3],[66,2,66,3],[75,2,75,3],[76,2,76,3],[80,2,80,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990000655700203316"]
[null,null,"Titolo",null,"Giurisprudenza tributaria di merito : decisioni delle commissioni tributarie di merito commentate e coordinate, 1991-1992 / a cura di Virgilio Amato, Francesco Amato"]
[null,null,"Pubbl/distr/stampa",null,"Milano : A. Giuffrè, 1993"]
[null,null,"ISBN",null,"88-14-04091-5"]
[null,null,"Descrizione fisica",null,"715 p. ; 25 cm"]
[null,null,"Disciplina",null,"343.4504"]
[null,null,"Soggetti",null,"Tributi - Giurisprudenza - 1991-1992"]
[null,null,"Collocazione",null,"XXIV.5.A 82 (IG VII 398)"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910463132803321"]
[null,null,"Titolo",null,"Critical theory and democracy : civil society, dictatorship, and constitutionalism in Andrew Arato's democratic theory / / edited by Enrique Peruzzotti and Martin Plot"]
[null,null,"Pubbl/distr/stampa",null,"New York : , : Routledge, , 2013"]
[null,null,"ISBN",null,"0-203-08321-0"]
[{"$nulls":4},"1-283-86108-9"]
[{"$nulls":4},"1-136-18371-X"]
[null,null,"Descrizione fisica",null,"1 online resource (305 p.)"]
[null,null,"Collana",null,"Routledge innovations in political theory ; ; 46"]
[null,null,"Disciplina",null,"320.01"]
[{"$nulls":4},"321.8"]
[null,null,"Soggetti",null,"Democracy - Philosophy"]
[{"$nulls":4},"Electronic books."]
[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","\"Includes Andrew Arato's 'Conceptual history of dictatorship (and its rivals)'.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"pt. I. From critical theory to constitution making : the contemporary relevance of Arato's democratic theory -- pt. II. Civil society, populism, and the modern executive : Arato's intellectual influence in the Americas -- pt. III. Arato's theory of modern dictatorship."]
[null,null,null,"Sommario/riassunto","This book focuses on Andrew Arato's democratic theory and its relevance to contemporary issues such as processes of democratization, civil society, constitution-making, and the modern Executive.Andrew Arato is -both globally and disciplinarily- a prominent thinker in the fields of democratic theory, constitutional law, and comparative politics, influencing several generations of scholars. This is the first volume to systematically address his democratic theory. Including contributions from leading scholars such as Dick Howard, Ulrich Preuss, Hubertus Buchstein, Janos Kis, Uri Ram, Le"]
[null,"3.","Record Nr.",null,"UNINA9910349424003321"]
[null,null,"Titolo",null,"Persuasive Technology : 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings / / edited by Jaap Ham, Evangelos Karapanos, Plinio P. Morita, Catherine M. Burns"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018"]
[null,null,"ISBN",null,"9783319789781"]
[{"$nulls":4},"3319789783"]
[null,null,"Edizione",null,"[1st ed. 2018.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 312 p.)"]
[null,null,"Collana",null,"Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 10809"]
[null,null,"Disciplina",null,"153.852"]
[null,null,"Soggetti",null,"Computers and civilization"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"User interfaces (Computer systems)"]
[{"$nulls":4},"Human-computer interaction"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Social sciences - Data processing"]
[{"$nulls":4},"Computers and Society"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[{"$nulls":4},"User Interfaces and Human Computer Interaction"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Computer Application in Social and Behavioral Sciences"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Thinking about persuasive technology from the strategic business perspective: A call for research on cost-based competitive advantage -- What makes it persuasive -- Sustaining Health Behaviors Through Empowerment: A Deductive Theoretical Model of Behavior Change Based on Information and Communication Technology (ICT) -- Can an Enterprise System Persuade? The Role of Perceived Effectiveness and Social Influence -- Is it my looks? Or something I said? The Impact of Explanations, Embodiment, and Expectations on Trust and Performance in Human-Robot Teams -- Building Online Platforms for Peer Support Groups as a Persuasive Behavioural Change Technique  -- A Decision-Making Perspective on Coaching Behavior Change: A Field Experiment "]
[{"$nulls":4},"on Promoting Exercise at Work -- Towards Finding Windows of Opportunity for Ubiquitous Healthy Eating Interventions -- Influencing Participant Behavior Through a Notification-Based Recommendation System -- Using Visual Cues to Leverage the Use of Speech Input in theVehicle -- Time Off: Designing Lively Representations as Imaginative Triggers for Healthy Smartphone Use -- Rationale Behind Socially Influencing Design Choices for Health Behavior Change -- The Values of Self-tracking and Persuasive eCoaching according to Employees and Human Resource Advisors for a Workplace Stress Management Application: a Qualitative Study -- Participatory Design of a Persuasive Mobile Application for Helping Entrepreneurs to Recover from Work -- Might we learn from learning? -- Shock Tactics: Perceived Controversy in Molleindustria Persuasive Games -- Reflection through Gaming: Reinforcing health message response through gamified rehearsal -- Designing and testing credibility: The case of a serious game on nightlife risks  -- Persuasive Interventions for Sustainable Travel Choices Leveraging Users’ Personality and Mobility Type -- Building Website Certificate Mental Models -- Persuasive Technology to Support Chronic Health Conditions: Investigating the Optimal Persuasive Strategies for Persons with COPD -- Cardiovascular Reactions during Exposure to Persuasion Principles -- Consumers’ Need for Uniqueness and The Influence of Persuasive Strategies in E-commerce -- Using an Artificial Agent as a Behavior Model to Promote Assistive Technology Acceptance -- Understanding Home Energy Saving Recommendations."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 13th International Conference on Persuasive Technology, PERSUASIVE 2018, held in Waterloo, ON, Canada, in April 2018. The 21 revised full papers and 4 short papers presented were carefully reviewed and selected from 59 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They explore new frontiers for persuasive technology, such as personalized persuasion, new sensor usage, uses of big data, and new ways of creating engagement through gaming or social connection, focusing on a variety of technologies (e.g., web, wearables, AI, and smart environments). The papers are organized in the following topical sections: social means to persuasion; nudging and just-in-time interventions; design principles and practices; persuasive games; personalization and tailoring; and theoretical reflections. ."]
[null,"4.","Record Nr.",null,"UNINA9910483641803321"]
[null,null,"Titolo",null,"Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings / / edited by Manuel Carro, Ricardo Peña"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010"]
[null,null,"ISBN",null,"1-280-38553-7"]
[{"$nulls":4},"9786613563453"]
[{"$nulls":4},"3-642-11503-9"]
[null,null,"Edizione",null,"[1st ed. 2010.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 297 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 5937"]
[null,null,"Disciplina",null,"005.13"]
[null,null,"Soggetti",null,"Compilers (Computer programs)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[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 Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction to Maude and Some of Its Applications -- Non-Monotonic Reasoning - Answer Set Programming -- Efficient Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid MKNF Knowledge Bases -- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport -- Types -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined Reference Monitoring in Prolog -- Domain "]
[{"$nulls":4},"Specific Languages -- An Ode to Arrows -- Lazy Combinators for Executable Specifications of General Attribute Grammars -- A Domain-Specific Language Approach to Protocol Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework for Declarative Web Programming -- Constraints -- Lazy Explanations for Constraint Propagators -- On the Implementation of the CLP( ) Language -- Tabling - Agents -- Compact Lists for Tabled Evaluation -- A Simple and Efficient Implementation of Concurrent Local Tabling -- An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives -- Prospective Storytelling Agents."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents."]