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. Wartungsarbeiten an der zentralen Kontenverwaltung
    17.05.2021

    In der Zeit vom 17.5. bis zum 21.5.2021 finden aufwendige Wartungsarbeiten an der Zentralen Kontoverwaltung der Universität Rostock statt. Für den Großteil der Nutzer*innen wird es keine Beeinträchtigung

    https://www.itmz.uni-rostock.de/en/detailansicht-der-news/n/wartungsarbeiten-an-der-zentralen-kontenverwaltung/

  2. Porträt der Universität online verfügbar
    27.08.2025

    Rückfragen steht Ihnen das Referat Finanzcontrolling und Statistik (D2.5) gerne unter controlling@uni-rostock.de zur Verfügung. Daniela Hacker D2.5 Finanzcontrolling und 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=246615&cHash=49519c5dad15e19de48ce618cc327427

  3. before 2010

    626-637. “Synthesis of 5-Thioxo-hexahydrobenzo[b]thiopheno-[2,3-d]-1,2,4-triazolo[1,5-c]pyrimidines and Related Compounds based on Cyclizations of 2-Isothiocyanato-3-cyano-4,5,6,7-tetrahydrobenzo[b]thiophene” [...] 5618-5619. “Synthesis of 5-(2-Aryl-2-haloethyl)salicylates by the First Domino [3+3] Cyclization / Ring-Cleavage Reactions of 1,3-Bis(silyloxy)-1,3-butadienes with 3-Acetyl-5-aryl-4,5-dihydrofurans”. 264. [...] Fischer, Peter Langer*, J. Org. Chem. 2007 , 72 , 6273-6275. “Synthesis of 5-Alkylsalicylates, 5-Alkyl-2-hydroxyacetophenones, and 5-Alkyl-2-hydroxybenzophenones by formal [3+3] Cyclization of 1,3-Bis(Silyl

    https://www.langer.chemie.uni-rostock.de/en/publications/before-2010/

  4. 2010 - today

    of 1,3-Bis(trimethylsilyloxy)-1,3-butadienes with 5-Aryl- and 5-Vinyl-3-acyl-4,5-dihydrofurans. Efficient Synthesis of 5-(4-Chlorobut-2-en-1-yl)- and 5-(2-Aryl-2-chloroethyl)-salicylates”. 357. Muhammad [...] Reactions of 1,3,5-Tri- and 1,3,5,7-Tetracarbonyl Compounds”. 755. Franziska Bendrath and Peter Langer*, Chem. Heterocycl. Comp. 2021 , 57 , 1146–1148. “Synthesis and Permethylation of Methyl 5-(2-chloropy [...] Thuan, Tuan Thanh Dang,* Peter Langer*, Synlett 2019 , 30 , 303-306. “Synthesis of 5-aryl-5H-pyrido[2',1':2,3]imidazo[4,5-b]indoles by Domino Pd- and Cu-catalyzed C-N Coupling Reactions”. 687. Tímea Kaszás

    https://www.langer.chemie.uni-rostock.de/en/publications/2010-today/

  5. Call for propsals using AWI's research aircraft 10/2023 - 09/2024
    11.10.2021

    You are invited to apply for the potential use of POLAR 5 and/or POLAR 6. In order to indicate your interest in using one of AWI's aircraft during the period between October 2023 to September 2024, please [...] available word document . For your information, AWI owned certified instruments are listed on pages 5 and 6 of the document. Not all existing certified instruments are freely available, respectively are [...] would like to use, please list them on the last page. If they are already certified for use with POLAR 5/6, please add the campaign on which they were deployed. The costs stated in the project proposal form

    https://www.spp-antarktisforschung.uni-rostock.de/en/news-artikelordner/detailansicht-der-news/n/call-for-propsals-using-awis-research-aircraft-10-2023-09-2024/

  6. Improving the admission grade with the Test for medical studies (TMS)

    test value of 1.0 to 1.5), by 0.2 with a test mark of 2 (which is equal to a test value of 1.6 to 2.5), by 0.1 with a test mark of 3 (which is equal to a test value of 2.6 to 3.5). The TMS is a joint venture

    https://www.uni-rostock.de/en/studium/deutsche-studieninteressierte/studienplatzbewerbung/selection-procedure-for-human-medizine-and-dentistry/improving-the-admission-grade-with-the-test-for-medical-studies-tms/

  7. Clip und Klug

    Start ist jederzeit möglich KURSART Micro-Lectures KOSTEN kostenfrei UMFANG 4 bis 5 Minuten SPRACHE deutsch Inhalte 5 E-Lectures mit den wichtigsten Theorien Video 1: Bourdieu - Habitus Video 2: Goffman [...] Goffman - Dramatologie Video 3: Luhmann - System Video 4: Adorno - Kulturindustrie Video 5: Wozu soziologische Theorie? Zielgruppe Soziologie Studierende alle Interessierten, die gern in den soziologischen

    https://www.uni-rostock.de/en/weiterbildung/angebote/offene-uni-rostock/micro-lectures/clip-und-klug/

  8. Anreise nach Rostock

    Zug (und guten Nerven) https://www.bahn.de Regionalverkehr: RE1 aus Richtung Hamburg nach Rostock RE5 aus Richtung Berlin nach Rostock RE3/9 aus Richtung Greifswald über Stralsund nach Rostock Intercity [...] Berlin nach Rostock ICE aus Hamburg nach Rostock Straßenbahn/Tram https://www.rsag-online.de Linie 5 (Mecklenburger Allee/Lichtenhagen) und Linie 6 (Neuer Friedhof) bringen Sie ins Stadtzentrum und in [...] auch vom Hauptbahnhof zum Tagungsort. Die nächstgelegenen Straßenbahnhaltestellen sind „Neuer Markt“ (5 Minuten Fußweg) und „Lange Straße“ (3 Minuten Fußweg). Zwischen Rostock Hauptbahnhof und Warnmünde fahren

    https://www.imf.uni-rostock.de/en/forschung/kommunikations-und-medienwissenschaft/tagung-quo-vadis-defa-forschung/anreise-nach-rostock/

  9. Haushaltsschulung: Verwaltung von Haushaltsmitteln (ausgebucht)
    13.09.2022, 9:00 am - 13.09.2022, 12:00 pm

    Sachgebiets Belegbearbeitung und Steuern (D2.06) und des Referats Finanzcontrolling und Statistik (D2.5) zu folgenden Themenbereichen: Rechnungen Zahlungsverkehr Schlüsselverzeichnisse UR-interne Statistik [...] Haushaltsangelegenheiten (ZUV, D2) Kursleiter/ Referent: Mitarbeiter*innen aus den Bereichen D2.06 und D2.5 Anmeldung: Diese Veranstaltung ist ausgebucht. Format: Infoveranstaltung

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/haushaltsschulung-verwaltung-von-haushaltsmitteln-128581/

  10. Online (mit Termin)

    March 2025 April 2025 Mon Tue Wed Thu Fri Sat Sun 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 March 2025

    https://www.weiterbildungsportal.uni-rostock.de/en/fachkompetenzen/hochschulfuehrung/compliance/online-mit-termin/

Displaying results 161 to 170 of 4883.
  • Previous
  • ...
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • ...
  • 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