{"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":45,"n_cols":5,"rows_kept":45,"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],[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],[13,4,13,5],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[22,2,22,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],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[40,2,40,3],[41,2,41,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991003964389707536"]
[null,null,"Autore",null,"Lupoi, Maurizio"]
[null,null,"Titolo",null,"Il luogo dell'esecuzione del contratto come criterio di collegamento giurisdizionale : comparazione fra ius commune, Convenzione di Bruxelles, diritto italiano e diritto inglese / Maurizio Lupoi ; presentazione di Gino Gorla"]
[null,null,"Pubbl/distr/stampa",null,"Milano : Giuffrè, 1978"]
[null,null,"Descrizione fisica",null,"xxviii, 285 p. ; 25 cm."]
[null,null,"Collana",null,"Raccolta di studi di diritto comparato ; 2"]
[null,null,"Disciplina",null,"346.022"]
[null,null,"Soggetti",null,"Contratti - Esecuzione - Diritto comparato"]
[null,null,"Lingua di pubblicazione",null,"Non definito"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNIORUON00070579"]
[null,null,"Autore",null,"al-TABARI, Abu Ga'far Muhammad Ibn Garir"]
[null,null,"Titolo",null,"The ancient kingdoms / Al-Tabari ; translated and annotated by Moshe Perlmann"]
[null,null,"Pubbl/distr/stampa",null,"xii, 205 p. ; 24 cm"]
[null,null,"ISBN",null,"08-7706-181-8"]
[null,null,"Edizione",null,"[Albany]"]
[null,null,"Descrizione fisica",null,"Trad. di estr. da: Ta'rikh al-rusul wa'l-muluk"]
[null,null,"Disciplina",null,"935"]
[null,null,"Soggetti",null,"Arabi - Storia - Origini-622"]
[{"$nulls":4},"EBREI - Storia antica"]
[{"$nulls":4},"Iran - Storia - Fino al 640"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"3.","Record Nr.",null,"UNINA9910488705603321"]
[null,null,"Titolo",null,"Implementation and Application of Automata : 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings / / edited by Sebastian Maneth"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021"]
[null,null,"ISBN",null,"3-030-79121-1"]
[null,null,"Edizione",null,"[1st ed. 2021.]"]
[null,null,"Descrizione fisica",null,"1 online resource (202 pages)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12803"]
[null,null,"Disciplina",null,"511.3"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Logic programming"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer Engineering and Networks"]
[{"$nulls":4},"Logic in AI"]
[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,"Polyregular Functions -- Back to the Future: A Fresh Look at Linear Temporal Logic -- Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs 15 Jeffrey Shallit Technical Contributions Regularity Conditions for Iterated Shuffle on Commutative Regular Languages -- Memoized Regular Expressions -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis -- Degrees of Restriction for Two-Dimensional Automata -- The Range of State Complexities of Languages Resulting from the Cascade Product—The Unary Case (Extended Abstract)  -- Guessing the Buffer Bound for k-Synchronizability -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Organization IX Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers -- Ambiguity Hierarchies for Weighted Tree Automata -- Boolean Kernels of Context-Free Languages -- Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton -- Approximate Hashing for Bioinformatics."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures."]