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

4867 Results:

  1. INFO.RO Förderpreis 2008/2009 für beste Diplomarbeit (02.03.2009)

    Prof. Dr. rer. nat. habil. em. Otto Fiedler († 2013) (Institut für Allgemeine Elektrotechnik) wird am 5. Oktober 2009 durch die Verleihung der Ehrendoktorwürde Dr.-Ing. E. h. der Technischen Universität

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2009/liste-langansicht/

  2. INFO.RO Förderpreis 2008/2009 für beste Diplomarbeit (02.03.2009)

    Prof. Dr. rer. nat. habil. em. Otto Fiedler († 2013) (Institut für Allgemeine Elektrotechnik) wird am 5. Oktober 2009 durch die Verleihung der Ehrendoktorwürde Dr.-Ing. E. h. der Technischen Universität

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2009/liste-langansicht/

  3. News 2018

    n (21.09.2018) 21.09.2018 Juniorstudium an der Uni Rostock auf Erfolgskurs (21.09.2018) 20.09.2018 5th International Workshop on Sensor-based Activity Recognition and Interaction – iWOAR 2018 (20.09. –

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2018/

  4. Vizekanzler 1837

    äußern Anstandes unter den Studirenden dienen kann, seine unausgesetzte Aufmerksamkeit zu widmen. § 5 Wir übertragen Unserm Vice-Canzler von Both ferner 1) die Censur der von den Professoren und Privatdocenten

    https://www.uni-rostock.de/en/universitaet/uni-gestern-und-heute/geschichte/materialien/quellen-dokumente/vizekanzler-1837/

  5. Ov. epist. 12

    regina vacavi, ars mea cum peteres ut tibi ferret opem! Tunc quae dispensant mortalia fata sorores, 5 debuerant fusos evoluisse meos; tum potui Medea mori bene. Quidquid ab illo produxi vitae tempore, poena

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/ov-epist-12/

  6. Pressemeldungen

    Projekte hatten sich bei der MINTchallenge "Kompetent für nachhaltige Entwicklung" beworben. Webseite der 5. MINTchallenge & Pressemitteilung der Universität Rostock Richard-Siegmann-Medaille für Frau Malz Frau

    https://www.werkstofftechnik.uni-rostock.de/en/pressemeldungen/

  7. FAQ Prüfungsamt - Von Studierenden für Studierende

    t für das Semester? Ja die gibt es. Du findest diese hier: Bachelorstudiengänge Masterstudiengänge 5. Wie und wann melde ich mich zu Modulprüfungen an? Grundsätzlich meldest du dich selbstständig in deinem

    https://www.wsf.uni-rostock.de/en/studium/beratung-und-hilfe/faq-pruefungsamt-von-studierenden-fuer-studierende/

  8. Publikationen 2024

    Explainable AI Smoke Detection at the Edge In Journal Big Data and Cognitive Computing, Vol. 8, Issue 5, Artikel Nr. 50, pp. 1-22, DOI: 10.3390/bdcc8050050 , ISSN: 2504-2289, MDPI-Verlag, Basel, Schweiz,

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2024/

  9. Arbeitgeber Engineering & Life Sciences 2026

    Prüfstellen Anzahl an MitarbeiterInnen: 400 Mitarbeitende in der Zentrale in Stuttgart; darüber hinaus 5.100 selbstständige und hauptberuflich tätige Sachverständige, Prüfingenieur*innen Gesuchte Studienr

    https://www.uni-rostock.de/en/studium/berufseinstieg/careers-service/portalseite-careers-service/arbeitgeber-finden/career-days/career-day-engineering-life-science/arbeitgeber-engineering-life-sciences/

  10. Workshops

    wir zunächst die Negativ-, dann die Positivkorrektur am Beispiel der Klassenarbeit eines Schülers der 5.Klasse. Wir erörterten gemeinsam, welchen Kategorien die Fehler zuzuordnen bzw. als wie schwerwiegend

    https://www.altertum.uni-rostock.de/en/institut/faecher/fachdidaktik-der-alten-sprachen/jahresfachtag-alte-sprachen/workshops/

Displaying results 3761 to 3770 of 4867.
  • Previous
  • ...
  • 373
  • 374
  • 375
  • 376
  • 377
  • 378
  • 379
  • 380
  • 381
  • 382
  • ...
  • 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