Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 731 hits
Sort by:
Sort by:
-
Youla Parameterization and Design of Takagi-Sugeno Fuzzy Control Systems
Springer Verlag | 2006|Keywords: Linear Time Invariant System -
Weak Alternating Automata in Isabelle/HOL
Springer Verlag | 2000|Keywords: Linear Time Temporal Logic -
Visualisation of Large and Complex Networks Using PolyPlane
Free accessSpringer Verlag | 2005|Keywords: Linear Time Algorithm -
VIBRATION SUPPRESSION OF AN ELASTIC BEAM VIA SLIDING MODE CONTROL
Springer Verlag | 2007|Keywords: Linear Time Invariant System -
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System
Springer Verlag | 2007|Keywords: preservation of linear-time properties -
Vertex Disjoint Paths in Upward Planar Graphs
Springer Verlag | 2014|Keywords: Linear Time Algorithm -
Verifying a Parameterized Border Array in O(n 1.5) Time
Springer Verlag | 2010|Keywords: Linear Time Algorithm -
Verification of Linear Duration Invariants by Model Checking CTL Properties
Springer Verlag | 2008|Keywords: Linear Time Temporal Logic -
Univariate Time Series: Autocorrelation, Linear Prediction, Spectrum, and State‐Space Model
Wiley | 2000|Keywords: linear time series models -
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces
Springer Verlag | 2005|Keywords: Linear Time Temporal Logic -
Understanding the Torsional Response of Unbonded Fiber Reinforced Elastomeric Isolators: A Finite Element Study
Springer Verlag | 2023|Keywords: Linear time history analyses -
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Springer Verlag | 2015|Keywords: Linear Time Invariant -
Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure
Springer Verlag | 2013|Keywords: Linear Time
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.