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

4860 Results:

  1. Dokumentation der kindlichen Entwicklung in Kindertageseinrichtungen beim Übergang in die Grundschule (Koch)

    In dieser Zeit wird die Entwicklung der Kinder (gemäß Kindertagesförderungsgesetz KiföG M-V, §1 Abs. 5) beobachtet und dokumentiert. Die hier erhobenen Daten verfügen potenziell über einen großen Wert für

    https://www.sopaed.uni-rostock.de/en/forschung/abgeschlossene-forschungsprojekte-i/dokumentation-der-kindlichen-entwicklung-in-kindertageseinrichtungen-beim-uebergang-in-die-grundschule-koch/

  2. Ocean Technology Meet-up

    Innovation“ Dienstag, 30.06.2026, 17:00–21:00 Uhr Technologiecampus Warnemünde Friedrich-Barnewitz-Straße 5, 18119 Rostock-Warnemünde Das Meet-up richtet sich insbesondere an weibliche Studierende mit Interesse

    https://www.bwl.uni-rostock.de/en/institut/junior-seniorprofessuren/bwl-der-dienstleistungen-rouven-seifert/aktuelle-meldungen/ocean-technology-meet-up/

  3. Tag der Mathematik

    Mathematik wird traditionell auch der Mathematik-Wettbewerb 'Pokal der Rektorin' für die Klassen 4 und 5 durchgeführt. Der nächste Tag der Mathematik findet am Samstag, den 20. Juni 2026 statt. ⇒ Programm

    https://www.mathematik.uni-rostock.de/en/aktivitaeten-veranstaltungen/regelmaessige-veranstaltungen/tag-der-mathematik/

  4. 2012

    J.; Ploennigs, J.; Kabitzsch, K.: Intelligente Zähler: ADLs erkennen und individualisieren, AAL - 5th German Conf. Ambient Assisted Living, 2012.

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/ai-for-sustainable-construction/publications/2012/

  5. All Events

    Freiburg gives a talk on the subject: Small is beautiful - finite size effects in metal… read more 1 2 3 4 5 … ❯ Would you like to supplement an upcoming event?

    https://www.limati.uni-rostock.de/en/news-/-events/all-events/

  6. 2013

    Exploiting Generalized Additive Models for Diagnosing Abnormal Energy Use in Buildings. BuildSys - 5th ACM Workshop on Embedded Systems For Energy-Efficient Buildings, pp. 1-8, 2013. Mai, T. L., Lehmann

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/ai-for-sustainable-construction/publications/2013/

  7. NEUROKIT2E (BMBF, EU)

    Towards a Memristor-Based Circuit Implementation of the Hindmarsh-Rose Model On TechRxiv-Server, pp. 1-5, DOI: 10.36227/techrxiv.173603074.48447112/v1 , Authorea Preprints, Januar 2025

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/neurokit2e-bmbf-eu/

  8. Fake News chemisch überprüft

    Anmeldung, direkt per Email bei Juliana Zeidler (juliana.zeidler@uni-rostock.de) Termine Termine 4-5 Blocktermine am Samstag in der Zeit von 09:00 – 14:00 Uhr an folgenden Terminen: 06.06.2026, 27.06.2026

    https://www.zlb.uni-rostock.de/en/karrierecampus/zertifikatskurse-workshops/fake-news-chemisch-ueberprueft/

  9. Laborabfall trennen

    hartmann@uni-rostock.de Tel.: 1408 Jopp, Stefan Dr. Tel.: Verantwortliche Organisationseinheit D3.3.5 Sachgebiet Sonderabfall/ Umweltschutz Abfall,Abfalltrennung,anorganisch,Chemikalien,Entsorgung,flüssig

    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=280845&cHash=248b5124ec8f743a0c27989b0b19a781

  10. Matthias Weippert

    submaximal and submaximal fatiguing voluntary contractions in knee osteoarthrosis patients . PlosOne 12(5)e0176976. Behrens M, Husmann F, Gube M, Felser S, Weippert M , Zschorlich V, Bruhn S, Mau-Moeller A [...] Deutschlands bester Mittelstreckenläufer - Eine Analyse der vergangenen 25 Jahre . Leistungssport, 45 (5), 28-32. Sammito S, Thielmann B, Seibt R, Klussmann Á, Weippert M , and Böckelmann I (2015). Guideline [...] the quadriceps muscle during isometric, concentric and eccentric contractions . Scientific Reports, 5:10209. Behrens K, Hottenrott K, Weippert M , Montanus H, Kreuzfeld S, Rieger A, Lübke J, Werdan K, Stoll

    https://www.isportwi.uni-rostock.de/en/institut/mitarbeitende/wissenschaftlich-mitarbeitende/matthias-weippert/

Displaying results 2051 to 2060 of 4860.
  • Previous
  • ...
  • 202
  • 203
  • 204
  • 205
  • 206
  • 207
  • 208
  • 209
  • 210
  • 211
  • ...
  • 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