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. Alex Lehnert

    Explainable AI Smoke Detection at the Edge In Journal Big Data and Cognitive Computing, Vol. 8, Issue 5, Artikel Nr. 50, pp. 1-22, DOI: 10.3390/bdcc8050050 , ISSN: 2504-2289, MDPI-Verlag, Basel, Schweiz,

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/alex-lehnert/

  2. UniverCity Big Band

    10. November 2019, Volkstheater Rostock, Sommerfest Mathematisch-Naturwissenschaftliche Fakultät , 5. Juli 2019, Institut für Physik, Rostock Lange Nacht der Wissenschaften 25. April 2019, Rostock DPG

    https://www.cluster-nano.physik.uni-rostock.de/en/pd-dr-josef-tiggesbaeumker/univercity-big-band/

  3. Auf Dienstreise gehen – Genehmigung, Durchführung, Abrechnung

    erklärt hat. Die Reisekostenvergütung ist innerhalb einer Ausschlussfrist von sechs Monaten (§ 3 Abs. 5 LRKG) nach Ende der Dienstreise schriftlich geltend zu machen. Nach Ablauf dieser Frist ist eine Erstattung

    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=177891&cHash=8d7e3872e5920772bc6bbc4de3e6265b

  4. Women Playwrights in Digital Corpora: a DraCor Hackathon
    07.09.2026 - 09.09.2026

    Rostock. Participants are responsible for covering their own expenses. Tuesday, 8 September 2026, 3:30–5:00 p.m. Battle of the Plays World Championship 2026 While the event will generally take place on site

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/women-playwrights-in-digital-corpora-a-dracor-hackathon-283817/

  5. Project Management for Early Career Researchers (September 2026)

    PROJECT MANAGEMENT FOR EARLY CAREER RESEARCHERS Date 28-29 September 2026 Time 9:00 a.m. – 5:00 p.m. Lecturer Peter Wagner Kleist-Wagner Weimar Number of Participants 7 to 12 Location Seminarraum 217,

    https://www.uni-rostock.de/en/forschung/nachwuchsfoerderung/graduiertenakademie/qualifizierungsprogramm/project-management-for-early-career-researchers-september-2026/

  6. Wahlen

    2023, Dritte Satzung zur Änderung Nr. 52 vom 30. Oktober 2023, Vierte Satzung zur Änderung Nr. 61 vom 5. November 2025. Wahl der akademischen Gremien Wahl der akademischen Gremien Art der Wahl Abschnitt /

    https://www.uni-rostock.de/en/universitaet/organisation/wahlen/

  7. Ethik

    teaching, research, and studies at the university shall serve peaceful purposes (“Civil Clause,” §3, para. 5). If there is suspicion of a deviation from this clause, the project will be subject to an internal

    https://www.uni-rostock.de/en/research/compliance-in-research/ethik/

  8. Vielkanal-Logic-Analyzer mit Konfigurationserkennung

    Cost ARM Based Logic Analyzer." International Journal of Engineering and Advanced Technology (IJEAT) 1.5 (2012). Babich, Fulvio, and Lia Deotto. "Formal methods for specification and analysis of communication

    https://iuk.uni-rostock.de/en/lehre-studium/abschlussarbeiten/vielkanal-logic-analyzer-mit-konfigurationserkennung/

  9. Mathematische Modellierung

    Kosiński, W. (2002): Thermomechanical coupled waves in a viscoplastic medium. In Archives of Mechanics 54 (5-6), pp. 439–457. Kosiński, W.; Frischmuth, K. (2001): Thermomechanical coupled waves in a nonlinear [...] modelling heat transfer in chemical microsensors. In International Journal of Engineering Science 34 (5), pp. 523–530. Frischmuth, K.; Kosiński, W.; Lekszycki, T. (1993): Free vibrations of finite-memory

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/mathematische-modellierung/

  10. Publications

    drained peatlands reduces climate warming despite methane emissions. Nature Communications, 11(1) , 1-5, doi: 10.1038/s41467-020-15499-z. Koebsch, F. , Sonnentag, O., Järveoja, J., Peltoniemi, M., Alekseychik [...] Augustin, J., 2015. Mehr Moor? - Zur Treibhausgasdynamik wiedervernässter Feuchtgebiete. System Erde: 5, 22-27 , doi: 10.2312/GFZ.syserde.05.01.4 Koch, S., Jurasinski, G., Koebsch, F. , Koch, M., Glatzel

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/landschaftsoekologie-und-standortkunde/team/ehemalige/dr-franziska-koebsch/publications/

Displaying results 2821 to 2830 of 4883.
  • Previous
  • ...
  • 279
  • 280
  • 281
  • 282
  • 283
  • 284
  • 285
  • 286
  • 287
  • 288
  • ...
  • 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