{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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],[9,2,9,3],[9,4,9,5],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[13,2,13,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[31,2,31,3],[32,2,32,3],[36,2,36,3],[39,2,39,3],[39,4,39,5],[40,2,40,3],[40,4,40,5],[41,2,41,3],[42,2,42,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[51,2,51,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990005526800203316"]
[null,null,"Titolo",null,"Antiche civilta lucane : atti del convegno di studi di archeologia, storia dell'arte e del folklore : Oppido Lucano, 5-8 aprile 1970 / a cura di Pietro Borraro - Galatina : Congedo, 1975 - 393 p. : [26] c. di tav. : ill. ; 24 cm"]
[null,null,"Collana",null,"Collana di cultura Lucana ; 2"]
[null,null,"Disciplina",null,"931.377"]
[null,null,"Soggetti",null,"ARCHEOLOGIA - Basilicata - Congressi - 1970"]
[null,null,"Collocazione",null,"900 931.377 BOR"]
[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,"UNISA996466051403316"]
[null,null,"Autore",null,"Bistarelli Stefano"]
[null,null,"Titolo",null,"Semirings for Soft Constraint Solving and Programming [[electronic resource] /] / by Stefano Bistarelli"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004"]
[null,null,"ISBN",null,"1-280-30701-3"]
[{"$nulls":4},"9786610307012"]
[{"$nulls":4},"3-540-25925-2"]
[null,null,"Edizione",null,"[1st ed. 2004.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 284 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2962"]
[null,null,"Disciplina",null,"005.1/1"]
[null,null,"Soggetti",null,"Algebra"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Artificial Intelligence"]
[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."]
[null,null,"Nota di contenuto",null,"1. Introduction -- 2. Soft Constraint Satisfaction Problems -- 3. Towards SCSPs Solutions -- 4. SCSP Abstraction -- 5. Higher Order Semiring-Based Constraints -- 6. Soft CLP -- 7. SCLP and Generalized Shortest Path Problems -- 8. Soft Concurrent Constraint Programming -- 9. Interchangeability in Soft CSPs -- 10. SCSPs for Modelling Attacks to Security Protocols -- 11. Conclusions and Directions for Future Work."]
[null,null,null,"Sommario/riassunto","Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this "]
[{"$nulls":4},"reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks. This book includes formal definitions and properties of semiring-based soft constraints, as well as their use within constraint logic programming and concurrent constraint programming. Moreover, the author shows how to adapt existing notions and techniques such as abstraction and interchangeability to the soft constraint framework and it is demonstrated how soft constraints can be used in some application areas, such as security. Overall, this book is a great starting point for anyone interested in understanding the basics of semiring-based soft constraints."]
[null,"3.","Record Nr.",null,"UNINA9910783782603321"]
[null,null,"Titolo",null,"Animal health at the crossroads [[electronic resource] ] : preventing, detecting, and diagnosing animal diseases / / Committee on Assessing the Nation's Framework for Addressing Animal Diseases, Board on Agriculture and Natural Resources, Division on Earth and Life Studies"]
[null,null,"Pubbl/distr/stampa",null,"Washington, DC, : National Academies Press, c2005"]
[null,null,"ISBN",null,"0-309-16499-0"]
[{"$nulls":4},"1-280-26288-5"]
[{"$nulls":4},"9786610262885"]
[{"$nulls":4},"0-309-53338-4"]
[null,null,"Descrizione fisica",null,"1 online resource (286 p.)"]
[null,null,"Disciplina",null,"636.089/6075"]
[null,null,"Soggetti",null,"Animals - Diseases - United States"]
[{"$nulls":4},"Veterinary medicine - Diagnosis - United States"]
[{"$nulls":4},"Veterinary public health - United States"]
[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."]