1. Motivation und Begriffe. Modelchecking. Hintergrund. Hintergrund. Schwache Fairness. Progress
|
|
- Kerstin Daniela Geisler
- vor 6 Jahren
- Abrufe
Transkript
1 1. Motivtion un Begriffe Moelheking VI. Firness Motivtion un Begriffe Firness in Kripkestrukturen Fires CTL*, CTL un LTL Fires Moelheking für CTL Firness in NuSMV Hintergrun Progress Shwhe Firness Strke Firness 2 Hintergrun Hintergrun Wir hen ereits Beispiele gesehen, in enen wir erzwingen wollen, ß estimmter Üergänge in einem Aluf uh irgenwnn usgewählt weren. Mit Hilfe von Firness für estimmte Üergänge zw. Moule eshreien wir, welhe Üergänge unter welhen Umstänen irgenwnn usgewählt weren müssen. Es git vershieene Ausprägungen un Astufungen von Firness un elegnte mthemtishe Moelle un Theorien zum Them Firness. Leier wir s Them Firness im Moelheking sehr stiefmütterlih ehnelt. Es folgt ein informeller Üerlik üer ie vershieenen Konzepte. In Ashnit weren Kripkestrukturen um ein Firnesskonzept erweitert In Ashnitt 3 wir ie Firness für CLT* efiniert In Ashnitt 4 weren ie Moelheking- Algorithmen für Firness erweitert. 3 4 Progress Shwhe Firness Progressnnhme für t : Wenn Trnsition t ktiviert ist un unhängig von neren Trnsitionen ist, shltet t uh irgenwnn! Shwhe Firness für t : Wenn eine Trnsition t irgenwnn für immer ktiviert ist, nn shltet sie uh irgenwnn! (1,0,1,0) [ (0,1,1,0) [ (1,0,1,0) [ (0,1,1,0) [ (1,0,1,0) [ (0,1,1,0) [ (1,0,1,0) [ (0,1,1,0) [ Dieser Aluf erfüllt ie Progressnnhme für t 3 niht, t 3 ktiviert ist un unhängig von un ist, er trotzem niht shltet. (1,0,1,0) (0,1,1,0) Dieser Aluf erfüllt ie shwhe Firnessnnhme für t 3 niht, t 3 immer ktiviert ist, er trotzem niht shltet. (1,0,1,0) (0,1,1,0) (1,0,0,1) (0,1,0,1) (1,0,0,1) (0,1,0,1) 5 6
2 Progress vs. Shwhe Firness Gleihe Kripkestruktur (1,0,1,0,1) [ (0,1,1,0,1) [ (1,0,1,0,1) [ (0,1,1,0,1) [ Dieser Aluf erfüllt ie Progressnnhme für t 3 ( t 3, niht unhängig von ist). Der Aluf erfüllt er ie shwhe Firnessnnhme für t 3 niht, t 3 immer ktiviert ist, er trotzem niht shltet. e (1,0,1,0,1) (1,0,0,1,1) (0,1,1,0,1) (0,1,0,1,1) 7 e (1,0,1,0) (1,0,0,1) (1,0,1,0,1) (1,0,0,1,1) Die Kripkestrukturen sin im wesentlihen gleih! (0,1,1,0) (0,1,0,1) (0,1,1,0,1) (0,1,0,1,1) 8 Progress vs. shwhe Firness Shwhe Firness Es git zwr einen wihtigen Untershie zwishen Progress un shwher Firness, er in Kripkestrukturen (un vielen neren Systemmoellen) läßt er sih nur uf Umwegen formulieren. Deshl wir meistens shwhe Firness enutzt um Progress uszurüken. Informelle Formulierung von shwher Firness in Pseuo-LTL: ( F G ktiviert(t) ) ( G F shltet(t) ) Können wir einfh ls ussgenlogishe Formel formulieren. ktiviert(t 3 ) e Ds Shlten einer Trnsition knn mn niht ussgenlogish formulieren. Oft knn s Shlten er inirekt urh eine ussgenlogishe Formel formuliert weren. shltet(t 3 ) 9 10 Shwhe Firness Shwhe Firness ist shwh Informelle Formulierung von shwher Firness in Pseuo-LTL: ( F G ktiviert(t) ) ( G F shltet(t) ) Können wir einfh ls ussgenlogishe Formel formulieren. ktiviert(t 3 ) e Mit Hilfe es Opertors X knn mn s Shlten einer Trnsition esser (er immer noh niht gnz exkt) formulieren. shltet(t 3 ) (e ) X (e ) reques t ritil 1 semphor ritil 2 reques ile 1 ile 2 (ile 1,, 1, ile 2 ) (reques,, 1, ile 2 ) (reques,, 1, reques ) (reques,, 0, ritil 2 ) (reques,, 1, ile 2 ) (reques,, 1, reques ) (reques,, 0, ritil 2 )... Die Trnsition t wir in iesem Aluf shwh fir ehnelt, t niht immer ktiviert ist (nur immer wieer)
3 Strke Firness 2. Firness in Kripkestrukturen Die strke Firnessnnhme für eine Trnsition t verlngt, ß ie Trnsition t unenlih oft shltet, wenn sie im Aluf unenlih oft ktiviert ist: ( G F ktiviert(t) ) ( G F shltet(t) ) Viele wünshenswerte Eigenshften von Systemen gelten nur nn, wenn mn für estimmte Trnsitionen strke Firness forert un ie Formeln nur uf en firen Pfen interpretiert. In einer Kripkestruktur (S, S 0, R, L) weren ie firen Pfe urh eine Menge von Zustnsmengen F = { S 1, S 2,,, S n, } hrkterisiert. M = (S, S 0, R, L, F ) heißt nn Kripkestruktur mit Firnessnnhmen F. Die Menge F knn mn urh Zustnsformeln ϕ 1, ϕ 2,,, ϕ n repräsentieren; iese Formeln nennen wir nn Firnesseingungen Fire Pfe Bemerkungen Ein Pf π = s 0 s 1 s 2 s 3 heißt fir ezüglih F, wenn für jees S i us F n unenlih vielen Positionen ein Zustn us S i in π vorkommt;.h. für unenlih viele Positionen j N gilt s j S i. Mit Firness ht s nur eingt etws zu tun. Die Firnessnnhmen sin nur eine Krüke, um so etws wie Firness uszurüken. Entweer sin ie Forerungen zu shwh oer zu strk. Aer iese Firnessnnhmen sin esser ls gr niht üer Firness reen zu können. Im prktishen Geruh sollte mn ls erstes üerprüfen, o für ie Kripkestruktur für jee Firnesseingung ϕ i gilt AG EF ϕ i. Sonst git es Zustäne in enen kein firer Pf strtet. Ds knn zu ösen Üerrshungen führen Fires CTL*, CTL un LTL Definition Gültigkeit s F ϕ Für eine Kripkestruktur M = (S, S 0, R, L, F ) mit Firnessnnhmen efinieren wir ie Gültigkeit von CTL*-Formeln ezüglih F : s F ϕ Die Definition ist für lle Opertoren ußer en Pfquntoren wie ei CTL* ohne Firnessnnhmen. Aus tehnishen Grünen müssen wir uh ie Gültigkeit von tomren Aussgen neu efinieren (es könnte sein, ß in einem Zustn kein firer Pf nfängt; vgl. Bemerkung uf er vorngegngenen Folie). Für ie tomren Aussgen efinieren wir: s F p gilt genu nn, wenn ein ezüglih F firer Pf mit Anfngszustn s existiert un wenn gilt p L(s) Für ie Pfquntoren efinieren wir: s F E ϕ gilt genu nn, wenn ein ezüglih F firer Pf π mit Anfngszustn s existiert, in em gilt π F ϕ s F A ϕ gilt genu nn, wenn für jeen ezüglih F firen Pf π mit Anfngszustn s gilt π F ϕ Für ie neren Opertoren ist ie Gültigkeit F wie ei efiniert
4 Nottionen Firness in LTL Mnhml ist es zwekmäßig, irekt im Opertor uszurüken, ß er ezüglih einer Firnessnforerung gemeint ist: EG F p E F [ p U q ] E F ( p F q ) Mit er Definition er Gültigkeit von CTL*-Formeln ezüglih einer Firnessnnhme ist ntürlih uh ie Gültigkeit für LTL- un CTL-Formeln efiniert. Für eine LTL-Formel A ϕ können wir ie Firnessnnhme jeoh irekt in er LTL-Formel usrüken. Dzu nehmen wir n, ß ie Firnessnnhmen F urh ie Firnesseingungen ϕ 1,, ϕ n repräsentiert sin. Dnn gilt s F A ϕ genu nn, wenn s A (( ( G F ϕ 1 ) ( G F ϕ n ) ) ϕ) gilt. Pf ist fir zgl. F Firness in CTL Firness in CTL* In CTL läßt sih ie Firnessnnhme leier niht usrüken. Denn ie Üersetzung von AF F ϕ in A (( ( G F ϕ 1 ) ( G F ϕ n ) ) F ϕ ) ist leier keine CTL-Formel mehr. In CTL*-Formeln knn mn, wie für LTL- Formeln, ie Firnessnfoerung in er Formel selst oieren; llerings muß mn in CTL* ie Üersetzung für lle Pfquntoren urhführen. In CTL knn mn Pfe üer ie temporlen Opertoren niht festhlten Fires Moelheking für CTL Motivtion D mn sowohl für LTL- ls uh für CTL*-Formeln ie Firness in en Formeln selst koieren knn, ruhen wir für keine neuen Algorithmen. Motivtion EG F ϕ EX F ϕ E F [ ϕ U ψ ] Vorsiht: Die Formeln weren sehr viel größer un er Aufwn steigt exponentiell mit er Größe er Formel! CTL-Formeln können wir ntürlih uh in CTL*-Formeln mit en entsprehenen Firnessforerungen üersetzen un nn ls CTL*-Formeln üerprüfen; iese Algorithmen sin er viel ineffizienter ls ie für CTL-Formeln. Deshl üerlegen wir uns ein Verfhren, s irekt mit CTL- Formeln umgehen knn un effizienter ist ls s Verfhren für CTL*-Formeln
5 Algorithmus für EG F ϕ : Iee Fire Zusmmenhngskomponente Wir etrhten wieer en Teilgrphen er Zustäne s, in enen s F ϕ gilt. Wieer wählen wir ie niht-trivilen Zusmmenhngskomponenten ieses Teilgrphen us un ie Zustäne, ie in sie hineinführen: ϕ ϕ ϕ ϕ ϕ S 1 S 2 Allerings wählen wir jetzt nur noh iejenigen Zusmmenhngskomponenten us, in enen für jee Firnessnnhme S i wenigstens ein Zustn us S i in er Zusmmenhngskomponente vorkommt. Denn nn knn mn innerhl ieser firen Zusmmenhngskomponente einen firen Pf ilen, uf em üerll ϕ gilt. Eine niht-trivile strke Zusmmenhngskomponente C heißt fire Zusmmenhngskomponente ezüglih er Firnessnnhmen S 1,..., S n, wenn für jees S i gilt S i C. Aus er Menge er niht-trivilen Zusmmenhngskomponenten { C 1,..., C m } einer Kripkestruktur knn mn mit Aufwn O( S n ) ie firen Zusmmenhngskomponenten uswählen Prozeur MrkiereEGfir(ϕ) Aufwn S := { s ϕ lel(s) }; SCC:= { C C ist fire Zusmmenhngskomponente zgl. S } ; T:= C SCC C for ll s T o lel(s):= lel(s) { EG ϕ }; while T <> {} o hoose s T; T:= T \ { s }; for ll t with s S n R(t,s) o if EG ϕ lel(t) then lel(t):= lel(t) { EG ϕ }; T:= T { t }; Hier ist er einzige Untershie zum Algorithmus ohne Firness! Die Prozeur MrkiereEGfir ist fst ientish mit MrkiereEG! Der einzige Mehrufwn esteht in er Selektion er firen Zusmmenhngskomponenten. Der Aufwn für einen Aufruf ist eutlih nieriger ls ei einer Üersetzung in eine CTL*-Formel: O( ( S + R ) n ) Anzhl er Firnessnnhmen Akürzung: fir EG true Akürzungen Die Formel fir EG F true gilt genu in en Zustänen, in enen ein firer Pf eginnt. Mit er Prozeur MrkiereEGfir(true) können wir lso ie Zustäne ientifizieren un mit Formel fir eshriften, in enen fire Pfe eginnen. Außerem können wir ie Gültigkeit von llen neren CTL-Opertoren unter Firness mit Hilfe er Formel fir uf ie Gültigkeit von CTL-Formel (ohne Firness) zurükführen. s F p gilt genu nn, wenn gilt s p fir s F EX ϕ gilt genu, wenn gilt s EX (ϕ fir) s F E[ ϕ U ψ] gilt genu, wenn gilt s E[ ϕ U (ψ fir) ] Für ie Opertoren EX un EU enötigen wir lso keine neuen Mrkierungslgorithmen. Wir üersetzen sttt essen ie lten Algorithmen für ie moifizierten Formeln
6 Gesmtufwn 4. Firness in NuSMV Der Aufwn für s fire CTL-Moelheking ist nn (gro): O( ( S + R ) ϕ n ) In NuSMV wir eine Firnesseingungen urh s Shlüsselwort FAIRNESS gefolgt von einer Zustnsformel ngeen. Die Beeutung ist genu wie ie ei firen Kripkestrukturen. Mn knn ie Firnesseingungen für jees Moul seprt formulieren Strke Firness knn mn in NuSMV nur urh usrüken, ß ie Beingung in eine LTL-Formel hineinoiert wir Beispiel Beispiel MODULE min VAR : oolen; : oolen; INIT! TRANS ( next() =! & next() = ) ( next() = & next() =! ) FAIRNESS FAIRNESS! FAIRNESS FAIRNESS! Firnesseingungen MODULE gent(semphor) VAR stte : { ile, request, ritil }; ASSIGN init(stte):= ile; next(stte):= se stte = ile : { ile, request }; stte = request & semphor : ritil; stte = ritil : ile; 1 : stte; es; next(semphor):= se stte = request & semphor : 0; stte = ritil : 1; 1 : semphor; es; FAIRNESS running Nur wenn s Moul synhron enutzt wir! Grntiert, ß s synhrone Moul immer wieer rnkommt Ahtung Durh ie Ange ungeshikter Firnesseingungen knn es sein, ß in estimmten Zustänen kein firer Pf mehr eginnen knn! Dnn knn plötzlih eine Formel AG FALSE whr sein! Dnn sin sogr lle ACTL-Formeln whr. Um solhe Üerrshungen zu vermeien, sollten mn immer erst üerprüfen, o im Moell von jeem Zustn ein firer Pf usgeht: NuSMV > hek_trns 35
Vorlesung 24: Topological Sort 1: Hintergrund. Einführung in die Programmierung. Bertrand Meyer. Topological sort
Einführung in ie Progrmmierung Vorlesung 4: Topologil Sort : Hintergrun Bertrn Meer Letzte Üerreitung 3. Jnur 4 3 Topologil sort 4 Prouziere eine zu einer gegeenen Prtiellen Ornung komptile Vollstänige
MehrFragebogen 1 zur Arbeitsmappe Durch Zusatzempfehlung zu mehr Kundenzufriedenheit
Teilnehmer/Apotheke/Ort (Zus/1) Frgeogen 1 zur Areitsmppe Durh Zustzempfehlung zu mehr Kunenzufrieenheit Bitte kreuzen Sie jeweils ie rihtige(n) Antwort(en) in en Felern is n! 1. Worin esteht ie Beeutung
MehrShortest Path Algorithmus von Edsger Dijkstra
Shortest Pth Algorithmus von Esger Dijkstr Mihel Dienert 16. Dezemer 2010 Inhltsverzeihnis 1 Shortest Pth Algorithmus 1 1.1 Grphen................................. 1 1.2 Knoten..................................
MehrGrundlagen der Technischen Informatik. Bausteine der Digitaltechnik - Binäre Schalter und Gatter. Kapitel 7.1
Busteine er Digitltehnik - Binäre Shlter un Gtter Kpitel 7. Dr.-Ing. Stefn Wilermnn ehrstuhl für rwre-softwre-co-design Entwurfsrum - Astrktionseenen SYSTEM-Eene + MODU-/RT-Eene (Register-Trnsfer) ogik-/gatter-eene
MehrFunktionen und Mächtigkeiten
Vorlesung Funktionen und Mähtigkeiten. Etws Mengenlehre In der Folge reiten wir intuitiv mit Mengen. Eine Menge ist eine Zusmmenfssung von Elementen. Zum Beispiel ist A = {,,,,5} eine endlihe Menge mit
Mehrsolche mit Textzeichen (z.b. A, a, B, b,!) solche mit binären Zeichen (0, 1)
teilung Informtik, Fh Progrmmieren 1 Einführung Dten liegen oft ls niht einfh serier- und identifizierre Dtensätze vor. Stttdessen reräsentieren sie lnge Zeihenketten, z.b. Text-, Bild-, Tondten. Mn untersheidet
MehrPrüfungsteil Schriftliche Kommunikation (SK)
SK Üerlik und Anforderungen Üerlik und Anforderungen Prüfungsteil Shriftlihe Kommuniktion (SK) Üerlik und Anforderungen Worum geht es? In diesem Prüfungsteil sollst du einen Beitrg zu einem estimmten Them
MehrDV1_Kapitel_5.doc Seite 5-1 von 36 Rüdiger Siol 12.09.2009 16:31
Rvensurg-Weingrten Vorlesung zur Dtenverreitung Tehnishe Informtik Inhltsverzeihnis 5 TECHNISCHE INFORMATIK...5-2 5. ENTWURF DIGITALER SYSTEME...5-2 5.2 KOMBINATIONSSCHALTUNGEN (SCHALTNETZE)...5-3 5.2.
Mehr1 GeschäftsdiaGramme. Abbildung 1.1: Übersicht zu unterschiedlichen Grafi ktypen. 2.1.4 Unify objects: graphs e.g. org graphs, networks, and maps
1 GeshäftsdiGrmme Wenn mn eine deutshe Üersetzung des Begriffes usiness hrts suht, so ist mn mit dem Wort Geshäftsdigrmme gnz gut edient. Wir verstehen unter einem Geshäftsdigrmm die Visulisierung von
MehrKapitel 7 Kalender, Erinnerungen und Kontakte
Kpitel 7 Klener, Erinnerungen un Kontkte Zu einem orentlihen Smrtphone gehören ntürlih uh eine usgereif- te Klener- un Erinnerungsfunktion un eine gute Kontktverwltung. Beim iphone reiten lle iese Funktionen
MehrStabile Hochzeiten wie und warum?
Stile Hohzeiten wie un wrum? Tg er Mthemtik HU erlin 25. pril 2009 Stefn elsner TU erlin, Mthemtik felsner@mth.tu-erlin.e Ws sin stile Hohzeiten? Gegeen: Menge von ruen, M Menge von Männern, = M. Jee Person
MehrCREATE YOUR OWN PERFUME BUSINESS CONCEPT. Der Duft für Ihr erfolgreiches Business
CREATE YOUR OWN PERFUME BUSINESS CONCEPT Der Duft für Ihr erfolgreihes Business DAS BUSINESS CONCEPT Fszinieren einfh. In wenigen Shritten zum iniviuellsten Weregeshenk er Welt. Wollen Sie sih von Ihren
MehrHilfsrelais HR 116. Bilfinger Mauell GmbH
Bilfinger Muell GmH Hilfsrelis HR 11 Die Hilfsrelis ienen zur glvnishen Trennung, Kontktvervielfhung un Trennung zwishen Hilfs- un Steuerstromkreisen. Bilfinger Muell GmH Inhltsverzeihnis Inhlt Seite Anwenung
Mehr2 Kinobesuch GRAMMATIK. perfekt. Im September LEICHT. wann die Vorstellung beginnt. Schreiben Sie Sätze! Beginnen Sie mit den grün markierten Wörtern!
DEUTSCH GRAMMATIK VERBPOSITION S. 0 Im Septemer LEICHT Shreien Sie Sätze! Beginnen Sie mit den grün mrkierten Wörtern! der Herst / m. Septemer / eginnt ds Oktoerfest / in Münhen / findet sttt die Österreiher
MehrMillenium 3 Kommunikationsschnittstelle M3MOD Benutzerhandbuch der Betriebsunterlagen 04/2006
Millenium 3 Kommuniktionsshnittstelle M3MOD Benutzerhnuh er Betriesunterlgen 04/2006 160633103 Üerlik Hilfe zur Verwenung er Betriesunterlgen Einleitung Die Betriesunterlgen sin eine von er Progrmmierumgeung
MehrFB Technologie und Management. Das de Morgansche Theorem. Kombinationsschaltungen (Schaltnetze) Rangfolge der 3 Grundoperationen
FB Tehnologie un Mngement Komintionsshltungen (hltnetze) Eingngsvektor X Komintorishes ystem (hltnetz) y y Ausgngsvektor f(x) n y m Dtenverreitung (Kpitel 5 Tehnishe Informtik) Drstellung er ignle X hltnetz
MehrVertragsbedingungen MAILOFANT Stand Januar 2011
Vertrgseingungen MAILOFANT Stn Jnur 2011 1 Funktionsweise 1.1 Beshreiung Der MAILOFANT ist ein revisionssiheres wesiertes E-Milrhiv, welhes E-Mils unveränerr un lükenlos rhiviert. 1.2 Anlge es Arhivs Der
MehrChemisches Gleichgewicht
TU Ilmenu Chemishes Prktikum Versuh Fhgebiet Chemie 1. Aufgbe Chemishes Gleihgewiht Stellen Sie 500 ml einer 0,1m N her! estimmen Sie die genue onzentrtion der hergestellten N mit zwei vershiedenen Anlysenmethoden
MehrZDfB_Ü01_LV_06 120206. Felix Brandl München ZERTIFIKAT DEUTSCH FÜR DEN BERUF ÜBUNGSSATZ 01. Kandidatenblätter LESEVERSTEHEN ZEIT: 40 MINUTEN
Felix Brndl Münhen ZDfB_Ü01_LV_06 120206 ZERTIFIKAT DEUTSCH FÜR DEN BERUF ÜBUNGSSATZ 01 Kndidtenlätter ZEIT: 40 MINUTEN Zertifikt Deutsh für den Beruf Üungsstz 01 Aufge 1 Bitte lesen Sie den folgenden
MehrDie Philosophisch-historische Fakultät der Universität Bern. erlässt
Stuienpln für s Bhelor- un Mster-Stuienprogrmm Estern Europen Stuies / Osteurop-Stuien / Étues e l Europe orientle er Universität Bern in Zusmmenreit mit er Universität Friourg vom 1. August 2009 Die Philosophish-historishe
MehrGESTRA SPECTORcom-Gateway. Kessel- und Brennersteuerung Durch das Intranet, Internet oder GSM-Netz ins Kesselhaus
GESTRA -Gtewy - un steuerung Durh s Intrnet, oer GSM-Netz ins hus Die Systemvorteile im einzelnen Mit em -Gtewy ist es GESTRA gelungen, ie Welt er steuerung mit er er Wsserseite zu verinen. Ein kleines,
MehrG4_S01 Seite 2. Licht und Farbe (Fortsetzung) Untersuchung des neuen T-Shirts
Emil un Anres gehen in ein Kleiungsgeshäft, um ein ornges T-Shirt zu kufen. Auf em Nhhuseweg öffnen sie ihre Einkufstshe, um einem Freun s neue ornge T-Shirt zu zeigen. Sie sin üerrsht, ss s T-Shirt rot
MehrKapitel 6 E-Mails schreiben und organisieren
Kpitel 6 E-Mils shreien und orgnisieren Die Kommuniktion vi E-Mil ist heute essenziell. Und Ihr M ist estens gerüstet für den Empfng, ds Verfssen und die Orgnistion von E-Mils. Wie Sie effektiv mit dem
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2012. Sprachen. Grammatiken (Einführung)
Wörter, Grmmtiken und die Chomsky-Hierrchie Sprchen und Grmmtiken Wörter Automten und Formle Sprchen lis Theoretische Informtik Sommersemester 2012 Dr. Snder Bruggink Üungsleitung: Jn Stückrth Alphet Ein
MehrHier beginnen MFC-J470DW
Instlltionsnleitung Hier eginnen MFC-J470DW Lesen Sie zuerst ie Proukt-Siherheitshinweise, evor Sie s Gerät in Betrie nehmen. Lesen Sie nn iese Instlltionsnleitung zur korrekten Einrihtung un Instlltion.
MehrCMS Datenübertragung. 12V-Signal
CMS tenüertrgung V-Signl Vom Computer ruht mn prllele Leitungen für en Aress/tenus un zwei Steuerleitungen für en Aressekoer. O ie Leitungen ls Aressen oer ten ehnelt weren, wir üer ie Steuerleitungen
MehrInnenraum-Lasttrennschalter H 22. Ein- oder Dreipolige Ausführung Bemessungs-Spannung 12, 25 und 38,5 kv Bemessungs-Strom 630 und 1250 A
Innenrm-Lsrennshler H 22 Ein- oer Dreiolige sührng Bemessngs-Snnng 12, 25 n 8,5 Bemessngs-Srom n 12 Inhl: DRIESCHER - Innenrm-Lsrennshler n Lsshler- Siherngs-Kominion H 22 nh EN 60265-1 n EN 62271-105
MehrLesen Sie diese Installationsanleitung, bevor Sie das Gerät verwenden, um es richtig einzurichten und zu installieren.
Instlltionsnleitung Hier eginnen MFC-6490CW Lesen Sie iese Instlltionsnleitung, evor Sie s Gerät verwenen, um es rihtig einzurihten un zu instllieren. WARNUNG Wrnungen, ie ehtet weren müssen, um Verletzungsgefhr
MehrGetriebe und Übersetzungen Übungsaufgaben
Gewereshule Lörrh Getriee und Üersetzungen Üungsufgen Quelle: Ai-Prüfungen des Lndes Bden-Württeerg 1 HP 1996/97-1 Shiffsufzug Bei der Bergfhrt uss von jeder Motor-Getrieeeinheit eine Krftdifferenz von
MehrAussichten A1. Einstufungstest. Autorin: Sanja Mazuranic Redaktion: Renate Weber Layout: Claudia Stumpfe Satz: Regina Krawatzki, Stuttgart
Aussihten A1 Autorin: Snj Mzurni Rektion: Rente Weer Lyout: Clui Stumpfe Stz: Regin Krwtzki, Stuttgrt Ernst Klett Sprhen GmH, Stuttgrt 2010 www.klett.e Alle Rehte vorehlten. Aussihten A1 Aussihten A1 Aufgenltt
MehrSpannung galvanischer Zellen (Zellspannungen)
Spnnung glvnisher Zellen (Zellspnnungen) Ziel des Versuhes Kennenlernen der Abhängigkeit der Zellspnnung von den Konzentrtionen der potenzilbestimmenden Ionen (Nernst-Gleihung). Anwendung der Zellspnnungsmessung
MehrOptik. Beugung am Doppelspalt und an Mehrfachspalten. LD Handblätter Physik P5.3.1.2. 0713-Bi. Wellenoptik Beugung. Versuchsziele.
Optik Wellenoptik Beugung LD Hnblätter Physik Beugung m Doppelsplt un n Mehrfchsplten Versuchsziele! Untersuchung er Beugung m Doppelsplt bei verschieenen Spltbstänen.! Untersuchung er Beugung m Doppelsplt
MehrMcAfee Firewall Enterprise Control Center
Hnuh für en Shnellstrt Revision A MAfee Firewll Enterprise Control Center Version 5.3.1 In iesem Hnuh für en Shnellstrt finen Sie llgemeine Anweisungen zum Einrihten von MAfee Firewll Enterprise Control
MehrÜBUNGSSATZ 01 ZERTIFIKAT DEUTSCH FÜR DEN BERUF. Kandidatenblätter STRUKTUREN UND WORTSCHATZ ZEIT: 30 MINUTEN. ZDfB_Ü01_SW_06 120206
Felix Brndl Münhen ZDfB_Ü01_SW_06 120206 ZERTIFIKAT DEUTSCH FÜR DEN BERUF ÜBUNGSSATZ 01 Kndidtenlätter ZEIT: 30 MINUTEN Zertifikt Deutsh für den Beruf Üungsstz 01 Aufge 1 Lesen Sie den folgenden Text zuerst
MehrLesen Sie diese Installationsanleitung, bevor Sie das Gerät verwenden, um es richtig einzurichten und zu installieren.
Instlltionsnleitung Hier eginnen MFC-490CW Lesen Sie iese Instlltionsnleitung, evor Sie s Gerät verwenen, um es rihtig einzurihten un zu instllieren. WARNUNG Wrnungen, ie ehtet weren müssen, um Verletzungsgefhr
MehrMcAfee Firewall Enterprise Control Center
Shnellstrt Hnuh Revision A MAfee Firewll Enterprise Control Center Version 5.3.x In iesem Hnuh für en Shnellstrt finen Sie llgemeine Anweisungen zum Einrihten von MAfee Firewll Enterprise Control Center
MehrRichtlinie Wohnungsbau
es Lnes Brnenurg für ie Üernhme von Bürgshften zur Förerung es Wohnungswesens Gemeinsmer Runerlss es Ministeriums er Finnzen un es Ministeriums für Sttentwiklung, Wohnen un Verkehr - jetzt: Ministerium
MehrMusterexamen Foundation in ISMS according to ISO/IEC 27001
Musterexmen Fountion in ISMS oring to ISO/IEC 27001 Exmensnummer: Musterprüfung_ISO27kFND_DE_200_v2.0 Inhlt 2 Einführung 3 Exmen Sämtlihe Unterlgen sin nh Ashluss es Exmens zurükzugeen. Die ei em Exmen
MehrUnterwegs. 1 Ordnen Sie zu. 2 Sehen Sie die Fotos an. Was meinen Sie? Sprechen Sie. 3 Sehen Sie die Fotos an und hören Sie. vierzig 40 LEKTION 11
11 Unterwegs 1 2 5 6 FOLGE 11: MÄNNER! 1 Ordnen Sie zu. ds Auto die Tnkstelle die Grge der Führerusweis A B C D... ds Auto......... 2 Sehen Sie die Fotos n. Ws meinen Sie? Sprehen Sie. d Foto 1: Ws will
MehrKleines Deutschlandquiz
Kleines Deutshlndquiz 0 Stimmen diese Aussgen üer Deutshlnd? Kreuzen Sie n. d e f g h i j k l Die Bundesrepulik Deutshlnd esteht us 6 Bundesländern. Jedes Bundeslnd ht einen eigenen Bundesknzler / eine
MehrZ R Z R Z R Z = 50. mit. aus a) Z L R. Wie groß ist der Leistungsfaktor cos der gesamten Schaltung?
Aufge F 99: Drehstromverruher Ein symmetrisher Verruher ist n ds Drehstromnetz ( 0 V, f 50 Hz) ngeshlossen. Die us dem Netz entnommene Wirkleistung eträgt,5 kw ei einem eistungsfktor os 0,7. ) Berehnen
MehrANATOMIE-QUIZ KÖRPER-QUIZ
ANATOMIE-QUIZ KÖRPER-QUIZ 1 Viel Spß eim Rätseln! Dein Körper esteht us vielen Orgnen, die in gnz esonderer Weise zusmmenreiten. Die meisten Orgne kennst du ereits, sie hen eine estimmte Form und einen
MehrKarlsruher Institut für Technologie
Krlsruher Institut für Technologie Lehrstuhl für Progrmmierprdigmen Sprchtechnologie und Compiler WS 2010/2011 Dozent: Prof. Dr.-Ing. G. Snelting Üungsleiter: Mtthis Brun Lösung zu Üungsltt 1 Ausge: 18.04.2012
MehrLösungsskizze zu Übungsblatt Nr. 13
Technische Universität Dortmund Lehrstuhl Informtik VI Prof Dr Jens Teuner Pflichtmodul Informtionssysteme (SS 2013) Prof Dr Jens Teuner Leitung der Üungen: Geoffry Bonnin, Sven Kuisch, Moritz Mrtens,
MehrModellreihe RV74* Digital Modellreihe TV74* Digital Modellreihe XV74* Digital Modellreihe ZV74* Digital Modellreihe VL74* Digital Modellreihe YL74*
Moellreihe RV74* Digitl Moellreihe TV74* Digitl Moellreihe XV74* Digitl Moellreihe ZV74* Digitl Moellreihe VL74* Digitl Moellreihe YL74* Digitl Moellreihe WL74* Digitl Deutsh Inhltsverzeihnis AUFSTELLEN
MehrHier beginnen MFC-J4410DW
Instlltionsnleitung Hier eginnen MFC-J440DW MFC-J460DW Lesen Sie zuerst ie Proukt-Siherheitshinweise, evor Sie s Gerät in Betrie nehmen. Lesen Sie nn iese Instlltionsnleitung zur korrekten Einrihtung un
MehrOrientierungshilfe zu Auswahltests Training, Tipps und Taktik Bundesagentur für Arbeit
Informtionen für Jugendlihe Orientierungshilfe zu Auswhltests Trining, Tipps und Tktik Bundesgentur für Areit Bundesgentur für Areit I N H A LT Orientierungshilfe zu Auswhltests Inhlt Seite 3 Vorwort
Mehr34. Bundesentscheid im Leistungspflügen vom 18. bis 22. September 2014
34. Bunesentshei im Leistungspflügen vom 18. is 22. Septemer 2014 Wettewersteil Theorie Allgemeine Hinweise: Die Anforerungen n ie lnwirtshftlihe Prxis weren immer umfngreiher. Die rihtige Nutzung un er
MehrHaus B Außenwand, Sockel
Hus B 18 Außenwnd, Sokel 19 Innenwnd, Bodenpltte 20 Außenwnd, Fundment 21 Innenwnd, Fundment 22 Außenwnd, Deke, Fenster 23 Innenwnd, Deke, Tür 24 Außenwnd, Trufe 25 Außenwnd, Ortgng 26 Außenwnd, Eke 27
MehrModelltest 1 ZERTIFIKAT DEUTSCH. www.telc.net
Modelltest 1 ZERTIFIKAT DEUTSCH B1 www.tel.net INHALT Hinweis für Kursteilnehmende 03 Die Prüfung zum Zertifikt Deutsh (Üersiht) 4 Shriftlihe Prüfung Leseverstehen 6 Sprhusteine 12 Hörverstehen 16 Shriftliher
MehrControlling als strategisches Mittel im Multiprojektmanagement von Rudolf Fiedler
von udolf Fiedler Zusmmenfssung: Der Beitrg eshreit die Aufgen des Projektontrollings, insesondere des strtegishen Projektontrollings. Für die wesentlihen Aufgenereihe werden prktikle Instrumente vorgestellt.
MehrSkript für die Oberstufe und das Abitur 2015 Baden-Württemberg berufl. Gymnasium (AG, BTG, EG, SG, WG)
Sript für die Oerstufe und ds Aitur Bden-Württemerg erufl. Gymnsium (AG, BTG, EG, SG, WG) Mtrizenrechnung, wirtschftliche Anwendungen (Leontief, Mterilverflechtung) und Linere Optimierung Dipl.-Mth. Alexnder
Mehr1 152.17. 1. Gegenstand und Zweck
5.7. März 0 Verordnung üer die Klssifizierung, die Veröffentlihung und die Arhivierung von Dokumenten zu Regierungsrtsgeshäften (Klssifizierungsverordnung, KRGV) Der Regierungsrt des Kntons Bern, gestützt
MehrMcAfee Firewall Enterprise, Multi Firewall Edition
Shnellstrt Hnuh Revision A MAfee Firewll Enterprise, Multi Firewll Eition Version 8.3.x In iesem Hnuh für en Shnellstrt finen Sie llgemeine Anweisungen zum Einrihten von MAfee Firewll Enterprise, Multi
MehrProjektmanagement Selbsttest
Projektmngement Selsttest Oliver F. Lehmnn, PMP Projet Mngement Trining www.oliverlehmnn-trining.de Dieses Dokument drf frei verteilt werden, solnge seine Inhlte einshließlih des Copyright- Vermerks niht
MehrModellreihe RV74* Digital Modellreihe TV74* Digital Modellreihe XV74* Digital Modellreihe ZV74* Digital Modellreihe VL74* Digital Modellreihe YL74*
WL74_WeOM_DE.ook Pge 1 Wenesy, July 14, 2010 6:09 PM Moellreihe RV74* Digitl Moellreihe TV74* Digitl Moellreihe XV74* Digitl Moellreihe ZV74* Digitl Moellreihe VL74* Digitl Moellreihe YL74* Digitl Moellreihe
Mehr750 + 142,50 = 892,50 Nettopreis Umsatzsteuer Bruttopreis
2.7 Verminderter und vermehrter Grundwert 41 Beispiel: Bruttobetrg, Nettobetrg, Umstzsteuer Profirdfhrer Klus kuft sih ein Mountinbike. Ds Fhrrd kostet einshließlih 19 % Umstzsteuer 892,50. Ds Finnzmt
MehrSTUDIENPLAN ZUM STUDIENGANG BACHELOR VOLKSWIRTSCHAFTSLEHRE UNIVERSITÄT BERN VOM 1. SEPTEMBER 2006
STUDIENPLAN ZUM STUDIENGANG BACHELOR VOLKSWIRTSCHAFTSLEHRE UNIVERSITÄT BERN VOM 1. SEPTEMBER 2006 Die Wirtshfts- un Sozilwissenshftlihe Fkultät er Universität Bern erlässt, gestützt uf Artikel 39 Astz
MehrRock? Passt der. Personen beschreiben
10 Psst der Rok? Personen eshreien Denken Sie n drei Personen. Ws ist für die Personen typish? Mhen Sie Notizen. Ws gefällt Ihnen ( )? Ws finden Sie niht so gut ( )? Wie sieht die Person us? jung / lt
MehrÜbungssatz 01 FIT IN DEUTSCH 2. Kandidatenblätter/Prüferblätter ISBN: 3-938744-79-0. FIT2_ÜS01_Kandidaten-/Prueferblaetter_Juli_2005
KASTNER AG ds medienhus FIT2_ÜS01_Kndidten-/Prueferletter_Juli_2005 FIT IN DEUTSCH 2 Kndidtenlätter/Prüferlätter ISBN: 3-938744-79-0 Inhlt Vorwort 3 Kndidtenlätter Hören 5 Lesen 13 Shreien 21 Sprehen 25
MehrDie Brückenlappentechnik zum sicheren Verschluss von Nasenseptumdefekten
Die Brückenlppentechnik zum sicheren Verschluss von Nsenseptumdefekten T. Stnge, H.-J. Schultz-Coulon Einleitung Die Rekonstruktion eines defekten Nsenseptums zählt zu den schwierigsten rhinochirurgischen
MehrLösungsskizze zu Übungsblatt Nr. 13
Technische Universität Dortmund Lehrstuhl Informtik VI Prof Dr Jens Teuner Pflichtmodul Informtionssysteme (SS 2014) Prof Dr Jens Teuner Leitung der Üungen: Mrcel Preuß, Sestin Breß, Mrtin Schwitll, Krolin
Mehr294 20 Rekombinante DNA-Technologien
9 0 Rekominnte DN-Tehnologien 0.1 Expression rekominnter roteine 95. 0.1 Expression eines Fusionsproteins in E. oli. Ds Expressionsplsmid enthält neen einem Resistenzgen (mp r ) und dem Repliktionsstrt
MehrDas customized Alignersystem
Inwieweit durh Einstz modernster Computertehnologie die Aktivierung von Korrekturshienen noh präziser relisiert werden knn, demonstriert Dr. Wjeeh Khn nhnd des von ihm entwikelten orthops -Alignersystems*.
MehrModelltest 1. www.telc.net
Modelltest 1 ZERTIFIKAT DEUTSCH B1 www.tel.net Inhlt Hinweis für Kursteilnehmende 03 Die Prüfung zum Zertifikt Deutsh (Üersiht) 4 Shriftlihe Prüfung Leseverstehen 6 Sprhusteine 12 Hörverstehen 16 Shriftliher
MehrAutogene Milchzahntransplantation
Ein Falleriht Autogene Milhzahntransplantation Dirk Nolte et al. Die autogene Milhzahntransplantation ist eine relativ unekannte Methoe es Einzelzahnersatzes, ie erstaunlih gute klinishe Ergenisse liefert.
Mehr1KOhm + - y = x LED leuchtet wenn Schalter x gedrückt ist
. Ohm = LED leuchtet wenn chlter gedrückt ist 2. Ohm = NICH ( = NO ) LED leuchtet wenn chlter nicht gedrückt ist = ist die Negtion von? Gibt es so einen kleinen chlter (Mikrotster)? 2. Ohm = UND LED leuchtet
MehrSie das Gerät aus und überprüfen Sie den Lieferumfang. Netzkabel. Trägerbogen/Plastikkarten-Trägerbogen DVD-ROM
Instlltionsnleitung Hier eginnen ADS-2100 Lesen Sie zuerst die Produkt-Siherheitshinweise, evor Sie ds Gerät einrihten. Lesen Sie dnn diese Instlltionsnleitung zur korrekten Einrihtung und Instlltion.
MehrÜbungssatz 01 FIT IN DEUTSCH 1. Kandidatenblätter/Prüferblätter ISBN: 3-938744-76-6. FIT1_ÜS01_Kandidaten-/Prueferblaetter_Oktober_2005
KASTNER AG ds medienhus FIT_ÜS_Kndidten-/Prueferletter_Oktoer_5 FIT IN DEUTSCH Üungsstz Kndidtenlätter/Prüferlätter ISBN: 3-938744-76-6 Fit in Deutsh. Üungsstz Inhlt Vorwort 3 Kndidtenlätter Hören 5 Lesen
MehrZert. Übungssatz 1 ZERTIFIKAT DEUTSCH. Übungssatz 1
ZD Zert Z E R T I F I K AT D E U T S C H Stndrdisiert, ojektiv in der Bewertung, trnsprent in den Anforderungen ds sind die unverwehselren Qulitätsmerkmle der Prüfungen zu den Europäishen Sprhenzertifikten.
MehrSPRACHFERIEN KÜNZELSAU 2008
SPRACHFERIEN KÜNZELSAU 2008 (Mittelstufe) CODENUMMER: I. Lesen Sie den Text. Entsheiden Sie, welhe der Antworten ( ) psst. Es git jeweils nur eine rihtige Lösung. GEMEINSAM FÚR SPRACHE UND KULTUR Ashenputtel,
MehrPräfixcodes und der Huffman Algorithmus
Präfixcodes und der Huffmn Algorithmus Präfixcodes und Codebäume Im Folgenden werden wir Codes untersuchen, die in der Regel keine Blockcodes sind. In diesem Fll können Codewörter verschiedene Länge hben
MehrDie Regelungen zu den Einsendeaufgaben (Einsendeschluss, Klausurzulassung) finden Sie in den Studien- und Prüfungsinformationen Heft Nr. 1.
Modul : Grundlgen der Wirtschftsmthemtik und Sttistik Kurs 46, Einheit, Einsendeufge Die Regelungen zu den Einsendeufgen (Einsendeschluss, Klusurzulssung) finden Sie in den Studien- und Prüfungsinformtionen
MehrEufic Guide Enfant ALL 14/12/04 15:44 Page 1 10 Tipps für Kids Spiel mit uns! Zur gesundenernährung
Kids Ernährung für Tipps 10 Spiel mit uns! gesunden Zur Weißt du noch, wie du Rd fhren lerntest? Ds Wichtigste dei wr zu lernen ds Gleichgewicht zu hlten. Sold es gefunden wr, konntest du die Pedle gleichmäßig
Mehr3 Module in C. 4 Gültigkeit von Namen. 5 Globale Variablen (2) Gültig im gesamten Programm
3 Module in C 5 Glole Vrilen!!!.c Quelldteien uf keinen Fll mit Hilfe der #include Anweisung in ndere Quelldteien einkopieren Bevor eine Funktion us einem nderen Modul ufgerufen werden knn, muss sie deklriert
MehrADSORPTIONS-ISOTHERME
Institut für Physiklishe Chemie Prktikum Teil und B 8. DSORPTIONS-ISOTHERME Stnd 30/0/008 DSORPTIONS-ISOTHERME. Versuhspltz Komponenten: - Büretten - Pipetten - Shütteltish - Wge - Filtriergestell - Behergläser.
MehrModellreihe TL96* Digital Modellreihe UL97* Digital Modellreihe ML96* Digital
Moellreihe TL96* Digitl Moellreihe UL97* Digitl Moellreihe ML96* Digitl EUROPEAN UNION ECOLABEL Awre to goos or servies whih meet the environmentl requirements of the EU eolelling sheme Deutsh Inhltsverzeihnis
MehrTeil V: Formale Sprachen
Formle Sprchen Teil V: Formle Sprchen 1. Sprchen und Grmmtiken 2. Endliche Automten Frnz-Josef Rdermcher & Uwe Schöning, Fkultät für Ingeneurwissenschften und Informtik, Universität Ulm, 2008/09 Formle
MehrMcAfee Firewall Enterprise
Hnduh für den Shnellstrt Revision C MAfee Firewll Enterprise Version 8.3.x In diesem Hnduh für den Shnellstrt finden Sie kurzgefsste Anweisungen zum Einrihten von MAfee Firewll Enterprise. 1 Üerprüfen
MehrDIN 41612/60603-2 Steckverbinder und ergänzende Komponenten. www.erni.com. Katalog D 074559 11/09 Ausgabe 2
DIN /00- tekverinder und ergänzende Komponenten www.erni.om Ktlog D 09 /09 Ausge www.erni.om Ctlog E 0 Ktlog 0/0 D 09 /09 Edition Ausge www.erni.om DIN /IEC 00- tekverinder Inhltsverzeihnis DIN /IEC 00-
MehrSatzung Elephants Club e.v. Stand Dezember 2010. ELEPHANTS CLUB e. V. Vereinsregister-Nr.: 10751, Amtsgericht Frankfurt/Main
Stzung Elephnts Clu e.v. Stnd Dezemer 2010 ELEPHANTS CLUB e. V. Vereinsregister-Nr.: 10751, Amtsgeriht Frnkfurt/Min 1 Nme, Sitz und Geshäftsjhr 1.1 Der Nme der Vereines lutet: Elephnts Clu e.v. 1.2 Der
MehrLicht- und rasterelektronenmikroskopischen Aufnahmen zur prae- und perinatalen Entwicklung der Hundekralle
ABBILDUNGEN 207 8. ABBILDUNGEN Liht- und rsterelektronenmikroskopishen Aufnhmen zur pre- und perintlen Entwiklung der Hundekrlle Wenn niht nders ngegeen, sind Längsshnitte uf den Aildungen mit der Krllensis
Mehr13 Rekonfigurierende binäre Suchbäume
13 Rekonfigurierende inäre Suchäume U.-P. Schroeder, Uni Pderorn inäräume, die zufällig erzeugt wurden, weisen für die wesentlichen Opertionen Suchen, Einfügen und Löschen einen logrithmischen ufwnd uf.
Mehredatenq ist eine Anwendung, die den Unternehmen die Möglichkeit bietet, ihre statistischen Meldungen über das Internet auszufüllen und einzureichen.
Mnuell edatenq Fremdenverkehrs- und Gstgeweresttistik Einleitung edatenq ist eine Anwendung, die den Unternehmen die Möglichkeit ietet, ihre sttistischen Meldungen üer ds Internet uszufüllen und einzureichen.
MehrUNIVERSITÄT KARLSRUHE Institut für Analysis HDoz. Dr. P. C. Kunstmann Dipl.-Math. M. Uhl. Sommersemester 2009
UNIVERSIÄ KARLSRUHE Institut für Anlysis HDoz. Dr. P. C. Kunstmnn Dipl.-Mth. M. Uhl Sommersemester 9 Höhere Mthemti II für die Fchrichtungen Eletroingenieurwesen, Physi und Geodäsie inlusive Komplexe Anlysis
MehrSeminar Quantum Computation - Finite Quanten-Automaten und Quanten-Turingmaschinen
Seminr Quntum Computtion - Finite Qunten-Automten und Qunten-Turingmschinen Sebstin Scholz sscholz@informtik.tu-cottbus.de Dezember 3. Einleitung Aus der klssischen Berechenbrkeitstheorie sind die odelle
MehrSie das Gerät aus und überprüfen Sie den Lieferumfang
Instlltionsnleitung Hier eginnen MFC-7360N MFC-7460DN Lesen Sie itte ie Broshüre Siherheitshinweise un Vorshriften, evor Sie s Gerät in Betrie nehmen. Lesen Sie nshließen iese Instlltionsnleitung für eine
MehrGerd Wöstenkühler. Grundlagen der Digitaltechnik Elementare Komponenten, Funktionen und Steuerungen
Gerd Wöstenkühler Grundlgen der Digitltehnik Elementre Komponenten, Funktionen und Steuerungen Inhlt 1 Einleitung... 11 1.1 Anloge unddigitledrstellungsformen... 11 1.1.1 AnlogeGrößendrstellung... 11 1.1.2
MehrBestimmung der Adsorptionsisotherme von Essigsäure an Aktivkohle
S2-Adsorptionsisothermen_UWW rstelldtum 28.3.214 7:41: Üungen in physiklischer Chemie für Studierende der Umweltwissenschften Versuch Nr.: S2 Version 214 Kurzezeichnung: Adsorptionsisotherme estimmung
MehrWirtschaft, Arbeit, Haushalt. mit Hauswirtschaft Kompetenzaufbau 3. Zyklus
Wirtshft, Areit, Hushlt mit Huswirtshft Kompetenzufu. Zyklus Elemente es Kompetenzufus Weitere Informtionen zu en Elementen es Kompetenzufus sin im Kpitel Üerlik zu finen. Impressum Herusgeer: Deutshshweizer
MehrModellreihe WL86* Digital Modellreihe YL86* Digital Modellreihe YL87* Digital
Moellreihe WL86* Digitl Moellreihe YL86* Digitl Moellreihe YL87* Digitl EUROPEAN UNION ECOLABEL Awre to goos or servies whih meet the environmentl requirements of the EU eolelling sheme Deutsh Inhltsverzeihnis
MehrSolatube Brighten Up -Serie
Soltue Brighten Up -Serie Soltue 60 DS DS-Tgeslihteleuhtungssystem Soltue 290 DS DS-Tgeslihteleuhtungssystem Montgenleitung 8 Teileliste * Anzhl Kuppel mit Ryender 3000-Tehnologie (). Kuppelstoßdämpfer*
MehrThema 13 Integrale, die von einem Parameter abhängen, Integrale von Funktionen auf Teilmengen von R n
Them 13 Integrle, die von einem Prmeter bhängen, Integrle von Funktionen uf Teilmengen von R n Wir erinnern drn, dß eine Funktion h : [, b] R eine Treppenfunktion ist, flls es eine Unterteilung x < x 1
MehrKommunizierende Workflow-Services modellieren und analysieren
Informtik - Forshung und Entwiklung mnusript No. (will e inserted y the editor) Wolfgng Reisig Krsten Shmidt Christin Sthl Kommunizierende Workflow-Servies modellieren und nlysieren Eingegngen: dte / Angenommen:
Mehr3 Exzisionstechniken und Defektdeckungen in speziellen Lokalisationen
95 3 Exzisionstehniken und Defektdekungen in speziellen Loklistionen 3.1 Kopf-Hls-Region Voremerkungen Die Häufigkeit störender Veränderungen sowie enigner und mligner kutner Neuildungen im Kopf-Hls- Bereih
MehrÜbungssatz 2 für Integrationskurse
Üungsstz 2 für Integrtionskurse ZERTIFIKAT DEUTSCH B1 Inhlt Hinweis für Kursteilnehmende 03 Die Prüfung zum Zertifikt Deutsh (Üersiht) 4 Shriftlihe Prüfung Leseverstehen 6 Sprhusteine 12 Hörverstehen 15
Mehr