| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910456985103321 |
|
|
Autore |
Harnack Curtis <1927-> |
|
|
Titolo |
We have all gone away [[electronic resource] /] / by Curtis Harnack |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Iowa City, : University of Iowa Press, 2011 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st University of Iowa Press ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (189 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Authors, American - 20th century |
Farm life - Iowa |
Electronic books. |
Iowa Social life and customs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; 1. The Return; 2.The Barns; 3. Queen of Hearts; 4. Rooms of the House; 5. The Milky Way; 6. The Eighty; 7. Barney; 8. Bringing in the Sheaves; 9. Father, Forgive Them; 10. Next of Kin; 11. These Mothers; 12. Away |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
In We Have All Gone Away, his emotionally moving memoir, Curtis Harnack tells of growing up during the Great Depression on an Iowa farm among six siblings and an extended family of relatives. With a directness and a beauty that recall Thoreau, Harnack balances a child's impressions with the knowledge of an adult looking back to produce what Publishers Weekly called "a country plum of a book, written with genuine affection and vivid recall." In a community related by blood and harvest, rural life could be bountiful even when hard economic ti |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910561301003321 |
|
|
Titolo |
Molecular aspects of plant disease resistance [[electronic resource] /] / edited by Jane Parker |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Chichester, U.K. ; ; Ames, Iowa, : Wiley-Blackwell, 2009 |
|
|
|
|
|
|
|
ISBN |
|
1-282-03451-0 |
9786612034510 |
1-4443-0144-6 |
1-4443-0145-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (400 p.) |
|
|
|
|
|
|
Collana |
|
Annual plant reviews ; ; v. 34 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Plants - Disease and pest resistance - Molecular aspects |
Plant diseases - Molecular aspects |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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 |
|
CONTENTS; List of contributors; Preface; 1 A personal perspective of the last 40 years of plant pathology: emerging themes, paradigm shifts and future promise; 1.1 Introduction; 1.2 The hypersensitive response; 1.3 The gene-for-gene hypothesis; 1.4 Host versus non-host resistance; 1.5 Future promise; 2 Pathogen-associated molecular patterns (PAMP) and PAMP-triggered immunity; 2.1 The concept of plant immunity; 2.2 Pathogen-associated molecular patterns; 2.3 Damage-associated molecular patterns; 2.4 Pathogen-derived toxins; 2.5 PRRs in plant immunity |
2.6 Intracellular signal transduction in PTI2.7 Suppression of PTI by bacterial effectors; 2.8 Concluding remarks; 3 Pseudomonas syringae type III-secreted proteins and their activities and effects on plant innate immunity; 3.1 Introduction; 3.2 P. syringae type III-secreted helper proteins; 3.3 The plant innate immune system; 3.4 Enzymatic activities and plant targets of P. syringae type III effectors; 3.5 Influence of type III effectors on plant hormones; 3.6 Concluding remarks; 4 Fungal and oomycete biotrophy; 4.1 Introduction; 4.2 Penetration and |
|
|
|
|
|
|
|
|
|
|
|
establishment of infection structures |
4.3 Dealing with plant defence responses4.4 Contribution of the host to infection; 4.5 Acquiring nutrients from the host; 4.6 Outlook; 5 Genome biology cracks enigmas of oomycete plant pathogens; 5.1 Introduction; 5.2 Biology and pathology of oomycetes; 5.3 Genomic resources; 5.4 The impact of genomics on gene discovery; 5.5 The secretome; 5.6 Future perspectives; 6 Plant-virus interactions: defence and counter-defence; 6.1 The unique challenge posed by viruses to plants; 6.2 Virus infection and propagation through susceptible host plants |
6.3 'Classical' or genetically predetermined resistance6.4 RNA silencing; 6.5 Viral suppressors of RNA silencing; 6.6 Concluding remarks; 7 Marshalling the troops: intracellular dynamics in plant pathogen defense; 7.1 Introduction; 7.2 The front line - exocytosis, endocytosis and vesicle transport; 7.3 At headquarters - nucleocytoplasmic trafficking in plant immunity; 7.4 Conclusions; 8 Role of plant secondary metabolites at the host-pathogen interface; 8.1 Introduction; 8.2 Classification of defence-related plant secondary metabolites; 8.3 Biological activity of plant secondary metabolites |
8.4 Dynamic induction and targeting of secondary metabolites to the pathogen interface8.5 Genetic approaches to validate defensive functions of plant secondary metabolites; 8.6 Successful pathogens; 8.7 Concluding remarks; 9 Chemical ecology of plant-insect interactions; 9.1 Introduction; 9.2 Recognition and signalling; 9.3 Defence strategies; 9.4 The cost of defence to plants; 9.5 Airborne communication; 9.6 Priming and manipulations to enhance pest resistance; 10 Lipid signals in plant-pathogen interactions; 10.1 Introduction |
10.2 Epidermal surface lipids influence plant-pathogen interactions |
|
|
|
|
|
|
Sommario/riassunto |
|
In recent years, our understanding of the mechanisms involved in a plant's resistance to attack by disease, has seen major advances.This important new title, part of Blackwell Publishing's Annual Plant Reviews Series, provides cutting edge reviews of each of the major aspects of the subject .Edited by Dr Jane Parker from the Max-Planck Institute, Molecular Aspects of Plant Disease Resistance includes contributions from many of the world's leading researcher in the area. Coverage includes the evolution of plant-virus interactions and plant resistance loci, the role of plant seco |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910971116403321 |
|
|
Autore |
Lano Kevin |
|
|
Titolo |
The B Language and Method : A Guide to Practical Formal Development / / by Kevin Lano |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : Springer London : , : Imprint : Springer, , 1996 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1996.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 232 p.) |
|
|
|
|
|
|
Collana |
|
Formal Approaches to Computing and Information Technology (FACIT) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Machine theory |
Compilers (Computer programs) |
Software Engineering |
Formal Languages and Automata Theory |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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 |
|
1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study — Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study — Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic |
|
|
|
|
|
|
|
|
|
|
|
Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. |
|
|
|
|
|
|
Sommario/riassunto |
|
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. |
|
|
|
|
|
|
|
| |