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

4885 Results:

  1. Heck / 6π-Electrocyclization

    5.5 Domino Heck / 6π-Electrocyclization Reactions Abstract: The combination of Heck reactions with 6p-electrocyclization reactions allows for the synthesis of a variety of various benzoannulated heterocycles

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/multicomponent-and-domino-reactions/heck-/-6p-electrocyclization/

  2. Department financial controlling (D2.5)

    Department financial controlling (D2.5) Referat 2.5 – Financial Controlling and Statistics – is your point of contact for questions relating to performance-based funding ( LOM ), third-party funding statistics [...] cost item register, cost centre register, funding body register and title plan. Furthermore, Referat 2.5 creates a variety of internal university statistics . These include information on students and final [...] and our email address is controlling@uni-rostock.de. Kerstin Arth-Zühlke Head of department (Lz. D2.5) Fon: +49 381 498-1554 kerstin.arth-zuehlkeuni-rostockde representation: Maike Giese Internal university

    https://www.uni-rostock.de/en/university/organization/university-administration/department-budget-affairs-d2/department-financial-controlling-d25/

  3. Universal testing machine

    universal testing from Zwick is available. Contact: Florian Neukirch M.Sc. Max. test load: 5 kN Force measurement: Klasse 0,5/1 Traverse speed: 0,001 ... 600 mm/min Height testing room: 340 ... 1030 mm

    https://www.lfm.uni-rostock.de/en/equipment/analyse/universal-testing-machine/

  4. Dokumente

    Änderung der Fakultätsordnung der Wirtschafts- und Sozialwissenschaftlichen Fakultät vom 5. November 2020 vom 5. November 2020 Nr. 48/2020 Fakultätsordnung der WSF vom 17. Oktober 2012 Nr. 37/2012

    https://www.wsf.uni-rostock.de/en/dekanat/fakultaetsordnung/dokumente/

  5. Fakultätsordnung

    Änderung der Fakultätsordnung der Wirtschafts- und Sozialwissenschaftlichen Fakultät vom 5. November 2020 vom 5. November 2020 Nr. 48/2020 Fakultätsordnung der WSF vom 17. Oktober 2012 Nr. 37/2012

    https://www.wsf.uni-rostock.de/en/dekanat/fakultaetsordnung/

  6. Downloads

    Downloads Bände der Moritz-Schlick-Gesamtausgabe MSGA I/1 MSGA I/2 MSGA I/3 MSGA I/5 MSGA I/6 MSGA II/1.2 MSGA II/1.3 MSGA II/5.1 interne Downloads Nach dem Login auf dieser Seite oben rechts geht es hier weiter

    https://www.iph.uni-rostock.de/en/forschung/moritz-schlick-forschungsstelle/downloads/

  7. Interne Stellenausschreibung veröffentlicht
    23.05.2025

    te/r für Medien- und Informationsdienste (m/w/d), Fachrichtung Bibliothek EG 6 TV-L, unbefristet, 5x 5 Stunden Das Bewerbungsende und weitere Informationen sind im Dienstleistungsportal unter Interne

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=241203&cHash=9bf8672d2a6f32fe65769d871a809fbc

  8. Schichtenströmungskanal

    Baujahr 2006 max. Volumenstrom: 120 m³/h Messstrecke: 3 x 0,8 x 0,5 m (L x B x T) Pumpe mit 7,5 kW Vorratstank: 4 m³ Auffangtank: 6 m³ 5-seitiger optischer Zugang zur Messstrecke 7-Achs-Traversierung Modell

    https://www.lsm.uni-rostock.de/en/ressourcen/versuchsanlagen/schichtenstroemungskanal/

  9. Public & private transport

    station by train from Hamburg or Berlin. The fastest connection takes approximately 1,5 hours from Hamburg (ICE train) and 2,5 hours from Berlin (IC train). There is a direct connection from Berlin Airport to [...] ICE train connection from Berlin. From Rostock main station you may walk (15-20 min), take a taxi (5 min), or the tram (10 min) to the Biosciences building. by air plane Rostock/Laage airport is located

    https://www.tierphysiologie.uni-rostock.de/en/people-contacts-maps/how-to-find-us-maps/public-private-transport/

  10. Promotionsverteidigung MSc Nis Meinert
    09.10.2020, 3:00 pm - 09.10.2020, 6:00 pm

    ie von 13 TeV aufgezeichnet. Der Zerfall Λ b → D 0 Λ wird mit einer statistischen Signifikanz von 5,5 Standardabweichungen beobachtet und ist somit als Neuentdeckung einzustufen. Das gemessene Verzwei [...] center-of-mass energy of 13 TeV. The decay Λ b → D 0 Λ is seen with a statistical significance of 5.5 standard deviations, and constitutes the discovery for this decay. The branching fraction, measured

    https://www.physik.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/promotionsverteidigung-msc-nis-meinert-12647/

Displaying results 131 to 140 of 4885.
  • Previous
  • ...
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • ...
  • 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