Year of publication
Type of material
Licence
Language
TIB reading rooms collection
21–40 of 136,963 hits
Sort by:
Sort by:
-
Coherent Explicit Dictionary Application for Haskell
British Library Online Contents | 2018|Publisher: ACM -
Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
British Library Online Contents | 2018|Publisher: ACM -
A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
British Library Online Contents | 2018|Publisher: ACM -
HPVM: Heterogeneous Parallel Virtual Machine
British Library Online Contents | 2018|Publisher: ACM -
Hierarchical Memory Management for Mutable State
British Library Online Contents | 2018|Publisher: ACM -
A Domain-Specific Language for Exploratory Data Visualization
British Library Online Contents | 2018|Publisher: ACM -
Funcons for HGMP: The Fundamental Constructs of Homogeneous Generative Meta-programming (Short Paper)
British Library Online Contents | 2018|Publisher: ACM -
A Practical Unification of Multi-stage Programming and Macros
British Library Online Contents | 2018|Publisher: ACM -
A High-Performance Multicore IO Manager Based on libuv (Experience Report)
British Library Online Contents | 2018|Publisher: ACM -
Revisiting the discharge time of a cylindrical leaking bucket
British Library Online Contents | 2018|Publisher: ACM -
Inferring Ownership Domains from Refinements
British Library Online Contents | 2018|Publisher: ACM -
Anomaly Analyses for Feature-Model Evolution
British Library Online Contents | 2018|Publisher: ACM -
A Promise Checked Is a Promise Kept: Inspection Testing
British Library Online Contents | 2018|Publisher: ACM -
Adaptive Deep Learning Model Selection on Embedded Systems
British Library Online Contents | 2018|Publisher: ACM -
Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
British Library Online Contents | 2018|Publisher: ACM -
An Open-Source Realtime Computational Platform (Short WIP Paper)
British Library Online Contents | 2018|Publisher: ACM -
SIMD Code Generation for Stencils on Brick Decompositions
British Library Online Contents | 2018|Publisher: ACM
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.