Year of publication
Subject
Type of material
Language
Synonyms were used for: Programmierung
Search without synonyms: keywords:("Programmierung")
Used synonyms:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
1–20 of 167 hits
Sort by:
Sort by:
-
The Need for Language Support for Fault-Tolerant Distributed Systems
Free accessDataCite | 2015|Keywords: Programming language -
Better Quality in Synthesis through Quantitative Objectives
Free accessSpringer Verlag | 2009|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems -
Shape Refinement through Explicit Heap Analysis
Free accessSpringer Verlag | 2010|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
The Embedded Systems Design Challenge
Springer Verlag | 2006|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
QUASY: Quantitative Synthesis Tool
Free accessSpringer Verlag | 2011|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Invariant and Type Inference for Matrices
Springer Verlag | 2010|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results
Springer Verlag | 2010|Keywords: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters -
Vamos: Middleware for Best-Effort Third-Party Monitoring
Free accessSpringer Verlag | 2023|Keywords: Software Engineering/Programming and Operating Systems -
The BLAST Software Verification System
Springer Verlag | 2005|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Monitoring Hyperproperties with Prefix Transducers
Free accessSpringer Verlag | 2023|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Randomness for Free
Springer Verlag | 2010|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Interface-Based Design
Springer Verlag | 2005|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Monitoring Algorithmic Fairness Under Partial Observations
Springer Verlag | 2023|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Alternating Weighted Automata
Springer Verlag | 2009|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Qualitative Analysis of Partially-Observable Markov Decision Processes
Springer Verlag | 2010|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Timed Parity Games: Complexity and Robustness
Springer Verlag | 2008|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Faster Statistical Model Checking for Unbounded Temporal Properties
Free accessBASE | 2017|Keywords: Answer set programming;expressiveness -
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Free accessSpringer Verlag | 2009|Keywords: Software Engineering/Programming and Operating Systems, Programming Techniques -
Synchronous Interface Theories and Time Triggered Scheduling
Free accessSpringer Verlag | 2012|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters