| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910793578303321 |
|
|
Titolo |
Cortical visual impairment : advanced principles / / Christine Roman-Lantzy, editor |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Louisville, KY : , : APH Press, American Printing House for the Blind, , [2019] |
|
©2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (347 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Children with visual disabilities - Education |
Children with visual disabilities - Rehabilitation |
People with visual disabilities - Education |
People with visual disabilities - Rehabilitation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Phase III CVI / Christine Roman-Lantzy -- A path to literacy for students who have CVI / Christine Roman-Lantzy -- CVI and the development of social skills / Christine Roman Lantzy -- Children with CVI and complex communication needs / Sarah Blackstone and Christine Roman-Lantzy -- The what's the complexity? framework / Matthew Tietjen -- CVI and orientation and mobility / Alisha Waugh and Christine Roman-Lantzy -- CVI and deafblindness / Tracy Evans Luiselli and Christine Roman-Lantzy. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"Cortical Visual Impairment: Advanced Principles, the highly anticipated companion book to Cortical Visual Impairment: An Approach to Assessment and Intervention, makes new strides in building knowledge about CVI. The book, a collaboration among experts in several disciplines, dives deeper into topics that are extensions of the original concepts. CVI: Advanced Principles offers an in-depth examination of the needs of students and individuals with CVI in areas such as literacy, social skills, and O&M, while also addressing the demands of students with CVI and other disabilities, such as complex communication needs and hearing loss. The authors consider students with CVI in the context |
|
|
|
|
|
|
|
|
|
|
|
|
|
of their entire day to see how the tasks they perform, the interactions they have, and the environments they encounter can be evaluated and adapted to help them build their visual skills and experience success"-- |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910594496003321 |
|
|
Autore |
Junqueira, Luiz Carlos |
|
|
Titolo |
Junqueira istologia : testo e atlante / Anthony L. Mescher |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[8. edizione italiana sulla xv in lingua inglese] |
|
|
|
|
|
Descrizione fisica |
|
XI, 540 p. : ill. ; 29 cm |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
636.0891018 JUN 1 |
611.018-JUN-1 |
611.018-JUN-1A |
611.018-JUN-1B |
611.018-JUN-1C |
611.018-JUN-1D |
611.018-JUN-1E |
611.018-JUN-1F |
90 G 2a 100 |
90 G 2a 101 |
90 G 2a 102 |
FMEBC |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910484857203321 |
|
|
Titolo |
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / / edited by Lindsay Groves, Jing Sun |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 466 p. 136 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 8144 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Compilers (Computer programs) |
Algorithms |
Machine theory |
Computer networks |
Software Engineering |
Programming Techniques |
Compilers and Interpreters |
Formal Languages and Automata Theory |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification -- Formally Verified System Initialisation -- Verifying an Aircraft Proximity Characterization Method in Coq -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using Identification Sets -- The Circus Testing Theory Revisited in Isabelle/HOL -- Timed Systems -- A CSP Timed Input-Output Relation and a Strategy for Mechanised |
|
|
|
|
|
|
|
|
|
|
|
Conformance Verification -- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts -- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction -- Concurrency -- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems -- A UTP Semantics for Communicating Processes with Shared Variables -- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal Models of SysML Blocks -- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML -- Translation from Workflow Nets to MSVL -- Verification -- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems -- Verification of Functional and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems -- Application -- Formal Kinematic Analysis of the Two-Link Planar Manipulator -- Formal Modelling of Resilient Data Storage in Cloud -- Linking Operational Semantics and Algebraic Semantics for Wireless Networks -- Static Analysis -- Automated Specification Discovery via User-Defined Predicates -- Path-Sensitive Data Flow Analysis Simplified -- Reconstructing Paths for Reachable Code -- The Domain of ParametricHypercubes for Static Analysis of Computer Games Software. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation. |
|
|
|
|
|
|
|
| |