Komponenten- und Service-orientierte Softwarekonstruktion
|
|
- Hermann Thomas
- vor 6 Jahren
- Abrufe
Transkript
1 Komponenten- und Service-orientierte Softwarekonstruktion Lecture 1: Organisatorisches und Einführung Jakob Rehof LS XIV Software Engineering TU Dortmund Sommersemester 2015 SS 2015 J. Rehof (TU Dortmund) KSOS SS / 20
2 Organisation Inhaltsübersicht 1 Organisation Vorlesung Übung 2 Einführung J. Rehof (TU Dortmund) KSOS SS / 20
3 Organisation Vorlesung Inhaltsübersicht 1 Organisation Vorlesung Übung 2 Einführung Komponenten J. Rehof (TU Dortmund) KSOS SS / 20
4 Organisation Vorlesung Organisatoren Vorlesung Prof. Dr. Jakob Rehof Übung Dr. Boris Düdder J. Rehof (TU Dortmund) KSOS SS / 20
5 Organisation Vorlesung Modulhandbuch Modul INF-MSc-312: Komponenten- und Service-Orientierte Softwarekonstruktion Zeit: Dienstags, Uhr Ort: OH12, Raum Webseite: teaching/ksos/ksos_15_de.shtml J. Rehof (TU Dortmund) KSOS SS / 20
6 Organisation Vorlesung Prüfungsordnungen Master (MPO2007/MPO2013) Credits: 3 Vorlesung + 3 Übung = 6 CPs Modulprüfung: mündliche Prüfung (mind. 30 Minuten) Studienleistung: 40% der Punkte und regelmäßige, aktive Teilnahme an der Übung Diplom (DPO2001) 2 Vorlesung + 2 Übung = 4 SWS = 6 CPs Schwerpunktgebiete: (1) Software-Konstruktion (3) Verteilte Systeme J. Rehof (TU Dortmund) KSOS SS / 20
7 Organisation Vorlesung Zeitplan Einführung (Komponenten+CLS) Typentheorie (λ, CL) Typentheorie (λ, CL ) Inhabitation (λ, ATM) Inhabitation (BCL, theoretischer Algo.) BCL-Algorithmus (engineered) Beispiele (Tracking mit Algo.) Beispiele (2-Counter, BEAT) λ Kalkül (Davies & Pfenning) Staged Composition Synthesis (SCS) SCS Beispiel (Tracking, BEAT) + Prozesssynthese ArchiType Launchpad Achtung: Übung und Vorlesung am entfallen. J. Rehof (TU Dortmund) KSOS SS / 20
8 Organisation Vorlesung Literatur für Vorlesung und Übung (CL)S-Framework: Combinatory Logic Synthesizer. With J. Bessai, A. Dudenhefner, M. Martens and J. Rehof. ISOLA Staged Composition Synthesis. With M. Martens and J. Rehof. ESOP Intersection Type Matching with Subtyping. With M. Martens and Jakob Rehof. TLCA Towards. J. Rehof. BEAT Bounded Combinatory Logic. With M. Martens, J. Rehof and P. Urzyczyn. CSL Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. With O. Garbe, M. Martens, J. Rehof and P. Urzyczyn. EPTCS Finite Combinatory Logic with Intersection Types. P. Urzyczyn and J. Rehof. TLCA J. Rehof (TU Dortmund) KSOS SS / 20
9 Organisation Übung Inhaltsübersicht 1 Organisation Vorlesung Übung 2 Einführung Komponenten J. Rehof (TU Dortmund) KSOS SS / 20
10 Organisation Übung Übung Zeit: Montag, 12:15-14:00 Uhr Raum: OH12, Raum Ausgabe der Übungszettel: Dienstags nach der Vorlesung Abgabe: Montag 12 Uhr nach der Ausgabe (normalerweise) Online: teaching/ksos/ksos_15_de.shtml Sammelabgabe von bis zu drei Personen möglich und erwünscht J. Rehof (TU Dortmund) KSOS SS / 20
11 Organisation Übung Zeitplan der Übungen Datum Ausgabe Inhalt Typentheorie (λ, CL) Typentheorie (λ, CL ) Inhabitation (λ, ATM) Inhabitation (BCL, theoretischer Algo.) BCL-Algorithmus (engineered) Beispiele (Tracking mit Algo.) Beispiele (2-Counter, BEAT) λ Kalkül (Davies & Pfenning) Staged Composition Synthesis (SCS) SCS Beispiel (Tracking, BEAT) ArchiType Achtung: Übung und Vorlesung am entfallen. J. Rehof (TU Dortmund) KSOS SS / 20
12 Inhaltsübersicht 1 Organisation 2 Einführung Komponenten J. Rehof (TU Dortmund) KSOS SS / 20
13 Komponenten Inhaltsübersicht 1 Organisation Vorlesung Übung 2 Einführung Komponenten J. Rehof (TU Dortmund) KSOS SS / 20
14 Komponenten Component Has no generally accepted formally precise meaning in software We will introduce one In general, a component is some kind of encapsulated unit of functionality We think of a component here as a unit of composition (a building block) J. Rehof (TU Dortmund) KSOS SS / 20
15 Komponenten But that could mean many things... Compilation unit (link files, precompiled header files, whole program unit,...) Whole applications or systems components (like MS Word, think of Unix pipes,...) A service A unit in a UML-model, a UML interface In functional programming, a function In object-oriented programming, an interface (?) A single instruction (in a processor architecture)... Here: something called a combinator. This Vorlesung is here to tell you what that means. J. Rehof (TU Dortmund) KSOS SS / 20
16 Inhaltsübersicht 1 Organisation Vorlesung Übung 2 Einführung Komponenten J. Rehof (TU Dortmund) KSOS SS / 20
17 A component-oriented approach to synthesis Rather than doing synthesis from scratch, we consider synthesis by composition from a given set of prefabricated building blocks (components) J. Rehof (TU Dortmund) KSOS SS / 20
18 A component-oriented approach to synthesis Rather than doing synthesis from scratch, we consider synthesis by composition from a given set of prefabricated building blocks (components) We will develop a logical and algorithmic framework, in which the notions of components and composition are given precise, mathematical foundations J. Rehof (TU Dortmund) KSOS SS / 20
19 A component-oriented approach to synthesis Rather than doing synthesis from scratch, we consider synthesis by composition from a given set of prefabricated building blocks (components) We will develop a logical and algorithmic framework, in which the notions of components and composition are given precise, mathematical foundations Components will be represented by combinators and the formal theory of composition is based on combinatory logic J. Rehof (TU Dortmund) KSOS SS / 20
20 A component-oriented approach to synthesis Rather than doing synthesis from scratch, we consider synthesis by composition from a given set of prefabricated building blocks (components) We will develop a logical and algorithmic framework, in which the notions of components and composition are given precise, mathematical foundations Components will be represented by combinators and the formal theory of composition is based on combinatory logic Components will be exposed to synthesis via enriched type interfaces J. Rehof (TU Dortmund) KSOS SS / 20
21 Staged Composition Synthesis (SCS): Overview Repository Inhabitation Reduction L2 box X : τ σ X(Y(Z), Y(A, B), C) : σ Meta Substitution Implementation letbox+β reduction L1 X : τ box [L1 code] : σ Unboxing L1 code : σ J. Rehof (TU Dortmund) KSOS SS / 20
22 Many applications (ongoing research) Product lines Rapid prototyping Architectural synthesis Process synthesis OO-synthesis... J. Rehof (TU Dortmund) KSOS SS / 20
23 Team SEAL Software Engineering with Algorithms and Logic Jan Bessai (Doktorand) Andrej Dudenhefner (Doktorand) Boris Düdder (Postdoc) Jakob Rehof (Prof.) J. Rehof (TU Dortmund) KSOS SS / 20
24 Collaboration Theory of inhabitation, with P. Urzyczyn, U Warsaw Product lines, with G. Heinemann, WPI Boston OO-synthesis, with U. De Liguoro, U Turin J. Rehof (TU Dortmund) KSOS SS / 20
Customer-specific software for autonomous driving and driver assistance (ADAS)
This press release is approved for publication. Press Release Chemnitz, February 6 th, 2014 Customer-specific software for autonomous driving and driver assistance (ADAS) With the new product line Baselabs
MehrFormale Systeme. Prof. P.H. Schmitt. Winter 2007/2008. Fakultät für Informatik Universität Karlsruhe (TH) Voraussetzungen
Formale Systeme Prof. P.H. Schmitt Fakultät für Informatik Universität Karlsruhe (TH) Winter 2007/2008 Prof. P.H. Schmitt Formale Systeme Winter 2007/2008 1 / 12 Übungen und Tutorien Es gibt wöchentliche
MehrKlassische Themen der Computerwissenschaft
Klassische Themen der Computerwissenschaft 3 VO, 1 UE, 716.113 / 716.114 Bernhard Aichernig Oswin Aichholzer Alexander Felfernig Gerald Steinbauer Franz Wotawa Institut für Softwaretechnologie, TU Graz
MehrWas heißt Denken?: Vorlesung Wintersemester 1951/52. [Was bedeutet das alles?] (Reclams Universal-Bibliothek) (German Edition)
Was heißt Denken?: Vorlesung Wintersemester 1951/52. [Was bedeutet das alles?] (Reclams Universal-Bibliothek) (German Edition) Martin Heidegger Click here if your download doesn"t start automatically Was
MehrUnit 1. Motivation and Basics of Classical Logic. Fuzzy Logic I 6
Unit 1 Motivation and Basics of Classical Logic Fuzzy Logic I 6 Motivation In our everyday life, we use vague, qualitative, imprecise linguistic terms like small, hot, around two o clock Even very complex
MehrTechnische Universität Kaiserslautern Lehrstuhl für Virtuelle Produktentwicklung
functions in SysML 2.0 La Jolla, 22.05.2014 12/10/2015 Technische Universität Kaiserslautern Lehrstuhl für Virtuelle Produktentwicklung Dipl. Wirtsch.-Ing. Christian Muggeo Dipl. Wirtsch.-Ing. Michael
MehrWie man heute die Liebe fürs Leben findet
Wie man heute die Liebe fürs Leben findet Sherrie Schneider Ellen Fein Click here if your download doesn"t start automatically Wie man heute die Liebe fürs Leben findet Sherrie Schneider Ellen Fein Wie
MehrIm Fluss der Zeit: Gedanken beim Älterwerden (HERDER spektrum) (German Edition)
Im Fluss der Zeit: Gedanken beim Älterwerden (HERDER spektrum) (German Edition) Ulrich Schaffer Click here if your download doesn"t start automatically Im Fluss der Zeit: Gedanken beim Älterwerden (HERDER
MehrUnternehmensweite IT Architekturen
Unternehmensweite IT Architekturen Part 1: IT Systems Architecture, Roles and Responsibilities of IT Architects Part 2: Solution Architecture, based on a practical Case Study Part 3: SOA (Service Oriented
MehrMagic Figures. We note that in the example magic square the numbers 1 9 are used. All three rows (columns) have equal sum, called the magic number.
Magic Figures Introduction: This lesson builds on ideas from Magic Squares. Students are introduced to a wider collection of Magic Figures and consider constraints on the Magic Number associated with such
MehrServerless Architecture with Azure-Functions
Serverless Architecture with Azure-Functions Mark Allibone @mallibone Noser Engineering AG 2017, Alle Rechte vorbehalten. Mark Allibone, Head of Mobile @mallibone Noser Engineering AG Ambassador https://mallibone.com
MehrIntroduction FEM, 1D-Example
Introduction FEM, 1D-Example home/lehre/vl-mhs-1-e/folien/vorlesung/3_fem_intro/cover_sheet.tex page 1 of 25. p.1/25 Table of contents 1D Example - Finite Element Method 1. 1D Setup Geometry 2. Governing
MehrWer bin ich - und wenn ja wie viele?: Eine philosophische Reise. Click here if your download doesn"t start automatically
Wer bin ich - und wenn ja wie viele?: Eine philosophische Reise Click here if your download doesn"t start automatically Wer bin ich - und wenn ja wie viele?: Eine philosophische Reise Wer bin ich - und
MehrUnit 4. The Extension Principle. Fuzzy Logic I 123
Unit 4 The Extension Principle Fuzzy Logic I 123 Images and Preimages of Functions Let f : X Y be a function and A be a subset of X. Then the image of A w.r.t. f is defined as follows: f(a) = {y Y there
MehrEAM-Vorlesung (SS2017)
EAM-Vorlesung (SS2017) V4: TOGAF und das Metamodel Vassilios Goumas Frankfurt University of Applied Science 1 V4: Verlauf Was ist ein Metamodell Aufbau des Metamodells in TOGAF Aufteilung nach Core Metamodel
MehrAlgorithms for graph visualization
Algorithms for graph visualization Project - Orthogonal Grid Layout with Small Area W INTER SEMESTER 2013/2014 Martin No llenburg KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum
MehrHarry gefangen in der Zeit Begleitmaterialien
Folge 029 Grammatik 1. The pronoun "es" (review) "es" is a pronoun that usually substitutes a neuter noun. Example: Ist das Bett zu hart? - Nein, es ist nicht zu hart. (es = it das Bett = the bed) But:
MehrNumber of Maximal Partial Clones
Number of Maximal Partial Clones KARSTEN SCHÖLZEL Universität Rostoc, Institut für Mathemati 26th May 2010 c 2010 UNIVERSITÄT ROSTOCK MATHEMATISCH-NATURWISSENSCHAFTLICHE FAKULTÄT, INSTITUT FÜR MATHEMATIK
MehrMartin Luther. Click here if your download doesn"t start automatically
Die schönsten Kirchenlieder von Luther (Vollständige Ausgabe): Gesammelte Gedichte: Ach Gott, vom Himmel sieh darein + Nun bitten wir den Heiligen Geist... der Unweisen Mund... (German Edition) Martin
MehrPONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB
Read Online and Download Ebook PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB DOWNLOAD EBOOK : PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: Click link bellow
MehrIntroduction FEM, 1D-Example
Introduction FEM, D-Example /home/lehre/vl-mhs-/inhalt/cover_sheet.tex. p./22 Table of contents D Example - Finite Element Method. D Setup Geometry 2. Governing equation 3. General Derivation of Finite
MehrSagen und Geschichten aus dem oberen Flöhatal im Erzgebirge: Pfaffroda - Neuhausen - Olbernhau - Seiffen (German Edition)
Sagen und Geschichten aus dem oberen Flöhatal im Erzgebirge: Pfaffroda - Neuhausen - Olbernhau - Seiffen (German Edition) Dr. Frank Löser Click here if your download doesn"t start automatically Sagen und
MehrDer Topos Mütterlichkeit am Beispiel Bertolt Brechts "Der kaukasische Kreidekreis" und "Mutter Courage und ihre Kinder" (German Edition)
Der Topos Mütterlichkeit am Beispiel Bertolt Brechts "Der kaukasische Kreidekreis" und "Mutter Courage und ihre Kinder" (German Edition) Filio Gavriilidou Click here if your download doesn"t start automatically
Mehr1. Hello, I m Francis Docherty. a. No, sorry. I m not. 2. I m sorry. What was your b. I don t think he
A1 Hello, I m Francis Docherty. Was passt zusammen? 1. Hello, I m Francis Docherty. a. No, sorry. I m not. 2. I m sorry. What was your b. I don t think he name again? is at the moment. 3. Excuse me. Are
MehrFreie Bildung: Web2.0-Tools als Türöffner für die Wirtschaft
Freie Bildung: Web2.0-Tools als Türöffner für die Wirtschaft Referent: Boris Kraut Veranstaltung: GML² 2012 Freie Universität Berlin Datum: 15.03.2012 16:30 Uhr Schulprojekte Schulprojekte
MehrGeometrie und Bedeutung: Kap 5
: Kap 5 21. November 2011 Übersicht Der Begriff des Vektors Ähnlichkeits Distanzfunktionen für Vektoren Skalarprodukt Eukidische Distanz im R n What are vectors I Domininic: Maryl: Dollar Po Euro Yen 6
MehrWortstellung. Rule 1. The verb is the second unit of language in a sentence. The first unit of language in a sentence can be:
Rule 1 Wortstellung The verb is the second unit of language in a sentence The first unit of language in a sentence can be: The person or thing doing the verb (this is called the subject) Eg. - Meine Freunde
MehrSeeking for n! Derivatives
Seeking for n! Derivatives $,000$ Reward A remarkable determinant (,0) (,) (0,0) (0,) (,0) (,0) (,) (,) (0,0) (0,) (0,) General definition Δ μ (X, Y ) = det x p i j yq i n j i,j= As a starter... n! dim
MehrVGM. VGM information. HAMBURG SÜD VGM WEB PORTAL USER GUIDE June 2016
Overview The Hamburg Süd VGM Web portal is an application that enables you to submit VGM information directly to Hamburg Süd via our e-portal Web page. You can choose to enter VGM information directly,
MehrDAS ZUFRIEDENE GEHIRN: FREI VON DEPRESSIONEN, TRAUMATA, ADHS, SUCHT UND ANGST. MIT DER BRAIN-STATE-TECHNOLOGIE DAS LEBEN AUSBALANCIEREN (GE
DAS ZUFRIEDENE GEHIRN: FREI VON DEPRESSIONEN, TRAUMATA, ADHS, SUCHT UND ANGST. MIT DER BRAIN-STATE-TECHNOLOGIE DAS LEBEN AUSBALANCIEREN (GE READ ONLINE AND DOWNLOAD EBOOK : DAS ZUFRIEDENE GEHIRN: FREI
MehrKilly Literaturlexikon: Autoren Und Werke Des Deutschsprachigen Kulturraumes 2., Vollstandig Uberarbeitete Auflage (German Edition)
Killy Literaturlexikon: Autoren Und Werke Des Deutschsprachigen Kulturraumes 2., Vollstandig Uberarbeitete Auflage (German Edition) Walther Killy Click here if your download doesn"t start automatically
MehrZurich Open Repository and Archive. Anatomie von Kommunikationsrollen. Methoden zur Identifizierung von Akteursrollen in gerichteten Netzwerken
University of Zurich Zurich Open Repository and Archive Winterthurerstr. 190 CH-8057 Zurich http://www.zora.uzh.ch Year: 2008 Anatomie von Kommunikationsrollen. Methoden zur Identifizierung von Akteursrollen
MehrFunktion der Mindestreserve im Bezug auf die Schlüsselzinssätze der EZB (German Edition)
Funktion der Mindestreserve im Bezug auf die Schlüsselzinssätze der EZB (German Edition) Philipp Heckele Click here if your download doesn"t start automatically Download and Read Free Online Funktion
MehrHandbuch der therapeutischen Seelsorge: Die Seelsorge-Praxis / Gesprächsführung in der Seelsorge (German Edition)
Handbuch der therapeutischen Seelsorge: Die Seelsorge-Praxis / Gesprächsführung in der Seelsorge (German Edition) Reinhold Ruthe Click here if your download doesn"t start automatically Handbuch der therapeutischen
MehrFlow - der Weg zum Glück: Der Entdecker des Flow-Prinzips erklärt seine Lebensphilosophie (HERDER spektrum) (German Edition)
Flow - der Weg zum Glück: Der Entdecker des Flow-Prinzips erklärt seine Lebensphilosophie (HERDER spektrum) (German Edition) Mihaly Csikszentmihalyi Click here if your download doesn"t start automatically
MehrDynamische Programmiersprachen. David Schneider david.schneider@hhu.de STUPS - 25.12.02.50
Dynamische Programmiersprachen David Schneider david.schneider@hhu.de STUPS - 25.12.02.50 Organisatorisches Aufbau: Vorlesung 2 SWS Übung Kurzreferat Projekt Prüfung Übung wöchentliches Aufgabenblatt in
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski WiSe 2007/08 2 Rooms Monday 13:00-15:00 GW2 B1410 Thursday 13:00-15:00 GW2 B1410 Exercises (bring your Laptops with you!) either Monday
MehrIntroduction to Python. Introduction. First Steps in Python. pseudo random numbers. May 2016
to to May 2016 to What is Programming? All computers are stupid. All computers are deterministic. You have to tell the computer what to do. You can tell the computer in any (programming) language) you
MehrDer große Basar: Roman (Erzählungen aus Arlens Welt 1) (German Edition)
Der große Basar: Roman (Erzählungen aus Arlens Welt 1) (German Edition) Peter V. Brett Click here if your download doesn"t start automatically Der große Basar: Roman (Erzählungen aus Arlens Welt 1) (German
MehrC++ kurz & gut (German Edition)
C++ kurz & gut (German Edition) Kyle Loudon, Rainer Grimm Click here if your download doesn"t start automatically C++ kurz & gut (German Edition) Kyle Loudon, Rainer Grimm C++ kurz & gut (German Edition)
MehrKlassische Themen der Computerwissenschaft 3 VO, 1 UE, /
Klassische Themen der Computerwissenschaft 3 VO, 1 UE, 716.113 / 716.114 Bernhard Aichernig Oswin Aichholzer Alexander Felfernig Gerald Steinbauer Franz Wotawa Institut für Softwaretechnologie, TU Graz
MehrSchöpfung als Thema des Religionsunterrichts in der Sekundarstufe II (German Edition)
Schöpfung als Thema des Religionsunterrichts in der Sekundarstufe II (German Edition) Juliane Timmroth Click here if your download doesn"t start automatically Schöpfung als Thema des Religionsunterrichts
MehrModul Software Komponenten 01 Komponenten
Modul Software Komponenten 01 Komponenten Martin Jud Inhalt 1. Begriff 2. Bedeutung 3. Nutzen 4. Entwurf mit Komponenten HSLU T&A, 14.09.2008 Modul SWK - 01-Komponenten - Martin Jud 2 1. Begriff Definition
MehrDie besten Chuck Norris Witze: Alle Fakten über den härtesten Mann der Welt (German Edition)
Die besten Chuck Norris Witze: Alle Fakten über den härtesten Mann der Welt (German Edition) Click here if your download doesn"t start automatically Die besten Chuck Norris Witze: Alle Fakten über den
MehrEin Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten. Click here if your download doesn"t start automatically
Ein Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten Click here if your download doesn"t start automatically Ein Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten Ein Stern in dunkler
MehrWebbasierte Exploration von großen 3D-Stadtmodellen mit dem 3DCityDB Webclient
Webbasierte Exploration von großen 3D-Stadtmodellen mit dem 3DCityDB Webclient Zhihang Yao, Kanishk Chaturvedi, Thomas H. Kolbe Lehrstuhl für Geoinformatik www.gis.bgu.tum.de 11/14/2015 Webbasierte Exploration
MehrLevel 1 German, 2012
90886 908860 1SUPERVISOR S Level 1 German, 2012 90886 Demonstrate understanding of a variety of German texts on areas of most immediate relevance 9.30 am Tuesday 13 November 2012 Credits: Five Achievement
Mehron Software Development Design
Werner Mellis A Systematic on Software Development Design Folie 1 von 22 How to describe software development? dimensions of software development organizational division of labor coordination process formalization
MehrGrundlagen der Bioinformatik Assignment 3: Hierarchical Clustering SS Yvonne Lichtblau/Johannes Starlinger
Grundlagen der Bioinformatik Assignment 3: Hierarchical Clustering SS 2017 Yvonne Lichtblau/Johannes Starlinger Presentations Assignment 2 Yvonne Lichtblau Übungen Grundlagen der Bioinformatik SS 2017
MehrDie Wirkung Auguste Rodins auf Rainer Maria Rilke - am Beispiel der Werke "Archaischer Torso Apollos" und "Pietà" (German Edition)
Die Wirkung Auguste Rodins auf Rainer Maria Rilke - am Beispiel der Werke "Archaischer Torso Apollos" und "Pietà" (German Edition) Rebecca Tille Click here if your download doesn"t start automatically
MehrDiabetes zu heilen natürlich: German Edition( Best Seller)
Diabetes zu heilen natürlich: German Edition( Best Seller) Dr Maria John Click here if your download doesn"t start automatically Diabetes zu heilen natürlich: German Edition( Best Seller) Dr Maria John
MehrVegane Ernährung bei Säuglingen und Kindern (German Edition)
Vegane Ernährung bei Säuglingen und Kindern (German Edition) Click here if your download doesn"t start automatically Vegane Ernährung bei Säuglingen und Kindern (German Edition) Vegane Ernährung bei Säuglingen
MehrAus FanLiebe zu Tokio Hotel: von Fans fã¼r Fans und ihre Band
Aus FanLiebe zu Tokio Hotel: von Fans fã¼r Fans und ihre Band Click here if your download doesn"t start automatically Aus FanLiebe zu Tokio Hotel: von Fans fã¼r Fans und ihre Band Aus FanLiebe zu Tokio
MehrSoftwareproduktlinienentwicklung und Semantic Web Seminar Wintersemester 2008/2009
Softwareproduktlinienentwicklung und Semantic Web Seminar Wintersemester 2008/2009 Dr. Sören Auer; Thorsten Berger; Thomas Riechert; Jens Lehmann; Michael Martin Termin: freitags; 11:15 bis 12:45 Ort:
MehrTeil 2.2: Lernen formaler Sprachen: Hypothesenräume
Theorie des Algorithmischen Lernens Sommersemester 2006 Teil 2.2: Lernen formaler Sprachen: Hypothesenräume Version 1.1 Gliederung der LV Teil 1: Motivation 1. Was ist Lernen 2. Das Szenario der Induktiven
MehrHIR Method & Tools for Fit Gap analysis
HIR Method & Tools for Fit Gap analysis Based on a Powermax APML example 1 Base for all: The Processes HIR-Method for Template Checks, Fit Gap-Analysis, Change-, Quality- & Risk- Management etc. Main processes
MehrVorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen
Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen Prof. Barbara König Übungsleitung: Sebastian Küpper Barbara König Form. Asp. der Software-Sicherheit
MehrPensionskasse: Vorsorge, Finanzierung, Sicherheit, Leistung (German Edition)
Pensionskasse: Vorsorge, Finanzierung, Sicherheit, Leistung (German Edition) Der Schweizerische Beobachter, Ueli Kieser, Jürg Senn Click here if your download doesn"t start automatically Pensionskasse:
MehrPONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB
Read Online and Download Ebook PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB DOWNLOAD EBOOK : PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: Click link bellow
MehrDas Zeitalter der Fünf 3: Götter (German Edition)
Das Zeitalter der Fünf 3: Götter (German Edition) Trudi Canavan Click here if your download doesn"t start automatically Das Zeitalter der Fünf 3: Götter (German Edition) Trudi Canavan Das Zeitalter der
Mehr42 Zitate großer Philosophen: Über das Leben, das Universum und den ganzen Rest (German Edition)
42 Zitate großer Philosophen: Über das Leben, das Universum und den ganzen Rest (German Edition) Click here if your download doesn"t start automatically 42 Zitate großer Philosophen: Über das Leben, das
MehrLiLi. physik multimedial. Links to e-learning content for physics, a database of distributed sources
physik multimedial Lehr- und Lernmodule für das Studium der Physik als Nebenfach Links to e-learning content for physics, a database of distributed sources Julika Mimkes: mimkes@uni-oldenburg.de Overview
MehrKlassische Themen der Computerwissenschaft 3 VO, 1 UE, /
Klassische Themen der Computerwissenschaft 3 VO, 1 UE, 716.113 / 716.114 Bernhard Aichernig Oswin Aichholzer Alexander Felfernig Gerald Steinbauer Franz Wotawa Institut für Softwaretechnologie, TU Graz
MehrResearch data of: Ein Referenz-Datenmodell für Campus-Management-Systeme in deutschsprachigen Hochschulen
Marco Carolla, Prof. Dr.-Ing. Thorsten Spitta (First Referee) Research data of: Ein Referenz-Datenmodell für Campus-Management-Systeme in deutschsprachigen Hochschulen A reference data model for campus
MehrSocial Innovation and Transition
Social Innovation and Transition Dmitri Domanski & Jürgen Howaldt TU Dortmund University Sozialforschungsstelle Dortmund Co-innovation theory and practice to facilitate change Wageningen, October 28-29,
MehrJava Tools JDK. IDEs. Downloads. Eclipse. IntelliJ. NetBeans. Java SE 8 Java SE 8 Documentation
Java Tools JDK http://www.oracle.com/technetwork/java/javase/ Downloads IDEs Java SE 8 Java SE 8 Documentation Eclipse http://www.eclipse.org IntelliJ http://www.jetbrains.com/idea/ NetBeans https://netbeans.org/
MehrInformatik für Mathematiker und Physiker Woche 2. David Sommer
Informatik für Mathematiker und Physiker Woche 2 David Sommer David Sommer 25. September 2018 1 Heute: 1. Self-Assessment 2. Feedback C++ Tutorial 3. Modulo Operator 4. Exercise: Last Three Digits 5. Binary
MehrDie neuen Studiengänge der Physik
Ab dem kommenden Wintersemester ändern sich die Studiengänge BSc Physik, BA Lehramt GymGe/ BK Physik und MSc Physics. Bis zum 31.12.2015 müssen Sie sich entscheiden, in welcher Studienordnung Sie Ihren
MehrJavaFX im UI-Technologiedschungel
JavaFX im UI-Technologiedschungel Guten Tag, Hallo, Servus! Björn Müller Seit 2007 SAP, AJAX, Swing, JavaFX CaptainCasa Community Swing für Unternehmensanwendungen Seit 2012: JavaFX für Unternehmensanwendungen
MehrVIRGINIA CODE 159. Interkulturelle und landeskundliche Aspekte. Schreibmaterial
VIRGINIA Fertigkeit Hören Relevante(r) Deskriptor(en) Deskriptor 1: Kann Gesprächen über vertraute Themen die Hauptpunkte entnehmen, wenn Standardsprache verwendet und auch deutlich gesprochen wird. (B1)
MehrAutomatentheorie und formale Sprachen endliche Automaten
Automatentheorie und formale Sprachen endliche Automaten Dozentin: Wiebke Petersen 13.5.2009 Wiebke Petersen Automatentheorie und formale Sprachen - SoSe09 1 What we know so far about formal languages
MehrNeue Materialien für einen realitätsbezogenen Mathematikunterricht 1: ISTRON-Schriftenreihe (Realitätsbezüge im Mathematikunterricht) (German Edition)
Neue Materialien für einen realitätsbezogenen Mathematikunterricht 1: ISTRON-Schriftenreihe (Realitätsbezüge im Mathematikunterricht) (German Edition) Click here if your download doesn"t start automatically
MehrIntroduction to Python. Introduction. First Steps in Python. pseudo random numbers. May 2018
to to May 2018 to What is Programming? All computers are stupid. All computers are deterministic. You have to tell the computer what to do. You can tell the computer in any (programming) language) you
MehrCNC ZUR STEUERUNG VON WERKZEUGMASCHINEN (GERMAN EDITION) BY TIM ROHR
(GERMAN EDITION) BY TIM ROHR READ ONLINE AND DOWNLOAD EBOOK : CNC ZUR STEUERUNG VON WERKZEUGMASCHINEN (GERMAN EDITION) BY TIM ROHR PDF Click button to download this ebook READ ONLINE AND DOWNLOAD CNC ZUR
MehrRECHNUNGSWESEN. KOSTENBEWUßTE UND ERGEBNISORIENTIERTE BETRIEBSFüHRUNG. BY MARTIN GERMROTH
RECHNUNGSWESEN. KOSTENBEWUßTE UND ERGEBNISORIENTIERTE BETRIEBSFüHRUNG. BY MARTIN GERMROTH DOWNLOAD EBOOK : RECHNUNGSWESEN. KOSTENBEWUßTE UND Click link bellow and free register to download ebook: RECHNUNGSWESEN.
MehrGrundlagen der Bioinformatik Assignment 2: Substring Search SS Yvonne Lichtblau
Grundlagen der Bioinformatik Assignment 2: Substring Search SS 2016 Yvonne Lichtblau Vorstellung Lösungen Übung 1 Yvonne Lichtblau Übungen Grundlagen der Bioinformatik SS 2016 2 Aufgetretene Probleme Sourcecode
MehrExercise (Part XI) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1
Exercise (Part XI) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises. All
MehrMax und Moritz: Eine Bubengeschichte in Sieben Streichen (German Edition)
Max und Moritz: Eine Bubengeschichte in Sieben Streichen (German Edition) Wilhelm Busch Click here if your download doesn"t start automatically Max und Moritz: Eine Bubengeschichte in Sieben Streichen
MehrStochastic Processes SS 2010 Prof. Anton Wakolbinger. Klausur am 16. Juli 2010
Stochastic Processes SS 2010 Prof. Anton Wakolbinger Klausur am 16. Juli 2010 Vor- und Nachname: Matrikelnummer: Studiengang: Tutor(in): In der Klausur können 100 Punkte erreicht werden. Die Gesamtpunktezahl
MehrVGM. VGM information. HAMBURG SÜD VGM WEB PORTAL - USER GUIDE June 2016
Overview The Hamburg Süd VGM-Portal is an application which enables to submit VGM information directly to Hamburg Süd via our e-portal web page. You can choose to insert VGM information directly, or download
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Professor Dr. Lehrstuhl für Algorithm Engineering, LS11 Fakultät für Informatik, TU Dortmund 1. VO A&D WS 08/09 14. Oktober 2008 1 bevor wir thematisch beginnen: Kapitel
MehrDie Kunst der Gotik: Eine Einführung (German Edition)
Die Kunst der Gotik: Eine Einführung (German Edition) Barbara Schedl Click here if your download doesn"t start automatically Die Kunst der Gotik: Eine Einführung (German Edition) Barbara Schedl Die Kunst
MehrDAS ERSTE MAL UND IMMER WIEDER. ERWEITERTE SONDERAUSGABE BY LISA MOOS
Read Online and Download Ebook DAS ERSTE MAL UND IMMER WIEDER. ERWEITERTE SONDERAUSGABE BY LISA MOOS DOWNLOAD EBOOK : DAS ERSTE MAL UND IMMER WIEDER. ERWEITERTE Click link bellow and free register to download
MehrParametric Spectral Estimation
Parametric Spectral Estimation Exercises for Digital Signal Processing II Exercise 2.3.26 Stefan Goetze / Volker Mildner Infos about the examination Diploma students: Oral examinations on March, 29 th.-
MehrWillkommen zur Vorlesung Komplexitätstheorie
Willkommen zur Vorlesung Komplexitätstheorie WS 2011/2012 Friedhelm Meyer auf der Heide V11, 16.1.2012 1 Themen 1. Turingmaschinen Formalisierung der Begriffe berechenbar, entscheidbar, rekursiv aufzählbar
MehrSugaring: Orientalische Haarentfernung mit Zuckerpaste (German Edition)
Sugaring: Orientalische Haarentfernung mit Zuckerpaste (German Edition) Weiss Marianne Click here if your download doesn"t start automatically Sugaring: Orientalische Haarentfernung mit Zuckerpaste (German
MehrAccounting course program for master students. Institute of Accounting and Auditing http://www.wiwi.hu-berlin.de/rewe
Accounting course program for master students Institute of Accounting and Auditing http://www.wiwi.hu-berlin.de/rewe 2 Accounting requires institutional knowledge... 3...but it pays: Lehman Bros. Inc.,
MehrUse Cases vs. Funktionale Spezifikation
Use Cases vs. Funktionale Spezifikation Ein experimenteller Vergleich zweier Methoden zur Anforderungsspezifikation Fraunhofer IESE: Anne Groß (Anne.Gross@iese.fraunhofer.de) & Jörg Dörr (Joerg.Doerr@iese.fraunhofer.de)
MehrKlassische Themen der Computerwissenschaft 3 VO, 1 UE, /
Klassische Themen der Computerwissenschaft 3 VO, 1 UE, 716.113 / 716.114 Bernhard Aichernig Oswin Aichholzer Alexander Felfernig Gerald Steinbauer Franz Wotawa, TU Graz Inffeldgasse 16b, 2.Stock 1 Allgemeine
MehrOptimale Regelung eines prädiktiven Energiemanagements von Hybridfahrzeugen (German Edition)
Optimale Regelung eines prädiktiven Energiemanagements von Hybridfahrzeugen (German Edition) Click here if your download doesn"t start automatically Optimale Regelung eines prädiktiven Energiemanagements
MehrDie Interpretation der Wahrscheinlichkeiten in der Vielwelteninterpretation der Quantenmechanik
Die Interpretation der Wahrscheinlichkeiten in der Vielwelteninterpretation der Quantenmechanik Ein Vortrag von Philipp Herde Gliederung Die Vielwelteninterpretation Wahrscheinlichkeiten in der VWI Das
MehrWarum nehme ich nicht ab?: Die 100 größten Irrtümer über Essen, Schlanksein und Diäten - Der Bestseller jetzt neu!
Warum nehme ich nicht ab?: Die 100 größten Irrtümer über Essen, Schlanksein und Diäten - Der Bestseller jetzt neu! (German Edition) Susanne Walsleben Click here if your download doesn"t start automatically
MehrSARA 1. Project Meeting
SARA 1. Project Meeting Energy Concepts, BMS and Monitoring Integration of Simulation Assisted Control Systems for Innovative Energy Devices Prof. Dr. Ursula Eicker Dr. Jürgen Schumacher Dirk Pietruschka,
MehrReparaturen kompakt - Küche + Bad: Waschbecken, Fliesen, Spüle, Armaturen, Dunstabzugshaube... (German Edition)
Reparaturen kompakt - Küche + Bad: Waschbecken, Fliesen, Spüle, Armaturen, Dunstabzugshaube... (German Edition) Peter Birkholz, Michael Bruns, Karl-Gerhard Haas, Hans-Jürgen Reinbold Click here if your
MehrDYNAMISCHE GEOMETRIE
DYNAMISCHE GEOMETRIE ÄHNLICHKEITSGEOMETRIE & MODELLIERUNG PAUL LIBBRECHT PH WEINGARTEN WS 2014-2015 CC-BY VON STAUDT KONSTRUKTIONEN Menü Erinnerung: Strahlensatz Längen, Frame Zielartikel Addition, Subtraktion
MehrDer Einsatz künstlicher Bewässerungssysteme zur Ertragssteigerung der Landwirtschaft in Kansas (German Edition)
Der Einsatz künstlicher Bewässerungssysteme zur Ertragssteigerung der Landwirtschaft in Kansas (German Edition) Leo Fiedler Click here if your download doesn"t start automatically Der Einsatz künstlicher
MehrWirtschaftlich fahren, Geld sparen: Tipps und Tricks zum Spritsparthema (German Edition)
Wirtschaftlich fahren, Geld sparen: Tipps und Tricks zum Spritsparthema (German Edition) Steffen Keil Click here if your download doesn"t start automatically Wirtschaftlich fahren, Geld sparen: Tipps und
MehrTube Analyzer LogViewer 2.3
Tube Analyzer LogViewer 2.3 User Manual Stand: 25.9.2015 Seite 1 von 11 Name Company Date Designed by WKS 28.02.2013 1 st Checker 2 nd Checker Version history Version Author Changes Date 1.0 Created 19.06.2015
MehrSeminarhotel St. Magdalena, Linz
Systems Literacy Seminarhotel St. Magdalena, Linz Bildungshaus St. Magdalena Mary C. Edson Gary S. Metcalf Peter Tuddenham Gerhard Chroust (eds.) Systems Literacy Proceedings of the Eighteenth IFSR Conversation
Mehr