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

4868 Results:

  1. State-of-the-Art ZEISS Micro-CT Delivered to the University of Rostock
    10.06.2026

    and tested by ZEISS specialists over the coming weeks. With an investment volume of approximately €2.5 million, the system will provide new opportunities for the non-destructive three-dimensional analysis

    https://www.inf.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/neues-zeiss-micro-ct-fuer-die-universitaet-rostock-eingetroffen-278503/

  2. Unbefristete Einstellung nach Bewirtschaftungsgrundsatz Anstrich f-4

    sollten hierbei bedacht werden: Finanzierung und Abrechnung ist aus Mitteln Dritter für mindestens 5 Jahre zulässig Fakultät gibt zur Absicherung eine Erklärung ab Tätigkeitsdarstellung und Stellenaus

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-prozesse/detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=140513&cHash=6156ee40501d2f1f1d3679ca23581f3f

  3. immer einzureichen

    rt nachreichen) 4. ggf. aktueller Aufenthaltstitel mit Zusatzblatt (auch bei Weiterbeschäftigung!) 5. Formblatt „Erklärung zur Prüfung der Versicherungspflicht“, bei Neueinstellungen mit Kopie des Soz

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-dokumente/ppp-dokument-detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=140063&cHash=4a62599cdeae6f8a49c37a3a2829332a

  4. Project Activities

    Delucchi 3:30–4:00 Break 4:00–5:30 Round Table Student project at Mt. Allison conference Friederike Münch, Sara Didriksen und Jule Andreeßen auf dem DICES-Workshop (II): 31.5. - 2.6.2023 Der zweite DICE [...] Deborah Beck, University of Texas at Austin Respondent: Ombretta Cesca (zoom) 3:30–4:00 Break 4:00–5:00 Student Session 1 The goddess Juno as a transtextual speaker in the epic tradition from Virgil to [...] of Rostock Mother Mary in the Homerocentones of Empress Eudocia Sara Didriksen, Aarhus University 5:30–6:30 Keynote Address: “Beyond Translation ” Gregory Crane, Tufts University (Owens Art Gallery) 6:30–7:30

    https://www.dices.uni-rostock.de/en/project-activities/

  5. Dr.-Ing. Martin Kurowski

    41st International Conference on Ocean, Offshore and Arctic Engineering. Volume 5A: Ocean Engineering. Hamburg, Germany. June 5–10, 2022. V05AT06A035. ASME. https://doi.org/10.1115/OMAE2022-78583. Rethfeldt [...] using model-based control as key to autonomous shipping" at - Automatisierungstechnik, vol. 70, no. 5, 2022, pp. 456-468. https://doi.org/10.1515/auto-2021-0146 Majohr, J., Kurowski, M.: Maritime Regelungs- [...] Planning for Berth-to-Berth Navigation of Modern Ships. at – Automatisierungstechnik 2015; Volume 63(5), DeGruyter Oldenbourg, 2015, pp. 368–379. Kurowski, M., Haghani, A., Koschorrek, P., & Jeinsch, T.

    https://www.rt.uni-rostock.de/en/arbeitsgruppe/mitarbeiter/dr-ing-martin-kurowski/

  6. Test_Grid

    , Wirtschafts- und Sozialwissenschaften, Sportwissenschaft Allgemeines und Bibliographien A (Kopie 5) Allgemeines und Bibliographien Der Bestand der Allgemeines und Bibliographien ist nach der Systematik [...] , Wirtschafts- und Sozialwissenschaften, Sportwissenschaft Allgemeines und Bibliographien A (Kopie 5) Allgemeines und Bibliographien Der Bestand der Allgemeines und Bibliographien ist nach der Systematik [...] , Wirtschafts- und Sozialwissenschaften, Sportwissenschaft Allgemeines und Bibliographien A (Kopie 5) Allgemeines und Bibliographien Der Bestand der Allgemeines und Bibliographien ist nach der Systematik

    https://www.ub.uni-rostock.de/en/bereichsbibliotheken-rostock/suedstadt/test-grid/

  7. Publications

    Kösters. Exact relation between singular value and eigenvalue statistics. Random Matrices Theory Appl. 5 1650015 (57 pages), 2016. F. Götze, H. Kösters and A. N. Tikhomirov. Asymptotic global spectra of products [...] Kösters. Exact relation between singular value and eigenvalue statistics. Random Matrices Theory Appl. 5 1650015 (57 pages), 2016. F. Götze, H. Kösters and A. N. Tikhomirov. Asymptotic global spectra of products

    https://www.mathematik.uni-rostock.de/en/department/professors-apl-prof/probability-theory/prof-dr-holger-koesters/publications/

  8. Ü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/

  9. 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/

  10. 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/

Displaying results 1851 to 1860 of 4868.
  • Previous
  • ...
  • 182
  • 183
  • 184
  • 185
  • 186
  • 187
  • 188
  • 189
  • 190
  • 191
  • ...
  • 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