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
-
Sequential Protocol Composition in Maude-NPA
Free accessSpringer Verlag | 2010|Keywords: Programming Techniques -
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems
Springer Verlag | 2015|Keywords: Software Engineering/Programming and Operating Systems -
Generalized Rewrite Theories
Springer Verlag | 2003|Keywords: Software Engineering/Programming and Operating Systems -
Temporal structures
National licenceSpringer Verlag | 1989|Keywords: Programming Languages, Compilers, Interpreters -
The Real-Time Maude Tool
Free accessSpringer Verlag | 2008|Keywords: Software Engineering/Programming and Operating Systems -
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Springer Verlag | 2006|Keywords: Software Engineering/Programming and Operating Systems -
Effectively Checking the Finite Variant Property
Springer Verlag | 2008|Keywords: Programming Languages, Compilers, Interpreters -
From petri nets to linear logic
National licenceSpringer Verlag | 1989|Keywords: Programming Languages, Compilers, Interpreters -
Equational Abstractions
Springer Verlag | 2003|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) -
Algebraic Semantics of OCL-Constrained Metamodel Specifications
Springer Verlag | 2009|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 -
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study
Springer Verlag | 2010|Keywords: Programming Languages, Compilers, Interpreters -
A Sufficient Completeness Reasoning Tool for Partial Specifications
Springer Verlag | 2005|Keywords: Programming Languages, Compilers, Interpreters -
A Total Approach to Partial Algebraic Specification
Springer Verlag | 2002|Keywords: Software Engineering/Programming and Operating Systems -
Unification and Narrowing in Maude 2.4
Springer Verlag | 2009|Keywords: Programming Languages, Compilers, Interpreters -
Natural Narrowing for General Term Rewriting Systems
Springer Verlag | 2005|Keywords: Programming Languages, Compilers, Interpreters -
Localized Fairness: A Rewriting Semantics
Springer Verlag | 2005|Keywords: Programming Languages, Compilers, Interpreters -
The HOL/NuPRL Proof Translator
A Practical Approach to Formal InteroperabilitySpringer Verlag | 2001|Keywords: Programming Languages, Compilers, Interpreters -
Functorial Semantics of Rewrite Theories
Springer Verlag | 2005|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.