Year of publication
Type of media
Type of material
Licence
Language
1–20 of 120 hits
Sort by:
Sort by:
-
Abstract specification of structures and methods in symbolic mathematical computation
Online Contents | 1993| -
Abstract specification of structures and methods in symbolic mathematical computation
National licenceElsevier | 1992| -
Abstract specification of structures and methods in symbolic mathematical computation
Tema Archive | 1992| -
Adaptive Learning with the LS-Plan System: A Field Evaluation
British Library Online Contents | 2009| -
A Database for Number Fields
British Library Conference Proceedings | 1996|Contributors: Limongelli, C. -
A Data Mining Approach to the Analysis of Students' Learning Styles in an e-Learning Community: A Case Study
British Library Conference Proceedings | 2014| -
A Data Mining Approach to the Analysis of Students' Learning Styles in an e-Learning Community: A Case Study
British Library Online Contents | 2014| -
A Deductive Database for Mathematical Formulas
British Library Conference Proceedings | 1996|Contributors: Limongelli, C. -
A Deductive Database for Mathematical Formulas
British Library Online Contents | 1996|Contributors: Limongelli, C. -
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor
British Library Online Contents | 1996|Contributors: Limongelli, C. -
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor
British Library Conference Proceedings | 1996|Contributors: Limongelli, C. -
A Module for Adaptive Course Configuration and Assessment in Moodle
British Library Conference Proceedings | 2010| -
Analyzing the Dynamics of a Z Specification
British Library Conference Proceedings | 1996|Contributors: Limongelli, C. -
Analyzing the Dynamics of a Z Specification
British Library Online Contents | 1996|Contributors: Limongelli, C. -
An Approach to Class Reasoning in Symbolic Computation
British Library Conference Proceedings | 1996|Contributors: Limongelli, C. -
An Approach to Class Reasoning in Symbolic Computation
British Library Online Contents | 1996|Contributors: Limongelli, C. -
Animating a Non-executable Formal Specification with a Distributed Symbolic Language
British Library Conference Proceedings | 1996|Contributors: Limongelli, C. -
Animating a Non-executable Formal Specification with a Distributed Symbolic Language
British Library Online Contents | 1996|Contributors: Limongelli, C.
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.