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

4781 Results:

  1. Vermischtes

    2000, 82-83 (2000) ( Artikel ) J.-C. Schlage-Puchta, On triangular Billard , Comm. Math. Helv. 888, 1-5 (2001) ( pdf ) C. Frohn et al., The effect of HLA-C matching on acute renal transplant rejection , Nephrol

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/algebra/vermischtes/

  2. Verteilte Systeme

    Beginn 03.04.17 montags, 15-17 Uhr, SR 101, Albert-Einstein-Str. 22, Beginn 03.04.17 SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/vergangenesemesterbackup/sommersemester-2017/verteilte-systeme/

  3. Formulare

    Ausbildung Taucherdienstbuch: wird bei Kursbeginn ausgehändigt bzw. ist für einen Unkostenbeitrag von 5,-Euro beim Ausbildungsbetrieb zu erwerben. Prüfungsordnung für die Forschungstaucherprüfung Prüfungsantrag

    https://www.fotau.uni-rostock.de/en/aus-und-weiterbildung/downloads/formulare/

  4. Circular Ocean-bound Plastic

    With support from Interreg South Baltic, the project runs from 2023-2026, with a budget of more than 2.5 million euros. The project will conduct activities in several coastal cities in the South Baltic Sea

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/abfall-und-stoffstromwirtschaft/forschung/projekte/circular-ocean-bound-plastic/

  5. Campusbotschafter:in für das Fremdsprachenassistenzprogramm des Pädagogischen Austauschdienstes gesucht
    03.05.2024

    ädigung: 200 € bis 250 € pro Semester Ab wann? Oktober 2024 Wo? Universität Rostock Arbeitsinhalt: 5 bis 10 Stunden Arbeit pro Semester eine studiengangsübergreifende Veranstaltung (Vortrag, Info-Veranstaltung

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/campusbotschafterin-fuer-das-fremdsprachenassistenzprogramm-des-paedagogischen-austauschdienstes-gesucht-193627/

  6. Irakische Delegation zu Gast an der Uni
    24.09.2012

    Langer. Die Universität Mosul ist eine der größten Universitäten des Irak (ca. 40.000 Studierende und 5.000 Dozenten) und verfügt über einen exzellenten Ruf in der Forschung. Kontakt : Universität Rostock

    https://www.langer.chemie.uni-rostock.de/en/willkommen/aktuelles/meldungen/aktuelles/detailansicht-der-news/n/irakische-delegation-zu-gast-an-der-uni-5527-1/

  7. Irakische Delegation zu Gast an der Uni
    24.09.2012

    Langer. Die Universität Mosul ist eine der größten Universitäten des Irak (ca. 40.000 Studierende und 5.000 Dozenten) und verfügt über einen exzellenten Ruf in der Forschung. Kontakt : Universität Rostock

    https://www.langer.chemie.uni-rostock.de/en/news/news/detailansicht-der-news/n/irakische-delegation-zu-gast-an-der-uni-5527/

  8. Die aktuellen HP-Cluster am ITMZ

    handelt es sich dabei um die Cluster TITAN (Altsystem 2015 mit rund 300 Knoten Intel(R) Xeon(R) CPU E5-2640 v3 ) und HAUMEA (2019 mit rund 190Knoten Intel(R) Xeon(R) Gold 6248 CPU). Betriebskonzept HPC am

    https://www.itmz.uni-rostock.de/en/anwendungen/hochleistungsrechnen-hpc/am-itmz/die-aktuellen-hp-cluster-am-itmz/

  9. 21. Crusttag an der Universität Rostock

    auf insgesamt 28 abwechslungsreiche Vorträge. Die Vortrags-Slots sind jeweils 20 min (15 min Vortrag, 5 min Diskussion). Tagungsort wird wieder das Zoologische Institut, Universitätsplatz 2, sowie das benachbarte

    https://www.zoologie.uni-rostock.de/en/crusttag/

  10. 24. Norddeutsches Doktorandenkolloquium (NDDK)

    Vorträgen von Doktorand:innen (eine Person pro Arbeitskreis), die vom Publikum diskutiert werden (15+5 min), sowie einer umfangreichen Postersession mit gemeinsamem Grillabend. Die Vorträge werden ebenfalls

    https://www.chemie.uni-rostock.de/en/nddk24/

Displaying results 2041 to 2050 of 4781.
  • Previous
  • ...
  • 201
  • 202
  • 203
  • 204
  • 205
  • 206
  • 207
  • 208
  • 209
  • 210
  • ...
  • 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