{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":80,"n_cols":5,"rows_kept":80,"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],[7,2,7,3],[8,2,8,3],[10,2,10,3],[13,2,13,3],[14,2,14,3],[18,2,18,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,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],[45,2,45,3],[46,2,46,3],[49,2,49,3],[52,2,52,3],[52,4,52,5],[53,2,53,3],[53,4,53,5],[54,2,54,3],[55,2,55,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[59,2,59,3],[60,2,60,3],[72,2,72,3],[73,2,73,3],[77,2,77,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910139869003321"]
[null,null,"Titolo",null,"Hydrogen bonding in organic synthesis [[electronic resource] /] / edited by Petri M. Pihko"]
[null,null,"Pubbl/distr/stampa",null,"Weinheim, : Wiley-VCH, 2009"]
[null,null,"ISBN",null,"1-282-30249-3"]
[{"$nulls":4},"9786612302497"]
[{"$nulls":4},"3-527-62784-7"]
[{"$nulls":4},"3-527-62785-5"]
[null,null,"Descrizione fisica",null,"1 online resource (397 p.)"]
[null,null,"Disciplina",null,"541.224"]
[{"$nulls":4},"547.2"]
[null,null,"Soggetti",null,"Hydrogen bonding"]
[{"$nulls":4},"Organic compounds - Synthesis"]
[{"$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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Hydrogen Bonding in Organic Synthesis; Contents; Preface; List of Contributors; 1: Introduction; 1.1 Introduction; 1.2 Hydrogen Bonding in Organic Synthesis; 2: Hydrogen-Bond Catalysis or Brønsted-Acid Catalysis? General Considerations; 2.1 Introduction; 2.2 What is the Hydrogen Bond?; 2.3 Hydrogen-Bond Catalysis or Brønsted-Acid Catalysis; 2.4 Brønsted-Acid Catalysis; 2.5 Hydrogen-Bond Catalysis; References; 3: Computational Studies of Organocatalytic Processes Based on Hydrogen Bonding; 3.1 Introduction; 3.1.1 Catalytic Functions of Hydrogen Bonds"]
[{"$nulls":4},"3.2 Dynamic Kinetic Resolution (DKR) of Azlactones-Thioureas Can Act as Oxyanion Holes Comparable to Serine Hydrolases3.2.1 The Calculated Reaction Path of the Alcoholytic Ring Opening of Azlactones; 3.2.2 How Hydrogen Bonds Determine the Enantioselectivity of the Alcoholytic Azlactone Opening; 3.3 On the Bifunctionality of Chiral Thiourea-Tert-Amine-Based Organocatalysts: Competing Routes to C-C Bond Formation in a Michael Addition; 3.4 Dramatic Acceleration of Olefin Epoxidation in Fluorinated Alcohols: Activation of Hydrogen Peroxide by Multiple Hydrogen Bond Networks"]
[{"$nulls":4},"3.4.1 Hydrogen Bond Donor Features of HFIP3.4.2 The Catalytic Activity of HFIP in the Epoxidation Reaction; 3.5 TADDOL-Promoted "]
[{"$nulls":4},"Enantioselective Hetero-Diels-Alder Reaction of Danishefsky's Diene with Benzaldehyde-Another Example for Catalysis by Cooperative Hydrogen Bonding; 3.6 Epilog; References; 4: Oxyanion Holes and Their Mimics; 4.1 Introduction; 4.1.1 What are Oxyanion Holes?; 4.1.2 Contributions of Oxyanion Holes to Catalysis; 4.1.3 Properties of Hydrogen Bonds of Oxyanion Holes; 4.2 A More Detailed Description of the Two Classes of Oxyanion Holes in Enzymes"]
[{"$nulls":4},"4.2.1 A Historical Perspective4.2.2 Oxyanion Holes with Tetrahedral Intermediates; 4.2.3 Oxyanion Holes with Enolate Intermediates; 4.2.3.1 Examples of Enolate Oxyanion Holes; 4.3 Oxyanion Hole Mimics; 4.3.1 Mimics of Enzymatic Oxyanion Holes and Similar Systems; 4.3.2 Utilization of Oxyanion Holes in Enzymes for Other Reactions; 4.4 Concluding Remarks; Acknowledgments; References; 5: Brønsted Acids, H-Bond Donors, and Combined Acid Systems in Asymmetric Catalysis; 5.1 Introduction; 5.2 Brønsted Acid (Phosphoric Acid and Derivatives); 5.2.1 Binapthylphosphoric Acids; 5.2.1.1 Mannich Reaction"]
[{"$nulls":4},"5.2.1.2 Hydrophosphonylation5.2.1.3 Friedel-Crafts; 5.2.1.4 Diels-Alder; 5.2.1.5 Miscellaneous Reactions; 5.2.1.6 Nonimine Electrophiles; 5.2.1.7 Transfer Hydrogenation; 5.2.2 Nonbinol-Based Phosphoric Acids; 5.2.3 N-Triflyl Phosphoramide; 5.2.4 Asymmetric Counteranion-Directed Catalysis; 5.3 N-H Hydrogen Bond Catalysts; 5.3.1 Guanidine Organic Base; 5.3.2 Ammonium Salt Catalysis; 5.3.3 Chiral Tetraaminophosphonium Salt; 5.4 Combined Acid Catalysis; 5.4.1 Brønsted-Acid-Assisted Brønsted Acid Catalysis; 5.4.1.1 Diol Activation of Carbonyl Electrophiles"]
[{"$nulls":4},"5.4.1.2 Diol Activation of Other Electrophiles"]
[null,null,null,"Sommario/riassunto","This first comprehensive overview of the rapidly growing field emphasizes the use of hydrogen bonding as a tool for organic synthesis, especially catalysis. As such, it covers such topics as enzyme chemistry, organocatalysis and total synthesis, all unified by the unique advantages of hydrogen bonding in the construction of complex molecules from simple precursors.Providing everything you need to know, this is a definite must for every synthetic chemist in academia and industry."]
[null,"2.","Record Nr.",null,"UNISALENTO991002154099707536"]
[null,null,"Autore",null,"Cailleux, Andre"]
[null,null,"Titolo",null,"Biogeographie mondiale / par Andre Cailleux"]
[null,null,"Pubbl/distr/stampa",null,"Paris : Presses universitaires de France, 1953"]
[null,null,"Descrizione fisica",null,"126 p. : ill. ; 18 cm."]
[null,null,"Collana",null,"Que sais-je?. Le point des connaissances actuelles"]
[null,null,"Soggetti",null,"Geografia fisica"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"3.","Record Nr.",null,"UNINA9910337485703321"]
[null,null,"Titolo",null,"Endoscopic Biopsy Interpretation : A Practical Guide / / edited by M. Priyanthi Kumarasinghe, Ian Brown"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-319-79117-6"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (340 pages)"]
[null,null,"Disciplina",null,"616.330758"]
[null,null,"Soggetti",null,"Pathology"]
[{"$nulls":4},"Gastroenterology"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[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,"Pathological Reaction Pattern approach to biopsies of the Gastrointestinal Tract: Oesophagus/Stomach/Small Intestine/Large Intestine -- Part I: Esophagus: Non-neoplastic Patterns -- Part II: Esophagus: Neoplastic Patterns and Mimics -- Part I: Stomach: Non-Neoplastic Patterns -- Stomach Part II: Neoplastic Patterns -- Proximal Small Intestine: Acute Inflammation (and/or Erosion) -- Proximal Small Intestine: Neoplasms And Tumour Like Conditions -- Terminal Ileum: Non-Neoplastic -- Terminal Ileum: Neoplastic -- Inflammatory Patterns -- Tumor and Tumor-like Lesions -- Molecular Testing in Colorectal Carcinoma -- Overview of Endoscopic Features of Gastrointestinal Pathology (Colon)."]
[null,null,null,"Sommario/riassunto","This book provides a guide to systematic approaches of endoscopic biopsies to render a safe, quick and accurate pathological diagnosis in an integrated manner. It also offers important information that pathologists and clinicians should know to get the best value of endoscopic biopsies. Because some patterns are common to many sites, the overarching introductory chapter gives the reader a generalized approach, which is refined in subsequent site specific chapters. The disease etiologies of each pattern are discussed, with emphasis placed on the most common causes that are encountered in clinical practice. In keeping with recent advances of using small biopsies for testing clinically relevant bio markers, important information that the pathologists and clinicians need to know are highlighted in appropriate sites. Authored by experts in the field, diagnostic features, patterns with relevant endoscopic and clinical "]
[{"$nulls":4},"clues, traps and overlapping features,and appropriate ancillary tests including clinically relevant molecular signatures in endoscopic biopsies are emphasized. Endoscopic Biopsy Interpretation: A Practical Guide provides a useful resource for pathologists and clinicians interested in integrating emerging sophisticated pathology techniques into endoscopic biopsies in routine practice."]
[null,"4.","Record Nr.",null,"UNINA9910143623903321"]
[null,null,"Titolo",null,"CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings / / edited by Catuscia Palamidessi"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000"]
[null,null,"ISBN",null,"3-540-44618-4"]
[null,null,"Edizione",null,"[1st ed. 2000.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XI, 613 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1877"]
[null,null,"Disciplina",null,"003.3"]
[null,null,"Soggetti",null,"Computer architecture"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Computation by Abstract Devices"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Computer Communication Networks"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Combining Theorem Proving and Model Checking through Symbolic Analysis -- Verification Is Experimentation! -- Compositional Performance Analysis Using Probabilistic I/O Automata -- Formal Models for Communication-Based Design -- Invited Tutorials -- Programming Access Control: The Klaim Experience -- Exploiting Hierarchical Structure for Efficient Formal Verification -- From Process Calculi to Process Frameworks -- Verification Using Tabled Logic Programming -- Accepted Papers -- Open Systems in Reactive Environments: Control and Synthesis -- Model Checking with Finite Complete Prefixes Is PSPACE-Complete -- Verifying Quantitative Properties of Continuous Probabilistic Timed Automata -- The "]
[{"$nulls":4},"Impressive Power of Stopwatches -- Optimizing Büchi Automata -- Generalized Model Checking: Reasoning about Partial State Spaces -- Reachability Analysis for Some Models of Infinite-State Transition Systems -- Process Spaces -- Failure Semantics for the Exchange of Information in Multi-Agent Systems -- Proof-Outlines for Threads in Java -- Deriving Bisimulation Congruences for Reactive Systems -- Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic -- Process Languages for Rooted Eager Bisimulation -- Action Contraction -- A Theory of Testing for Markovian Processes -- Reasoning about Probabilistic Lossy Channel Systems -- Weak Bisimulation for Probabilistic Systems -- Nondeterminism and Probabilistic Choice: Obeying the Laws -- Secrecy and Group Creation -- On the Reachability Problem in Cryptographic Protocols -- Secure Information Flow for Concurrent Processes -- LP Deadlock Checking Using Partial Order Dependencies -- Pomsets for Local Trace Languages -- Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs -- The Control of Synchronous Systems -- Typing Non-uniform Concurrent Objects -- An Implicitly-Typed Deadlock-Free Process Calculus -- Typed Mobile Objects -- Synthesizing Distributed Finite-State Systems from MSCs -- Emptiness Is Decidable for Asynchronous Cellular Machines -- Revisiting Safety and Liveness in the Context of Failures -- Well-Abstracted Transition Systems -- A Unifying Approach to Data-Independence -- Chi Calculus with Mismatch."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664."]