| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466208503316 |
|
|
Titolo |
Automated Technology for Verification and Analysis [[electronic resource] ] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings / / edited by Madhavan Mukund, Supratik Chakraborty |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 438 p. 106 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7561 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer communication systems |
Computer logic |
Programming languages (Electronic computers) |
Software Engineering |
Programming Techniques |
Computer Communication Networks |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Software Engineering/Programming and Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
International conference proceedings. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic |
|
|
|
|
|
|
|
|
|
|
|
|
|
verification, constraint solving and applications, and probabilistic systems. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910779786003321 |
|
|
Titolo |
Undernutrition [[electronic resource] ] : effects, causes and management / / Jason E. Lee, editor |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hauppauge, N.Y., : Nova Science Publishers, c2011 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (189 p.) |
|
|
|
|
|
|
Collana |
|
Nutrition and diet research progress |
Public health in the 21st century |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Malnutrition |
Poor - Nutrition |
|
|
|
|
|
|
|
|
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 |
|
Reproductive programming : the role of early life nutrition -- / Stella Chadio, Basiliki Kotsampasi -- Maternal perinatal undernutrition programs stress neuroendocrine systems in the male rat / D. Vieau ... [et al.] -- Effects of maternal undernutrition on lung growth and development in the offspring / Chung-Ming Chen, Leng-Fang Wang, Hsiu-Chu Chou -- Undernutrition from fetal life to puberty, fetal programming, and compensatory growth in rat testes / P. Genovese ... [et al.] -- Does educational attainment affect nutritional status? : a study among underprivileged adults of six districts of West Bengal, India / Sadaruddin Biswas, Kaushik Bose -- Prevalence of thinness among rural Bengalee Muslim school children from Eastern India / Prakash Ranjan Mondal, Sadaruddin Biswas, Kaushik Bose -- Long-term effects of early undernutrition on wound healing / Marilena Chinali Komesu, Miguel Angel Sala, Fabiano Misael Cavenaghi -- Effects of protein deprivation on the temporomandibular joint / Joao Gualberto de C. Luz. |
|
|
|
|
|
|
|
| |