Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Atlas of Pediatric Head and Neck and Skull Base Surgery / / by: Fliss, Dan M., DeRowe, Ari
| Atlas of Pediatric Head and Neck and Skull Base Surgery / / by: Fliss, Dan M., DeRowe, Ari |
| Autore | Abergel Avraham |
| Pubbl/distr/stampa | Stuttgart : , : Thieme, , [2021] |
| Descrizione fisica | 1 online resource (620 pages) |
| Disciplina | 617.51059 |
| Soggetto topico |
Head - Surgery
Neck - Surgery Skull base - Surgery |
| Soggetto genere / forma | Atlas |
| ISBN |
3-13-258235-2
3-13-244171-6 3-13-241434-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910794235103321 |
Abergel Avraham
|
||
| Stuttgart : , : Thieme, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Atlas of Pediatric Head and Neck and Skull Base Surgery / / by: Fliss, Dan M., DeRowe, Ari
| Atlas of Pediatric Head and Neck and Skull Base Surgery / / by: Fliss, Dan M., DeRowe, Ari |
| Autore | Abergel Avraham |
| Pubbl/distr/stampa | Stuttgart : , : Thieme, , [2021] |
| Descrizione fisica | 1 online resource (620 pages) |
| Disciplina | 617.51059 |
| Soggetto topico |
Head - Surgery
Neck - Surgery Skull base - Surgery |
| Soggetto genere / forma | Atlas |
| ISBN |
3-13-258235-2
3-13-244171-6 3-13-241434-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910817554403321 |
|
Abergel Avraham
|
||
| Stuttgart : , : Thieme, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Color Atlas of Endo-Otoscopy : Examination-Diagnosis-Treatment / / by: Sanna, Mario, Russo, Alessandra, Caruso, Antonio, Taibah, Abdelkader, Piras, Gianluca
| Color Atlas of Endo-Otoscopy : Examination-Diagnosis-Treatment / / by: Sanna, Mario, Russo, Alessandra, Caruso, Antonio, Taibah, Abdelkader, Piras, Gianluca |
| Autore | Caruso Antonio |
| Pubbl/distr/stampa | Stuttgart, [Germany] ; ; New York : , : Thieme, , ©2017 |
| Descrizione fisica | 1 online resource (viii, 339 pages) : color illustrations |
| Disciplina | 617.8075 |
| Collana | Thieme clinical collection |
| Soggetto topico |
Ear - Diseases - Diagnosis
Ear Diseases - diagnosis Ear Diseases - surgery Otoscopy Endoscopy |
| Soggetto genere / forma | Atlases. |
| ISBN |
3-13-258240-9
3-13-241524-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Methods of otoscopy -- The Normal Tympanic Membrane -- Diseases Affecting the External Auditory Canal -- Otitis Media -- Cholesterol Granuloma -- Atelectasis, Adhesive Otitis Media -- Noncholesteatomatous Chronic Otitis Media -- Chronic Suppurative Otitis Media with Cholesteatoma -- Congenital Cholesteatoma of the Middle Ear -- Petrous Bone Cholesteatoma -- Temporal Bone Paragangliomas -- Rare Retrotympanic Masses -- Meningoencephalic Herniation -- Postsurgical Conditions. |
| Record Nr. | UNINA-9910796041603321 |
|
Caruso Antonio
|
||
| Stuttgart, [Germany] ; ; New York : , : Thieme, , ©2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Color Atlas of Endo-Otoscopy : Examination-Diagnosis-Treatment / / by: Sanna, Mario, Russo, Alessandra, Caruso, Antonio, Taibah, Abdelkader, Piras, Gianluca
| Color Atlas of Endo-Otoscopy : Examination-Diagnosis-Treatment / / by: Sanna, Mario, Russo, Alessandra, Caruso, Antonio, Taibah, Abdelkader, Piras, Gianluca |
| Autore | Caruso Antonio |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Stuttgart, [Germany] ; ; New York : , : Thieme, , ©2017 |
| Descrizione fisica | 1 online resource (viii, 339 pages) : color illustrations |
| Disciplina | 617.8075 |
| Collana | Thieme clinical collection |
| Soggetto topico |
Ear - Diseases - Diagnosis
Ear Diseases - diagnosis Ear Diseases - surgery Otoscopy Endoscopy |
| Soggetto genere / forma | Atlases. |
| ISBN |
3-13-258240-9
3-13-241524-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Methods of otoscopy -- The Normal Tympanic Membrane -- Diseases Affecting the External Auditory Canal -- Otitis Media -- Cholesterol Granuloma -- Atelectasis, Adhesive Otitis Media -- Noncholesteatomatous Chronic Otitis Media -- Chronic Suppurative Otitis Media with Cholesteatoma -- Congenital Cholesteatoma of the Middle Ear -- Petrous Bone Cholesteatoma -- Temporal Bone Paragangliomas -- Rare Retrotympanic Masses -- Meningoencephalic Herniation -- Postsurgical Conditions. |
| Record Nr. | UNINA-9910826647603321 |
|
Caruso Antonio
|
||
| Stuttgart, [Germany] ; ; New York : , : Thieme, , ©2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fringe Regionalism : When Peripheries Become Regions / / by Frank Mattheis, Luca Raineri, Alessandra Russo
| Fringe Regionalism : When Peripheries Become Regions / / by Frank Mattheis, Luca Raineri, Alessandra Russo |
| Autore | Mattheis Frank |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Pivot, , 2019 |
| Descrizione fisica | 1 online resource (105 pages) |
| Disciplina | 320.4049 |
| Collana | Palgrave pivot |
| Soggetto topico |
Regionalism
Political science International organization Economic development Governance and Government International Organization Regional Development |
| ISBN | 3-319-97409-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introductory remarks – the case for fringe regionalism -- 2. Producing regional spaces from the margins: Fringe regionalism - a conceptual proposal to recalibrate the study of regions -- 3. The practice of fringe regionalism - evidence from the Caucasus and the Sahara -- 4. Towards a wider application of fringe regionalism – comparisons and transfers. |
| Record Nr. | UNINA-9910338053003321 |
|
Mattheis Frank
|
||
| Cham : , : Springer International Publishing : , : Imprint : Palgrave Pivot, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Alessandra Russo, Andy Schürr
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Alessandra Russo, Andy Schürr |
| Autore | Russo Alessandra |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 357 p. 116 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer engineering Computer networks Computers Professions Computer science Software Engineering Compilers and Interpreters Computer Engineering and Networks The Computing Profession Theory of Computation |
| ISBN | 3-319-89363-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations. |
| Record Nr. | UNISA-996465600203316 |
|
Russo Alessandra
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Alessandra Russo, Andy Schürr
| Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Alessandra Russo, Andy Schürr |
| Autore | Russo Alessandra |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 357 p. 116 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer engineering Computer networks Computers Professions Computer science Software Engineering Compilers and Interpreters Computer Engineering and Networks The Computing Profession Theory of Computation |
| ISBN | 3-319-89363-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations. |
| Record Nr. | UNINA-9910293144703321 |
|
Russo Alessandra
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Governance Beyond the Law : The Immoral, The Illegal, The Criminal / / edited by Abel Polese, Alessandra Russo, Francesco Strazzari
| Governance Beyond the Law : The Immoral, The Illegal, The Criminal / / edited by Abel Polese, Alessandra Russo, Francesco Strazzari |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2019 |
| Descrizione fisica | 1 online resource (372 pages) |
| Disciplina |
306
303.372 |
| Collana | International Political Economy Series |
| Soggetto topico |
Political economy
Political science Law and the social sciences Law—Philosophy Law International Political Economy Governance and Government Socio-legal Studies Theories of Law, Philosophy of Law, Legal History |
| ISBN | 3-030-05039-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction: ‘The good, the bad and the ugly’: transnational perspectives on the extra-legal field -- 2. Conversations bamakoises in time of crisis: criminalisation of everyday life and state formation in Mali -- 3. The Criminalisation of Informal Practices in the Danube Delta: how and why -- 4. Use of language in blurring the lines between legality and illegality -- 5. Mothers as pot legalizers: From illegality to morality in medical use of cannabis in Latin America -- 6. Negotiated Prohibition: The Social Organisation of Illegal Gambling in Ukraine -- 7. Coping mechanisms of Ukrainian patients: bribes, gifts, donations, and connections -- 8. Collateral Damage of Global Governance on the Local Level - An analysis of fragmented international regimes in the Brazilian Amazon -- 9. Informality and the Revolutionary state in Russia -- 10. Informality, Criminality, and Local Autonomy in the Balkans: A Geographic-Based Analysis of State Confines -- 11. ‘Stealing from the state is not stealing really, it is a national sport’ - A study of informal economic practices and low-level corruption in Hungary -- 12. Cross-border smuggling in north Niger: the morality of the informal and the construction of a hybrid order -- 13. Informality and state-society relations in post-2011 Tunisia -- 14. If It All Went Up In Smoke. Undercover Communities and Cannabis Regulation in the Emerald Triangle -- 15. The First Moldovan Students in Romania (1990–1991): Informal Traders or Agents of Change? -- 16. Nothing to Lose: The Power of Subtle Forms of Resistance in an Immigration Detention Centre -- 17. Out of the rubble: affective infrapolitics in Bangkok -- 18. Informal governance on cryptomarkets for illicit drugs. |
| Record Nr. | UNINA-9910337860903321 |
| Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo
| Inductive Logic Programming [[electronic resource] ] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVII, 133 p. 44 illus.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Computer logic Data mining Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Logics and Meanings of Programs Data Mining and Knowledge Discovery |
| ISBN | 3-319-63342-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Predicate invention -- Graph-based learning -- Spatial learning -- Logical foundations -- Statistical relational learning.-Probabilistic ILP -- Implementation and scalability -- Applications in robotics, cyber security and games. |
| Record Nr. | UNISA-996466321803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo
| Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVII, 133 p. 44 illus.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Computer logic Data mining Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Logics and Meanings of Programs Data Mining and Knowledge Discovery |
| ISBN | 3-319-63342-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Predicate invention -- Graph-based learning -- Spatial learning -- Logical foundations -- Statistical relational learning.-Probabilistic ILP -- Implementation and scalability -- Applications in robotics, cyber security and games. |
| Record Nr. | UNINA-9910483031203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
