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
-
Φ-Functions of 2D Objects with Boundaries Being Second-Order Curves
Springer Verlag | 2020|Schlagwörter: Software Engineering/Programming and Operating Systems -
Φ-Conjugation and noneonvex optimization. a survey (part III)
NationallizenzTaylor & Francis Verlag | 1985|Schlagwörter: Nonconvex programming, fractional programming -
(Φ1, Φ2) Optimality And Duality Under Differentiablity
NationallizenzTaylor & Francis Verlag | 1997|Schlagwörter: Nonlinear Programming -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\tau }$$\end{document}JUpdate: A Temporal Update Language for JSON Data
Springer Verlag | 2022|Schlagwörter: Software Engineering/Programming and Operating Systems -
σ-SSA and its construction through symbolic interpretation
Springer Verlag | 1997|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
σ-Self-Adaptive Weighted Multirecombination Evolution Strategy with Scaled Weights on the Noisy Sphere
Springer Verlag | 2008|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems -
Σ K –constraints for Hybrid Systems
Springer Verlag | 2010|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
ΣIT — A strongly-typed embeddable computer algebra library
NationallizenzSpringer Verlag | 1996|Schlagwörter: Software Engineering/Programming and Operating Systems -
ΣC: A Programming Model and Language for Embedded Manycores
Springer Verlag | 2011|Schlagwörter: programming model, programming language -
ΠΣ: Dependent Types without the Sugar
Springer Verlag | 2010|Schlagwörter: Programming Techniques, Programming Languages, Compilers, Interpreters -
π-schemas — a language for graphic representation of algorithms
NationallizenzSpringer Verlag | 1992|Schlagwörter: Software Engineering/Programming and Operating Systems -
π-RED*—A graph reducer for a full-fledged γ-calculus
Springer Verlag | 1992|Schlagwörter: Functional Programming, Software Engineering/Programming and Operating Systems -
πn(Sn) in Homotopy Type Theory
Springer Verlag | 2013|Schlagwörter: Programming Languages, Compilers, Interpreters -
πI: A symmetric calculus based on internal mobility
NationallizenzSpringer Verlag | 1995|Schlagwörter: Programming Languages, Compilers, Interpreters -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} with Leftovers: A Mechanisation in Agda
Springer Verlag | 2021|Schlagwörter: Software Engineering/Programming and Operating Systems -
π-calculus with noisy channels
Springer Verlag | 2005|Schlagwörter: Software Engineering/Programming and Operating Systems -
π-Calculus, Structured Coalgebras, and Minimal HD-Automata
Springer Verlag | 2000|Schlagwörter: Programming Languages, Compilers, Interpreters -
π-Calculus semantics of object-oriented programming languages
NationallizenzSpringer Verlag | 1991|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
π-Calculus
Springer Verlag | 2017|Schlagwörter: Software Engineering/Programming and Operating Systems -
π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
Springer Verlag | 2008|Schlagwörter: Software Engineering/Programming and Operating Systems, 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.