{"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":53,"n_cols":5,"rows_kept":53,"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],[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],[17,2,17,3],[18,2,18,3],[27,2,27,3],[28,2,28,3],[30,2,30,3],[30,4,30,5],[31,2,31,3],[31,4,31,5],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[47,2,47,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISOBSOBE00055447"]
[null,null,"Autore",null,"Cantarella, Eva"]
[null,null,"Titolo",null,"1 A: Preistoria - Antico Oriente - Grecia / Eva Cantarella ; Giulio Guidorizzi"]
[null,null,"Pubbl/distr/stampa",null,"Torino : Einaudi scuola, 2006"]
[null,null,"ISBN",null,"8828606436"]
[null,null,"Edizione",null,"[3. ed]"]
[null,null,"Descrizione fisica",null,"XII, 250 p. : ill. ; 29 cm + 1 fasc. all. (71 p.) + 1 CD-Rom"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","In allegato il fascicolo \"Percorsi\" di Marxiano Melotti"]
[{"$nulls":4},"Tit. del CD: Verifiche e percorsi"]
[null,"2.","Record Nr.",null,"UNISOBVAN0101348"]
[null,null,"Autore",null,"Colding, Tobias Holck"]
[null,null,"Titolo",null,"A course in minimal surfaces / Tobias Holck Colding, William P. Minicozzi II"]
[null,null,"Pubbl/distr/stampa",null,"Providence, : American mathematical society, 2011"]
[null,null,"ISBN",null,"978-08-218-5323-8"]
[null,null,"Descrizione fisica",null,"XII, 313 p. : ill. ; 26 cm."]
[null,null,"Soggetti",null,"35J15 - Second order elliptic equations [MSC 2020]"]
[{"$nulls":4},"49Q05 - Minimal surfaces and optimization [MSC 2020]"]
[{"$nulls":4},"53A10 - Minimal surfaces in differential geometry, surfaces with prescribed mean curvature [MSC 2020]"]
[{"$nulls":4},"35J60 - Nonlinear elliptic equations [MSC 2020]"]
[{"$nulls":4},"83C57 - Black holes [MSC 2020]"]
[{"$nulls":4},"57M50 - General geometric structures on low-dimensional manifolds [MSC 2020]"]
[{"$nulls":4},"53C42 - Differential geometry of immersions (minimal, prescribed curvature, tight, etc.) [MSC 2020]"]
[{"$nulls":4},"58E12 - Variational problems concerning minimal surfaces (problems in two independent variables) [MSC 2020]"]
[{"$nulls":4},"57K30 - General topology of 3-manifolds [MSC 2020]"]
[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,"UNISA996465890603316"]
[null,null,"Titolo",null,"Foundations of Software Science and Computational Structures [[electronic resource] ] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / / edited by Martin Hofmann"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011"]
[null,null,"ISBN",null,"3-642-19805-8"]
[null,null,"Edizione",null,"[1st ed. 2011.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XV, 473 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6604"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Machine theory"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Software Engineering"]
[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,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis."]