| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000013599 |
|
|
Autore |
Luckhardt, Horst |
|
|
Titolo |
Extensional Godel functional interpretation : a consistency proof of classical analysis. / Horst Luckhardt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, 1973 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics ; 306 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Teoria della dimostrazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910782359403321 |
|
|
Autore |
Bloom Frederick <1944-> |
|
|
Titolo |
Assessing Childhood Psychopathology and Developmental Disabilities [[electronic resource] /] / edited by Johnny L. Matson, Frank Andrasik, Michael L. Matson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, NY : , : Springer New York : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
ISBN |
|
1-281-91999-3 |
9786611919993 |
0-387-09528-4 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (514 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics ; ; 732 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Child psychology |
School psychology |
Psychiatry |
Education |
Child and School Psychology |
Education, general |
|
|
|
|
|
|
|
|
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 |
|
History, Overview, and Trends in Child and Adolescent Psychological Assessment -- Diagnostic Classification Systems -- Interview and Report Writing -- Assessment of Specific Problems -- Intelligence Testing -- Rating Scale Systems for Assessing Psychopathology: The Achenbach System of Empirically Based Assessment (ASEBA) and the Behavior Assessment System for Children-2 (BASC-2) -- Neuropsychological Disorders of Children -- Assessment of Specific Psychopathologies -- Assessment of Conduct Problems -- Evidence-Based Assessment of Attention-Deficit/ Hyperactivity Disorder (ADHD) -- Assessment of Mood Disorders in Children and Adolescents -- Assessment of Bipolar Disorder In Children -- Assessment of Problems Developmental Disabilities -- Academic Assessment -- Behavioral Assessment of Self-Injury -- Autism Spectrum Disorders and Comorbid Psychopathology -- Behavioral Medicine -- Assessment of Eating Disorder Symptoms In Children and Adolescents -- Pain Assessment -- Assessment of Pediatric Feeding Disorders. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Not long ago, conducting child assessment was as simple as stating that "the child gets along with others" or "the child lags behind his peers." Today’s pediatric psychologists and allied professionals, by contrast, know the critical importance of using accurate measures with high predictive quality to identify pathologies early, form precise case conceptualizations, and provide relevant treatment options. Assessing Childhood Psychopathology and Developmental Disabilities provides a wide range of evidence-based methods in an immediately useful presentation from infancy through adolescence. Noted experts offer the most up-to-date findings in the most pressing areas, including: Emerging trends, new technologies, and implementation issues. Interviewing techniques and report writing guidelines. Intelligence testing, neuropsychological assessment, and scaling methods for measuring psychopathology. Assessment of major pathologies, including ADHD, conduct disorder, bipolar disorder, and depression. Developmental disabilities, such as academic problems, the autism spectrum and comorbid pathology, and self-injury. Behavioral medicine, including eating and feeding disorders as well as pain management. This comprehensive volume is an essential resource for the researcher’s library and the clinician’s desk as well as a dependable text for graduate and postgraduate courses in clinical child, developmental, and school psychology. (A companion volume, Treating Childhood Psychopathology and Developmental Disabilities, is also available to ensure greater continuity on the road from assessment to intervention to outcome.). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483854003321 |
|
|
Titolo |
Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings / / edited by Gustavo Alonso, Peter Dadam, Michael Rosemann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 418 p.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 4714 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
AlonsoGustavo |
DadamPeter |
RosemannMichael <1967-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Information storage and retrieval systems |
Application software |
User interfaces (Computer systems) |
Human-computer interaction |
Computers and civilization |
Electronic data processing - Management |
Business information services |
Information Storage and Retrieval |
Computer and Information Systems Applications |
User Interfaces and Human Computer Interaction |
Computers and Society |
IT Operations |
IT in Business |
|
|
|
|
|
|
|
|
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 |
|
Business Process Maturity and Performance -- The Process-Oriented Organisation: A Holistic View Developing a Framework for Business Process Orientation Maturity -- Challenges in Business Performance Measurement: The Case of a Corporate IT Function -- On the Performance of Workflow Processes with Distributed Actors: Does Place |
|
|
|
|
|
|
|
|
|
|
|
Matter? -- Business Process Modeling -- What Makes Process Models Understandable? -- Modeling of Task-Based Authorization Constraints in BPMN -- BPMN: How Much Does It Cost? An Incremental Approach -- View-Based Process Visualization -- Case Studies -- BPM on Top of SOA: Experiences from the Financial Industry -- Matching Customer Processes with Business Processes of Banks: The Example of Small and Medium-Sized Enterprises as Bank Customers -- Workflow Management Systems + Swarm Intelligence = Dynamic Task Assignment for Emergency Management Applications -- Evaluating Peer-to-Peer for Loosely Coupled Business Collaboration: A Case Study -- Compliance and Change -- Modeling Control Objectives for Business Process Compliance -- Generation of Business Process Models for Object Life Cycle Compliance -- Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring -- Version Management in the Business Process Change Context -- Process Configuration and Execution -- BPELlight -- An Enactment-Engine Based on Use-Cases -- Requirements-Driven Design and Configuration Management of Business Processes -- SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model -- Formal Foundations of BPM -- Behavioral Constraints for Services -- Towards Formal Analysis of Artifact-Centric Business Process Models -- Local Enforceability in Interaction Petri Nets -- Modelling with History-Dependent Petri Nets -- Business Process Mining -- Fuzzy Mining –Adaptive Process Simplification Based on Multi-perspective Metrics -- Inducing Declarative Logic-Based Models from Labeled Traces -- Approaching Process Mining with Sequence Clustering: Experiments and Findings -- Process Mining Based on Regions of Languages -- Semantic Issues in BPM -- Extending Representational Analysis: BPMN User and Developer Perspectives -- Semantic Analysis of Flow Patterns in Business Process Modeling -- Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 5th International Conference on Business Process Management, BPM 2007, held in Brisbane, Australia, in September 2007. The 21 revised full papers, 1 industrial paper, and 8 short papers presented were carefully reviewed and selected from 152 submissions. The papers are organized in topical sections on business process maturity and performance, business process modeling, case studies, compliance and change, process configuration and execution, formal foundations of BPM, business process mining, and semantic issues in BPM. |
|
|
|
|
|
|
|
| |