Erscheinungsjahr
Datenquelle
Fach
Sprache
Synonyme wurden verwendet für: Computer • Computer programming • programming
Suche ohne Synonyme: keywords:(Computer programming)
Verwendete Synonyme:
- computers
- digitale datenverarbeitungsanlage
- digitale rechenanlage
- digitaler computer
- digitalrechner
- dva
- edp hardware
- edv anlage
- edv hardware
- electronic data processing machines
- electronic digital computers
- elektronenrechner
- elektronische datenverarbeitungsanlage
- elektronische rechenanlage
- elektronischer rechenautomat
- elektronisches datenverarbeitungssystem
- programmgesteuerter digitaler rechenautomat
- rechenanlage
- rechenautomat
- rechner
Verwendete Synonyme:
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programmierung
- programming
Verwendete Synonyme:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programmierung
-
The Need for Language Support for Fault-Tolerant Distributed Systems
Freier ZugriffDataCite | 2015|Schlagwörter: Programming language -
Better Quality in Synthesis through Quantitative Objectives
Freier ZugriffSpringer Verlag | 2009|Schlagwörter: Computer Science, Programming Techniques, Computer System Implementation, Software Engineering/Programming and Operating Systems -
QUASY: Quantitative Synthesis Tool
Freier ZugriffSpringer Verlag | 2011|Schlagwörter: Computer Science, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Programming Techniques -
Shape Refinement through Explicit Heap Analysis
Freier ZugriffSpringer Verlag | 2010|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Programming Techniques -
The Embedded Systems Design Challenge
Springer Verlag | 2006|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
Vamos: Middleware for Best-Effort Third-Party Monitoring
Freier ZugriffSpringer Verlag | 2023|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems -
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results
Springer Verlag | 2010|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Programming Techniques, Computer Communication Networks, Programming Languages, Compilers, Interpreters -
Interface-Based Design
Springer Verlag | 2005|Schlagwörter: Computer Science, Programming Techniques, Programming Languages, Compilers, Interpreters -
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Freier ZugriffSpringer Verlag | 2009|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Programming Techniques -
Randomness for Free
Springer Verlag | 2010|Schlagwörter: Computer Science, Programming Techniques, Programming Languages, Compilers, Interpreters, Discrete Mathematics in Computer Science -
Invariant and Type Inference for Matrices
Springer Verlag | 2010|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques -
The BLAST Software Verification System
Springer Verlag | 2005|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Qualitative Analysis of Partially-Observable Markov Decision Processes
Springer Verlag | 2010|Schlagwörter: Computer Science, Programming Techniques, Programming Languages, Compilers, Interpreters, Discrete Mathematics in Computer Science -
Monitoring Algorithmic Fairness Under Partial Observations
Springer Verlag | 2023|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Timed Parity Games: Complexity and Robustness
Springer Verlag | 2008|Schlagwörter: Computer Science, Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Faster Statistical Model Checking for Unbounded Temporal Properties
Freier ZugriffBASE | 2017|Schlagwörter: Answer set programming;expressiveness -
Monitoring Hyperproperties with Prefix Transducers
Freier ZugriffSpringer Verlag | 2023|Schlagwörter: Computer Science, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Synchronous Interface Theories and Time Triggered Scheduling
Freier ZugriffSpringer Verlag | 2012|Schlagwörter: Computer Science, Computer Communication Networks, Programming Techniques, Programming Languages, Compilers, Interpreters -
Forward Analysis of Depth-Bounded Processes
Freier ZugriffSpringer Verlag | 2010|Schlagwörter: Computer Science, Programming Languages, Compilers, Interpreters, Software Engineering/Programming and Operating Systems
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.