Year of publication
Type of media
Subject
Type of material
Licence
Language
1–20 of 106 hits
Sort by:
Sort by:
-
Acquisition of Higher Order Knowledge by a Dynamic Modeling Environment Based on the Educational Concept of Self-Regulated Learning
Springer Verlag | 2013|Contributors: Peña-Ayala, Alejandro -
Addressing Mental Health and Trauma-Related Needs of Sheltered Children and Families with Trauma-Focused Cognitive-Behavioral Therapy (TF-CBT)
Free accessOnline Contents | 2022| -
Adolescent Co-occurring Disorders Treatment: Clinicians' Attitudes, Values, and Knowledge
Taylor & Francis Verlag | 2011| -
A Formalisation of Consistent Consequence for Boolean Equation Systems
Springer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
A Formalization of Convex Polyhedra Based on the Simplex Method
Springer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
A Formalized General Theory of Syntax with Bindings
Springer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
A Formal Proof in Coq of LaSalle’s Invariance Principle
Springer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
A Formal Proof of the Expressiveness of Deep Learning
Springer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
An Optimization Approach to the TWPVD Method for Digital Image Steganography
Springer Verlag | 2016|Contributors: Ayala Ramirez, Victor -
Automated Theory Exploration for Interactive Theorem Proving:
An Introduction to the Hipster SystemSpringer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
Automating Formalization by Statistical and Semantic Parsing of Mathematics
Springer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
A Verified Generational Garbage Collector for CakeML
Springer Verlag | 2017|Contributors: Ayala-Rincón, Mauricio, Muñoz, César A. -
Being oneself through time: Bases of self-continuity across 55 cultures
Taylor & Francis Verlag | 2018|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.