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
-
The Maude 2.0 System
Springer Verlag | 2003|Keywords: Programming Languages, Compilers, Interpreters -
From abstract data types to logical frameworks
National licenceSpringer Verlag | 1995|Keywords: Programming Languages, Compilers, Interpreters -
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 -
Symbolic Computation in Maude: Some Tapas
Springer Verlag | 2021|Keywords: Software Engineering/Programming and Operating Systems -
Rewriting Logic and Maude: Concepts and Applications
Springer Verlag | 2000|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
On the Completeness of Context-Sensitive Order-Sorted Specifications
Springer Verlag | 2007|Keywords: Programming Languages, Compilers, Interpreters -
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
Springer Verlag | 2014|Keywords: Programming Languages, Compilers, Interpreters -
Multiparadigm logic programming
National licenceSpringer Verlag | 1992|Keywords: Programming Languages, Compilers, Interpreters -
Order-Sorted Rewriting and Congruence Closure
Springer Verlag | 2016|Keywords: Programming Languages, Compilers, Interpreters -
Theoroidal Maps as Algebraic Simulations
Springer Verlag | 2005|Keywords: Software Engineering/Programming and Operating Systems -
Software component search
National licenceSpringer Verlag | 1996|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 -
The Rewrite Rule Machine node architecture and its performance
National licenceSpringer Verlag | 1994|Keywords: Programming Techniques -
Variant-Based Satisfiability in Initial Algebras
Springer Verlag | 2016|Keywords: Programming Languages, Compilers, Interpreters -
Representation theorems for Petri Nets
Springer Verlag | 2006|Keywords: Software Engineering/Programming and Operating Systems -
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Springer Verlag | 2009|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.