Year of publication
Type of media
Subject
Type of material
Licence
Language
Synonyms were used for: Programmierung
Search without synonyms: keywords:(Programmierung)
Used synonyms:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
-
Building Correct-by-Construction Systems with Formal Patterns
Springer Verlag | 2023|Keywords: Programming Techniques -
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
TIBKAT | 2022|Keywords: Logische Programmierung -
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
An Efficient Canonical Narrowing Implementation for Protocol Analysis
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
Checking Sufficient Completeness by Inductive Theorem Proving
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
Free accessSpringer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Checking Sufficient Completeness by Inductive Theorem Proving
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
An Efficient Canonical Narrowing Implementation for Protocol Analysis
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Symbolic Computation in Maude: Some Tapas
Springer Verlag | 2021|Keywords: Software Engineering/Programming and Operating Systems -
Order-Sorted Rewriting and Congruence Closure
Springer Verlag | 2016|Keywords: Programming Languages, Compilers, Interpreters -
Variant-Based Satisfiability in Initial Algebras
Springer Verlag | 2016|Keywords: Programming Languages, Compilers, Interpreters -
Localized Operational Termination in General Logics
Springer Verlag | 2015|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Formal Analysis of Leader Election in MANETs Using Real-Time Maude
Springer Verlag | 2015|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems
Springer Verlag | 2015|Keywords: Software Engineering/Programming and Operating Systems -
Taming distributed system complexity through formal patterns
Online Contents | 2014|Keywords: Programmierung -
Formal Modeling and Analysis of Cassandra in Maude
Springer Verlag | 2014|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
Springer Verlag | 2014|Keywords: Inductive Logic Programming, Programming Techniques -
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
Springer Verlag | 2014|Keywords: Programming Languages, Compilers, Interpreters -
Analysis of the IBM CCA Security API Protocols in Maude-NPA
Springer Verlag | 2014|Keywords: security Application Programming Interfaces (security APIs)
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.