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. BREC

    input of corn silage was to be substituted by approx. 10 %. During the trial, a total of approx. 6,5 tons of fresh biomass from watercourse maintenance were used in the biogas plant. No significant changes [...] replicates with the leachate treatment have significantly healthier surface plant parts (Pic. 4 and 5). They show significantly fewer traces of pests such as beetles or slugs. In addition, these plants

    https://www.auf.uni-rostock.de/en/professorships/a-g/waste-and-material-flow-management/research-topics/projects/brec/

  2. FAQ

    ” auswählen > “Weiter”. 4. Fenster “ Commvault - Zusammenfassung der Deinstallation ” > “Weiter”. 5. Fenster “ Commvault - Deinstallationsstatus ” > Deinstallation erfolgreich abgeschlossen > “Fertigstellen” [...] 4. Fenster “Uninstall Selection” öffnet sich. “ Remove all packages locally ” auswählen > “Next”. 5. Fenster “ Summary ” > “Next”. 6. Fenster “ Uninstall Status ” > Uninstall completes successfully >

    https://www.itmz.uni-rostock.de/en/onlinedienste/speicherdienste/backup-commvault/streaming-client/faq/

  3. Analytic Self-Reflection Support

    International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022, Volume 5: HEALTHINF, pp. 789–800 Lambusch, F.; Knoblich, J.; Weigelt, O.; Kraft, D.; Fellmann, M.; Bieber, G [...] d Stress Management Mediating between Sensor Data and Individual Appraisal. In: Proceedings of the 5th international Workshop on Sensor-based Activity Recognition and Interaction (iWOAR 2018), September

    https://www.wirtschaftsinformatik.uni-rostock.de/en/research/research-focus/analytic-self-reflection-support/

  4. Dr. Heike Link

    (Ascidiacea: Tunicata) on the continental shelves off the northern Antarctic Peninsula. Polar Biology 39(5), 863-879. doi: 10.1007/s00300-016-1909-y - Link, H., Piepenburg, D., and Archambault, P. (2013) Are [...] Change: A Global Study on the Interactive Effects of Species and Functional Richness. PLoS ONE 6 (5):e19514. doi: 10.1371/journal.pone.0019514

    https://www.inf.uni-rostock.de/en/maritime-systeme/team-1/dr-heike-link/

  5. Förderung

    g von 1743/44 und verwandter Quellen. Berlin 2011 (Rostocker Schriften zur Regionalgeschichte, Bd. 5) Im Rahmen der Ausschreibung von Druckkostenzuschüssen für Monographien wurde im November 2008 für die [...] Seestädte des Ostseeraums und die Bedrohung durch die Seuche 1708-1713. Berlin 2012. Im Rahmen der 5. Ausschreibung von zwei Druckkostenzuschüssen für Monographien wurden im November 2012 für die folgenden

    https://www.phf.uni-rostock.de/en/fakultaet/stiftungen/oestreich-stiftung/oestreich-stiftung/foerderung/

  6. State Scholarship Program

    issued by an university lecturer has to be provided. Guidelines for progress reports: Number of pages: 5 -10 Generally understandable without reading the description of the project from the first application [...] at the university of up to 10 hours per week or gainful employment (outside the university) of up to 5 hours per week in support of the project To check whether employment for 10 hours per week is possible

    https://www.uni-rostock.de/en/research/support-of-early-career-researchers/state-scholarship-program/

  7. Bewerbungsablauf hFS

    bei einer Bewerbung berücksichtigen, dass zum Wintersemester stets nur ungerade Fachsemester (3. FS, 5. FS usw.) und zum Sommersemester stets nur gerade Fachsemester (2. FS, 4. FS usw.) angeboten werden [...] Onlineportal hochgeladen werden. Auswahlverfahren Die Auswahl für höhere Fachsemester erfolgt gemäß § 5 Abs. 2 und 3 des Hochschulzulassungsgesetzes Mecklenburg-Vorpommern und nach Maßgabe der Satzung der

    https://www.uni-rostock.de/en/studium/deutsche-studieninteressierte/studienplatzbewerbung/hoehere-fachsemester/bewerbungsablauf-hfs/

  8. LA IN RegSch (SPSO 2019)

    Anwesenheitspflicht 3.4 Prüfungen 3.5 Erweiterungsfächer und Beifächer 3.6 Freiwilliger Studienaufenthalt im Ausland 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen 6. Beratungsmöglichkeiten [...] Studien- und Fördermöglichkeiten im Ausland erfolgt im Rostock International House. 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen Studiengangsspezifische Prüfungs- und Studienordnung Lehramt an [...] 2.1 Ziele und Charakteristik 2.2 Inhaltliche Anforderungen 2.3 Besonderheiten 2.4 Berufspraktikum 2.5 Tätigkeitsfelder für Absolventen (Berufsfelder) 2.6 Weiterführende Qualifizierungsmöglichkeiten (Promotion)

    https://www.ief.uni-rostock.de/en/studiengaenge/staatsexamen-lehramt/informatik-fuer-lehramt-an-regionalen-schulen-1-staatsexamen/la-in-regsch-spso-2019/

  9. Dr. Hendryk Czech

    effect of engine load, fuel type and photochemical aging. Environ. Sci.: Atmos. 2025, 5 (9), 973–986. DOI: 10.1039/D5EA00040H. Utinger, B.; Barth, A.; Paul, A.; Mukherjee, A.; Campbell, S. J.; Müller, C [...] aerosols emitted during burning varies between Arctic and boreal peat. Commun. Earth Environ. 2024, 5 (1). DOI: 10.1038/s43247-024-01304-y. Anders, L.; Schade, J.; Rosewig, E. I.; Kröger-Badge, T.; Irsig [...] increases the cytotoxicity of bare soot particles in BEAS-2B lung cells. Aerosol Sci. Technol. 2023, 57 (5), 367–383. DOI: 10.1080/02786826.2023.2178878. Schneider, E.; Czech, H.; Hansen, H. J.; Jeong, S.; Bendl

    https://www.zimmermann.chemie.uni-rostock.de/en/staff/habilitation-candidates/dr-hendryk-czech/

  10. Publications

    The whereabouts of pre-nineteenth century bird specimens. Zoologische Verhandelingen Leiden 79-3 (5): 5-67. 2004 SOMMER, R. & BENECKE, N. (2004): Late- and Post-Glacial history of the mustelid fauna of [...] . Bd. 3B: Aquatische Systeme, Kap. 1.5 S. 72-91, Berlin, Heidelberg. KINZELBACH, R. (2000): Neozoen – Bereicherung oder Bedrohung der biologischen Vielfalt. - S. 5-12. In: Was macht der Halsbandsittich [...] r Beiträge zur Naturgeschichte 5: 1-62, Darm¬stadt. KINZELBACH, R. (1995): Karmingimpel Carpodacus erythrinus im 15. und 16. Jahrhundert am Oberrhein. - Vogelwelt 116 (5): 285-292, Wiesbaden. KINZELBACH

    https://www.zoologie.uni-rostock.de/en/bibliography/publications/

Displaying results 2911 to 2920 of 4797.
  • Previous
  • ...
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • 297
  • ...
  • 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