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. Flurin Jecker liest aus "Lanz"
    12.12.2017

    geht's um 19:30 Uhr im Literaturhaus Rostock. Der Eintritt ist für Studenten frei, alle anderen zahlen 5€. Zum Inhalt: In einer Projektwoche soll der 14-jährige Lanz einen Blog schreiben. Erst sträubt er sich

    https://www.germanistik.uni-rostock.de/en/institut/aktuelles/aktuelle-informationen-des-instituts/detailansicht-der-news/n/flurin-jecker-liest-aus-lanz-183369/

  2. Mietrecht für Studierende
    06.06.2024, 5:04 pm

    Uhr in SR 1 statt. Da die Plätze durch das Workshop-Format begrenzt sind, meldet euch gerne bis zum 5. Juni 2024 um 13 Uhr an. Anmelden könnt ihr euch hier . Wenn wir am 29. Mai noch freie Plätze haben

    https://www.fachschaft.physik.uni-rostock.de/en/veranstaltungen-projekte/aktuelle-veranstaltungen/terminuebersicht/detailansicht/n/mietrecht-fuer-studierende-195885/

  3. Gastvortrag zur Klimakatastrophe mit Prof. Dr. Mojib Latif - NACHHOLTERMIN AM 25. JUNI 2024
    25.06.2024

    Zuwahl: Beitreten Zoom Meeting https://uni-rostock-de.zoom-x.de/j/62847341896?pwd=KQ10jCOa0RHScsWJQm5EJ6tN6Bnox7.1 Meeting-ID: 628 4734 1896 Kenncode: 615012

    https://www.juf.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/gastvortrag-zur-klimakatastrophe-mit-prof-dr-mojib-latif/

  4. Junior-Prof. Dana-Sophia Valentiner mit Preis ausgezeichnet

    an die beiden Wissenschaftler*innen. Die offizielle Verleihung des Förderpreises für Lehre findet am 5. Juli 2023, 14 Uhr in der Universitätskirche Rostock statt. Dana-Sophia Valentiner ist seit Dezember

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/karrierewegementoring/junior-prof-dana-sophia-valentiner-mit-preis-ausgezeichnet/

  5. Kaukasus-Ficht` (Picea orientalis)

    sei meistendeils blot so an 30 m hoch. Ehre vierkantigen Nadelbläder glänzen gräun un warden so von 5 bet 10 mm lang. De männlichen Zappen sitten an`t Enn` von lütten Telgen. De dalbammelnden Wiefzappen

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/kaukasus-ficht-picea-orientalis/

  6. 2022 - Schütt

    Methodik der Analyse und des anschließenden Regelungsentwurfs für die LC-Filteranwendung am Beispiel einer 5 MW Windturbine dargelegt. Die Kapitel führen nacheinander durch die verschiedenen Komplexitätsstufen

    https://www.iee.uni-rostock.de/en/forschung/leistungselektronik-und-elektrische-antriebe-lea/promotionen-lea/2022-schuett/

  7. Mehr Vielfalt in der Universität (Hochschulbereich)
    22.01.2025

    gestiegen (2023 = 3,9 %). Damit haben wir die Mindesthöhe der zu besetzenden Gesamtarbeitsplätze von 5 % nicht ganz erreicht, sind aber in einer positiven Tendenz und auch das ist Vielfalt. Das Sozialgesetzbuch

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/n/mehr-vielfalt-in-der-universitaet-hochschulbereich-231559/

  8. Verschiebung des DMS Updates vom 19.02.2025 auf den 04./05.03.2025
    05.02.2025

    Daher bitten wir Sie Folgendes zu berücksichtigen und einzuplanen: vom 4. März 2025, 6 Uhr, bis zum 5. März 2025, 18 Uhr, wird das DMS System weder lesend noch schreibend erreichbar sein sowie der Rech

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=232411&cHash=180d19ffc8ca509dc0b788d847a7a261

  9. „ Von Gnomik und Komik – Aspekte europäischer weltlicher Lyrik im 12. Jahrhundert“
    13.07.2021, 5:15 pm - 13.07.2021, 6:45 pm

    Zeit per Browser an den Vorträgen teilnehmen: https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 . Eine Übersicht der Termine und weitere Hinweise zum Zugang finden Sie unter der Adresse: https://www

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/von-gnomik-und-komik-aspekte-europaeischer-weltlicher-lyrik-im-12-jahrhundert/

  10. Mittendrin statt nur dabei – zur Integration in Deutschland Tagung zur (beruflichen) Integration von MigrantInnen
    12.09.2018, 9:15 am - 12.09.2018, 12:00 am

    vom IQ Netzwerk Mecklenburg-Vorpommern gezeigt. Anmeldung und Kontakt: Bitte melden Sie sich bis zum 5. September 2018 über das Online-Formular unter https://www.migra-mv.de/ zur Tagung an. Sie können auch

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/mittendrin-statt-nur-dabei-zur-integration-in-deutschland-tagung-zur-beruflichen-integration-von-migrantinnen-33627/

Displaying results 1681 to 1690 of 4797.
  • Previous
  • ...
  • 165
  • 166
  • 167
  • 168
  • 169
  • 170
  • 171
  • 172
  • 173
  • 174
  • ...
  • 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