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

    Sciences. September 2018: International workshop „Peat under Water“ on rewetting of peatlands On September 5th to 6th, more than 50 scientists discussed in Salem at the Kummerower lake about the ecology of rewetted [...] Wrage-Mönnig presented the aims of the project WETSCAPES. April 2017: Settling sampling sites On the 5th of April the Wetscapes consortium spent an animated field day visiting the first five of the future [...] forward to getting the first installations out in the end of April. March 2017: WETSCAPES started On 5th January a first internal kick-off meeting took place in Bad Sülze. On 1th February we conducted a

    https://www.wetscapes.uni-rostock.de/en/news/

  2. Publications

    Busse, Ralf-Detlef Kutsche, Meike Klettke: Designing a Metadata-based Infrastructure for E-Learning. 5th International Workshop on Engineering Federated Information Systems (EFIS), 2003, Coventry/UK Meike [...] Holger Meyer: Speicherung von XML-Dokumenten - eine Klassifikation. Tutorial Datenbankspektrum, Heft 5/2003, S. 40-51 2002 Meike Klettke, Holger Meyer: XML und Datenbanken. Buch, ISBN 978-3-89864-148-7, [...] dpunkt Verlag, 2002 Meike Klettke, Holger Meyer, Werner Retschitzegger, Rainer Unland: Kapitel 5: Speicherung von XML-Dokumenten. In: Erhard Rahm, Gottfried Vossen (Hrsg.), Web und Datenbanken. dpunkt

    https://www.informatik.uni-rostock.de/en/about-us/division/homepages/meike-klettke/publications/

  3. Presse 2017

    gleichzeitig ein internationales Standardisierungsgremium. Best Paper Award auf der IEEE-Konferenz IEMCON 5. Oktober 2017: Dr. Peter Danielis vom Institut für Angewandte Mikroelektronik und Datentechnik erhält [...] Sonderforschungsbereich ELAINE bewilligt 24. Mai 2017: Deutsche Forschungsgemeinschaft bewilligt 9,5 Millionen Euro für ELAINE Großer Erfolg für unsere Universität und Fakultät: In der modernen Medizin [...] mit Wind- und Bioenergie, Speichern und Lasten (Netz-Stabil)" den Zuschlag erhalten und wird mit ca. 5 Mio. Euro gefördert. Prof. Eckel vom Lehrstuhl für Leistungselektronik und Elektrische Antriebe unseres

    https://www.elektrotechnik.uni-rostock.de/en/presse/presse-2017/

  4. 2020-

    bees in southern Burkina Faso, West Africa. Journal of Forest and Landscape Research 5 (2020): 14–23, DOI:10.13141/jflr.v5i1.2436 de Paula, L.F.A., Azevedo, L.O., Mauad, L.P., Cardoso, L.J.T., Braga, J.M.A [...] structure and diversity of Brazilian páramo vegetation? Journal of Mountain Science, Volume 17, Issue 5, 1 May 2020, Pages 1045-1057, DOI: 10.1007/s11629-019-5403-1 de Paula, L.F.A., Colmenares-Trejos, S

    https://www.botanik.uni-rostock.de/en/publikationen/2020/

  5. Veranstaltungen

    Workshop Visibilidad, visualización y últimas teorías de la traducción (Universidad Salamanca, 2.-5-11.2014). Kulturkontakt und Raumkonzept: Workshop des GK „ Kulturkontakt und Wissenschaftsdiskurs “ [...] und Vorlesungen: Weiße Rose und philologischer Seminaralltag an der Universität München 1941–1945 (19.5.2015) (weitere Informationen hier ) Prof. Dr. Belén Santana (Salamanca): Javier Marías: ese autor español [...] Annette Kopetzki (Hamburg): „Praxis und Theorie des literarischen Übersetzens – neue Perspektiven“ (7.5.2012, im Rahmen der AG „Übersetzen“ im Department „Wissen – Kultur – Transformation) [ Einladung ] Prof

    https://www.romanistik.uni-rostock.de/en/institut/mitarbeitende/professoren-und-professorinnen/prof-dr-albrecht-buschmann/veranstaltungen/

  6. News from the working group

    H -1,2,3-triazole-4,5-dithiolene were published in the Dalton Transactions (DOI: 10.1039/D2DT00410K ) with the title "Synthesis and coordination behaviour of 1H-1,2,3-triazole-4,5-dithiolates". 12.07.2022 [...] able to publish his results on "Improved Synthesis and Coordination Behavior of 1 H -1,2,3-Triazole-4,5-dithiolates (tazdt 2- ) with Ni II , Pd II , Pt II and Co III " in the Liebig issue of Chemistry (MDPI)

    https://www.seidel.chemie.uni-rostock.de/en/group-members/news-from-the-working-group/

  7. Dr. Kristina Koebe

    Günter Görlich. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock, 2 (5). Verfügbar unter: https://doi.org/10.18453/rosdok_id00002723 . Koch, K. & Koebe, K. (2021). Die E [...] Lesungen der DDR. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock 5 (19). Verfügbar unter: https://doi.org/10.18453/rosdok_id00004107 . Koch, K., Brand, T. von, Linström [...] icht der DDR. Schriftenreihe der Arbeitsstelle Pädagogische Lesungen an der Universität Rostock, 5 (20). Verfügbar unter: https://doi.org/10.18453/rosdok_id00004263 . Koebe, K. (2023). Fake und Fakt

    https://www.germanistik.uni-rostock.de/en/personen/wiss-mitarbeitende/kristina-koebe/

  8. 1st semester

    Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to 1:00 p.m. | Phone: +49 381 498-1230 Office hours Ulmenstraße 69, House 3: Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to [...] can only be made by them. Please do not staple or clip the documents and submit them in at least A5 format. The submitted documents will be destroyed after processing. Therefore, in your own interest

    https://www.uni-rostock.de/en/study/german-prospective-students/enrolment/1st-semester/

  9. Häufig gestellte Fragen

    kannst du als Student:in für etwa 3-5 Euro Mittag essen. Wie sieht es mit Essensmöglichkeiten auf dem Campus aus? Die Rostocker Mensa Süd liegt auf dem Südstadt-Campus in 5-10 Gehminuten Entfernung vom Institut [...] veganen Optionen, und das Essen ist immer lecker! Studierende zahlen einen ermäßigten Preis von etwa 3-5 Euro für ein Mittagsgericht. Außerdem findest du verschiedene Supermärkte, Bäcker, Imbisse etc. in näherer

    https://www.chemie.uni-rostock.de/en/studium-lehre/studiengaenge/haeufig-gestellte-fragen/

  10. M.Sc. Uwe Etzien

    fuel type and photochemical aging" , (2025) Environmental Science: Atmospheres, 5 (9), pp. 973 - 986, DOI: 10.1039/d5ea00040h Saraji-Bozorgzad, M.R., Bendl, J., Jeong, S., Padoan, S., Mudan, A., Etzien [...] engine operation on sulfur-containing fuels”, 8th MTZ Conference Heavy-Duty On- and Off-Highway Engines, 5.-6. November 2013; Bank, R.; Buchholz, B.; Harndorf, H.; Rabe, R.; Etzien, U.: "Analyse des Konvers

    https://www.lkv.uni-rostock.de/en/team/research-fellows-and-assistants/msc-uwe-etzien/

Displaying results 2861 to 2870 of 4883.
  • Previous
  • ...
  • 283
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • ...
  • 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