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
-
The Cost of Exactness in Quantitative Reachability
Springer Verlag | 2017|Keywords: Programming Languages, Compilers, Interpreters -
The software model checker Blast
Applications to software engineeringSpringer Verlag | 2007|Keywords: Software Engineering/Programming and Operating Systems -
Strategy Construction for Parity Games with Imperfect Information
Springer Verlag | 2008|Keywords: Programming Techniques -
Monitorability Under Assumptions
Springer Verlag | 2020|Keywords: Programming Languages, Compilers, Interpreters -
Extreme Model Checking
Springer Verlag | 2003|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
It's about time: Real-time logics reviewed
Springer Verlag | 1998|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
From non-preemptive to preemptive scheduling using synchronization synthesis
Free accessSpringer Verlag | 2016|Keywords: Software Engineering/Programming and Operating Systems -
Alternating refinement relations
Springer Verlag | 1998|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Membership-Based Synthesis of Linear Hybrid Automata
Free accessSpringer Verlag | 2019|Keywords: Programming Languages, Compilers, Interpreters -
HYTECH: a model checker for hybrid systems
National licenceSpringer Verlag | 1997|Keywords: Software Engineering/Programming and Operating Systems -
Lipschitz Robustness of Timed I/O Systems
Springer Verlag | 2015|Keywords: Programming Languages, Compilers, Interpreters -
Giotto: A Time-Triggered Language for Embedded Programming
Springer Verlag | 2001|Keywords: Software Engineering/Programming and Operating Systems -
Checking Memory Safety with Blast
Free accessSpringer Verlag | 2005|Keywords: Programming Languages, Compilers, Interpreters -
Symbolic Algorithms for Infinite-State Games
Springer Verlag | 2001|Keywords: Programming Languages, Compilers, Interpreters -
Model checking transactional memories
Springer Verlag | 2009|Keywords: Software Engineering/Programming and Operating Systems -
Finitary Winning in ω-Regular Games
Free accessSpringer Verlag | 2006|Keywords: Software Engineering/Programming and Operating Systems -
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
Springer Verlag | 2017|Keywords: Programming Languages, Compilers, Interpreters -
A survey of partial-observation stochastic parity games
Springer Verlag | 2012|Keywords: Software Engineering/Programming and Operating Systems -
The observational power of clocks
National licenceSpringer Verlag | 1994|Keywords: Programming Languages, Compilers, Interpreters
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.