Formale Grundlagen der Informatik II Veranstaltungsreihe
Alternative Content

Dauer: 78 Min. | MP4: 324 MB   100   Aufrufe

Priv.-Doz. Dr. Michael Köhler-Bußmeier; Dr. Daniel Moldt
25 - Parallele Maschinen

Lecture2go Lizenz 
Priv.-Doz. Dr. Michael Köhler-Bußmeier; Dr. Daniel Moldt
25 - Parallele Maschinen

  
  
  
  
  
  

Klicken Sie auf eines der Bilder bzw. Links, um die gewünschte Datei herunterzuladen! Es stehen bis zu 5 unterschiedliche Dateien zur Verfügung: Video (Mp4, maximal 960x480 Pixel), Audio (Mp3), Video mobil (M4V, maximal 640x480 Pixel), Hörbuch (M4A, Audiodateien, können Kapitel enthalten)
Priv.-Doz. Dr. Michael Köhler-Bußmeier; Dr. Daniel Moldt
25 - Parallele Maschinen

  Video-Feed Große Videos (MP4, maximal 960x480 Pixel)

  Audio-Feed Standard-Audiodateien (MP3)

  Mobile-Feed Kleine Videos für mobile Endgeräte (M4V, maximal 640x480 Pixel)

  Hörbuch-Feed Audiodateien, die Kapitel enthalten können (M4A)

Sie können RSS-Feeds bzw. Podcasts dieser Veranstaltung abonnieren. Verwenden Sie dazu den Link des gewünschten Feeds. Alle Feeds enthalten Verweise auf die jeweiligen Videos der gesamten Reihe sowie gegebenenfalls die angegebenen Video- oder Audio-Dateien Weitere Informationen
Priv.-Doz. Dr. Michael Köhler-Bußmeier; Dr. Daniel Moldt
25 - Parallele Maschinen

  

  
  

Dieses Video darf in andere Webseiten eingebunden werden. Kopieren Sie dazu den Code zum Einbetten und fügen Sie diesen an der gewünschten Stelle in den HTML-Text einer Webseite ein. Geben Sie dabei bitte immer die Quelle an und verweisen Sie auf Lecture2Go!
Moldt: 27 - KKN, CPN, Datenbankmanager, Renew
[31.01.2012 - 12:15 Uhr]
Moldt: 26 - Parallele Algorithmen, Paralleles Suchen...
[26.01.2012 - 12:37 Uhr]
Moldt: 25 - Parallele Maschinen
[24.01.2012 - 12:38 Uhr]
Moldt: 24 - Workflow, Bankiersproblem
[19.01.2012 - 12:34 Uhr]
Moldt: 23 - Workflow, KKN
[17.01.2012 - 12:28 Uhr]
Moldt: 22 - Die Vorlesung konnte aufgrund technische...
[12.01.2012 - 12:15 Uhr]
Moldt: 21 - Petrinetzprozesse, Zeitstempel in vertei...
[10.01.2012 - 13:27 Uhr]
Moldt: 21 - Petrinetzprozesse, Zeitstempel in vertei...
[10.01.2012 - 12:15 Uhr]
Moldt: 20 - Fairness, partial order semantics
[22.12.2011 - 12:15 Uhr]
Köhler-Bußmeier: 19 - Verzweigungs-Bisimulation
[20.12.2011 - 12:57 Uhr]
Köhler-Bußmeier: 18 - Rekursion
[15.12.2011 - 12:24 Uhr]
Köhler-Bußmeier: 17 - Parallele Komposition
[13.12.2011 - 12:24 Uhr]
Köhler-Bußmeier: 16 - "Verträglichkeit" der Bisimulation mit B...
[08.12.2011 - 12:24 Uhr]
Köhler-Bußmeier: 15 - Prozessalgebra
[06.12.2011 - 12:28 Uhr]
Köhler-Bußmeier: 14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairne...
[01.12.2011 - 12:23 Uhr]
Köhler-Bußmeier: 13 - Zustandsraumexplosion
[29.11.2011 - 12:25 Uhr]
Köhler-Bußmeier: 12 - Algorithmus: Lebendigkeits-Invarianz
[24.11.2011 - 12:32 Uhr]
Köhler-Bußmeier: 11 - Unabhängigkeit von Beschränkheit, Lebend...
[22.11.2011 - 12:35 Uhr]
Köhler-Bußmeier: 10 - P/T Netze
[17.11.2011 - 12:15 Uhr]
Köhler-Bußmeier: 9 - Petrinetze
[15.11.2011 - 12:27 Uhr]
Köhler-Bußmeier: 8 - Komplexität: CTL-Model-Checking, Petrinet...
[10.11.2011 - 12:21 Uhr]
Köhler-Bußmeier: 7 - Model Checking
[08.11.2011 - 12:15 Uhr]
Köhler-Bußmeier: 6 - CTL- Formeln, Fairness
[03.11.2011 - 12:15 Uhr]
Köhler-Bußmeier: 5 - Temporale Logik, LTL - Formeln
[01.11.2011 - 12:28 Uhr]
Köhler-Bußmeier;: 4 - Kodierung von Kripkestrukturen, Mutual Ex...
[27.10.2011 - 12:23 Uhr]
Moldt: 3 - Äquivalenz von Systemen
[25.10.2011 - 12:24 Uhr]
Köhler-Bußmeier: 1 - Organisatorisches
[18.10.2011 - 12:22 Uhr]