Year of publication
Type of material
Licence
TIB reading rooms collection
Synonyms were used for: PROGRAMMABLAUF
Search without synonyms: keywords:("PROGRAMMABLAUF")
Used synonyms:
- control flow
- kontrollfluss
- program activity sequence
- program flow
- programmlauf
-
Musterbasierte Kontrollflusssemantik für Geschäftsprozessmodellierungssprachen
Free accessTIBKAT | 2019|Keywords: Kontrollfluss -
Verhalten und Ausführungssemantik optionaler Kanten in Geschäftsprozessen
DataCite | 2023|Keywords: Kontrollfluss -
Design and implementation of effect handlers for object-oriented programming languages
Free accessTIBKAT | 2019|Keywords: Kontrollfluss -
SPIRE: Improving Dynamic Binary Translation through SPC-Indexed Indirect Branch Redirecting
Tema Archive | 2013|Keywords: Kontrollfluss -
Kontrollflusssensible Quelltext-Umgestaltung mithilfe von Constraint-Programmierung
Free accessDataCite | 2016|Keywords: Kontrollfluss, control-flow -
The problem of constructing a mathematical guarantee of a computing process on a digital computer
Tema Archive | 1973|Keywords: PROGRAMMLAUF -
Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen
TIBKAT | 2014|Keywords: Kontrollfluss, Programmablauf -
Platzierung von Softwarekomponenten auf Mehrkernprozessoren : automatisierte Konstruktion und Analyse für funktionssichere Systeme
TIBKAT | 2015|Keywords: Kontrollfluss -
Eine Untersuchung ueber die verbrauchte Programmierungszeit
Tema Archive | 1973|Keywords: PROGRAMMLAUF -
Analysis and retrofitting of security properties for proprietary software systems
Free accessBASE | 2013|Keywords: Kontrollfluss -
Control-Flow Integrity
Online Contents | 2017|Keywords: Control-flow integrity, control-flow hijacking -
Controlling development processes : Sprachrealisierung und Ausführung mittels Graphtransformationen
DataCite | 2011|Keywords: Kontrollfluss -
Construction of programmable interconnected 3D microfluidic networks
Tema Archive | 2015|Keywords: Programmablauf
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.