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
-
vlogsl: A Strategy Language for Simulation-Based Verification of Hardware
Springer Verlag | 2011|Keywords: Programming Languages, Compilers, Interpreters -
Variant-Based Satisfiability in Initial Algebras
Springer Verlag | 2016|Keywords: Programming Languages, Compilers, Interpreters -
Using Maude
Springer Verlag | 2007|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
User Interfaces and Metalanguage Applications
Springer Verlag | 2007|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Unification and Narrowing in Maude 2.4
Springer Verlag | 2009|Keywords: Programming Languages, Compilers, Interpreters -
Ugo Montanari in a Nutshell
Springer Verlag | 2008|Keywords: Logic Programming, Constraint Programming -
Twenty Years of Rewriting Logic
Springer Verlag | 2010|Keywords: Logic Programming, Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
The SynchAADL2Maude Tool
Free accessSpringer Verlag | 2012|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
The rewriting logic semantics project: A progress report
Elsevier | 2013|Keywords: Programming languages -
The rewriting logic semantics project
Elsevier | 2007|Keywords: Semantics and analysis of programming languages -
The Rewrite Rule Machine node architecture and its performance
National licenceSpringer Verlag | 1994|Keywords: Programming Techniques -
The Real-Time Maude Tool
Free accessSpringer Verlag | 2008|Keywords: Software Engineering/Programming and Operating Systems -
Theoroidal Maps as Algebraic Simulations
Springer Verlag | 2005|Keywords: Software Engineering/Programming and Operating Systems -
The Maude LTL Model Checker and Its Implementation
Springer Verlag | 2003|Keywords: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
The Maude 2.0 System
Springer Verlag | 2003|Keywords: Programming Languages, Compilers, Interpreters -
The Linear Temporal Logic of Rewriting Maude Model Checker
Springer Verlag | 2010|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
The HOL/NuPRL Proof Translator
A Practical Approach to Formal InteroperabilitySpringer Verlag | 2001|Keywords: Programming Languages, Compilers, Interpreters -
Termination of just/fair computations in term rewriting
Elsevier | 2007|Keywords: Concurrent programming -
Termination of Fair Computations in Term Rewriting
Springer Verlag | 2005|Keywords: Concurrent programming, Software Engineering/Programming and Operating Systems, Programming Techniques -
Temporal structures
National licenceSpringer Verlag | 1989|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.