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. Job application in Germany
    03.07.2024, 1:00 pm - 03.07.2024, 3:30 pm

    showing up in our Zoom-Room. https://uni-rostock-de.zoom-x.de/j/66724569150?pwd=7FuBhYVETEyBcOwiRxKhwVaBV5BIKX.1 Meeting-ID: 667 2456 9150 Kenncode: 812675 Your workshop manager: Anja Klütsch, Head of the Careers

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/translate-to-english-workshop-job-application-in-germany-cancelled-66173-2/

  2. Copy, scan and print

    the first floor, next to the lift in the printer room. The minimum recharge amount for the card is 5 Euros. Copiers The Campus Library has three colour copiers and one black-and-white copier. In addition

    https://www.ub.uni-rostock.de/en/libraries-facilities/campus-library-suedstadt/copy-scan-and-print/

  3. SuSe 2026

    Perspectives Semester Program 2026 The lecture series takes place on Mondays during the lecture period from 5:15 p.m. to 6:45 p.m. The venue is the Philologicum (formerly Alte Physik) at Universitätsplatz 3, in

    https://www.germanistik.uni-rostock.de/en/forschung/digital-humanities/rosdh/lecture-series/suse-2026/

  4. Luft und Kohlenstoffdioxid - die unsichtbare Welt der Gase
    08.10.2026, 2:00 pm - 08.10.2026, 5:00 pm

    mit begleitenden Arbeitsblättern entwickelt worden, die in den Jahrgangsstufen 3/4 (Sachunterricht), 5/6 (NaWi-Unterricht) und 7/8 (Chemieunterricht) flexibel eingesetzt werden können. Mit Fragen wie "Warum

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=269540&cHash=a088f555643022c3416f8fd2f628c2cd

  5. Therese Handloik

    Nicole [Hrsg.]: Quo Vadis? Tagung zur digitalen Lehre und Lehrkräftebildung in M-V. Tagung am 4. und 5. Oktober 2023, Online und Präsenz. (S. 74-76) - URN: urn:nbn:de:0111-pedocs-286834 - DOI:10.25656/01:28683

    https://www.iasp.uni-rostock.de/en/institut/wissenschaftliche-mitarbeiterinnen/therese-handloik-ma/

  6. WP5-Influence of algae on Methane-producing archaea

    Work Package 5: Identification of Methane-Producing Archaea front: Dr. Katrina Funkner- back: Prof. Dr. Tim Urich Principle Investigator Prof. Dr. Tim Urich The greenhouse gas methane is a major product

    https://www.alg4nut.uni-rostock.de/en/research/wp5-influence-of-algae-on-methane-producing-archaea/

  7. Phishing-Versuche nehmen weiter zu
    14.07.2026

    it@uni-rostock.de und Postmaster@uni-rostock.de . In den ersten zwei Wochen im Juli wurden bereits 5 betrügerische E-Mail's an den Informationssicherheitsbeauftragten gemeldet. Ein Blick in die Statistik

    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=281921&cHash=c3af61ca5642d7fbb634f459949cc6ec

  8. Regulations / Documents

    the bachelor's and masters's degree programms Source: University of Rostock, Official Announcements 5/2023 Regulations supplementig the RPO for the conduct of online examinations Source: University of Rostock

    https://www.auf.uni-rostock.de/en/study/master-dregree-program/environmental-engineering-sciences/brochures-regulations/

  9. Placement exams

    the placement test is a C test. (The "C" here does NOT stand for level C!) A C test consists of 4 or 5 short texts of varying difficulty. Each text begins with a complete sentence. From the second sentence

    https://www.sprachenzentrum.uni-rostock.de/en/participation/placement-tests/placement-exams/

  10. Wahlhelfer sein

    herangezogen werden. Hierzu muss die Universität auf Anforderung der Stadt auf der Grundlage von § 9 Abs. 5 Bundeswahlgesetz von allen im Gebiet der Stadt Rostock wohnenden Beschäftigten die Namen, Geburtsdaten

    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=193733&cHash=e6ffa7b67a624419bc6babfcee2d0e94

Displaying results 2231 to 2240 of 4867.
  • Previous
  • ...
  • 220
  • 221
  • 222
  • 223
  • 224
  • 225
  • 226
  • 227
  • 228
  • 229
  • ...
  • 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