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

4868 Results:

  1. Kennewick Man

    narrow and prognathous face, with a long and broad nose, and interpreted these as caucasoid features. [5] Subsequent analyses of the skull (craniometrics) indicated a connection to the Moriori people from [...] ” Smithsonian Institution, www.mnh.si.edu/arctic/html/kennewick_man.html (access date 10/06/2015). [5] Chatters, “Kennewick Man.” [6] Preston, Douglas “ The Kennewick Man Finally Freed to Share His Secrets [...] Kennewick Man. [9] Chatters, “Kennewick Man.” [10] Kelly, Robert L., and David H. Thomas. Archaeology . 5th ed. Belmont, CA: Wadsworth, 2010, Introduction. [11] Chatters, “Kennewick Man.” [12] Taylor, Kirner

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/artifacts/kennewick-man-1/

  2. Bachelor Wirtschaftschemie

    Verbindungen inkl. AC-Hauptpraktikum (9 LP) Anorganische Chemie 5 Chemie elementorganischer Verbindungen für Lehramt (6 LP) Anorganische Chemie 5A Vom Molekül zum Material (3 LP) Chemische und Elektrochemische [...] Praktika Grund­praktikum Physi­kalische Chemie : Eigen­schaften von Ein- und Zwei­kompo­nenten­systemen 5. Semester Vorlesungen und Übungen Chemie : Technische Chemie (u.a. Reaktoren, indus­trielle Verfahren)

    https://www.chemie.uni-rostock.de/en/studium-lehre/studiengaenge/bachelor-wirtschaftschemie/

  3. IRTG

    -31 st , 2022 Fifth annual retreat at Tagungshotel der Wirtschaft Schloss Hasenwinkel, October 3 rd -5 th , 2021 Fourth annual retreat, August 18 th -20 th , 2020 - virtual Third annual retreat at Tagungshotel [...] Wiebke Radlof, Max Schröder, Julius Zimmermann First annual BaTs workshop at Gutshaus Parin, November 5 th -7 th , 2018 Organizing committee: Hendrikje Raben, Nadine Berger, Kai Budde, Abdul Razzaq Farooqi [...] Martina Grüning & M.Sc. Simone Krüger Wed, 22.11.17: M.Sc. Kai Budde Wed, 08.11.17: Dr.-Ing. Frank Krüger 5 Research Stays Researchs stays of up to three months in an institution abroad may be funded for IRTG

    https://www.elaine.uni-rostock.de/en/irtg/

  4. Seiten zum Mathematikunterricht auf Bildungsservern und anderen öffentlichen Portalen

    Bundesland Mathematikseiten Bemerkungen zum Angebot Baden-Württemberg Bildungsserver Kompetenzraster 5 - 10 Lehrerfortbildungsserver Landesbildungsserver Es handelt sich um umfassende, vielfältige und konkrete

    https://www.mathe-mv.de/en/internetseiten/seiten-zum-mathematikunterricht-auf-bildungsservern-und-anderen-oeffentlichen-portalen/

  5. Link: Familienfreundliche Hochschule

    Familienfreundliche Hochschule Kontakt Projektleiter Andreas Tesche Stabsstelle Diversity Universitätsplatz 5 18055 Rostock Tel.: +49 (0)381 498-1271 Fax: +49 (0)381 498-1276 andreas.tesche(at)uni-rostock(dot)de

    https://www.uni-rostock.de/en/universitaet/organisation/verwaltung/familienfreundliche-hochschule/link-familienfreundliche-hochschule/

  6. Netz-Stabil (ESF)

    ing Droop-Based Converter Control for Wind-Power Applications 18th Windintegration Workshop, pp. 1-5, Dublin, Irland, Oktober 2019 Felix Uster, Dirk Timmermann: Decentral Load Control for Grid Stabilization

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/netz-stabil-esf/

  7. 2013

    Mrotzek) Veranstaltungsort: Dokumentationszentrum Rostock, Hermannstraße 34b Veranstaltungszeitpunkt: 5. März 2013 Podiumsdiskussion „ Berlin im Kalten Krieg “ (Prof. Dr. Stefan Creuzberger) Veranstalter:

    https://www.dokumentationsstelle.uni-rostock.de/en/veranstaltungen/vortraege/vortragsarchiv/2013/

  8. 3. Spieltags-Bericht 08.05.2024 (Sommersaison 2024)
    14.05.2024

    steigern muss, um noch in die Finalrunde zu rutschen. 20:00 Uhr Dynamo Tresen vs. Holzfäller Extrem 5:0 (Gruppe B) Wieder einmal torlos mussten sich die “Holzfäller” am vergangenen Mittwoch vom Platz begeben

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/3-spieltags-bericht-uni-liga-fussball-08052024-sommersaison-2024-194073/

  9. The Edinburgh Companion to Sidonius Apollinaris

    SIDONIUS IN HIS POLITICAL, SOCIAL, AND RELIGIOUS CONTEXT 4 Michael Kulikowski, Sidonius' Political World 5 Sigrid Mratschek, Sidonius' Social World 6 Sigrid Mratschek, Creating Culture and Presenting the Self

    https://www.altertum.uni-rostock.de/en/forschung/forschungsprojekte/sidonius-apollinaris/

  10. Kalenderblatt April 2015

    n Institutes). Professor Ludwig Spannhof, einer der renommiertesten Rostocker Biologen, wäre am 17.5.2015 90 Jahre alt geworden. Er studierte in Halle, Jena und Berlin Biologie. Nach der Habilitation in

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2015/kalenderblatt-april-2015/

Displaying results 2921 to 2930 of 4868.
  • Previous
  • ...
  • 289
  • 290
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • 297
  • 298
  • ...
  • 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