01407nam2-2200397li-450 99000020683020331620180312154713.03-540-60761-70020683USA010020683(ALEPH)000020683USA01002068320001109d1996----km-y0itay0103----baengGWPartial-order methods for the verification of concurrent systemsan approach to the state-explosionproblemPatrice GodefroidBerlin [etc.]Springer-Verlagcopyr. 1996142 p.ill.23 cmLecture notes in computer science103200100202642001Lecture notes in computer scienceprogrammazione (informatica)softwareverifica0051Programmazione. Tecnica di sviluppo dei programmiGodefroid,Patrice746741Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206830203316001 LNCS (1032)001901000100103829BKSCI1996102520001110USA011714ALANDI9020010201USA01100320020403USA011628PATRY9020040406USA011615Partial-order methods for the verification of concurrent systems1490889UNISA03587nam 2200685Ia 450 991078223690332120230815165831.00-19-772967-31-280-76060-597866107606020-19-802845-8(CKB)1000000000550283(EBL)430451(OCoLC)644820522(SSID)ssj0000119876(PQKBManifestationID)11145554(PQKBTitleCode)TC0000119876(PQKBWorkID)10079766(PQKB)11104491(Au-PeEL)EBL430451(CaPaEBR)ebr10329687(CaONFJC)MIL76060(MiAaPQ)EBC430451(EXLCZ)99100000000055028319980928d1999 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierThe changing nervous system neurobehavioral consequences of early brain disorders /edited by Sarah H. Broman, Jack M. FletcherNew York :Oxford University Press,1999.1 online resource (xix, 403 pages) illustrations (some color)0-19-512193-7 Includes bibliographical references and index.Contents; Contributors; PART I: SHAPING THE CENTRAL NERVOUS SYSTEM; 1. Wiring the Brain: Activity-Dependent and Activity-Independent Development of Synaptic Circuits; 2. Effects of Differential Experience on Brain and Cognition Throughout the Life Span; 3. Experience and Plasticity in Brain Structure: Possible Implications of Basic Research Findings for Developmental Disorders; PART II: MECHANISMS OF REORGANIZATION; 4. Structural Changes Underlying Long-Term Memory; 5. Role of Intrinsic Circuitry in Motor Cortex Plasticity6. Immature Visual Cortex Lesions: Global Rewiring, Neural Adaptations, and Behavioral Sparing; PART III: NEURODEVELOPMENTAL COURSE OF EARLY BRAIN DISORDERS; 7. Role of the Corpus Callosum in the Cognitive Development of Children with Congenital Brain Malformations; 8. Functional Consequences of Congenital Cerebellar Dysmorphologies and Acquired Cerebellar Lesions of Childhood; 9. Recovery from Acquired Reading and Naming Deficits Following Focal Cerebral Lesions; 10. Plasticity, Localization, and Language Development; 11. Neuroplasticity: Evidence from Unilateral Brain Lesions in Children12. Continuity and Change in the Development of Children with Autism; 13. Biological and Behavioral Heterogeneity in Autism: Roles of Pleiotropy and Epigenesis; PART IV: INTERVENTIONS; 14. Issues in Developing Effective Interventions; 15. Pervasive Developmental Disorders: Listening Training and Language Abilities; PART V: CONCLUSIONS; 16. Development, Learning, and Neuroplasticity: Where We Are Now; IndexPediatric neurologyDevelopmental neurobiologyDevelopmental disabilitiesNeuroplasticityNervous systemGrowthPediatric neurology.Developmental neurobiology.Developmental disabilities.Neuroplasticity.Nervous systemGrowth.616.8618.92/8618.928Broman Sarah H1467462Fletcher Jack1952-1467463MiAaPQMiAaPQMiAaPQBOOK9910782236903321The changing nervous system3678122UNINA