Year of publication
Source
Type of material
Licence
Language
TIB reading rooms collection
21–40 of 1,466 hits
Sort by:
Sort by:
-
Numerical Analysis of the Model of Optimal Savings and Borrowing
TIBKAT | 2022|Keywords: Computer science—Mathematics. -
Compression and Data Similarity: Combination of Two Techniques for Communication-Efficient Solving of Distributed Variational Inequalities
TIBKAT | 2022|Keywords: Computer science—Mathematics. -
Fluctuations of Aggregated Production Capacity Near Balanced Growth Path
TIBKAT | 2022|Keywords: Computer science—Mathematics. -
Nash and Stackelberg Equilibria in Games with Pay-Off Functions Constructed by Minimum Convolutions of Antagonistic and Private Criteria
TIBKAT | 2022|Keywords: Computer science—Mathematics. -
Decomposition Method for Solving the Quadratic Programming Problem in the Aircraft Assembly Modeling
TIBKAT | 2022|Keywords: Computer science—Mathematics. -
Measuring visual complexity of cluster-based visualizations
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Dominance: consistently comparing computational complexity
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
On the complexity of model checking counter automata
Free accessBASE | 2017|Keywords: Computer science (mathematics) -
Local decision-making in multi-agent systems
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
On collapsible pushdown automata, their graphs and the power of links
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Higher-order model checking with traversals
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Small model theorems for data independent systems in Alloy
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Formal relationships in sequential object systems
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Matching with mismatches and assorted applications
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Parallel algorithms for free and associative-commutative unification
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Parallel assignments in software model checking
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Weak cost automata over infinite trees
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
A model-independent theory of computational complexity: from patience to precision and beyond
Free accessBASE | 2016|Keywords: Computer science (mathematics) -
Approximation theory and algorithms for data analysis
TIBKAT | 2018|Keywords: Computer science / Mathematics
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.