{"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":32,"n_cols":5,"rows_kept":32,"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],[10,2,10,3],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[16,2,16,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[27,2,27,3],[28,2,28,3],[30,2,30,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISALENTO991002021059707536"]
[null,null,"Autore",null,"Serrai, Alfredo"]
[null,null,"Titolo",null,"La biblioteca di Lucas Holstenius / Alfredo Serrai"]
[null,null,"Pubbl/distr/stampa",null,"Udine : Forum, 2000"]
[null,null,"ISBN",null,"888420013X"]
[null,null,"Descrizione fisica",null,"563 p. ; 24 cm"]
[null,null,"Collana",null,"Scienze bibliografiche ; 2"]
[null,null,"Disciplina",null,"017.2"]
[null,null,"Soggetti",null,"Holstenius, Lucas - Biblioteca - Cataloghi"]
[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,"UNINA9911015869503321"]
[null,null,"Autore",null,"Heidari Iman Mohammad Reza"]
[null,null,"Titolo",null,"Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms / / by Mohammad Reza Heidari Iman"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"9783031904103"]
[{"$nulls":4},"9783031904097"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (142 pages)"]
[null,null,"Disciplina",null,"006.22"]
[null,null,"Soggetti",null,"Embedded computer systems"]
[{"$nulls":4},"Electronic circuit design"]
[{"$nulls":4},"Electronics"]
[{"$nulls":4},"Embedded Systems"]
[{"$nulls":4},"Electronics Design and Verification"]
[{"$nulls":4},"Electronics and Microelectronics, Instrumentation"]
[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,"Introduction -- Background -- State-of-the-art -- Automatic Generation of Assertions for Functional Verification -- Automatic Evaluation and Minimization of Assertions -- Automatic Generation of Assertions for Security Verification -- Conclusion and Future Directions."]
[null,null,null,"Sommario/riassunto","Mohammad Reza Heidari Iman is a Postdoctoral Researcher at the TIMA Laboratory, Université Grenoble Alpes, France, starting in September 2024. He completed his Ph.D. in the Department of Computer Systems at Tallinn University of Technology, Estonia, in August 2024. His research focuses on Hardware Verification, Assertion-Based Verification, Security and Security Verification of Embedded and Safety-Critical Systems, and the application of Data Mining in Verification and Security."]