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

4864 Results:

  1. Wahlhelfer sein

    herangezogen werden. Hierzu muss die Universität auf Anforderung der Stadt auf der Grundlage von § 9 Abs. 5 Bundeswahlgesetz von allen im Gebiet der Stadt Rostock wohnenden Beschäftigten die Namen, Geburtsdaten

    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=193733&cHash=e6ffa7b67a624419bc6babfcee2d0e94

  2. Vermögenswirksame Leistungen erhalten

    Die VL sind Bestandteil des Entgelts und fließen direkt in die vom Ihnen gewählte Anlageform nach dem 5. Vermögensbildungsgesetz (z.B. Bausparvertrag oder Fondssparplan). Um VL zu beantragen, reichen Sie

    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=180945&cHash=5952a71e12b1db6f393da0402e015dd3

  3. Homepage Christian Klager

    Weltanschauungen. WuN Klassen 5/6. Hrsg. von Silke Pfeiffer. Magdeburg 2018. S. 42-77. Glück (Basisbeitrag). In: Praxis Philosophie & Ethik. Heft Oktober 5-2019. S. 4-5. Weniger ist mehr… Epikur und [...] progress. Jg. 5, 2/2009. S. 21-36. Dummer Fuchs, rachsüchtiges Rotkäppchen. Philosophierend auf Märchen und Fabeln zugreifen. In: Grundschulmagazin Jg. 78, 6/2010. S.29-32. (und M3, M4, M5 auf der Website) [...] Gesprächsmethoden in der 1. bis 4. Jahrgangsstufe. In: Grundschulmagazin Jg. 79, 5/2011. S. 24-28. (und M2, M3, M4, M5 auf der Website) Gerechte Verteilung – spielend leicht? In: ZDPE. Heft „Globale G

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-christian-klager/

  4. Publications EEV

    Future" EPJ Web of Conferences 246, 00017 (2020). Joint EPS-SIF International School on Energy. Course 5 /99/|Töpfer, M.,Ahmed, N., Weber, H. "Dimensioning the Internal Components of a Hydrogen Storage Power [...] Sharma, D., Chhetri, R. "Analysis and Modeling of HPP Tala/Bhutan for Network Restoration Studies" 5th IYCE 27.-30.05.2015, Pisa, Italy /086/|Alali, Salaheddin (Univ. of Rostock); Haase, Torsten (50Hertz [...] 10) in „Elektrischer Eigenbedarf: Elektrotechnik in Kraftwerken und Industrie“ ISBN 978-3-8007-3057-5, VDE-Verlag, Berlin/Deutschland (2012) /079/|H. Weber: "Wege zur regenerativen Energie-Vollversorgung

    https://www.iee.uni-rostock.de/en/research/electrical-energy-supply-eev/publications-of-the-chair-of-electrical-energy-supply/

  5. Bibliometrie

    2015+2016 32544 (Jahr 2015) + 20560 (Jahr 2016) = 79,26 342 (Jahr 2015) + 328 (Jahr 2016) 5-Year-Journal Impact Factor Der "5-Year Journal Impact Factor" (verfügbar seit 2007) ergibt sich aus der durchschnittlichen

    https://www.ub.uni-rostock.de/en/wissenschaftliche-services/e-publizieren/bibliometrie/

  6. Higher study semesters

    the above mentioned address. Please don’t staple the documents and hand them in, in minimal size of A5. Confirmation of arrival can only be given if a prepared and post-paid postal card is attached with [...] be found here . Selection procedure Selection for higher study semesters is regulated as per Article 5 paragraph 2 and 3 of the Higher Education Act of Mecklenburg-Vorpommern and in accordance with the statutes

    https://www.uni-rostock.de/en/study/international-students/degree-students/basic-courses-of-study-for-non-german-prospective-students/higher-study-semesters/

  7. BaSoTI 2015

    July, 2015, 5 p.m. Venue: University Center for Innovation and Entrepreneurship – Mektory, Raja 15, 12618 Tallinn Social event: IT Faculty Café, Tallinn University of Technology, Ehitajate tee 5, 12618 Tallinn

    https://www.uni-rostock.de/en/internationales/rostock-international-house/sommerschulen-alt/basoti/basoti-2015/

  8. Dr. Lutz Hellmig

    (LNI) - Proceedings: Series of the Gesellschaft für Informatik (GI), Volume P-249, ISBN 978-3-88579-643-5, ISSN 1617-5468, Dr. Jens Gallenbacher (Hrsg.), Gesellschaft für Informatik, Bonn 2015 Hellmig, L.: [...] & Roscher, M.: Gute Schule: Zum Arbeiten mit offenen Aufgaben im Mathematikunterricht der Klassen 5 und 6. L.I.S.A. Mecklenburg-Vorpommern, Schwerin, 2007. Hellmig, L. Zur Evaluation von Lehrerfortbildungen

    https://pidi.informatik.uni-rostock.de/en/lutz-hellmig/

  9. Erstmals Plattdeutsche Kulturwoche in Rostock
    03.06.2018, 10:00 am - 10.06.2018, 12:00 am

    Kulturwoche. Text: Wolfgang Thiel Programm zur Plattdeutschen Kulturwoche: 3. Juni 2018: 10.00-17.00 Uhr 5. Plattdütsch-Bäukerdag Botanischer Garten, Hamburger Str. 28, 18069 Rostock 4. Juni 2018: 10.30 Uhr/14 [...] Uhr Besuch des Wossidlos-Archivs Institut für Ethnologie/Volkskunde, Am Reifergraben 4, 18055 Rostock 5. Juni 2018: 14.30 Uhr Plattdeutsche und maritime Lieder Kulturhistorisches Museum Rostock, Klosterhof

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/erstmals-plattdeutsche-kulturwoche-in-rostock-29543/

  10. Erstmals Plattdeutsche Kulturwoche in Rostock - Botanischer Garten der Universität Rostock organisiert größte niederdeutsche Veranstaltung des Jahres in Mecklenburg-Vorpommern (M-V)
    25.05.2018

    Kulturwoche. Text: Wolfgang Thiel Programm zur Plattdeutschen Kulturwoche: 3. Juni 2018: 10.00-17.00 Uhr: 5. Plattdütsch-Bäukerdag Botanischer Garten, Hamburger Str. 28, 18069 Rostock 4. Juni 2018: 10.30 Uhr/14 [...] Uhr: Besuch des Wossidlos-Archivs Institut für Ethnologie/Volkskunde, Am Reifergraben 4, 18055 Rostock 5. Juni 2018: 14.30 Uhr: Plattdeutsche und maritime Lieder Kulturhistorisches Museum Rostock, Klosterhof

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/erstmals-plattdeutsche-kulturwoche-in-rostock-botanischer-garten-der-universitaet-rostock-organisiert-groesste-niederdeutsche-veranstaltung-des-jahres-in-mecklenburg-vorpommern-m-v-29549/

Displaying results 2241 to 2250 of 4864.
  • Previous
  • ...
  • 221
  • 222
  • 223
  • 224
  • 225
  • 226
  • 227
  • 228
  • 229
  • 230
  • ...
  • 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