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
-
Rich Interfaces for Software Modules
Springer Verlag | 2004|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Differential Monitoring
Springer Verlag | 2021|Keywords: Software Engineering/Programming and Operating Systems -
Invariant Synthesis for Combined Theories
Springer Verlag | 2007|Keywords: Programming Languages, Compilers, Interpreters -
Hybrid automata with finite bisimulations
National licenceSpringer Verlag | 1995|Keywords: Programming Techniques -
Embedded Control Systems Development with Giotto
Wiley | 2003|Keywords: platform‐independent programming extraction -
Aligators for Arrays (Tool Paper)
Springer Verlag | 2010|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Software Transactional Memory on Relaxed Memory Models
Free accessSpringer Verlag | 2009|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems -
Abstract Counterexample-Based Refinement for Powerset Domains
Springer Verlag | 2007|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Simulation Distances
Springer Verlag | 2010|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Mean-Payoff Automaton Expressions
Springer Verlag | 2010|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Quantitative Simulation Games
Springer Verlag | 2010|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
The expressive power of clocks
National licenceSpringer Verlag | 1995|Keywords: Programming Techniques -
The Element of Surprise in Timed Games
Springer Verlag | 2003|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Discrete-time control for rectangular hybrid automata
Springer Verlag | 1997|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
A Survey of Stochastic Games with Limsup and Liminf Objectives
Springer Verlag | 2009|Keywords: Software Engineering/Programming and Operating Systems, Programming Techniques -
Abstract Monitors for Quantitative Specifications
Free accessSpringer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Valigator: A Verification Tool with Bound and Invariant Generation
Springer Verlag | 2008|Keywords: Software Engineering/Programming and Operating Systems, Programming Techniques -
Schedule-Carrying Code
Springer Verlag | 2003|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Preface of the Special Issue in Memoriam Helmut Veith
Free accessSpringer Verlag | 2017|Keywords: Software Engineering/Programming and Operating Systems -
Abstract Interpretation of Game Properties
Springer Verlag | 2000|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques
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.