Seminar Timed Automata
|
|
- Alexander Burgstaller
- vor 7 Jahren
- Abrufe
Transkript
1 Einführungsveranstaltung Thomas Noll Henrik Bohnenkamp Software Modeling and Verification Group 17. Juli 2008
2 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit zeitkritischer Systeme Diese hängt nicht nur von den Berechnungsergebnissen solcher Systeme ab, sondern auch vom Zeitpunkt, zu dem sie verfügbar sind.
3 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit zeitkritischer Systeme Diese hängt nicht nur von den Berechnungsergebnissen solcher Systeme ab, sondern auch vom Zeitpunkt, zu dem sie verfügbar sind. Ziele des Seminars Selbständiges Einarbeiten in ein wissenschaftliches Thema Literaturrecherche Darstellen des Inhalts in einer wissenschaftlichen Ausarbeitung Verständliches Präsentieren der Ergebnisse
4 Einführung Termine Themen Anforderungen Ausarbeitung Ausarbeitung selbständiges Verfassen einer ca. 20-seitigen Ausarbeitung vollständiges Literaturverzeichnis korrektes Zitieren Zielgruppe: die (anderen) Seminarteilnehmer Plagiarismus: Die nicht gekennzeichnete Übernahme fremder Inhalte führt zum sofortigen Ausschluss. Schriftgröße 12pt, übliche Seitenränder Sprache Deutsch oder Englisch Korrekte Sprache wird vorausgesetzt: 10 Fehler pro Seite = Abbruch der Korrektur Ausarbeitungen als PDF auf Webseite (Passwort-geschützt)
5 Einführung Termine Themen Anforderungen Vortrag Vortrag 45-minütiger Vortrag Zielgruppengerechte Präsentation der Inhalte Übersichtliche Folien: 15 Textzeilen sinnvoller Einsatz von Farben Vortrag in Deutsch oder Englisch
6 Termine Einführung Termine Themen Vorträge Vorschlag: zwei Vorträge jeweils dienstags 16 Uhr, Beginn
7 Termine Einführung Termine Themen Vorträge Vorschlag: zwei Vorträge jeweils dienstags 16 Uhr, Beginn Deadlines Folgende Termine sind einzuhalten: sofort: Besorgen der Literatur in WWW oder Bibliothek bis sechs Wochen vor Vortrag: Gliederung vorlegen bis vier Wochen vor Vortrag: vorläufige Fassung der Ausarbeitung bis drei Wochen vor Vortrag: endgültige Fassung der Ausarbeitung bis zwei Wochen vor Vortrag: vorläufige Fassung der Folien bis eine Woche vor Vortrag: endgültige Fassung der Folien
8 Einführung Termine Themen Themenvergabe Themenliste: jede(r) nur ein Blatt Bitte Themenpräferenzen ankreuzen (1./2./3.) Wir versuchen eine gute Zuweisung zu finden Keine Garantie für absolutes Optimum Themenzuordnung und Lieteratur auf Webseite nächste Woche
9 Einführung Termine Themen Grobe Klassifikation der Themen TA-Grundlagen Semantik, Entscheidungsprobleme, diskrete Abstraktionen
10 Einführung Termine Themen Grobe Klassifikation der Themen Logik und Model Checking Wie beschreibe ich Eigenschaften von Realzeit-Systemen? Wie überprüfe ich, ob mein TA diese Eigenschaften hat? Komplexität Implementierungsaspekte
11 Einführung Termine Themen Grobe Klassifikation der Themen Was kann ich sonst noch mit TA tun?...und welche Problem tauchen dabei auf? Scheduling Controller-Synthese
12 Einführung Termine Themen Grobe Klassifikation der Themen Erweiterungen des TA-Konzeptes Wahrscheinlichkeiten Stochastisch Zeiten Dynamische Eigenschaften Kosten
13 Themenliste Einführung Termine Themen History Lesson. David Dills first approach towards timed automata (1989). Timed automata. The classical Alur/Dill paper. Decision problems. What s decidable/undecidable? Timed CTL. A logic for timed systems. Time-abstracting bisimulations. Discrete abstractions and model checking. Complexity. Is model checking of timed automata effectively possible? Parametric model checking. For which values does a property hold? Timed regular expressions. An alternative way to specifiy timed words.
14 Themenliste Einführung Termine Themen Efficient zone automaton computation. How to improve your discrete abstraction? Hybrid automata. Generalising clocks. Hybrid automata verification: PHAVER. A tool to verify hybrid systems Timed testing. Conformance testing with timed automata. MoDeST. A language to specify timed systems.
15 Themenliste Einführung Termine Themen Solving scheduling problems. Using counter-examples as schedules. (2 topics) How much does it cost? Priced timed automata. (2 topics) Adding probability Probabilistic timed automata. Robustness. From the ideal world to the real world. (2 topics) Clock Difference Diagrams. Efficient state space storage for zone automata.
Seminar Programmierung und Reaktive Systeme
Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity Kick-Off Meeting 03.04.2013 1 Eingebettete Systeme Computersysteme (Software
MehrGlaube an die Existenz von Regeln für Vergleiche und Kenntnis der Regeln
Glaube an die Existenz von Regeln für Vergleiche und Kenntnis der Regeln Regeln ja Regeln nein Kenntnis Regeln ja Kenntnis Regeln nein 0 % 10 % 20 % 30 % 40 % 50 % 60 % 70 % 80 % 90 % Glauben Sie, dass
MehrWürfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.
040304 Übung 9a Analysis, Abschnitt 4, Folie 8 Die Wahrscheinlichkeit, dass bei n - maliger Durchführung eines Zufallexperiments ein Ereignis A ( mit Wahrscheinlichkeit p p ( A ) ) für eine beliebige Anzahl
MehrWebseiten sind keine Gemälde. Webstandards für ein besseres Web. Webstandards für ein besseres Web
Webseiten sind keine Gemälde Webkrauts Die Initiative für die Webkrauts ging von einem Blogeintrag im August 2005 aus. Nach dem Aufruf fanden sich innerhalb von etwa drei Tagen über 60 Interessierte zusammen.
MehrDeutsches Rotes Kreuz. Kopfschmerztagebuch von:
Deutsches Rotes Kreuz Kopfschmerztagebuch Kopfschmerztagebuch von: Hallo, heute hast Du von uns dieses Kopfschmerztagebuch bekommen. Mit dem Ausfüllen des Tagebuches kannst Du mehr über Deine Kopfschmerzen
MehrBSV Ludwigsburg Erstellung einer neuen Internetseite
BSV Ludwigsburg Erstellung einer neuen Internetseite Änderungshistorie Version Datum Bearbeiter Änderung 0.1 02.06.2012 A. Lorenz Neuanlage Seite 1/9 1 Inhaltsverzeichnis: 1 Inhaltsverzeichnis:... 2 2
MehrDie richtigen Partner finden, Ressourcen finden und zusammenführen
Kongress Kinder.Stiften.Zukunft Workshop Willst Du mit mir gehen? Die richtigen Partner finden, Ressourcen finden und zusammenführen Dr. Christof Eichert Unsere Ziele: Ein gemeinsames Verständnis für die
MehrWiderrufsbelehrung der Free-Linked GmbH. Stand: Juni 2014
Widerrufsbelehrung der Stand: Juni 2014 www.free-linked.de www.buddy-watcher.de Inhaltsverzeichnis Widerrufsbelehrung Verträge für die Lieferung von Waren... 3 Muster-Widerrufsformular... 5 2 Widerrufsbelehrung
MehrChangeManagement. Vom IT-Spezialisten zum Führungsexperten
ChangeManagement Bestimmen Sie Ihren individuellen Status quo und erweitern Sie zielgerichtet Ihr Führungs-Know-How Alle in diesem Dokument aufgeführten Waren- und Produktbezeichnungen sind Warenzeichen
MehrIT-SICHERHEIT IM UNTERNEHMEN Mehr Sicherheit für Ihre Entscheidung
IT-SICHERHEIT IM UNTERNEHMEN Mehr Sicherheit für Ihre Entscheidung IT-SICHERHEIT IM UNTERNEHMEN Mehr Sicherheit für ihre Entscheidung Entdecken Sie was IT Sicherheit im Unternehmen bedeutet IT Sicherheit
MehrBERECHNUNG DER FRIST ZUR STELLUNGNAHME DES BETRIEBSRATES BEI KÜNDIGUNG
Frist berechnen BERECHNUNG DER FRIST ZUR STELLUNGNAHME DES BETRIEBSRATES BEI KÜNDIGUNG Sie erwägen die Kündigung eines Mitarbeiters und Ihr Unternehmen hat einen Betriebsrat? Dann müssen Sie die Kündigung
MehrStatuten in leichter Sprache
Statuten in leichter Sprache Zweck vom Verein Artikel 1: Zivil-Gesetz-Buch Es gibt einen Verein der selbstbestimmung.ch heisst. Der Verein ist so aufgebaut, wie es im Zivil-Gesetz-Buch steht. Im Zivil-Gesetz-Buch
MehrAnhang. 3. Was denken Sie: An wen richtet sich das Lernprogramm für Psycholinguistik? zu nicht nicht zu
Anhang Bitte füllen Sie den Fragebogen vollständig, ehrlich und genau aus! Es gibt keine falschen Antworten! Ihre Angaben sind anonym und werden absolut vertraulich behandelt. Sie werden nur zu Forschungs-
MehrAuswertung zu "Projektmanagement B, SS08"
Auswertung zu "Projektmanagement B, SS08" Liebe Dozentin, lieber Dozent, anbei erhalten Sie die Ergebnisse der Evaluation Ihres Seminars. Zu dieser Veranstaltung wurden 30 Bewertungen (bei 30 TeilnehmerInnen)
MehrTrends im Online-Shopping
Trends im Online-Shopping Achim Berg, BITKOM-Vizepräsident Berlin, 8. Mai 2014 Fast jeder Internetnutzer kauft im Internet ein Haben Sie in den vergangenen 12 Monaten im Internet etwas gekauft? 2012 2014
MehrHTML5. Wie funktioniert HTML5? Tags: Attribute:
HTML5 HTML bedeutet Hypertext Markup Language und liegt aktuell in der fünften Fassung, also HTML5 vor. HTML5 ist eine Auszeichnungssprache mit der Webseiten geschrieben werden. In HTML5 wird festgelegt,
MehrWas meinen die Leute eigentlich mit: Grexit?
Was meinen die Leute eigentlich mit: Grexit? Grexit sind eigentlich 2 Wörter. 1. Griechenland 2. Exit Exit ist ein englisches Wort. Es bedeutet: Ausgang. Aber was haben diese 2 Sachen mit-einander zu tun?
MehrCheckliste Hausarbeit
Checkliste Hausarbeit Die erste Hausarbeit sorgt häufig für Panikattacken. Wie soll man so viele Seiten füllen? Wie muss die Hausarbeit aussehen und wie zitiert man überhaupt richtig? Wir zeigen euch Schritt
MehrKostenlose Probearbeit
n FRAGEN AN DIE BEWERBUNGSEXPERTIN Kostenlose Probearbeit Mir wurde in einem Antwortschreiben auf meine Bewerbung die Möglichkeit der kostenlosen Probearbeit angeboten. Sollte man sich darauf einlassen?
MehrR ist freie Software und kann von der Website. www.r-project.org
R R ist freie Software und kann von der Website heruntergeladen werden. www.r-project.org Nach dem Herunterladen und der Installation von R kann man R durch Doppelklicken auf das R-Symbol starten. R wird
Mehr40x wissensch. Lehrerin / wissensch. Lehrer. 2. Mit dem Thema digitales Whiteboard als Unterrichtsmittel habe ich mich bereits beschäftigt.
Evaluationsergebnisse Nutzung der digitalen Whiteboards 1. Ich unterrichte als 40x wissensch. Lehrerin / wissensch. Lehrer. Mit dem Thema digitales Whiteboard als Unterrichtsmittel habe ich mich bereits
MehrTESTEN SIE IHR KÖNNEN UND GEWINNEN SIE!
9 TESTEN SIE IHR KÖNNEN UND GEWINNEN SIE! An den SeniorNETclub 50+ Währinger Str. 57/7 1090 Wien Und zwar gleich in doppelter Hinsicht:!"Beantworten Sie die folgenden Fragen und vertiefen Sie damit Ihr
MehrRequirements Engineering WS 11/12
Requirements Engineering WS 11/12 10. Übung am 03.02.2012 Agenda Besprechung Übungsblatt 10 (bis ca. 13:00) Fragen zur Altklausur Aufgabe 1 Auch van Lamsweerde hat, wie in Abbildung 1 skizziert, eine Taxonomie
MehrWhite Paper - Umsatzsteuervoranmeldung Österreich ab 01/2012
White Paper - Umsatzsteuervoranmeldung Österreich ab 01/2012 Copyright 2012 Seite 2 Inhaltsverzeichnis 1. Umsatzsteuervoranmeldung (UVA) Österreich ab 01/2012...3 1.1. Einleitung...3 1.2. Voraussetzung...4
MehrLineargleichungssysteme: Additions-/ Subtraktionsverfahren
Lineargleichungssysteme: Additions-/ Subtraktionsverfahren W. Kippels 22. Februar 2014 Inhaltsverzeichnis 1 Einleitung 2 2 Lineargleichungssysteme zweiten Grades 2 3 Lineargleichungssysteme höheren als
MehrONLINE-AKADEMIE. "Diplomierter NLP Anwender für Schule und Unterricht" Ziele
ONLINE-AKADEMIE Ziele Wenn man von Menschen hört, die etwas Großartiges in ihrem Leben geleistet haben, erfahren wir oft, dass diese ihr Ziel über Jahre verfolgt haben oder diesen Wunsch schon bereits
MehrBasis (=100%) zusätzlichen Schulabschluss an. Befragungszeitraum: 29.11.-10.12.2011
Tabelle 1: Interesse an höherem Schulabschluss Streben Sie nach Beendigung der Schule, die Sie momentan besuchen, noch einen weiteren oder höheren Schulabschluss an? Seite 1 Selektion: Schüler die nicht
MehrProduktionsplanung und steuerung (SS 2011)
Produktionsplanung und steuerung (SS 2011) Teil 1 Sie arbeiten seit 6 Monaten als Wirtschaftsingenieur in einem mittelständischen Unternehmen in Mittelhessen. Das Unternehmen Möbel-Meier liefert die Büroaustattung
MehrWas bedeutet Inklusion für Geschwisterkinder? Ein Meinungsbild. Irene von Drigalski Geschäftsführerin Novartis Stiftung FamilienBande.
Was bedeutet Inklusion für Geschwisterkinder? unterstützt von Ein Meinungsbild - Irene von Drigalski Geschäftsführerin Novartis Stiftung FamilienBande Haben Sie Kontakt zu Geschwistern schwer chronisch
Mehrerstmalig erwähnt 1048 Bedarfsabfrage 09/2015 GEMEINDE BIBURG Bedarfserhebung
GEMEINDE BIBURG Bedarfserhebung für eine kindgerechte Bildung, Erziehung und Betreuung nach Art. 7 BayKiBiG in der Gemeinde Biburg Seite 1 von 11 Elternbefragung zur Bedarfserhebung KITA (Kinderkrippe
MehrWärmebildkamera. Arbeitszeit: 15 Minuten
Wärmebildkamera Arbeitszeit: 15 Minuten Ob Menschen, Tiere oder Gegenstände: Sie alle senden unsichtbare Wärmestrahlen aus. Mit sogenannten Wärmebildkameras können diese sichtbar gemacht werden. Dadurch
MehrSüdberliner Gemeinde-Bibelschule (SBGBS) September 2008
Südberliner Gemeinde-Bibelschule (SBGBS) September 2008 SBGBS Südberliner Thema: Zeitmanagement I (Einführung) Autor: Ansgar N. Przesang Fassung: September 2008 2 SBGBS Südberliner Thema: Zeitmanagement
MehrEntwicklung des Dentalmarktes in 2010 und Papier versus Plastik.
Sehr geehrter Teilnehmer, hier lesen Sie die Ergebnisse aus unserer Umfrage: Entwicklung des Dentalmarktes in 2010 und Papier versus Plastik. Für die zahlreiche Teilnahme an dieser Umfrage bedanken wir
MehrElternzeit Was ist das?
Elternzeit Was ist das? Wenn Eltern sich nach der Geburt ihres Kindes ausschließlich um ihr Kind kümmern möchten, können sie bei ihrem Arbeitgeber Elternzeit beantragen. Während der Elternzeit ruht das
MehrXesar. Die vielfältige Sicherheitslösung
Xesar Die vielfältige Sicherheitslösung Xesar Die professionelle Lösung für Ihr Unternehmen Xesar Sicher und flexibel Xesar ist das vielseitige elektronische Schließsystem aus dem Hause EVVA. Komplexe
Mehr2.1 Präsentieren wozu eigentlich?
2.1 Präsentieren wozu eigentlich? Gute Ideen verkaufen sich in den seltensten Fällen von allein. Es ist heute mehr denn je notwendig, sich und seine Leistungen, Produkte etc. gut zu präsentieren, d. h.
MehrHinzufügen elektronischer Zugangsdaten zu einer Gesellschaft (VU)
Hinzufügen elektronischer Zugangsdaten zu einer Gesellschaft (VU) 1. Klick auf Mein MVP 2. Auswahl eines MVP-USER im Folgefenster und Button Bearbeiten 3. Auswahl des Reiter Gesellschaften a. Falls VU
MehrAussage: Das Seminar ist hilfreich für meine berufliche Entwicklung
Nachhaltigkeitsüberprüfung der Breuel & Partner Gruppendynamikseminare In der Zeit von Januar bis Februar 2009 führten wir im Rahmen einer wissenschaftlichen Arbeit eine Evaluation unserer Gruppendynamikseminare
MehrProduktvorstellung: CMS System / dynamische Webseiten. 1. Vorwort
ALEX IT-Service Ihr IT Servicepartner»ALEX-IT Service«16341 Panketal an unsere Kundschaft Ihr Zeichen, Ihre Nachricht Unser Zeichen Telefon, Name Datum CMS 13.01.2010 Produktvorstellung: CMS System / dynamische
MehrDie Online-Meetings bei den Anonymen Alkoholikern. zum Thema. Online - Meetings. Eine neue Form der Selbsthilfe?
Die Online-Meetings bei den Anonymen Alkoholikern zum Thema Online - Meetings Eine neue Form der Selbsthilfe? Informationsverhalten von jungen Menschen (Quelle: FAZ.NET vom 2.7.2010). Erfahrungen können
MehrTestinstruktion BVB-09
Testinstruktion Bitte stellen Sie sich den Zeitpunkt direkt vor Beginn der Therapie vor. Überlegen Sie, was Sie zu diesem Zeitpunkt machten und wie Sie sich fühlten. Überblicken Sie bitte nunmehr immer
MehrKreativ visualisieren
Kreativ visualisieren Haben Sie schon einmal etwas von sogenannten»sich selbst erfüllenden Prophezeiungen«gehört? Damit ist gemeint, dass ein Ereignis mit hoher Wahrscheinlichkeit eintritt, wenn wir uns
MehrHinweise für das Schreiben einer Bachelor-Arbeit im Fachbereich Wirtschaftspsychologie
Universität Duisburg-Essen Fakultät für Ingenieurwissenschaften Informatik und angewandte Kognitionswissenschaft Wirtschaftspsychologie Hinweise für das Schreiben einer Bachelor-Arbeit im Fachbereich Wirtschaftspsychologie
MehrSelbstHandelnder Vortrag zu ausgewählten Methoden der systemischen Beratung
Mechthild Beeke 18.09.2015 http://sozial-pr.net/ SelbstHandelnder Vortrag zu ausgewählten Methoden der systemischen Beratung Folie 1 Sie und ich 1. Wir kennen uns 2. Sie haben im Internet gestöbert 3.
MehrVertrauen in Medien und politische Kommunikation die Meinung der Bürger
Vortrag Vertrauen in Medien und politische Kommunikation die Meinung der Bürger Christian Spahr, Leiter Medienprogramm Südosteuropa Sehr geehrte Damen und Herren, liebe Kolleginnen und Kollegen, herzlich
MehrSHG INVEST DAS SOLLTEN SIE UNBEDINGT. lesen, bevor Sie selbst verkaufen...
DAS SOLLTEN SIE UNBEDINGT lesen, bevor Sie selbst verkaufen... Bevor Sie mit uns über Ihre Immobilie reden, sprechen wir mit Ihnen über unser diskretes Verkaufsmarketing. Wir sind der Meinung, dass Sie
MehrEthik im Netz. Hate Speech. Auftraggeber: Landesanstalt für Medien Nordrhein-Westfalen (LfM)
Hate Speech Auftraggeber: Landesanstalt für Medien Nordrhein-Westfalen (LfM) Berlin, 2. Juni 6 Untersuchungsdesign Zielgruppe: Stichprobengröße: Deutschsprachige private Internetnutzer ab 4 Jahren in Deutschland
MehrPapierverbrauch im Jahr 2000
Hier findest du Forschertipps. Du kannst sie allein oder in der kleinen Gruppe mit anderen Kindern bearbeiten! Gestaltet ein leeres Blatt, schreibt Berichte oder entwerft ein Plakat. Sprecht euch in der
MehrFAQs. Kassenbuch 2012. Stand: 24.03.2014. E i n l e i t u n. 1. Einrichtung eines Autostart-Objekts unter Mac OS X. 2. Support. 3.
FAQs Kassenbuch 2012 Stand: 24.03.2014 E i n l e i t u n g 1. Einrichtung eines Autostart-Objekts unter Mac OS X 2. Support 3. Anmerkung 2 Inhalt Inhalt 1. Wie erkenne ich, ob das bisherige Kassenbuch
MehrAufgabenstellung für den Prüfling
für den Prüfling Präsentation im Fach: Prüfer/in: Prüfling: mögliche Quellen / Literatur Abgabe Ablaufplan Spätestens 1 Woche vor dem Prüfungstermin, also am... Der Ablaufplan ist entsprechend der Absprache
MehrWie schreibe ich eine
Wie schreibe ich eine Abschlussarbeit? b Dr. Simon Kaluza Bundesanstalt für Arbeitsschutz t und darbeitsmedizin i Dortmund 1 Dr. Simon Kaluza 1996 Abitur 1996 2002 Studium der Sicherheitstechnik 1998 1999
MehrInhalt 1 Vorbereitungen... 3
Inhalt 1 Vorbereitungen... 3 1.1 Neues Dokument... 3 1.2 Formatvorlagen... 3 2 Facharbeit schreiben... 4 3 Inhaltsverzeichnis... 4 4 Seitennummern... 5 4.1 Seitenzahl einfügen... 5 4.2 Erste Seite Anders...
MehrMusterlösungen zur Linearen Algebra II Blatt 5
Musterlösungen zur Linearen Algebra II Blatt 5 Aufgabe. Man betrachte die Matrix A := über dem Körper R und über dem Körper F und bestimme jeweils die Jordan- Normalform. Beweis. Das charakteristische
Mehr1 Einleitung. Lernziele. automatische Antworten bei Abwesenheit senden. Einstellungen für automatische Antworten Lerndauer. 4 Minuten.
1 Einleitung Lernziele automatische Antworten bei Abwesenheit senden Einstellungen für automatische Antworten Lerndauer 4 Minuten Seite 1 von 18 2 Antworten bei Abwesenheit senden» Outlook kann während
MehrMehr Transparenz für optimalen Durchblick. Mit dem TÜV Rheinland Prüfzeichen.
Mehr Transparenz für optimalen Durchblick. Mit dem TÜV Rheinland Prüfzeichen. Immer schon ein gutes Zeichen. Das TÜV Rheinland Prüfzeichen. Es steht für Sicherheit und Qualität. Bei Herstellern, Handel
MehrAnwendungsbeispiele Sign Live! Secure Mail Gateway
Anwendungsbeispiele Sign Live! Secure Mail Gateway Kritik, Kommentare & Korrekturen Wir sind ständig bemüht, unsere Dokumentation zu optimieren und Ihren Bedürfnissen anzupassen. Ihre Anregungen sind uns
MehrMerkblatt. Häufige Fragen hinsichtlich der Anforderungen für Hersteller bzw. Inverkehrbringer von Lebensmittelbedarfsgegenständen aus Keramik
Merkblatt Häufige Fragen hinsichtlich der Anforderungen für Hersteller bzw. Inverkehrbringer von Lebensmittelbedarfsgegenständen aus Keramik Was sind Lebensmittelbedarfsgegenstände? Lebensmittelbedarfsgegenstände
Mehr1. Semester GESCHAFFT
1. Semester GESCHAFFT 22.04.15 mentoring.wi@g- duesseldorf.de 1 Inhaltsverzeichnis Noteneinsicht im OSSC Excel- Noten- Liste 3. Semester Regel Studienverlaufsplan Anstehende Prüfungen 22.04.15 mentoring.wi@g-
Mehr1. Was ihr in dieser Anleitung
Leseprobe 1. Was ihr in dieser Anleitung erfahren könnt 2 Liebe Musiker, in diesem PDF erhaltet ihr eine Anleitung, wie ihr eure Musik online kostenlos per Werbevideo bewerben könnt, ohne dabei Geld für
MehrLeichte-Sprache-Bilder
Leichte-Sprache-Bilder Reinhild Kassing Information - So geht es 1. Bilder gucken 2. anmelden für Probe-Bilder 3. Bilder bestellen 4. Rechnung bezahlen 5. Bilder runterladen 6. neue Bilder vorschlagen
MehrGründe für fehlende Vorsorgemaßnahmen gegen Krankheit
Gründe für fehlende Vorsorgemaßnahmen gegen Krankheit politische Lage verlassen sich auf Familie persönliche, finanzielle Lage meinen, sich Vorsorge leisten zu können meinen, sie seien zu alt nicht mit
MehrTexten für Gründer. Die Kraft der Sprache optimal für den Gründungs-Prozess nutzen
Texten für Gründer Die Kraft der Sprache optimal für den Gründungs-Prozess nutzen Wofür Gründer Texte brauchen: Vorbereitung Business-Pläne Präsentationen Anträge... Aufbau Websites Broschüren Pitches
MehrSanitär. Heizung. Flaschnerei.
Sanitär. Heizung. Flaschnerei. Nicht mehr aber auch kein bisschen weniger. www.scheffel-haustechnik.de Zuverlässigkeit und Qualität. Für Ihre Projekte. Qualitäts- Materialien zu fairen Preisen. Rund um
MehrGrundkenntnisse am PC Das Internet
Grundkenntnisse am PC Das Internet EDV-Services Johannes Steinkuhle IT-Coaching, Projekte, Qualitätsmanagement Bielefelder Straße 47 33104 Paderborn Telefon: 05254/13140 Fax:05254/8254 111 www.steinkuhle-edv.de
MehrL10N-Manager 3. Netzwerktreffen der Hochschulübersetzer/i nnen Mannheim 10. Mai 2016
L10N-Manager 3. Netzwerktreffen der Hochschulübersetzer/i nnen Mannheim 10. Mai 2016 Referentin: Dr. Kelly Neudorfer Universität Hohenheim Was wir jetzt besprechen werden ist eine Frage, mit denen viele
MehrLizenzierung von SharePoint Server 2013
Lizenzierung von SharePoint Server 2013 Das Lizenzmodell von SharePoint Server 2013 besteht aus zwei Komponenten: Serverlizenzen zur Lizenzierung der Serversoftware und CALs zur Lizenzierung der Zugriffe
MehrInfoblatt Streichorchester Life on Stage 2016
Infoblatt Streichorchester Life on Stage 2016 Infos zum Streichorchester Als Teil vom Streichorchester (ca. 8-10 Streicher) begleitest du etwa die Hälfte der Musicalsongs auf deinem Instrument (Geigen,
MehrWir machen neue Politik für Baden-Württemberg
Wir machen neue Politik für Baden-Württemberg Am 27. März 2011 haben die Menschen in Baden-Württemberg gewählt. Sie wollten eine andere Politik als vorher. Die Menschen haben die GRÜNEN und die SPD in
MehrAnmelden und Vorträge einreichen auf der JBFOne-Website Inhalt
Inhalt 1. Schritt: Anmelden 2 Anmelden mit Daten von 2014... 3 Neu anmelden... 3 Maske 1: Persönliche Angaben... 3 Maske 2: Angaben über Ihr Unternehmen... 3 Maske 3: Teilnahme und Rechnungsangaben...
MehrRessourceneinsatzplanung in der Fertigung
Fakultät Informatik, Institut für Angewandte Informatik, Professur Modellierung und Simulation Ressourceneinsatzplanung in der Fertigung Dr. Christoph Laroque Sommersemester 2012 Dresden, Was war Die im
MehrWarum Sie jetzt kein Onlinemarketing brauchen! Ab wann ist Onlinemarketing. So finden Sie heraus, wann Ihre Website bereit ist optimiert zu werden
CoachingBrief 02/2016 Warum Sie jetzt kein Onlinemarketing brauchen! Eine Frage gleich zu Anfang: Wie viele Mails haben Sie in dieser Woche erhalten, in denen behauptet wurde: Inhalt Ihre Webseite sei
MehrTipps für die praktische Durchführung von Referaten Prof. Dr. Ellen Aschermann
UNIVERSITÄT ZU KÖLN Erziehungswissenschaftliche Fakultät Institut für Psychologie Tipps für die praktische Durchführung von Referaten Prof. Dr. Ellen Aschermann Ablauf eines Referates Einleitung Gliederung
MehrDurch die virtuelle Optimierung von Werkzeugen am Computer lässt sich die reale Produktivität von Servopressen erhöhen
PRESSEINFORMATION Simulation erhöht Ausbringung Durch die virtuelle Optimierung von Werkzeugen am Computer lässt sich die reale Produktivität von Servopressen erhöhen Göppingen, 04.09.2012 Pressen von
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 15: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/25 Was kann man mit endlichen
MehrProjektmanagement. Thema. Name der bzw. des Vortragenden. Vorname Nachname E-Mail@stud.fh-heilbronn.de Sommersemester 2004
Thema Name der bzw. des Vortragenden 1 Dauer Dauer 25 30 Minuten Auf keinen Fall überziehen!!! 2 3 Minuten pro Folie Also maximal 10 15 Folien Vorher üben und die Zeit stoppen! Nicht zu lange mit der Einleitung
MehrWichtige Info szum Lehrabschluss!
Wichtige Info szum Lehrabschluss! Sie stehen kurz vor Ihrer Lehrabschlussprüfung zum/zur Zahntechniker/in. Hierzu haben Sie bereits ausführliche Informationen zum Ablauf der Prüfung erhalten. Darüber hinaus
Mehrmehrmals mehrmals mehrmals alle seltener nie mindestens **) in der im Monat im Jahr 1 bis 2 alle 1 bis 2 Woche Jahre Jahre % % % % % % %
Nicht überraschend, aber auch nicht gravierend, sind die altersspezifischen Unterschiede hinsichtlich der Häufigkeit des Apothekenbesuchs: 24 Prozent suchen mindestens mehrmals im Monat eine Apotheke auf,
MehrRepräsentative Umfrage zur Beratungsqualität im deutschen Einzelhandel (Auszug)
Porsche Consulting Exzellent handeln Repräsentative Umfrage zur Beratungsqualität im deutschen Einzelhandel (Auszug) Oktober 2013 Inhalt Randdaten der Studie Untersuchungsziel der Studie Ergebnisse der
MehrGrundsätze für die Überprüfung der besonderen Sachkunde von Sachverständigen
Hrsg. Institut für Sachverständigenwesen e.v. Seite 1/5 Grundsätze für die Überprüfung der besonderen Sachkunde von Sachverständigen Grundsätze.doc Erstmals: 01/2000 Stand: 01/2000 Rev.: 0 Hrsg. Institut
MehrBedienungsanleitung: Onlineverifizierung von qualifiziert signierten PDF-Dateien
Sie haben von der VR DISKONTBANK GmbH ein signiertes PDF-Dokument (i.d.r. eine Zentralregulierungsliste mit dem Status einer offiziellen Rechnung) erhalten und möchten nun die Signatur verifizieren, um
MehrProfiler s Academy. Geistiges Menthol, das Sinn und Sinne weckt! 1 standfestigkeit. Unerschütterlichkeit in schwierigen Situationen
Profiler s Academy! Unerschütterlichkeit in schwierigen Situationen Erkenne Deine Lebensgrundhaltung Jeder von uns hat noch ehe wir erwachsen sind eine Lebensgrundhaltung beschlossen. Wie ein Mosaik hat
MehrAnleitung für die Hausverwaltung
www.gruppenhaus.ch Version vom 15. September 2006 Autor Kontakt Gruppenhaus.ch GmbH support@gruppenhaus.ch Inhalt 1 Allgemeines... 2 1.1 Login... 2 1.2 Wenn Sie nicht mehr weiter wissen... 2 2 Belegungsplan...
MehrGruppenrichtlinien und Softwareverteilung
Gruppenrichtlinien und Softwareverteilung Ergänzungen zur Musterlösung Bitte lesen Sie zuerst die gesamte Anleitung durch! Vorbemerkung: Die Begriffe OU (Organizational Unit) und Raum werden in der folgenden
MehrBestes familienfreundliches Employer Branding
Bestes familienfreundliches Employer Branding Sonderpreis 2016 zum Staatspreis Unternehmen für Familien 1. TEILNEHMENDER BETRIEB Firmenname Bitte geben Sie den Namen sowie Ihre Firmendaten vollständig
MehrTutorium zur Mikroökonomie II WS 02/03 Universität Mannheim Tri Vi Dang. Aufgabenblatt 3 (KW 44) (30.10.02)
Tutorium zur Mikroökonomie II WS 02/03 Universität Mannheim Tri Vi Dang Aufgabenblatt 3 (KW 44) (30.10.02) Aufgabe 1: Preisdiskriminierung dritten Grades (20 Punkte) Ein innovativer Uni-Absolvent plant,
MehrErfahrungsaustausch und Rückblick Cross Mentoring 2004. Dr. Karl Straßer Mag. Kathrin Kühtreiber
Erfahrungsaustausch und Rückblick Cross Mentoring 2004 Dr. Karl Straßer Mag. Kathrin Kühtreiber Zitat Wenn du etwas haben willst, was du noch nie gehabt hast, muss du etwas tun, was du noch nie getan hast.
MehrStudienplatzbeschaffung
Studienplatzbeschaffung - Einklagen www.asta.haw-hamburg.de Hintergrund Alle Unis und Hochschulen unterliegen dem Kapazitätsausschöpfungsgebot Sie müssen alle ihnen zur Verfügung stehenden Plätze vergeben!
MehrFolie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA
Folie 1: Fehlerbaumanalyse (FTA) Kurzbeschreibung und Ziel Die Fehlerbaumanalyse im Englischen als Fault Tree Analysis bezeichnet und mit FTA abgekürzt dient der systematischen Untersuchung von Komponenten
MehrFRAGEBOGEN Webseite. Ihre Daten helfen uns und Ihnen bei der Erfüllung unseres Auftrages. Bitte nehmen Sie sich etwas
1 Ihre Daten helfen uns und Ihnen bei der Erfüllung unseres Auftrages. Bitte nehmen Sie sich etwas Zeit und beantworten Sie so viele Fragen, wie möglich. Dabei gibt es kein richtig oder falsch. Je detaillierter
MehrZitieren leicht gemacht // Die amerikanische sowie die deutsche Art der Zitation
Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Zitieren leicht gemacht // Die amerikanische sowie die deutsche Art der Zitation Mike Siedersleben, 20. April 2010 Agenda Tutorium Was
Mehrpetra polk Halbjahres-Online Coaching-Programm Februar bis Juli 2016 Foto pupes1 - Fotolia
Halbjahres-Online Coaching-Programm Februar bis Juli 2016 Foto pupes1 - Fotolia 2016 bietet Netzwerkexpertin Petra Polk 6 Frauen die Möglichkeit, sie auf ihrem Erfolgs- und Karriereweg zu begleiten. Wenn
MehrZeit lässt sich nicht wie Geld für schlechte Zeiten zur Seite legen. Die Zeit vergeht egal, ob genutzt oder ungenutzt.
Zeitmanagement Allgemeine Einleitung Wie oft haben Sie schon gehört Ich habe leider keine Zeit? Und wie oft haben Sie diesen Satz schon selbst gesagt? Wahrscheinlich nahezu jeden Tag. Dabei stimmt der
MehrMechatroniker Betrieblicher Auftrag. Antrag für die betriebliche Auftragsarbeit
Antrag für die betriebliche Auftragsarbeit Der Antrag muss vollständig ausgefüllt werden! Gliederung. Antragsdaten / Erklärung Prüfungsteilnehmer(in) 2. Auftragsbeschreibung 2. Titel des betrieblichen
MehrLeitbilder. Versuch eines Kurzprotokolls vom 29. 10. 2009 (KR)
Leitbilder Versuch eines Kurzprotokolls vom 29. 10. 2009 (KR) Gedankliche Präzisierung Leitbilder Unterleitbilder? Zusammengefasste Leitbilder? Ausgehend von der grundgesetzlichen Informationsfreiheit?
MehrDAVID: und David vom Deutschlandlabor. Wir beantworten Fragen zu Deutschland und den Deutschen.
Manuskript Wie wohnen die Deutschen eigentlich? Nina und David wollen herausfinden, ob es die typisch deutsche Wohnung gibt. Und sie versuchen außerdem, eine Wohnung zu finden. Nicht ganz einfach in der
MehrFragebogen für Hauptamtliche im Konfi 3. Falls derzeit kein Konfi 3 läuft, bitte Zahlen des vorherigen Jahrgangs eintragen.
Konfi 3 Fragebogen für Hauptamtliche im Konfi 3 Falls derzeit kein Konfi 3 läuft, bitte Zahlen des vorherigen Jahrgangs eintragen. RAHMENBEDINGUNGEN ZU KONFI 3 IN IHRER GEMEINDE Seit welchem Jahr läuft
MehrPortfolio zur Analyse der Personalqualität
> Der Zweck und Ihr Nutzen Das Personal-Portfolio ist ein Instrument, das bei der langfristig-strategischen Beurteilung Ihres Mitarbeiterpotentials unterstützt. In einer zweidimensionalen Matrix werden
MehrAntrag auf Bewilligung einer Schülerbeförderung (gemäß 36 der Verordnung über die sonderpädagogische Förderung Sonderpädagogikverordnung SopädVO)
Bezirksamt Mitte von Berlin Abteilung Jugend, Schule, Sport und Facility Management Schul- und Sportamt Bearbeiterin SchuSpo 1 101/ 1 112 Frau Huber/ Frau Kühn Telefon: (030) 9018 26031/ 26018 Fax: (030)
MehrBetriebswirtschaftliches Beratungstool für Steuerberater Ziele, Inhalte und Struktur
Betriebswirtschaftliches Beratungstool für Steuerberater Ziele, Inhalte und Struktur Prof. Dr. Oliver Kruse Im Rahmen der Initiative: Projektträger: Überblick 1. Welche Ziele verfolgt das betriebswirtschaftliche
MehrAW: AW: AW: AW: Kooperationsanfrage anwalt.de
Seite 1 von 5 AW: AW: AW: AW: Kooperationsanfrage anwalt.de Di 13.08.2013 08:31 An:'Rene Meier' ; ich freue mich, dass alles noch so gut funktioniert hat. Die Logointegration
Mehr