Suggested Topics within your search.
Suggested Topics within your search.
- linguistics 8
- Political science & theory 6
- Language acquisition 5
- Psychology 5
- Historical & comparative linguistics 4
- Computing & information technology 3
- Discourse analysis 3
- Neurosciences 3
- Agriculture & farming 2
- Anthropology 2
- Bilingualism & multilingualism 2
- Child & developmental psychology 2
- Classical history / classical civilisation 2
- Computer science 2
- Educational: Languages other than English 2
- Gender studies, gender groups 2
- General studies 2
- History 2
- History of Western philosophy 2
- Language teaching & learning (other than ELT) 2
- Language: history & general works 2
- Medicine 2
- Personal & social issues: truancy & school problems (Children's / Teenage) 2
- Political control & freedoms 2
- Psychotherapy 2
- Semantics, discourse analysis, etc 2
- Social & political philosophy 2
- Sociology 2
- Speech & language disorders & therapy 2
- Technology: general issues 2
-
1
Specification Languages for Preserving Consistency between Models of Different Languages
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
View-based textual modelling
Published 2011Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
Published 2017Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Frontiers in the Acquisition of Literacy
Published 2015Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
-
6
Zweisprachigkeit und das semantische Lexikon Gezielte, sprachspezifische Foerderung und Therapie in der Kita und Grundschule
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
-
8
Language Development in Children: Description to Detect and Prevent Language Difficulties
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
New Research in Children with Neurodevelopmental Disorders
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Human Computer Interaction for Intelligent Systems
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Human Computer Interaction for Intelligent Systems
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
14
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata
Electronic eBook -
15
Towards Bayesian Model-Based Demography Agency, Complexity and Uncertainty in Migration Studies /
Published 2022Table of Contents: “…Agent-based modelling and simulation with domain-specific languages -- Part III: Model results, applications, and reflections -- Chapter 8. …”
Link to Metadata
Electronic eBook -
16
-
17
-
18
-
19
Valency over Time Diachronic Perspectives on Valency Patterns and Valency Orientation
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Development of Writing Skills in Individuals with Learning Difficulties
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter