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.
Pop Beckett: Intersections with Popular Culture / / Paul Stewart, David Pattie, Paul Stewart, Ken Alba, Jo Baker, James Baxter, Jonathan Bignell, Dilks Stephen, Anna Douglass, David Pattie, John Pilling, Mark Schreiber, Hannah Simpson, Paul Stewart, Pim Verhulst, Selvin Yaltir
| Pop Beckett: Intersections with Popular Culture / / Paul Stewart, David Pattie, Paul Stewart, Ken Alba, Jo Baker, James Baxter, Jonathan Bignell, Dilks Stephen, Anna Douglass, David Pattie, John Pilling, Mark Schreiber, Hannah Simpson, Paul Stewart, Pim Verhulst, Selvin Yaltir |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hannover, : ibidem, 2019 |
| Descrizione fisica | 1 online resource (311 pages) |
| Disciplina | 848.91409 |
| Collana | Samuel Beckett in Company |
| Soggetto topico |
Kultur
Kunst Beckett Art Culture |
| ISBN |
9783838271934
3838271939 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Table of Contents -- List of Illustrations -- Introduction - Paul Stewart and David Pattie -- Sad Rags in Fancy Dress: Early Beckettian Burlesques - John Pilling -- Beckett and the Mass Medium of Radio: Bridging 'High' and 'Low' Culture in All That Fall - Pim Verhulst -- "Do You Really Enjoy the Modern Play?": Beckett on Commercial Television - Jonathan Bignell -- Going Underground: Publicity Campaigns on Beckett's Behalf, 1955-1969 - Stephen Dilks -- Beckett's 'heavy news': Considerations of the American Counterculture and Evergreen Review - James Baxter -- Staining the Gutter: Beckett in Art Spiegelman's Maus - Paul Stewart -- Beckett and Memes: Online Aftertexts - Ken Alba -- "Play it again, Sam!" Samuel Beckett, Popular Video Art and Video Games - Mark Schreiber -- The Aesthetics of Failure in Beckett and Getting Over It with Bennett Foddy - Anna Douglass -- Waiting for GOdoT: Samuel Beckett and HBO's Game of Thrones - Hannah Simpson -- Sociability in Beckett and the Coen Brothers: Idle Talk, 'Pseudocouples' and more - Selvin Yaltır -- God is in the House: Beckett and Cave - David Pattie -- A Country Road, A Tree: An Interview with Jo Baker - Paul Stewart -- Contributors. |
| Record Nr. | UNINA-9911089219303321 |
| Hannover, : ibidem, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pop Beckett: Intersections with Popular Culture / / Paul Stewart, David Pattie, Paul Stewart, Ken Alba, Jo Baker, James Baxter, Jonathan Bignell, Dilks Stephen, Anna Douglass, David Pattie, John Pilling, Mark Schreiber, Hannah Simpson, Paul Stewart, Pim Verhulst, Selvin Yaltir
| Pop Beckett: Intersections with Popular Culture / / Paul Stewart, David Pattie, Paul Stewart, Ken Alba, Jo Baker, James Baxter, Jonathan Bignell, Dilks Stephen, Anna Douglass, David Pattie, John Pilling, Mark Schreiber, Hannah Simpson, Paul Stewart, Pim Verhulst, Selvin Yaltir |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hannover, : ibidem, 2019 |
| Descrizione fisica | 1 online resource (311 pages) |
| Disciplina | 848.91409 |
| Collana | Samuel Beckett in Company |
| Soggetto topico |
Kultur
Kunst Beckett Art Culture |
| ISBN |
9783838271934
3838271939 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Table of Contents -- List of Illustrations -- Introduction - Paul Stewart and David Pattie -- Sad Rags in Fancy Dress: Early Beckettian Burlesques - John Pilling -- Beckett and the Mass Medium of Radio: Bridging 'High' and 'Low' Culture in All That Fall - Pim Verhulst -- "Do You Really Enjoy the Modern Play?": Beckett on Commercial Television - Jonathan Bignell -- Going Underground: Publicity Campaigns on Beckett's Behalf, 1955-1969 - Stephen Dilks -- Beckett's 'heavy news': Considerations of the American Counterculture and Evergreen Review - James Baxter -- Staining the Gutter: Beckett in Art Spiegelman's Maus - Paul Stewart -- Beckett and Memes: Online Aftertexts - Ken Alba -- "Play it again, Sam!" Samuel Beckett, Popular Video Art and Video Games - Mark Schreiber -- The Aesthetics of Failure in Beckett and Getting Over It with Bennett Foddy - Anna Douglass -- Waiting for GOdoT: Samuel Beckett and HBO's Game of Thrones - Hannah Simpson -- Sociability in Beckett and the Coen Brothers: Idle Talk, 'Pseudocouples' and more - Selvin Yaltır -- God is in the House: Beckett and Cave - David Pattie -- A Country Road, A Tree: An Interview with Jo Baker - Paul Stewart -- Contributors. |
| Record Nr. | UNINA-9911145448903321 |
| Hannover, : ibidem, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II / / edited by Ana Cavalcanti, James Baxter
| The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part II / / edited by Ana Cavalcanti, James Baxter |
| Autore | Cavalcanti Ana |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (328 pages) |
| Disciplina | 005.131 |
| Altri autori (Persone) | BaxterJames |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Programming languages (Electronic computers) Formal Languages and Automata Theory Programming Language |
| ISBN | 3-031-66673-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reasoning about distributive laws in a concurrent refinement algebra -- HayesOn the Formalization of the Notion of an Algorithm -- A Note on Proofs of Earley’s Recognizer -- On the Relational Basis of Early R/G Work -- Model Refinement: Generating Refinements for Algorithm and SystemDesign -- Analysing the safety implications of security risks in cyber-physical systems -- Rely-Guarantee Interpretation of Sequence Diagrams -- Formal Analysis of Interactions between Safety and Security Requirements -- About Trust and Proof: An experimental framework for heterogeneous verification -- Uncertainty and Probabilistic UTP -- Modelling and Verifying Programs under the Total Store OrderMemory Model in an Algebraic Semantics Style -- Case Study: Modeling, Simulation, Verification, and Code Generationof an Automatic Cruise Control System -- Exploring the Boundaries of Rely/Guarantee and Links to Linearisability -- Less is More Revisited: Association with Global Multiparty Session Types -- Validation of Formal Models: A Case Study. |
| Record Nr. | UNINA-9910886988503321 |
Cavalcanti Ana
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part I / / edited by Ana Cavalcanti, James Baxter
| The Practice of Formal Methods : Essays in Honour of Cliff Jones, Part I / / edited by Ana Cavalcanti, James Baxter |
| Autore | Cavalcanti Ana |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (337 pages) |
| Disciplina | 005.131 |
| Altri autori (Persone) | BaxterJames |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Programming languages (Electronic computers) Formal Languages and Automata Theory Programming Language |
| ISBN | 3-031-66676-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Confidence in Assurance 2.0 Cases -- Captured: Compositional and Modular Approaches to Concurrency -- Utilising Assumptions to Determine the WCET of Multi-Component Classification Systems -- Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures -- A Rely-Guarantee Framework for Proving Deadlock Freedom under Causal Consistency -- Verification Technology for VDM: Craft and Automation -- SmartAudit: Applying Timebands to a Medical Device -- Efficient uniform sampling of traces in presence of infeasibilities -- Consistent Alignments for Simple Ontologies in the Digital Information Supply Chain -- What is a Garbage Collector? An Exercise in Compositional Refinement -- A concept-oriented approach to software development -- High impact malware targeting maritime infrastructure -- ACL2 Support for Floating-point Computations -- Specifications are preferably amenable to proof and animation -- A Graphical Representation of Verification Proof Plans. |
| Record Nr. | UNINA-9910886995503321 |
|
Cavalcanti Ana
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
World valuation congress 2006 [[electronic resource] /] / guest editor James Baxter
| World valuation congress 2006 [[electronic resource] /] / guest editor James Baxter |
| Pubbl/distr/stampa | Bradford, England, : Emerald Group Publishing, c2007 |
| Descrizione fisica | 1 online resource (114 p.) |
| Disciplina | 333.332 |
| Altri autori (Persone) | BaxterJames |
| Collana | Journal of Property Investment and Finance |
| Soggetto topico |
Real property - Valuation
Real estate investment |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-10844-8
9786611108441 1-84663-569-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; CONTENTS; EDITORIAL ADVISORY BOARD; Guest editorial; Expanding the academic discipline of real estate valuation; Re-engineering a valuation degree: how did we get here and where do we go?; What we do and can do for a living; Where is the world of property valuation for taxation purposes going?; Market value and depreciated replacement cost: contradictory or complementary?; Landlord and tenant update, 2007; Book review |
| Record Nr. | UNINA-9910451108803321 |
| Bradford, England, : Emerald Group Publishing, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
World valuation congress 2006 [[electronic resource] /] / guest editor James Baxter
| World valuation congress 2006 [[electronic resource] /] / guest editor James Baxter |
| Pubbl/distr/stampa | Bradford, England, : Emerald Group Publishing, c2007 |
| Descrizione fisica | 1 online resource (114 p.) |
| Disciplina | 333.332 |
| Altri autori (Persone) | BaxterJames |
| Collana | Journal of Property Investment and Finance |
| Soggetto topico |
Real property - Valuation
Real estate investment |
| ISBN |
1-281-10844-8
9786611108441 1-84663-569-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; CONTENTS; EDITORIAL ADVISORY BOARD; Guest editorial; Expanding the academic discipline of real estate valuation; Re-engineering a valuation degree: how did we get here and where do we go?; What we do and can do for a living; Where is the world of property valuation for taxation purposes going?; Market value and depreciated replacement cost: contradictory or complementary?; Landlord and tenant update, 2007; Book review |
| Record Nr. | UNINA-9910784964903321 |
| Bradford, England, : Emerald Group Publishing, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
World valuation congress 2006 / / guest editor James Baxter
| World valuation congress 2006 / / guest editor James Baxter |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bradford, England, : Emerald Group Publishing, c2007 |
| Descrizione fisica | 1 online resource (114 p.) |
| Disciplina | 333.332 |
| Altri autori (Persone) | BaxterJames |
| Collana | Journal of Property Investment and Finance |
| Soggetto topico |
Real property - Valuation
Real estate investment |
| ISBN |
1-281-10844-8
9786611108441 1-84663-569-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; CONTENTS; EDITORIAL ADVISORY BOARD; Guest editorial; Expanding the academic discipline of real estate valuation; Re-engineering a valuation degree: how did we get here and where do we go?; What we do and can do for a living; Where is the world of property valuation for taxation purposes going?; Market value and depreciated replacement cost: contradictory or complementary?; Landlord and tenant update, 2007; Book review |
| Record Nr. | UNINA-9911097548103321 |
| Bradford, England, : Emerald Group Publishing, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
World valuation congress 2006 / / guest editor James Baxter
| World valuation congress 2006 / / guest editor James Baxter |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bradford, England, : Emerald Group Publishing, c2007 |
| Descrizione fisica | 1 online resource (114 p.) |
| Disciplina | 333.332 |
| Altri autori (Persone) | BaxterJames |
| Collana | Journal of Property Investment and Finance |
| Soggetto topico |
Real property - Valuation
Real estate investment |
| ISBN |
1-281-10844-8
9786611108441 1-84663-569-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; CONTENTS; EDITORIAL ADVISORY BOARD; Guest editorial; Expanding the academic discipline of real estate valuation; Re-engineering a valuation degree: how did we get here and where do we go?; What we do and can do for a living; Where is the world of property valuation for taxation purposes going?; Market value and depreciated replacement cost: contradictory or complementary?; Landlord and tenant update, 2007; Book review |
| Record Nr. | UNINA-9911140161503321 |
| Bradford, England, : Emerald Group Publishing, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||