Il recupero di una componente del sistema territorio : torri, castelli, fortezze nel Mezzogiorno d'Italia

• Record Nr.: UNISA990006186820203316
• Pubbl/distr/stampa: Napoli, Università degli Studi, Dipartimento di pianificazione e gestione del territorio, : IPIGET, 1988
• Descrizione fisica: 380 p. : ill. ; 24 cm
• Collana: Saggi monografici ; 1
• Disciplina: 725.1809457
• Soggetti: Fortificazioni - Italia meridionale
• Collocazione: 725.180 REC
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: In testa al front.: Consiglio nazionale delle ricerche, Istituto di pianificazione e gestione del territorio, IPIGET, Napoli

Manual of gynecologic oncology [[electronic resource] /] / editors, Christina S. Chu, Stephen C. Rubin

• Record Nr.: UNINA9910457539203321
• Pubbl/distr/stampa: Singapore ; ; Hackensack, N.J., : World Scientific, c2011
• ISBN: 1-283-43375-3; 9786613433756; 981-4343-70-6
• Descrizione fisica: 1 online resource (363 p.)
• Altri autori (Persone): ChuChristina S; RubinStephen C
• Disciplina: 616.99/465
• Soggetti: Generative organs, Female - Cancer; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Chemotherapy in gynecologic malignancies -- Radiation therapy for gynecologic malignancies -- Preinvasive disease of the lower genital tract -- Vulvar cancer -- Vaginal cancer -- Cervical cancer -- Endometrial cancer -- Uterine sarcoma -- Epithelial ovarian and fallopian tube carcinoma -- Sex cord-stromal and germ cell tumors of the ovary -- Gestational trophoblastic disease and molar pregnancy -- Oncologic emergencies -- Supportive care.
• Sommario/riassunto: This invaluable manual provides a practical overview of the field of gynecologic oncology. Focusing on clinical aspects of the specialty, it provides hands-on guidance for those caring for patients with ovarian, cervical, uterine, and lower genital tract cancers. It describes the current epidemiology, pathophysiology, presentation, diagnosis, and multimodality management of the most common gynecologic malignancies. Chapters are also devoted to radiation and chemotherapy, as well as symptom management. The book is designed for quick reference.

Computer Science Logic [[electronic resource] ] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / / edited by Luke Ong

• Record Nr.: UNISA996465924403316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
• Edizione: [1st ed. 2005.]
• Descrizione fisica: 1 online resource (XI, 567 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3634
• Disciplina: 005.1/015113
• Soggetti: Compilers (Computer programs); Computer science; Machine theory; Artificial intelligence; Mathematical logic; Compilers and Interpreters; Theory of Computation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Mathematical Logic and Foundations
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Invited Lectures -- XML Navigation and Tarski’s Relation Algebras -- Verification in Predicate Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formulation of ???-Lifting and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures on Böhm-Like Models -- Higher-Order Matching and Games -- Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations -- On the Role of Type Decorations in the Calculus of ; Inductive Constructions -- Linear Logic and Ludics -- L-Nets, Strategies and Proof-Nets -- Permutative Logic -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints -- From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction -- An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints -- Finite Models, Decidability and Complexity -- Coprimality in Finite Models -- Towards a Characterization of Order-Invariant Queries over Tame Structures -- Decidability of Term Algebras Extending Partial Algebras -- Results on the Guarded Fragment with Equivalence or Transitive Relations -- The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic -- On the Complexity of Hybrid Logics with Binders -- The Complexity of Independence-Friendly Fixpoint Logic -- Closure Properties of Weak Systems of Bounded Arithmetic -- Verification and Model Checking -- Transfinite Extension of the Mu-Calculus -- Bounded Model Checking of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity and Intensionality in a Type-1 Framework for Computable Analysis -- Computing with Sequences, Weak Topologies and the Axiom of Choice -- Light Functional Interpretation -- Feasible Proofs of Matrix Properties with Csanky’s Algorithm -- Implicit Computational Complexity and Rewriting -- A Propositional Proof System for Log Space -- Identifying Polynomial-Time Recursive Functions -- Confluence of Shallow Right-Linear Rewrite Systems -- Appendices -- The Ackermann Award 2005 -- Clemens Lautemann: 1951-2005 An Obituary.