Erscheinungsjahr
Medientyp
Fach
Format
Lizenz
Sprache
Synonyme wurden verwendet für: Programmierung
Suche ohne Synonyme: keywords:(Programmierung)
Verwendete Synonyme:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
-
Taming distributed system complexity through formal patterns
Online Contents | 2014|Schlagwörter: Programmierung -
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
TIBKAT | 2022|Schlagwörter: Logische Programmierung -
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
TIBKAT | 2022|Schlagwörter: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
An Efficient Canonical Narrowing Implementation for Protocol Analysis
TIBKAT | 2022|Schlagwörter: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
Checking Sufficient Completeness by Inductive Theorem Proving
TIBKAT | 2022|Schlagwörter: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
The rewriting logic semantics project: A progress report
Elsevier | 2013|Schlagwörter: Programming languages -
Twenty Years of Rewriting Logic
Springer Verlag | 2010|Schlagwörter: Logic Programming, Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
A Modular Equational Generalization Algorithm
Springer Verlag | 2009|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters -
The rewriting logic semantics project
Elsevier | 2007|Schlagwörter: Semantics and analysis of programming languages -
A Dependency Pair Framework for A ∨ C-Termination
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
The Linear Temporal Logic of Rewriting Maude Model Checker
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Operational termination of conditional term rewriting systems
Elsevier | 2005|Schlagwörter: Programming languages -
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Springer Verlag | 2010|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
A birkhoff-like theorem for algebraic classes of interpretations of program schemes
NationallizenzFor calvin elgotSpringer Verlag | 1981|Schlagwörter: Programming Techniques -
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
Springer Verlag | 2008|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
The SynchAADL2Maude Tool
Freier ZugriffSpringer Verlag | 2012|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
NationallizenzSpringer Verlag | 1993|Schlagwörter: Programming Techniques, Programming Languages, Compilers, Interpreters -
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
Springer Verlag | 2008|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.