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

4883 Results:

  1. Ringvorlesung "Mobilität" im Sommersemester 2025
    24.04.2025, 5:58 pm

    Zoom-Link für Veranstaltungen in Greifswald: https://uni-greifswald-de.zoom.us/j/9896944339?pwd=TXUxMnJ5aHREZkdTWk5GaFNNSVhUZz09 Zoom-Link für Veranstaltungen in Rostock: https://uni-rostock-de.zoom-x.de/j/63076449055

    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=237737&cHash=3e85025891e365158aa7821ec0c9bc4c

  2. Angebote aus der IEF zum Girls'Day 2026 bereits fünf Wochen vor der Veranstaltung fast vollständig ausgebucht (20.03.2026)
    20.03.2026

    bundesweit jährlich stattfindenden Girls’Day als Tag zur Berufsorientierung für Schülerinnen ab der 5. Klasse stellen Universitäten, Hochschulen, Unternehmen, Institutionen und Organisationen Studiengänge [...] Seit 2010 gibt es auch den bundesweiten Boys’Day als Tag zur Berufsorientierung für Schüler ab der 5. Klasse, der jeweils am selben Tag stattfindet, um Schülern Studiengänge und Ausbildungsberufe vorzustellen

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=268884&cHash=14c85189dacdbbb81cdeb4aacc17b60d

  3. Hexapod

    Messtechnische Ausstattung HBM MCS10CV Mehrkomponentenaufnehmer mit folgendem Messbereich Fx, Fy: 0,5 kN Fz: 2,5 kN Mx, My, Mz: 0,025 kNm Ansprechpartner M.Sc. Jonas Thyrann Tel: 0381 498 9236 Email: jonas.

    https://www.lmt.uni-rostock.de/en/forschung/ausstattung/hexapod/

  4. Lageplan

    and Design of Materials Kolbenmaschinen und Verbrennungsmotoren Technische Thermodynamik 5. Verwaltungsgebäude 5. Verwaltungsgebäude Kolbenmaschinen und Verbrennungsmotoren Modellierung und Simulation

    https://www.msf.uni-rostock.de/en/fakultaet/weiteres/lageplan/

  5. Prof Czybulka

    ng der §§ 54-67a, 132, 133 (ca. 700 Seiten), bis zur 4. Aufl., Baden-Baden 2013. 5. Auflage 2018 ISBN 978-3-8487-3974-5. Martin Gellermann/Peter-Tobias Stoll/Detlef Czybulka (Hrsg.), Handbuch des Meer [...] München 1974 Promotion zum Dr. iur., Univ. München Titel der Arbeit: Zur Problematik des Artikels 33 Abs. 5 des Grundgesetzes. Eine verfassungsstrukturelle Analyse unter kritischer Einbeziehung der einzelnen [...] (Hrsg.), Bundesnaturschutzgesetz Kommentar, Kohlhammer, Stuttgart 3. Auflage 2021, ISBN 978-3-17-030715-5. Kommentierung des 6. Kapitels "Meeresnaturschutz": Vorbemerkung vor §§ 56 ff. §§ 56-58 BNatSchG (130

    https://www.juf.uni-rostock.de/en/professuren/pfad/professuren/emeriti-ausserplanmaessige-und-honorarprofessuren/prof-czybulka/

  6. Elementaranalyse

    Zinnkapseln dann ein. Die Proben werden von Ihnen in der Glovebox abgefüllt - mindestens 1,5 mg, jedoch nicht mehr als 2,5 mg Substanz. Nach terminlicher Absprache werden die Proben von uns gemessen. Bitte geben [...] Kapsel ein. Messung Momentan werden EA-Proben am Dienstag, Mittwoch und Freitag ab einer Anzahl von 5 Proben gemessen. Die Proben sind einen Tag vorher bereitzustellen, empfindliche Proben sind durch einen [...] Proben enthalten, so können Probleme auftreten: Phosphor führt zur Bildung von glasartigem (P 2 O 5 ) x (H 2 O) y C und führt zu einer starken Beanspruchung das Quarzrohres Fluor greift in Form von F

    https://www.chemie.uni-rostock.de/en/service/wissenschaftliche-dienste/elementaranalyse/

  7. Stratasys J5 MediJet

    models The J5 MediJet device from Stratasys is financially supported by the European Union as part of the EFRE program. Contact Person: Benjamin Eichler , Dr.-Ing. Erik Westphal Stratasys J5 MediJet DAP [...] Stratasys J5 MediJet The all-in-one medical printer 3D printing in color and a variety of materials The new multi-material printer makes it possible to produce high-resolution, multi-color prints using [...] partners, e.g., in patient-specific model production. Prospects and collaborations With the Stratasys J5 MediJet, the chair is expanding its expertise in additive manufacturing and further developing the

    https://www.lfm.uni-rostock.de/en/equipment/additive-manufacturing-technologies/stratasys-j5-medijet/

  8. Hochschulgebührensatzung

    Kosten der gebenden Bibliothek auftreten. 5. Anfertigung von Kopien und Digitalisaten 5.1. Anfertigung von Kopien durch das Bibliothekspersonal je Seite 0,25 € 5.2. Anfertigung eines eBook und von hochwertigen [...] Nutzungsdauer bis 60 Tage 6,00 € 3.4. Räumung durch das Bibliothekspersonal 10,00 € 3.5. Ersatz Schließfachkarte 5,00 € 3.6. Ersatz Schließfachschlüssel 15,00 € 4. Bestellung von Informationsmitteln im [...] Grundgebühr (Seitenpreis wird zusätzlich berechnet) 10,00 € 5.3. Anfertigung von Digitalisaten durch das Bibliothekspersonal je Seite 0,25 € 5.4. Bei aufwändigen Arbeiten, Sonderwünschen oder objektbedingten

    https://www.ub.uni-rostock.de/en/universitaetsbibliothek/grundlagen-unseres-handelns/ordnungen/hochschulgebuehrensatzung/

  9. Publications

    Literaturwissenschaft on the radio program Scala on WDR 5 [ https://web.archive.org/web/20241205155254/https://www1.wdr.de/mediathek/audio/wdr5/wdr5-scala-hintergrund/audio-kuenstliche-intelligenz-in-de [...] Presentation as part of the lecture series DH im Fokus: Methoden, Anwendungen und Perspektiven on the 5.5.2025 at the University of Rostock [ https://doi.org/10.5281/zenodo.15379122 ]. Von der Exploration [...] Digitale Textanalyse mit Annotationen und AI: Der FDM-Workflow des Projekts CANSpiN . Contribution to the 5th networking meeting on research data management in Mecklenburg-Vorpommern on 8.11.2024 in Greifswald

    https://www.canspin.uni-rostock.de/en/research/publications/

  10. 5.Graduierten-Workshop

    5.Graduierten Workshop, Departement LLM EA

    https://www.itmz.uni-rostock.de/en/service/medienservice/fotografie/veranstaltungsarchiv-medienservice-fotografie/5graduierten-workshop/

Displaying results 311 to 320 of 4883.
  • Previous
  • ...
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • ...
  • 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