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
-
π - A Pattern Language
British Library Conference Proceedings | 2009|Schlagwörter: Object-oriented programming -
π-$ RED^{*} $—A graph reducer for a full-fledged γ-calculus
Online Contents | 1992|Schlagwörter: Functional Programming -
νZ - An Optimizing SMT Solver
Freier ZugriffSpringer Verlag | 2015|Schlagwörter: Programming Languages, Compilers, Interpreters -
ν-Types for Effects and Freshness Analysis
Springer Verlag | 2009|Schlagwörter: Programming Techniques, Software Engineering/Programming and Operating Systems -
μZ– An Efficient Engine for Fixed Points with Constraints
Freier ZugriffSpringer Verlag | 2011|Schlagwörter: Programming Languages, Compilers, Interpreters, Programming Techniques -
μ-UAV Based Dynamic Target Tracking for Surveillance and Exploration
British Library Conference Proceedings | 2014|Schlagwörter: Visual programming (Computer science) -
μTSS – A Simplified Trusted Software Stack
Springer Verlag | 2010|Schlagwörter: Programming Techniques -
μTC – An Intermediate Language for Programming Chip Multiprocessors
Springer Verlag | 2006|Schlagwörter: programming chip multiprocessors -
μProfiler: Profiling User-Level Threads in a Shared-Memory Programming Environment
Springer Verlag | 1998|Schlagwörter: Software Engineering/Programming and Operating Systems -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document}XL: Explainable Lead Generation with Microservices and Hypothetical Answers
Springer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
: unified data collection for data centers
Springer Verlag | 2014|Schlagwörter: Programming Languages, Compilers, Interpreters -
μDatabase: A Toolkit for Constructing Memory Mapped Databases
Springer Verlag | 1993|Schlagwörter: Programming Languages, Compilers, Interpreters -
µCRL: A Toolset for Analysing Algebraic Specifications
Freier ZugriffSpringer Verlag | 2001|Schlagwörter: Software Engineering/Programming and Operating Systems -
μCode: A lightweight and flexible mobile code toolkit
Springer Verlag | 1998|Schlagwörter: Software Engineering/Programming and Operating Systems -
μ-Charts and Z: Hows, Whys, and Wherefores
Springer Verlag | 2001|Schlagwörter: Programming Languages, Compilers, Interpreters, Software Engineering/Programming and Operating Systems, Programming Techniques -
μ-Chart-Based Specification and Refinement
Springer Verlag | 2002|Schlagwörter: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
μ-Calculus via Games (Extended Abstract)
Springer Verlag | 2002|Schlagwörter: Programming Languages, Compilers, Interpreters -
μ-Calculus Synthesis
Springer Verlag | 2000|Schlagwörter: Programming Languages, Compilers, Interpreters -
μABC: A Minimal Aspect Calculus
Springer Verlag | 2004|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.