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

4883 Results:

  1. Informationen zu zusätzlichen Angeboten in GSP im WiSe 20/21
    02.10.2020

    Liebe Studierende des 5. bis 9. Semesters, in unserem Angebot für das kommende Wintersemester 2020/21 haben wir 2 zusätzliche Angebote bereitstellen können. hier...

    https://www.igsp.uni-rostock.de/en/institut/mitteilungen-aus-dem-institut/detailansicht-der-news/n/informationen-zu-zusaetzlichen-angeboten-in-gsp-im-wise-20-21-76495/

  2. "Das deutsch-russische Jahrhundert. Geschichte einer besonderen Beziehung"
    15.05.2024

    t: Universität Rostock, Arno-Esch-Hörsaal, Ulmenstr. 69, 18057 Rostock Veranstaltungszeitpunkt: 15.5.2024, 17.15–18.45 Uhr

    https://www.dokumentationsstelle.uni-rostock.de/en/news/n/das-deutsch-russische-jahrhundert-geschichte-einer-besonderen-beziehung-194155/

  3. Samstagsuniversität der Mathematisch-Naturwissenschaftlichen Fakultät
    05.11.2022, 11:00 am

    Samstag, 5. November 2022: Herr Prof. Dr. Friedemann Reinhard vom Institut für Physik hält einen Vortrag zum Thema: Quantencomputer - Zukunft oder Hype? Weiterlesen

    https://www.inf.uni-rostock.de/en/vorlage-veranstaltungen/detailansicht-des-events/n/samstagsuniversitaet-der-mathematisch-naturwissenschaftlichen-fakultaet/

  4. Tim Fritjof Huttel

    Fellow/ PhD-student DFG-Graduiertenkolleg „Deutungsmacht" Universitity of Rostock Universitätsplatz 5 D-18055 Rostock

    https://www.deutungsmacht.uni-rostock.de/en/kolleg/mitglieder/translate-to-english-kollegiatinnen-und-kollegiaten/tim-fritjof-huttel/

  5. Presse 2006

    Rektorwahl zurück. OSTSEE ZEITUNG: 19.5.2006 Elektrotechnik ist Spitzenstudiengang (CHE-Ranking) OSTSEE ZEITUNG: 17.5.2006 Schicksalstag für Uni Rostock OSTSEE ZEITUNG: 17.5.2006 Uni-Elektrotechniker auf Platz [...] ik und Informatik OSTSEE ZEITUNG: 30.5.2006 Mehr als Forschung – Prof. Kerstin Thurow verbindet Wirtschaft und Wissenschaft Norddeutsche Neueste Nachrichten: 24.5.2006 Manta-Dose rollte am witzigsten – [...] bekam einen Preis für Outfit und Geschnurre. OSTSEE ZEITUNG: 20.5.2006 Roboter spurteten um die Wette Norddeutsche Neueste Nachrichten: 20.5.2006 Mini-Roboter spurtete zum Rekord – Rostocker Schüler unterboten

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/presseinformationen/presse-2006/

  6. Antrittsvorlesung von Prof. Dr. Dominik Kraus
    05.05.2022, 5:00 pm

    Prof. Dr. Dominik Kraus - AG Hochenergiedichtephysik Termin: Donnerstag, 5. Mai 2022, 17:00 Uhr Ort: Großer Hörsaal des Instituts für Physik, Albert-Einstein-Str. 24

    https://www.physik.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/antrittsvorlesung-von-prof-dr-dominik-kraus-ag-hochenergiedichtephysik-43699/

  7. 18.Characeen- Tagung (Kopie 1)

    Home Veranstaltungen Characeen - Tagung 23.-26.5.2025 Thüringen-Treffen der AG Characeen Deutschlands Tagungsort: Jugendherberge „Am Ettersberg“ in Weimar Thueringen_Protokoll_260208__1_.docx

    https://www.oekologie.uni-rostock.de/en/characeen-deutschlands/veranstaltungen/tagungen/9characeen-tagung-2/

  8. Landesbesoldungsgesetz (LBesG M-V)

    Land Mecklenburg-Vorpommern (Landesbesoldungsgesetz - LBesG M-V) in der Fassung der Bekanntmachung vom 5. September 2001 Landesbesoldungsgesetz (LBesG M-V)

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-rechtsgrundlagen/ppp-rechtsgrundlage-detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=140171&cHash=b5bc078da781132bcc4403535878d236

  9. Dokumentation zur Vergabe

    Für Aufträge mit einem Wert bis zu 5.000,00 € ohne Umsatzsteuer ist das Formular "Dokumentation Direktauftrag" zu nutzen. Dokumentation Direktauftrag.docx Dokumentation Direktauftrag.pdf

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-dokumente/ppp-dokument-detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=139475&cHash=31077fa5885e675e3cf1f026e5e3622a

  10. Research Topics

    heterocycles; carbohydrates; N -Glycosides 5. Multicomponent and Domino Reactions 5.1 Multicomponent and Domino Reactions of Heterocyclic Enamines and Related Substrates 5.2 Synthesis of (Deaza)purines by Domino [...] 1016-1025. Period of investigation: 2001 - 2011 Keywords: silyl enol ethers; chromones; heterocycles 5.5 Domino Heck / 6π-Electrocyclization Reactions Abstract: The combination of Heck reactions with 6p- [...] les Abstract: A variety of 1,3-selenazoles and related compounds, including 2,4,5-trisubstituted, 2,4-disubstituted, 4,5-disubstituted, 4-substituted 1,3-selenazoles and parent unsubstituted 1,3-selenazole

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/

Displaying results 391 to 400 of 4883.
  • Previous
  • ...
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • ...
  • 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