Year of publication
Type of media
Source
Type of material
Licence
Language
Synonyms were used for: Programmierung
Search without synonyms: keywords:("Programmierung")
Used synonyms:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
-
A survey of partial-observation stochastic parity games
Springer Verlag | 2012|Keywords: Software Engineering/Programming and Operating Systems -
Algorithms for Omega-Regular Games with Imperfect Information
Springer Verlag | 2006|Keywords: Programming Languages, Compilers, Interpreters -
Synthesizing robust systems
Springer Verlag | 2013|Keywords: Software Engineering/Programming and Operating Systems -
A Classification of Symbolic Transition Systems
Springer Verlag | 2000|Keywords: Software Engineering/Programming and Operating Systems -
Verification of STM on relaxed memory models
Springer Verlag | 2011|Keywords: Software Engineering/Programming and Operating Systems -
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
Springer Verlag | 2023|Keywords: Software Engineering/Programming and Operating Systems -
The Control of Synchronous Systems, Part II
Springer Verlag | 2001|Keywords: Programming Languages, Compilers, Interpreters -
Regression-Free Synthesis for Concurrency
Free accessSpringer Verlag | 2014|Keywords: Software Engineering/Programming and Operating Systems -
Faster Statistical Model Checking for Unbounded Temporal Properties
Springer Verlag | 2016|Keywords: Programming Languages, Compilers, Interpreters -
Synthesis of Parametric Hybrid Automata from Time Series
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Transient Memory in Gene Regulation
Springer Verlag | 2019|Keywords: Software Engineering/Programming and Operating Systems -
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis
Free accessSpringer Verlag | 2015|Keywords: Software Engineering/Programming and Operating Systems -
Automatic Rectangular Refinement of Affine Hybrid Systems
Springer Verlag | 2005|Keywords: Programming Languages, Compilers, Interpreters -
Timed Alternating-Time Temporal Logic
Springer Verlag | 2006|Keywords: Programming Languages, Compilers, Interpreters -
Completeness and Nondeterminism in Model Checking Transactional Memories
Springer Verlag | 2008|Keywords: Programming Techniques -
Array Folds Logic
Springer Verlag | 2016|Keywords: Software Engineering/Programming and Operating Systems -
Information-flow Interfaces
Free accessSpringer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Abstraction-driven Concolic Testing
Springer Verlag | 2015|Keywords: Programming Languages, Compilers, Interpreters -
Assume-Guarantee Synthesis
Free accessSpringer Verlag | 2007|Keywords: Software Engineering/Programming and Operating Systems
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 is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
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.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.