Skip to main content Skip to footer
Deutsch Login

Vorlesungsverzeichnis

Stud.IP

Bibliothek

DFG

Petri Nets 2017

Model Checking Contest @ Petri Nets

Universität Rostock
Theoretische Informatik
  • Team
    • Portalseite Lehre
    • Lehrveranstaltungen
    • Studentische Arbeiten
    • Absolventen
      • Dissertationen
      • Diplomarbeiten
      • Masterarbeiten
      • Bachelorarbeiten
      • Hausarbeiten
      • Studienarbeiten
    • Didaktisches Kabinett
    • Forschungsziele
    • Projekte
    • Publikationen
    • Werkzeuge
    • Tools
      • Tool Listing
  • Institut für Informatik
  • Startseite
  • Suche
Reset

4797 Results:

  1. Überblick Lehre

    Grundlagen der Messtechnik (Pflichtmodul) 4. Semester: Systemdynamik und Regelungstechnik (Pflichtmodul) 5. Semester: Regelungssysteme im Zustandsraum (Vertiefungsmodul: Energie- u. Umwelttechnik) 6. Semester: [...] Grundlagen der Messtechnik (Pflichtmodul) 4. Semester: Systemdynamik und Regelungstechnik (Pflichtmodul) 5. Semester: Regelungssysteme im Zustandsraum (Vertiefungsmodul: Energie- u. Umwelttechnik) 6. Semester:

    https://www.com.uni-rostock.de/en/lehre/ueberblick-lehre/

  2. Antarktis-Expedition KGI 2016/2017

    Sauerstoffkonzentration, des pH-Wertes und der Kohlenstoffdioxoidkonzentration im Bodenwasser für 1,5 Monate ausgebracht und auch wieder geborgen wurden. Die Entnahme von Sedimentkernen zur Beprobung u [...] wurde. Die Tauchgänge dauerten maximal 45 min und wurden in -1 bis 1°C kaltem Wasser in maximal 10,5 m Wassertiefe durchgeführt. Überraschenderweise ist hier nicht der Taucheinsatz an sich eine kalte

    https://www.fotau.uni-rostock.de/en/berichte/reisen-bildet/antarktis-expedition-kgi-20162017/

  3. FT Lehrgang (2021)

    Kiel-Kronshagen : 11.3.2020 Praxisausbildung am Schweriner See (DLRG Station, Bad Kleinen) : 30.4.2021-12.5.2021 (täglicher Ablauf: 7:00Uhr 1000m FS im See + 9:00Uhr – 17:00Uhr Freiwasserausbildung z.T. bis 25m [...] Das alles führte vor allem dazu, dass in der Gruppe ganz schnell ein „Wir“-Gefühl entstand. Und nach 5 Wochen voller müder Morgen- Gesichter, unzählbaren geschwommenen Bahnen im Schwimmbad aber auch nach

    https://www.fotau.uni-rostock.de/en/aus-und-weiterbildung/informationen/naechster-ft-lehrgang-2021/

  4. Ampelsteuerung

    Designzyklus bis zur Logiksynthese! 3.4. Erläutern Sie den prinzipiellen Aufbau einer VHDL-Beschreibung! 3.5. Worin besteht der Unterschied zwischen einer VHDL-Strukturbeschreibung und einer VHDL-Verhaltensbe [...] optimalen Hardwareimplementierung! Erzeugen Sie die notwendigen Reports für die Syntheseergebnisse! 5. Literatur FPGA-Board Digilent NEXYS-2 N. H.E. Weste, K. Eshraghian: "Principles of CMOS VLSI Design";

    https://www.imd.uni-rostock.de/en/lehre/lehrangebote/prof-t-timmermann/laborpraktikum-vlsi-technik/ampelsteuerung/

  5. FAQ

    Internet Explorer Einstellungen zurücksetzen 4. Verfügbaren Plattenplatz im Home-Verzeichnis anzeigen 5. Fehlerhafte/hängende Remotedesktopsitzung beenden 6. Wie starte ich beliebige Windows-Anwendungen? [...] klicken auf Computer. Überprüfen Sie die Gesamtkapazität und die verfügbare Kapazität von Laufwerk R. 5. Fehlerhafte/hängende Remotedesktopsitzung beenden Tastenkombination STRG-ALT-ENDE drücken. Abmelden

    https://www.itmz.uni-rostock.de/en/onlinedienste/anwendungsserver-des-itmz/faq/

  6. Didaktische Leitlinien

    nkt geistige Entwicklung punktuell nicht länger als 5 Minuten eingesetzt werden. Innerhalb einer Unterrichtsstunde kann ein mehrfacher Einsatz (je 5 Minuten) bis zu drei Mal erfolgen. Aufgrund fehlender

    https://www.sopaed.uni-rostock.de/en/forschung/forschungsprojekte/projekt-histotec-1/leitlinien-1/

  7. Project outline

    aspect has been studied in historical case studies [2, 3, 4, 5, 6] as well as in literary studies with a systematizing claim. [7, 8, 9, 10, 11, 5] In order to broaden the horizon of these investigations with

    https://www.canspin.uni-rostock.de/en/research/project-outline/

  8. Applying to Master CSE

    skills (proof not older than two years) with TOEFL IBT with at least 90 points or IELTS with at least 6.5 points Applicants have to prove a first university degree qualifying for a profession in the subject [...] ns code) with more than 90 points a valid IELTS-Academic score report with an overall minimum of 6.5 A proof of knowledge about the German language is not required. Submitting of Application documents

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-2/computational-science-and-engineering-msc/cse-master-spso-2018/applying-to-master-cse-1/

  9. Imprint

    ng.de Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://www.elaine.uni-rostock.de/en/footer-englich/imprint/

  10. Effiziente Kandidaten-Generierung und Selektion im Parallelen Subgraph-Mining

    r Form vor. Das WossiDiA-System [4] verwendet zur Speicherung gerichtete, typisierte Hypergraphen [5]. Um typische Fragestellungen der Erzählforschung effizient und effektiv zu unterstützen, wird an der [...] online --- Strategien der Digitalisierung kultureller Archive und ihrer Präsentation im Internet, Volume 5 of Rostocker Beiträge zur Volkskunde und Kulturgeschichte, Waxmann, 2014, 61--84. MichaelJ.Anderson

    https://dbis.informatik.uni-rostock.de/en/studium/studentische-arbeiten/zu-vergeben/hydra2/effiziente-kandidaten-generierung-und-selektion-im-parallelen-subgraph-mining/

Displaying results 1831 to 1840 of 4797.
  • Previous
  • ...
  • 180
  • 181
  • 182
  • 183
  • 184
  • 185
  • 186
  • 187
  • 188
  • 189
  • ...
  • Next

Kontakt

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
18059 Rostock Tel.: +49 381 498 7641
Fax: +49 381 498 7642
E-Mail senden

Service

  • Imprint
  • Privacy
  • Barrierefreiheit
  • Maps

E-Mail Webmaster

Social Media

  • Facebook
  • YouTube
  • Instagram

© 2026  Universität Rostock