{"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":36,"n_cols":5,"rows_kept":36,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[12,2,12,3],[13,2,13,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[29,2,29,3],[30,2,30,3],[33,2,33,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910480678403321"]
[null,null,"Autore",null,"Freese Ralph S. <1946->"]
[null,null,"Titolo",null,"The structure of modular lattices of width four with applications to varieties of lattices / / Ralph S. Freese"]
[null,null,"Pubbl/distr/stampa",null,"Providence, Rhode Island : , : American Mathematical Society, , [1977]"]
[{"$nulls":4},"©1977"]
[null,null,"ISBN",null,"1-4704-0864-3"]
[null,null,"Descrizione fisica",null,"1 online resource (102 p.)"]
[null,null,"Collana",null,"Memoirs of the American Mathematical Society ; ; volume 9, issue 1, number 181 (January 1977)"]
[null,null,"Disciplina",null,"512/.7"]
[null,null,"Soggetti",null,"Lattice theory"]
[{"$nulls":4},"Modular lattices"]
[{"$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","\"Volume 9, issue 1.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,"2.","Record Nr.",null,"UNINA9910254187403321"]
[null,null,"Titolo",null,"Computer and Information Science 2015 / / edited by Roger Lee"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016"]
[null,null,"ISBN",null,"3-319-23467-6"]
[null,null,"Edizione",null,"[1st ed. 2016.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 252 p. 105 illus., 58 illus. in color.)"]
[null,null,"Collana",null,"Studies in Computational Intelligence, , 1860-9503 ; ; 614"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Computational intelligence"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computational Intelligence"]
[{"$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","Includes index."]
[null,null,"Nota di contenuto",null,"SAF: States Aware Fully Associative FTL for Multitasking Environment -- Security Measures for Web ETL Processes  -- Automated Negotiating Agent Based on Evolutionary Stable Strategies -- Architecture for Intelligent Transportation System Based in a General Traffic Ontology -- Optimization of Cross-Lingual LSI Training Data -- Depth-First Heuristic Search for Software Model Checking -- A Novel Architecture for Learner’s Profiles Interoperability -- CORE: Continuous Monitoring of Reverse k Nearest Neighbors on Moving Objects in Road Networks -- A Voice Dialog Editor Based on Finite State Transducer Using Composite State for Tablet Devices -- Analysis of Driving Behaviors Based on GMM by Using Driving Simulator with Navigation Plugin -- Bin-Based Estimation of the Amount of Effort for Embedded Software Development Projects with Support Vector Machines -- Applying RoBuSt Method for Robustness Testing of the Non-Interference Property -- An Improved Multi-SOM Algorithm for Determining the Optimal Number of Clusters -- Conformance Testing for Timed Recursive Programs -- Instruction Level Loop De-optimization: Loop Rerolling and Software De-pipelining -- ETL Design Toward Social Network Opinion Analysis."]
[null,null,null,"Sommario/riassunto","This edited book presents scientific results of the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) which was held on June 28 – July 1, 2015 in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, "]
[{"$nulls":4},"businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them."]