Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Programmierung
Suche ohne Synonyme: keywords:(Programmierung)
Verwendete Synonyme:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
-
μ2Log: Towards remote coordination
NationallizenzSpringer Verlag | 1996|Schlagwörter: Programming Techniques -
λμ-Calculus and Duality: Call-by-Name and Call-by-Value
Springer Verlag | 2005|Schlagwörter: Programming Languages, Compilers, Interpreters -
λZ: Zermelo’s Set Theory as a PTS with 4 Sorts
Springer Verlag | 2006|Schlagwörter: Programming Languages, Compilers, Interpreters -
to SKI, Semantically
Declarative PearlSpringer Verlag | 2018|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
λ-Subsumption and its application to learning from positive-only examples
Springer Verlag | 1997|Schlagwörter: Inductive Logic Programming, Software Engineering/Programming and Operating Systems, Programming Techniques -
λ-RBAC: Programming with Role-Based Access Control
Springer Verlag | 2006|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems -
-LGP: an improved version of linear genetic programming evaluated in the Ant Trail problem
Springer Verlag | 2017|Schlagwörter: Linear genetic programming, Genetic programming -
λ-Fold difference bases for linear and rectangular arrays
NationallizenzSpringer Verlag | 1995|Schlagwörter: Software Engineering/Programming and Operating Systems -
λ-definition of function(al)s by normal forms
NationallizenzSpringer Verlag | 1994|Schlagwörter: Programming Languages, Compilers, Interpreters -
λ-Connected Approximations for Rough Sets
Springer Verlag | 2002|Schlagwörter: Software Engineering/Programming and Operating Systems -
λ-Coloring of Graphs
Springer Verlag | 2000|Schlagwörter: Software Engineering/Programming and Operating Systems -
λ-calculi with explicit substitutions and composition which preserve β-strong normalization
NationallizenzExtended abstractSpringer Verlag | 1996|Schlagwörter: Programming Languages, Compilers, Interpreters -
λ-Calculi with conditional rules
NationallizenzSpringer Verlag | 1993|Schlagwörter: Programming Techniques -
λ-Based Object-Oriented Programming (Pearl)
Freier ZugriffDataCite | 2021|Schlagwörter: Programming paradigms -
καππα: A Kernel Andorra Prolog
NationallizenzParallel architecture designSpringer Verlag | 1991|Schlagwörter: Programming Techniques, Programming Languages, Compilers, Interpreters -
κ-Project/first step: To improve data manipulations and representations on parallel computers
NationallizenzSpringer Verlag | 1992|Schlagwörter: Programming Techniques -
κNUMA: A Model for Clusters of SMP-Machines
Springer Verlag | 2002|Schlagwörter: Software Engineering/Programming and Operating Systems -
θ-Subsumption in a Constraint Satisfaction Perspective
Springer Verlag | 2001|Schlagwörter: Inductive Logic Programming, Software Engineering/Programming and Operating Systems, 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.