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

4861 Results:

  1. Rundbrief Nr. 32 - newsletter no. 32 and information about the coordination workshop 2021!
    29.06.2021

    Prospective new applicants (2) are obliged to provide a pre-recorded 2-5 min video presentation ("Projektskizze"; maximum of 5 min length, maximum of 50 MB size, file format .mp4; IMPORTANT: longer or

    https://www.spp-antarktisforschung.uni-rostock.de/en/news-artikelordner/detailansicht-der-news/n/rundbrief-nr-32-newsletter-no-32-and-information-about-the-coordination-workshop-2021/

  2. Mining for truth, belief, and conspiracy using graph paradigms (bis 09/22)

    WossiDiA system [4] itself as one of the databases harvested by ISEBEL uses typed, directed hypergraphs [5] for representing the collections by Richard Wossidlo [6]. Combining conspiracy-theoretical approaches [...] online – Strategien der Digitalisierung kultureller Archive und ihrer Präsentation im Internet, Volume 5 of Rostocker Beiträge zur Volkskunde und Kulturgeschichte, Waxmann, 2014, 61–84. Meyer, Holger, Al

    https://dbis.informatik.uni-rostock.de/en/studium/studentische-arbeiten/in-bearbeitung/mining-for-truth-belief-and-conspiracy-using-graph-paradigms-bis-09/22/

  3. Regionale Schule mit Grundschule Marnitz

    (gebundene Ganztagsschule) Anzahl der Lehrkräfte 20 Anzahl der Schüler:innen 250 Klassenstufen 1-4 und 5-10 Schulleiterin Frau Babett Janke Adresse Mooster Straße 10, 19376 Ruhner Berge OT Marnitz Webseite [...] rnahme im Sinne einer Bildung für nachhaltige Entwicklung o durchgängige Berufsorientierung Klasse 5-10 durch Projekttage, Praxislerntage, Wahlpflichtunterricht und Praktika Grundschule o flexible Sch

    https://www.zlb.uni-rostock.de/en/landpraktikummv/partnerschule/regionaleschule-mit-grundschule-marnitz/

  4. Aktuelles

    2024: Chemie-Studium an der Universität Rostock auf Platz 5 Die Universität Rostock belegt für den Studiengang Chemie im CHE-Hochschulranking 2024 den 5. Platz im deutschlandweiten Vergleich. read more 02.05

    https://www.chemie.uni-rostock.de/en/institut/das-institut/aktuelles/

  5. Registration CSE/EE

    n. If there are no free places available you will get registered on the waiting list. Step 5: Payment Step 5: Payment CSE/EE-students can take two German courses, Computer Science-students one course without

    https://www.sprachenzentrum.uni-rostock.de/en/languages/languages-a-g/german-as-a-foreign-language/registration-cseee/

  6. Der Werkzeugführerschein

    Arbeit mit der Feinsäge Modul 3: Die Arbeit mit der Laubsäge Modul 4: Die Arbeit mit der Japansäge Modul 5: Die Arbeit mit der Feile/Raspel Modul 6: Die Arbeit mit dem Hammer Modul 7: Abschlusstest, FAQ, Best [...] Wissen! 3: Arbeit mit der Laubsäge Prüfe dein Wissen! 4: Arbeit mit der Japansäge Prüfe dein Wissen! 5: Arbeit mit der Feile/ Raspel Prüfe dein Wissen! 6: Arbeit mit dem Hammer Prüfe dein Wissen! 7: Abs

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/onlinekurse/der-werkzeugfuehrerschein/

  7. Institute of Mathematics

    revolution with constant, negative measure of curvature (Hyperboloid type). Gypsum. The object as series II,5 is found at Schilling [1]: A system of parallel geodetic lines is drawn (green), out of which there [...] area creates the transition between the two aforementioned surfaces ([1, 228, II,4] and [1, 229, II,5]) and corresponds tot he ball for surfaces with constant, positive curvature. The curves drawn in blue

    https://www.itmz.uni-rostock.de/en/applications/services-for-science/education/print-service/scanning/3d-scanning/examples/institute-of-mathematics/

  8. ITTI B.Sc.

    be attended by all students (compulsory module). A module from another faculty must be chosen. Term 5-6 Choices from the mandatory field computer science and electrical engineering (12 credit points per [...] Three compulsory modules must be attended. Examplary module from term 1-4 Examplary module from term 5-6 Term 7 Choice between a practical training (15 credit points) or one more mandatory field module,

    https://www.informatik.uni-rostock.de/en/study-teaching/interest-groups/prospective-students/itti-bsc/

  9. Publikationen 2026

    Nico Kalis, Sven Pawletta, Christian Haubelt, Frank Golatowski: Towards Ambient Internet of Things in 5G: What does Medium Access Control Scheduling cost? In Proceedings of the 31st IEEE International Conference [...] Golatowski: Preparing the Stage for Ambient Internet of Things: A Study of Positioning Protocols in 5G Networks In Proceedings of the 22nd IEEE Conference on Factory Communication Systems (WFCS26), pp.

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2026/

  10. Prof. Dr. Wenke Mückel

    erricht 5/2014. Braunschweig: Westermann. Basisbeitrag: Mückel, Wenke/ Noack, Christina (2014): Auf dem Weg zur Fachsprache. In: Deutschunterricht: Fachsprache verstehen und verwenden. Heft 5/ 2014. B [...] Lehrbuch Kl. 5. Berlin: Cornelsen, S. 77 – 84. Mückel, Wenke (2004): Sprachspielspaß – Mit Lauten, Wörtern, Wortarten und Wortbildern experimentieren. Handreichungen für den Unterricht, Kl. 5. Berlin: Cornelsen [...] Deutschunterricht aktuell, Juli 2018; https://c.wgr.de/f/onlineanhaenge/files/html5_preview/0ffa8cfe4e3f59b294dffaaffe920f57ef34fc5ae08da7197966a62ae4e20d87/index.html?sp=true Mückel, Wenke (2018): Sprache und

    https://www.igsp.uni-rostock.de/en/institut/personen/professuren/prof-dr-wenke-mueckel/

Displaying results 1291 to 1300 of 4861.
  • Previous
  • ...
  • 126
  • 127
  • 128
  • 129
  • 130
  • 131
  • 132
  • 133
  • 134
  • 135
  • ...
  • 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