{"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":62,"n_cols":5,"rows_kept":62,"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],[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],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[29,2,29,3],[30,2,30,3],[33,2,33,3],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[54,2,54,3],[55,2,55,3],[59,2,59,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990003402980203316"]
[null,null,"Titolo",null,"Codice delle ingiunzioni e delle sanzioni amministrative : procedimento e tutela : annotato con dottrina, giurisprudenza e formule : aggiornato alla L. 15 luglio 2009, n. 94 e alla L. 23 dicembre 2009, n. 191 (Finanziaria per il 2010) / Maria Iannone, Silvia Paladino"]
[null,null,"Pubbl/distr/stampa",null,"Roma : Nel diritto, 2010"]
[null,null,"ISBN",null,"978-88-95675-98-5"]
[null,null,"Descrizione fisica",null,"VII, 689 p. ; 24 cm"]
[null,null,"Collana",null,"I codici del professionista"]
[null,null,"Disciplina",null,"342.45066"]
[null,null,"Collocazione",null,"XXIV.3.B. 381"]
[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,"UNISA996465885103316"]
[null,null,"Titolo",null,"Software Language Engineering [[electronic resource] ] : First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers / / edited by Dragan Gaševic, Ralf Lämmel, Eric van Wyk"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-00434-2"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 343 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 5452"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Management information systems"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Simulation and Modeling"]
[{"$nulls":4},"Management of Computing and Information Systems"]
[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,"Keynotes -- The Field of Software Language Engineering -- Model-Driven Engineering Meets Generic Language Technology -- Regular Papers -- Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams -- Neon: A Library for Language Usage Analysis -- Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude -- Parse Table Composition -- Practical Scope Recovery Using Bridge Parsing -- Generating Rewritable Abstract Syntax Trees -- Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains -- Engineering a DSL for Software Traceability -- Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories -- A Model Engineering Approach to Tool Interoperability -- Engineering Languages for "]
[{"$nulls":4},"Specifying Product-Derivation Processes in Software Product Lines -- Transformation Language Integration Based on Profiles and Higher Order Transformations -- Formalization and Rule-Based Transformation of EMF Ecore-Based Models -- A Practical Evaluation of Using TXL for Model Transformation -- DeFacto: Language-Parametric Fact Extraction from Source Code -- A Case Study in Grammar Engineering -- Sudoku – A Language Description Case Study -- The Java Programmer’s Phrase Book."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Software Language Engineering, SLE 2008, held in Toulouse, France, in September 2008. The 16 revised full papers and 1 revised short paper presented together with 1 tool demonstration paper and 2 keynote lectures were carefully reviewed and selected from 106 initial submissions. The papers are organized in topical sections on language and tool analysis and evaluation, concrete and abstract syntax, language engineering techniques, language integration and transformation, language implementation and analysis, as well as language engineering pearls."]
[null,"3.","Record Nr.",null,"UNINA9910143596703321"]
[null,null,"Titolo",null,"Practice and Theory of Automated Timetabling III : Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers / / edited by Edmund Burke, Wilhelm Erben"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001"]
[null,null,"ISBN",null,"3-540-44629-X"]
[null,null,"Edizione",null,"[1st ed. 2001.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 364 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2079"]
[null,null,"Disciplina",null,"658.5/3"]
[null,null,"Soggetti",null,"Computer programming"]
[{"$nulls":4},"Production management"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Operations Management"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"Mathematics of Computing"]
[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,"Nota di contenuto",null,"Course and School Timetabling -- A Multiobjective Genetic Algorithm for the Class/Teacher Timetabling Problem -- Some Complexity Aspects of Secondary School Timetabling Problems -- A Generic Object-Oriented Constraint-Based Model for University Course Timetabling -- A Co-Evolving Timeslot/Room Assignment Genetic Algorithm Technique for University Timetabling -- A Comprehensive Course Timetabling and Student Scheduling System at the University of Waterloo -- Examination Timetabling -- Examination Timetables and Tabu Search with Longer-Term Memory -- Tabu Search Techniques for Examination Timetabling -- A Multicriteria Approach to Examination Timetabling -- A Grouping Genetic Algorithm for Graph Colouring and Exam Timetabling -- Employee Timetabling -- Cyclical Staff Scheduling Using Constraint Logic Programming -- A Hyperheuristic Approach to Scheduling a Sales Summit -- Solving Rostering Tasks as Constraint Optimization -- Assigning Resources to Constrained Activities -- Other "]
[{"$nulls":4},"Timetabling and Related Problems -- Fleet Scheduling Optimization: A Simulated Annealing Approach -- A Schedule-Then-Break Approach to Sports Timetabling -- Three Methods to Automate the Space Allocation Process in UK Universities -- Practical Considerations and General Issues -- Resource-Constrained Project Scheduling and Timetabling -- Graph Colouring by Maximal Evidence Edge Adding -- Modelling Timetabling Problems with STTL -- A Language for Specifying Complete Timetabling Problems -- A Software Architecture for Timetable Construction -- Other Timetabling Presentations -- Other Timetabling Presentations."]
[null,null,null,"Sommario/riassunto","This volume is the third in an ongoing series of books that deal with the state of the art in timetabling research. It contains a selection of the papers presented at the 3rd International Conference on the Practice and Theory of Automated Timetabling (PATAT 2000) held in Constance, Germany, on August 16{18th, 2000. The conference, once again, brought together researchers, practitioners, and vendors from all over the world working on all aspects of computer-aided timetable generation. The main aim of the PATAT conference series is to serve as an international and inter-disciplinary forum for new timetabling research results and directions. The conference series particularly aims to foster mul- disciplinary timetabling research. Our eld has always attracted scientists from a number of traditional domains including computer science and operational - search and we believe that the cross-fertilisation of ideas from di erent elds and disciplines is a very important factor in the future development of timetabling research. The Constance conference certainly met these aims. As can be seen from the selection of papers in this volume, there was a wide range of interesting approaches and ideas for a variety of timetabling application areas and there were delegates from many di erent disciplines. It is clear that while considerable progress is being made in many areas of timetabling research, there are a number of important issues that researchers still have to face. In a contribution to the previous PATAT conference, George M."]