{"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":56,"n_cols":5,"rows_kept":56,"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],[29,2,29,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[45,2,45,3],[48,2,48,3],[49,2,49,3],[53,2,53,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465946803316"]
[null,null,"Titolo",null,"Analysis and Visualization Tools for Constraint Programming [[electronic resource] ] : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000"]
[null,null,"ISBN",null,"3-540-40016-8"]
[null,null,"Edizione",null,"[1st ed. 2000.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXII, 370 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1870"]
[null,null,"Disciplina",null,"005.1/1"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[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,"Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions with Constraints for CLP Debugging -- Locating Type Errors in Untyped CLP Programs -- Declarative Diagnosis in the CLP Scheme -- II. Performance Debugging -- Visual Tools to Debug Prolog IV Programs -- Search-Tree Visualisation -- Towards a Language for CLP Choice-Tree Visualisation -- Tools for Search-Tree Visualisation: The APT Tool -- Tools for Constraint Visualisation: The VIFID/TRIFID Tool -- Debugging Constraint Programs by Store Inspection -- Complex Constraint Abstraction: Global Constraint Visualisation -- III. Test Cases -- Using Constraint Visualisation Tools."]
[null,null,null,"Sommario/riassunto","Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can ?t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups."]
[null,"2.","Record Nr.",null,"UNINA9910970429803321"]
[null,null,"Autore",null,"Goyal Sanjeev"]
[null,null,"Titolo",null,"Connections : an introduction to the economics of networks / / Sanjeev Goyal"]
[null,null,"Pubbl/distr/stampa",null,"Princeton, N.J. ; ; Oxford, : Princeton University Press, c2007"]
[null,null,"ISBN",null,"9786612935558"]
[{"$nulls":4},"9786612458194"]
[{"$nulls":4},"9781282935556"]
[{"$nulls":4},"1282935550"]
[{"$nulls":4},"9781282458192"]
[{"$nulls":4},"1282458191"]
[{"$nulls":4},"9780691141183"]
[{"$nulls":4},"0691141185"]
[{"$nulls":4},"9781400829163"]
[{"$nulls":4},"140082916X"]
[{"$nulls":4},"9780691126500"]
[{"$nulls":4},"069112650X"]
[null,null,"Edizione",null,"[Course Book]"]
[null,null,"Descrizione fisica",null,"1 online resource (302 p.)"]
[null,null,"Classificazione",null,"83.01"]
[null,null,"Disciplina",null,"330.0151"]
[null,null,"Soggetti",null,"Economics, Mathematical"]
[{"$nulls":4},"Social networks - Economic aspects"]
[{"$nulls":4},"Social networks - Mathematical models"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographic references and index."]
[null,null,"Nota di contenuto",null,"Front matter -- Contents -- Acknowledgements -- 1. Introduction -- 2. Networks: Concepts And Empirics -- 3. Games On Networks -- 4. Coordination And Cooperation -- 5. Social Learning -- 6. Social Networks In Labor Markets -- 7. Strategic Network Formation: Concepts -- 8. One-Sided Link Formation -- 9. Two-Sided Link Formation -- 10. Research Collaboration Among Firms -- References -- Index"]
[null,null,null,"Sommario/riassunto","Networks pervade social and economic life, and they play a prominent role in explaining a huge variety of social and economic phenomena. Standard economic theory did not give much credit to the role of networks until the early 1990's, but since then the study of the theory "]
[{"$nulls":4},"of networks has blossomed. At the heart of this research is the idea that the pattern of connections between individual rational agents shapes their actions and determines their rewards. The importance of connections has in turn motivated the study of the very processes by which networks are formed. In Connections, Sanjeev Goyal puts contemporary thinking about networks and economic activity into context. He develops a general framework within which this body of research can be located. In the first part of the book he demonstrates that location in a network has significant effects on individual rewards and that, given this, it is natural that individuals will seek to form connections to move the network in their favor. This idea motivates the second part of the book, which develops a general theory of network formation founded on individual incentives. Goyal assesses the robustness of current research findings and identifies the substantive open questions. Written in a style that combines simple examples with formal models and complete mathematical proofs, Connections is a concise and self-contained treatment of the economic theory of networks, one that should become the natural source of reference for graduate students in economics and related disciplines."]