The presented formal definition of compositional high-level Petri net semantics for B(PN)² (Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems allows the correct and efficient translation of also recursive procedures (in B(PN)² and SDL) and processes with dynamic creation and termination (in SDL) into high-level Petri nets
Studienarbeit aus dem Jahr 2000 im Fachbereich Medien / Kommunikation - Theorien
WERTE UND ZWECKE -- Siebenunddreißigstes Kapitel: VORBEMERKUNGEN -- Achtunddreißigstes Kapitel: DIE ZWECKE DER ZIELPARTNER (LESER) -- Neununddreißigstes Kapitel: DIE ZWECKE DER AUSGANGSPARTNER -- Vierzigstes Kapitel: DIE ZWECKE DER VERMITTLER -- Einundvierzigstes Kapitel: DIE GESETZ- UND REGELMÄSSIGKEITEN IM SPIEL DER ZWECKE -- Zweiundvierzigstes Kapitel: DIE INHALTSTYPEN DER PERIODIKA NACH DEN ZWECKEN -- Dreiundvierzigstes Kapitel: DAS VERHÄLTNIS DER JOURNALISTISCHEN ZU DEN HÖHEREN WERTEN -- LITERATUR UND ANMERKUNGEN -- Backmatter
3 Zugriff auf andere Kalender (dauerhaft) 5
Abstract: Magisterarbeit von Lucas Licht
Evaluation der Kampagne "Denk an mich. Dein Rücken." Viola Eckelt The presented formal definition ofStudienarbeit aus dem Jahr 2016 im Fachbereich Psychologie Klinische u. Gesundheitspsychologie, Psychopathologie, Note: 1,3, MSB Medical School Berlin Hochschule fr Gesundheit und Medizin, Sprache: Deutsch, Abstract: Gegenstand dieser Hausarbeit soll es sein, die Kampagne Denk an mich. Dein Rcken. zu evaluieren, indem zunchst die Methoden sowie die Hintergrnde und Absichten dieser genauer erlutert werden und im Anschluss daran geprft wird, wie wirksam