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

4781 Results:

  1. Novomind: Werkstudent m/w/d in der Softwareentwicklung
    05.05.2022

    Technologien: Java Frameworks (z.B. Spring, FreeMarker, Hibernate, JSP) GUI (z.B. Ajax, JavaScript, HTML5, AngularJS, Node.js, Vue.js) Database (z.B. MySQL, MongoDB, Redis, Oracle) Operating Systems (Linux

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/novomind-werkstudent-m-w-d-in-der-softwareentwicklung/

  2. Religion and Public holidays

    of the songs for the service." Place: Church of St Peter, Rostock Date: 4.30 p.m. - singing warm up 5.00 p.m. - ecumenical service in English afterwards - get-together with coffee and tea Public Holidays

    https://www.welcome-center.uni-rostock.de/en/religion-and-public-holidays/

  3. Doktorarbeiten

    s_Lehmann.pdf phd8_2012_Martin_Becker.pdf phd7_2010_Karsten_Voss.pdf phd6_2009_Harald_Brand.pdf phd5_2008_Alexander_Villinger.pdf phd4_2008_Christopher_Hubrich.pdf phd3_2005_Hans_Christian_Mueller.pdf

    https://www.schulz.chemie.uni-rostock.de/en/dokumente/doktorarbeiten/

  4. Programm

    und Lieferketten Torsten Mehl Consultant AI Application IBM Deutschland GmbH, Berlin 16:00 "Portable 5.0" Digitale Transformation eines Universalhafens Michael Kremp Geschäftsführer Seehafen Wismar GmbH

    https://www.ro-lf.uni-rostock.de/en/programm-4/

  5. 9. Quistorp-Symposium „Nachhaltig leben zwischen Wunsch und Wirklichkeit“
    03.11.2022

    Boss AG, Metzingen, referiert über „Nachhaltigkeit bei HUGO BOSS – ein fester Bestandteil der „Claim 5“ Wachstumsstrategie“. Prof. Dr. Gerhard Kruip, Professur für Christliche Anthropologie und Sozialethik

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/9-quistorp-symposium-nachhaltig-leben-zwischen-wunsch-und-wirklichkeit-3/

  6. 26 km Bücher und Zeitschriften ziehen um
    30.11.2017

    bewegt. Aneinandergereiht ergibt dies die Strecke von Rostock nach Kühlungsborn. Zusätzlich wechseln 3,5 km Regale, Mobiliar und Bibliothekstechnik ihren Standort. „Für die Philosophische und die Theologische

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/26-km-buecher-und-zeitschriften-ziehen-um-21229/

  7. Im Dienste des Klima- und Gewässerschutzes
    12.04.2017

    Vorhaben wird im Rahmen des Exzellenzforschungsprogramms des Landes Mecklenburg-Vorpommern mit ca. 5 Mio. Euro über einen Zeitraum von vier Jahren aus dem Europäischen Sozialfonds gefördert. Das Verbundprojekt

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/im-dienste-des-klima-und-gewaesserschutzes-9125/

  8. Universität Rostock begrüßt internationale Studierende zum neuen Semester
    04.04.2017

    Gesamtzahl der Studierenden ausmacht. Das zeigt eine Steigerung innerhalb der letzten zwei Jahre von ca. 1,5%. Die stärksten Studierendengruppen kommen aus Asien, vor allem aus Indien und China, gefolgt von e

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/universitaet-rostock-begruesst-internationale-studierende-zum-neuen-semester-8749/

  9. Zweiter Preis des Deutschen Studienpreises 2018 für Lea Puchert von der Universität Rostock
    31.07.2018

    Sie erhält die mit 5.000 Euro dotierte Auszeichnung für ihr Promotionsprojekt „Bildungsziel Ingenieur*in – Techniksozialisation weiblicher und männlicher Ingenieurstudierender jenseits gängiger Techni

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/zweiter-preis-des-deutschen-studienpreises-2018-fuer-lea-puchert-von-der-universitaet-rostock-32636/

  10. Endausscheid der Landesolympiade Informatik Mecklenburg-Vorpommern fand online statt (29.01. – 30.01.2021)
    10.02.2021

    Informatik der Universität Rostock. Sie wurden dabei von Julian Oertel (Student im Bachelor Informatik im 5. Semester) und Glenn Skrzypczak (Student im Bachelor Informatik im 1. Semester und in den Vorjahren

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/endausscheid-der-landesolympiade-informatik-mecklenburg-vorpommern-fand-online-statt-2901-30012021-84669/

Displaying results 2121 to 2130 of 4781.
  • Previous
  • ...
  • 209
  • 210
  • 211
  • 212
  • 213
  • 214
  • 215
  • 216
  • 217
  • 218
  • ...
  • 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