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

4797 Results:

  1. Strategies for managing mental health & well-being in academia
    25.11.2021

    November 25, 2021; 4.15-5.15pm; Physics Colloquium https://uni-rostock-de.zoom.us/j/65551383295?pwd=UE13aXowYWVueVNJOEhtdDJheVVIZz09 ; Meeting-ID: 655 5138 3295; Kenncode: 455334 ---------------------

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/strategies-for-managing-well-being-in-research/

  2. Artikelserie über polare Organismen in "Biologie in unserer Zeit"
    02.02.2021

    Beendigung des kommerziellen Walfangs - Rückkehr der Finnwale in die Antarktis. Biologie in unserer Zeit 50(5): 338-345. https://doi.org/10.1002/biuz.202010716 Weitere Themen sind in Planung, z.B. über Benthosökologie

    https://www.spp-antarktisforschung.uni-rostock.de/en/news-artikelordner/detailansicht-der-news/n/artikelserie-ueber-polare-organismen-in-biologie-in-unserer-zeit-84147/

  3. Formel SPURT – 20 Jahre Roboterwettbewerb in Warnemünde
    16.05.2019

    Steuerung oder Energieversorgung von außen sind nicht gestattet. Der Rundenrekord liegt derzeit bei 3,5 Sekunden. Für Schulen und andere Bildungseinrichtungen, die SPURT-Mobile bauen möchten, können Must

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/formel-spurt-20-jahre-roboterwettbewerb-in-warnemuende-46711/

  4. Förderung für 18 Nachwuchswissenschaftlerinnen
    06.07.2017

    oder Reisekostenzuschüsse). Mit den zur Verfügung stehenden Fördermitteln von rund 29.000 Euro werden 5 Kurzzeitstipendien und 13 Sachmittel-Zuschüsse finanziert. So erhält Anja Gummesson von der Mathema

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/foerderung-fuer-18-nachwuchswissenschaftlerinnen-13195/

  5. Impftage zum Studienbeginn und Beratung für mit COVID-19-Impfstoffen ohne EU-Zulassung Geimpfte (01.10.2021)
    01.10.2021

    n zum Semesterbeginn an verschiedenen Orten der Universität Rostock gegen das Virus impfen lassen: 5. Oktober 2021, 9 – 14 Uhr | Ulmencampus (während des Campustages) 6. Oktober 2021, 13 – 18 Uhr | Un

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/impftage-zum-studienbeginn-und-beratung-fuer-mit-covid-19-impfstoffen-ohne-eu-zulassung-geimpfte-01102021-100015/

  6. Gohl_2014

    Complete collapse of the West Antarctic Ice Sheet would result in a global sea level rise of 3 to 5 m. Apart from climatic and oceanographic changes, ice sheets are influenced by the tectonic and structural

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/completed-projects/geological-sciences/gohl-2014/

  7. Abelmann_2006

    which will concentrate on the establishment of isotope records from sediment cores PS2498-1 and PS1778-5, located in the Subantarctic and the Polarfront Zone of the Atlantic Southern Ocean, respectively. This

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/completed-projects/geological-sciences/translate-to-english-abelmann-2006/

  8. Längenkontraktion

    m. Der Raumfahrer nimmt den Stab mit auf sein Raumschiff und liegt mit einer Geschwindigkeit von 0.5c davon. Verändert sich für einen Beobachter auf der Erde die Länge des Stabes? Hängt das Ergebnis

    https://www.cluster-nano.physik.uni-rostock.de/en/teaching/moderne-physik/laengenkontraktion/

  9. Casado_2020

    the ice isotopic composition, in particular stratigraphic noise, which is characterised by small (< 5m) decorrelation length, and precipitation intermittency noise, which is characterised by large (> 100km)

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/biological-sciences/translate-to-english-casado-2020/

  10. 23. Thementag - Was ist Bibliothek?
    17.05.2021

    christine.braeuning@uni-rostock.de Online-Zugang: https://uni-rostock-de.zoom.us/j/64754631454?pwd=TFE5RHRGN3BaWG1TMjhOWG1wVURqUT09

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/23-thementag-was-ist-bibliothek/

Displaying results 1781 to 1790 of 4797.
  • Previous
  • ...
  • 175
  • 176
  • 177
  • 178
  • 179
  • 180
  • 181
  • 182
  • 183
  • 184
  • ...
  • 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