Year of publication
Type of media
Subject
Type of material
Licence
Language
41–60 of 492 hits
Sort by:
Sort by:
-
Reducing Nondeterministic Finite Automata with SAT Solvers
British Library Online Contents | 2010|Contributors: Sakarovitch, J. -
Efficient Implementation of True Random Number Generator Based on SRAM PUFs
British Library Online Contents | 2012| -
Hierarchical Conformance Checking of Process Models Based on Event Logs
British Library Online Contents | 2013|Contributors: Colom, J.-M., Desel, J. -
Mining Configurable Process Models from Collections of Event Logs
British Library Online Contents | 2013|Contributors: Wang, J. -
The benefits of argumentation are cross-culturally robust: The case of Japan
Taylor & Francis Verlag | 2016| -
Conformance Checking in the Large: Partitioning and Topology
British Library Online Contents | 2013|Contributors: Wang, J. -
When typological rara generate rarissima: analogical extension of verbal agreement in Dutch dialects
British Library Conference Proceedings | 2010| -
Topical Language Model for Snippet Retrieval
British Library Online Contents | 2012|Contributors: Kamps, J. -
Dutch Verbal Prefixes: Meaning and form, grammaticalization and lexicalization
British Library Conference Proceedings | 1999| -
William Croft, Explaining Language Change. An Evolutionary Approach
British Library Online Contents | 2003| -
An Ambient Agent Model for Support of Informal Caregivers during Stress
British Library Online Contents | 2012| -
Beyond Maxi-Consistent Argumentation Operators
British Library Online Contents | 2012|Contributors: Mengin, J. -
An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets
British Library Online Contents | 2012| -
Causal Nets: A Modeling Language Tailored towards Process Discovery
British Library Online Contents | 2011|Contributors: Katoen, J.-P.
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.