{"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":34,"n_cols":5,"rows_kept":34,"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],[17,2,17,3],[18,2,18,3],[21,2,21,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466162903316"]
[null,null,"Autore",null,"Dörr Heiko"]
[null,null,"Titolo",null,"Efficient Graph Rewriting and Its Implementation [[electronic resource] /] / by Heiko Dörr"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995"]
[null,null,"ISBN",null,"3-540-49419-7"]
[null,null,"Edizione",null,"[1st ed. 1995.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 266 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 922"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Languages, Compilers, 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,"Nota di contenuto",null,"Graph rewriting systems — The basic concepts -- UBS-Graph rewriting systems — matching subgraphs in constant time -- Programmed attributed graph rewrite systems — An advanced modelling formalism -- The abstract machine for graph rewriting — supporting a fast implementation -- A graphical implementation of functional languages — a case study in UBS-graph rewriting systems -- Conclusions."]
[null,null,null,"Sommario/riassunto","This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS. The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS."]
[null,"2.","Record Nr.",null,"UNIORUON00526059"]
[null,null,"Autore",null,"Pesaresi, Cristiano"]
[null,null,"Titolo",null,"Applicazioni GIS : principi metodologici e linee di ricerca : esercitazioni ed esemplificazioni guida / Cristiano Pesaresi"]
[null,null,"Pubbl/distr/stampa",null,"Novara, : Utet Università, 2017"]
[null,null,"ISBN",null,"978-88-600-8488-0"]
[null,null,"Descrizione fisica",null,"XV, 360 p. ; 24 cm."]
[null,null,"Disciplina",null,"910.285"]
[null,null,"Soggetti",null,"Geografia - Sistemi informativi"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]