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

4881 Results:

  1. Einführungsveranstaltung des Zentralen Prüfungsamtes für alle Lehrämter
    07.10.2021, 3:00 pm

    Veranstaltung: https://studip.uni-rostock.de/dispatch.php/course/details?sem_id=861c11295e848325d2ab5a6f2c0f8bca

    https://www.zlb.uni-rostock.de/en/vorlage-veranstaltungen/detailansicht-des-events-1/n/einfuehrungsveranstaltung-des-zentralen-pruefungsamtes-fuer-alle-lehraemter/

  2. Sprechstundenänderung bei Prof. Dr. Karl-Heinz Ramers
    13.09.2022

    Die Sprechstunde von Prof. Ramers am Mittwoch, 5.10.2022, 10-11.30 Uhr, findet nicht in Präsenz in Raum 437, sondern online im Meetingraum zur Veranstaltung Online-Sprechstunde Ramers statt. Eine Anmeldung

    https://www.germanistik.uni-rostock.de/en/institut/aktuelles/aktuelle-informationen-des-instituts/detailansicht-der-news/n/aenderung-der-sprechstunde-bei-prof-ramers/

  3. Feuer & Flamme - spannende und altbewährte Experimente im methodisch neuen Gewand
    20.09.2017, 3:00 pm

    Haus I Raum 205 (Beuckestraße 27-29, 14163 Berlin) Hinweise: Workshop: Lehrkräfte der Grundschule 5/6 und der Sek. I

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=240179&cHash=d6cb4745acce0b50fc8741ec9778718d

  4. Feuer & Flamme - spannende und altbewährte Experimente im methodisch neuen Gewand
    21.09.2017, 3:00 pm

    Haus I Raum 205 (Beuckestraße 27-29, 14163 Berlin) Hinweise: Workshop: Lehrkräfte der Grundschule 5/6 und der Sek. I

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=240177&cHash=4cc413276b143f38bc169384ef8fc6e2

  5. MARESEC 2025 Paper Published
    01.10.2025

    Pose Estimation Accuracy in Factor-Based SLAM” has been officially published in the proceedings of the 5th European Workshop on Maritime Systems Resilience and Security (MARESEC 2025). DOI: 10.5281/zenodo

    https://www.haiml.informatik.uni-rostock.de/en/news/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=249401&cHash=b944c3704bdb3b8c35c03e4961fa8032

  6. Türchen 14

    wichtig sich kleine Pausen zur Entspannung zu nehmen, also klick dich rein ins Autogene Training – 5min nur für dich.

    https://www.hochschulsport.uni-rostock.de/en/events/events/unimove-adventskalender/tuerchen-14/

  7. Türchen 7

    wichtig sich kleine Pausen zur Entspannung zu nehmen, also klick dich rein ins Autogene Training - 5min. nur für dich.

    https://www.hochschulsport.uni-rostock.de/en/events/events/unimove-adventskalender/tuerchen-7/

  8. Analysis I für Elektrotechnik

    Modulnummer: 2101230 Leistungspunkte: 9 ECTS Lehrveranstaltungen: Vorlesung Analysis I für Elektrotechnik (5 SWS) Übung Analysis I für Elektrotechnik (3 SWS) Prüfung: Klausur (120 min) Prüfungsvorleistungen: Erreichen

    https://www.informatik.uni-rostock.de/en/studium-lehre/bachelor-studiengaenge/informationstechniktechnische-informatik-bsc/1-4-semester/module-1-semester/analysis-i-fuer-elektrotechnik/

  9. Publications

    Köckerling, D. Schinzer & A. Seidel-Morgenstern* „(3R*,5'S*)-6,7-Dimethoxy-3-(4'-methoxy-6'-methyl-5',6',7',8'-tetrahydro-1,3-dioxolo[4,5- g ]isoquinolin-5'-yl)isobenzofuran-1(3 H )-one (racemic a-Noscapine)“ [...] Trimethylamine-trispentafluoroethyl-borane. Structures of [(C 2 F 5 ) 3 BNMe 3 ], [NMe 4 ][(C 2 F 5 ) 3 BOH], and K[(C 2 F 5 ) 3 BCH 2 (CO)C 6 H 5 ], Z. Anorg. Allgem. Chem. , 2007 , 633 , 947-954. DOI: 10.1002/zaac [...] Metall­atomgerüst: [K(CH 3 OH) 4 ] 2 [Nb 6 (OCH 3 ) 18 ] und [Na(18- Krone -6)(C 2 H 5 OH) 2 ] 2 ­[Nb 6 (OC 2 H 5 ) 12 (NCS) 6 ]“, Angew. Chem. , 2009 , 121 , 2643-2646; Angew. Chem, Int. Ed. Engl. ,

    https://www.koeckerling.chemie.uni-rostock.de/en/publications/

  10. Wagner_2009

    Professor Dr. Dirk Wagner Helmholtz-Zentrum Potsdam Deutsches GeoForschungsZentrum (GFZ) Department 5 Sektion 5.3: Geomikrobiologie project description In the scope of the proposed project the development and

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/completed-projects/biological-sciences/translate-to-english-wagner-2009/

Displaying results 501 to 510 of 4881.
  • Previous
  • ...
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • ...
  • 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