Year of publication
Type of material
Licence
Language
101–120 of 690 hits
Sort by:
Sort by:
-
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
British Library Conference Proceedings | 2011| -
Einstein observations of T Tauri stars in Taurus-Auriga: Properties of X-Ray emission and relationships with pre-mainsequence activity
National licenceSpringer Verlag | 1994| -
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
British Library Online Contents | 2018| -
A Decidable Intersection Type System based on Relevance
British Library Conference Proceedings | 1994| -
The X-ray Emission of T Tauri Stars in Taurus-Auriga as Seen from the EINSTEIN Observatory IPC
British Library Conference Proceedings | 1993| -
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
British Library Online Contents | 2011| -
Verifying traits: an incremental proof system for fine-grained reuse
British Library Online Contents | 2014| -
Einstein Observations of T Tauri Stars in Taurus-Auriga. II. Relationships Between X-Ray Emission and Pre-Main-Sequence Activity
British Library Online Contents | 1995| -
The rich low‐mass population of the massive cluster NGC 6231: X‐ray emission, evolutionary status, and IMF
American Institute of Physics | 2009| -
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
British Library Conference Proceedings | 2009| -
Refined Effects for Unanticipated Object Re-classification: Fickle~3
British Library Online Contents | 2003| -
A type safe state abstraction for coordination in Java-like languages
British Library Online Contents | 2008| -
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations
British Library Online Contents | 2013| -
Normal bone mass and normocalcemia in adulthood despite homozygous vitamin D receptor mutations
Online Contents | 2015| -
A field-based computing approach to sensing-driven clustering in robot swarms
Free accessBASE | 2023|Contributors: Damiani F.
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.