{"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":46,"n_cols":5,"rows_kept":46,"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],[19,2,19,3],[20,2,20,3],[24,2,24,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[32,2,32,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[39,2,39,3],[40,2,40,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465648703316"]
[null,null,"Titolo",null,"Rewriting Logic and Its Applications [[electronic resource] ] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / / edited by Francisco Durán"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012"]
[null,null,"ISBN",null,"3-642-34005-9"]
[null,null,"Edizione",null,"[1st ed. 2012.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 241 p. 51 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7571"]
[null,null,"Disciplina",null,"005.101/5113"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Models of Computation"]
[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 author index."]
[null,null,"Nota di contenuto",null,"Rigorous Component-Based System Design (Invited Paper) -- Program Analysis Scenarios in Rascal -- K Framework Distilled -- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude -- Making Maude Definitions More Interactive -- Model Checking LTLR Formulas under Localized Fairness -- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude -- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude -- Order-Sorted Equality Enrichments Modulo Axioms -- Timed CTL Model Checking in Real-Time Maude -- Using Narrowing to Test Maude Specifications -- A Rule-Based Framework for Building Superposition-Based Decision Procedures."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-workshop "]
[{"$nulls":4},"proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems."]
[null,"2.","Record Nr.",null,"UNINA9910794814503321"]
[null,null,"Autore",null,"Wachholz Michael (Consultant and trainer)"]
[null,null,"Titolo",null,"Mitarbeiterfuhrung im arztlichen dienst / / Michael Wachholz, Kompetenz im Krankenhaus, Kompetenz Training"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017"]
[{"$nulls":4},"©2017"]
[null,null,"ISBN",null,"3-11-049271-7"]
[{"$nulls":4},"3-11-049555-4"]
[null,null,"Descrizione fisica",null,"1 online resource (144 pages)"]
[null,null,"Classificazione",null,"MED000000MED002000"]
[null,null,"Disciplina",null,"362.1068/3"]
[null,null,"Soggetti",null,"Health facilities - Personnel management"]
[{"$nulls":4},"Supervision of employees"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Frontmatter -- Vorwort -- Inhaltsverzeichnis -- 1. Mitarbeiterführung -- 2. Mitarbeitergespräche -- 3. Die Kündigung -- 4. Bewerbungsgespräche -- 5. Effektive Besprechungen -- 6. Teamkonflikte lösen -- 7. Jährliche Mitarbeitergespräche -- 8. Zielvereinbarungen -- Anhang"]
[null,null,null,"Sommario/riassunto","Mitarbeiterführung in der Klinik folgt meist eigenen Regeln. Als leitender Arzt sind Sie tiefer als als Führungskräfte anderer Branchen in \"die Produktion\" eingebunden. Sie haben eine hohe medizinische Verantwortung und wiegen wirtschaftliche Interessen intensiv gegen ethische Überlegungen ab. Daher finden Sie in diesem Buch Lösungen für die wichtigsten Führungsaufgaben anhand von Beispielen aus dem Krankenhausalltag. Ergänzende Unterlagen zum Buch finden Sie auf www.kompetenz-im-krankenhaus.de. Dort und im Podcast \"Das Stethoskop\" finden Sie auch weitere Tipps zur erfolgreichen Mitarbeiterführung."]
[{"$nulls":4},"This book presents the most important situations facing physicians in day-to-day employee management. It points out potential stumbling blocks and uses practical examples to illustrate principles for holding feedback and motivational meetings, conducting job interviews, and dismissing employees. In addition, it offers valuable tips for negotiating with other managers and directors. Clear guidelines and brief checklists facilitate implementation."]