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
-
Folding Variant Narrowing and Optimal Variant Termination
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
Springer Verlag | 2007|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Rewriting Logic Semantics and Verification of Model Transformations
Freier ZugriffSpringer Verlag | 2009|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
Order-Sorted Parameterization and Induction
Springer Verlag | 2009|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
A Hierarchy of Data Types: From Trees to Sets
Springer Verlag | 2007|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
A Formal Pattern Architecture for Safe Medical Systems
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Termination of just/fair computations in term rewriting
Elsevier | 2007|Schlagwörter: Concurrent programming -
Semantic Models for Distributed Object Reflection
Springer Verlag | 2002|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters -
Syntax and Basic Parsing
Springer Verlag | 2007|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Rewriting logic as a semantic framework for concurrency: a progress report
NationallizenzSpringer Verlag | 1996|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
Localized Operational Termination in General Logics
Springer Verlag | 2015|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
Semantics and pragmatics of Real-Time Maude
Springer Verlag | 2007|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
An Algebraic Semantics for MOF
Freier ZugriffSpringer Verlag | 2008|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Springer Verlag | 2004|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters -
Termination of Fair Computations in Term Rewriting
Springer Verlag | 2005|Schlagwörter: Concurrent programming, Software Engineering/Programming and Operating Systems, Programming Techniques -
Formal Modeling and Analysis of Cassandra in Maude
Springer Verlag | 2014|Schlagwörter: Programming Techniques, Programming Languages, Compilers, Interpreters -
State/Event-Based LTL Model Checking under Parametric Generalized Fairness
Freier ZugriffSpringer Verlag | 2011|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
Proving operational termination of membership equational programs
Springer Verlag | 2008|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
IBOS: A Correct-By-Construction Modular Browser
Springer Verlag | 2013|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques
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.