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

4861 Results:

  1. Elektrotechnik-Absolvent erhält Promotionsstipendium der Universität Rostock 2019 (26.02.2019)

    und Prof. Dr. rer. nat. habil. Karsten Wolf (Universität Rostock, Institut für Informatik) werden 5. September 2019 mit dem Test of Time Award 2019 Runner-Up auf der 17th International Conference on Business [...] Andreas Heuer (beide Fakultät für Informatik und Elektrotechnik, Institut für Informatik) und werden am 5. Juli 2019 mit dem Förderpreis für Lehre 2019 der Gesellschaft der Förderer der Universität Rostock [...] in Darmstadt für ihr Paper „On Quality-Of-Service and Publish/Subscribe“ ausgezeichnet, das sie zum 5th International Workshop on Distributed Event-based Systems (DEBS'06) eingereicht hatten. Die Preise

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

  2. Research Projects

    destiny, prognostication and dream divination in both pagan and Christian works of the poet Dracontius (5th century AD). The author seems particularly suitable for this approach: on the one hand, his pagan [...] narrative. Wartena, Gerben Christian Epic at the Crossroads of Cultures: Sedulius' Carmen Paschale, Book 5 Affiliation: Vrije Universiteit Amsterdam Link: https://vu-nl.academia.edu/GerbenWartena Brief Description: [...] writing an interdisciplinary commentary with introduction and conclusion on Sedulius' Carmen Paschale 5.164-438. Literary and linguistic approaches are combined with a cultural-historical analysis. Medieval

    https://www.epische-bauformen.uni-rostock.de/en/epic-poetry-network/primary-literature/secondary-literature/research-projects/

  3. MIT Bachelor (SPSO 2026)

    Dozenten nach eigenem Ermessen festgelegt. Der Zeitaufwand für die Erbringung dieser darf maximal die 1,5-fache Dauer der versäumten Unterrichtszeit betragen. Prüfungen Die Zusammenstellung der zu belegenden [...] iengang eröffnet den Studierenden alternativ zum Prüfungs- und Studienplan die Möglichkeit, nach § 5 Absatz 2 und 3 der Rahmenprüfungsordnung (Bachelor/Master) freiwillig ein Semester an einer ausländischen [...] Anerkennung schließen die Studierenden und die Vorsitzende/der Vorsitzende des Prüfungsausschusses gemäß § 5 Absatz 3 der Rahmenprüfungsordnung (Bachelor/Master) vor Aufnahme des Auslandsaufenthalts eine Lehr-

    https://www.ief.uni-rostock.de/en/studiengaenge/bachelor-studiengaenge/medizinische-informationstechnik-bsc/mit-bachelor-spso-2026/

  4. Publikationen

    Charpin, P.; Kyureghyan, G. When does G(x)+γTr(H(x)) permute Fpn? Finite Fields Appl. 15 (2009), no. 5, 615–632. Zha, Z.; Kyureghyan, G.; Wang, X. Perfect nonlinear binomials and their semifields . Finite

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/diskrete-mathematik/gohar/publikationen/

  5. Sicherung Startseite

    Ihnen offenstehen, fällt es Ihnen bei uns leicht, in Kontakt mit Ihrem künftigen Berufsfeld zu kommen. 5. Ab ins Ausland! In allen Studiengängen sind Auslandaufenthalte vorgesehen – nicht zwingend, aber als

    https://www.romanistik.uni-rostock.de/en/sicherung-startseite/

  6. News

    10/2025 - 09/2026 Dear colleagues, I would like to invite you to apply for the potential use of POLAR 5 and/or POLAR 6. In order to indicate your interest in… read more 09.10.2023 New publication on how "Iron

    https://www.spp-antarktisforschung.uni-rostock.de/en/about-us/current/news/

  7. Kalenderblatt Mai 2016

    t. Am 20. April 1917 immatrikulierte sie sich erneut in Rostock für das gleiche Fach und wurde zum 5. November 1919 exmatrikuliert. Seit 1916 ist Mathilde Haß mit ihrer Familie in den Rostocker Adressbüchern

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2016/kalenderblatt-mai-2016/

  8. 2020

    ats intensiv mit der Erarbeitung eines Konzeptes für den naturwissenschaftlichen Unterricht in der 5. und 6. Klasse beschäftigte, konnte sie ihre Ergebnisse vorstellen und verteidigen. Hauptanliegen der

    https://www.didaktik.chemie.uni-rostock.de/en/aktivitaeten/aktuelles-aus-dem-jahr-2020/

  9. InFoLaB

    Dauer der dargestellten Videos in den Lehrveranstaltungen umfasst entweder eine Unterrichtsszene (1-5 Minuten) oder eine Unterrichtssequenz (10-15 Minuten). In die Räume des InFoLaB ist zudem die Lernwerkstatt

    https://www.phf.uni-rostock.de/en/fakultaet/infolab/inklusions-forschungs-lernarbeits-und-beratungsraum/

  10. 2024

    die Bachelor- und Masterstudiengänge der Universität Rostock (RPO-Ba/Ma) vom 12. Dezember 2023 Nr. 5/2024 Zweite Satzung zur Änderung der Studiengangsspezifischen Prüfungs- und Studienordnung für den

    https://www.uni-rostock.de/en/universitaet/organisation/rechtsgrundlagen/amtliche-bekanntmachungen/2024/

Displaying results 3411 to 3420 of 4861.
  • Previous
  • ...
  • 338
  • 339
  • 340
  • 341
  • 342
  • 343
  • 344
  • 345
  • 346
  • 347
  • ...
  • 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