| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910457731603321 |
|
|
Titolo |
The sperm cell : production, maturation, fertilization, regeneration / / edited by Christopher J. De Jonge and Christopher L.R. Barratt [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : , : Cambridge University Press, , 2006 |
|
|
|
|
|
|
|
ISBN |
|
1-107-15494-4 |
1-280-48006-8 |
9786610480067 |
0-511-22034-0 |
0-511-22123-1 |
0-511-21926-1 |
0-511-54511-8 |
0-511-31461-2 |
0-511-21994-6 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xi, 359 pages) : digital, PDF file(s) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Half-title; Title; Copyright; Contents; Preface; List of contributors; 1 Mammalian spermatogenesis and sperm structure: anatomical and compartmental analysis; 2 Sperm chromatin stability and susceptibility to damage in relation to its structure; 3 Genomic and proteomic approaches to defining sperm production and function; 4 Sperm maturation in the human epididymis; 5 Controls of sperm motility; 5 6egulation of capacitation; 7 Reactive oxygen species: friend or foe; 8 Testing sperm manufacturing quality: the sperm-zona binding assay; 9 Genetics: a basic science perspective |
10 Sex chromosome abnormalities and male infertility: a clinical perspective11 Epigenetic patterning in male germ cells: importance of DNA methylation to progeny outcome; 12 The DAZ gene family and human germ cell development from embryonic stem cells; Index |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Originally published in 2006, this is a comprehensive and definitive account of the human male gamete. The volume summarizes many unique and revealing characteristics of the sperm cell. It provides a detailed overview of human sperm production, maturation and function, and looks at how these processes affect and influence fertility, infertility and ART. The volume thus provides a detailed review of the most important research and developments, augmented with pertinent references. This book will appeal to all practitioners and scientists in reproductive medicine and in particular to clinical scientists, graduate and post-graduate scientists, and laboratory personnel. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466364003316 |
|
|
Titolo |
Logics of Programs and Their Applications [[electronic resource] ] : Proceedings, Poznan, August 23-29, 1980 / / edited by A. Salwicki |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1983.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 328 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 148 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Sharpening the characterization of the power of Floyd method -- On proving program correctness by means of stepwise refinement method -- Semantics and implementation of prefixing at many levels -- Nonstandard models in Propositional Dynamic Logic -- On priorities of parallelism: Petri nets under the maximum firing strategy -- On four logics of programs and complexity of their satisfiability problems : Extended abstract -- Are infinite behaviours of parallel system schemata necessary? -- Algorithmic properties of finitely generated structures -- Algebraic semantics and program logics: Algorithmic |
|
|
|
|
|
|
|
|
|
|
logic for program trees -- Some model-theoretical properties of logic for programs with random control -- A formal system for parallel programs in discrete time and space -- On the propositional algorithmic theory of arithmetic -- Nonstandard runs of Floyd-provable programs -- On some extensions of dynamic logic -- On algorithmic logic with partial operations -- Towards a theory of parallelism and communications for increasing efficiency in applicative languages -- An operational semantics for CSP -- Programming languages and logics of programs -- Concurrent programs -- Axiomatic approach to the system of files -- A sequent calculus for Kröger logic -- On axiomatization of process logic -- Filtration theorem for dynamic algebras with tests and inverse operator. |
|
|
|
|
|
| |