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. Hilfsprogramme

    selbstextrahierende Archive erstellen unterstützt viele Format, auch das RAR-Format, ISO-Dateien WinRAR 5.2 download Komprimierungs- und Entpackungsprogramm Erzeugung von selbstentpackenden SFX-Archiven Reparatur

    https://www.mathe-mv.de/en/digitale-medien/hilfsprogramme/

  2. Computer Science B.Sc.

    science as well as mathematics. These modules are attended by all students (compulsory modules). Term 5 to 7 Opportunity to choose between practical training, subsidiary subject or term abroad (optional

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

  3. Role of the velocity fluctuation in swimming

    regard to water streaming in at an oblique angle. At an angle of 30 degrees the error rate is about 5%. The inertia of the measuring system can be neglected in practical application, because the weight

    https://www.isportwi.uni-rostock.de/en/forschung/biomechanik/projekte/role-of-the-velocity-fluctuation-in-swimming/

  4. Prof. Dr. Henning Schröder

    Im Rahmen seiner Doktorarbeit beschäftigte sich Henning mit der "Untersuchung der Niveaustruktur im 5 Li mit Hilfe der Drei-Teilchen-Reaktion D + 3 He → p + t + p" und promovierte 1973 zum Dr. rer. nat

    https://www.physik.uni-rostock.de/en/arbeitsgruppen/emeriti/prof-dr-henning-schroeder-/-pd-dr-roland-waldi-elementarteilchenphysik/prof-dr-henning-schroeder/

  5. Workshop: Knowledge Society: History and Politics in Advanced Western Societies (Part 2)
    02.05.2022

    Monday,2.5., 15-19 Campus Ulmenstraße, U69-H1-024 The aim of the workshop is to explore the core components of knowledge societies, and to explain their origin, behavior and nature. At least since the

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/workshop-knowledge-society-history-and-politics-in-advanced-western-societies-part-2/

  6. CTNR Lecture Series: Two Upcoming Online Events on 29th March and 8th April 2022
    25.03.2022

    loss-of-function mutations of the endolysosomal cholesterol exporters NPC1 (95% of clinical cases) or NPC2 (5%). However, lysosomal cholesterol engorgement has never fully explained the complex manifestation of

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/ctnr-lecture-series-two-upcoming-online-events-on-29th-march-and-8th-april-2022/

  7. Projects

    the quality and/or up-to-datedness of the information on research projects? S1 needs not more than 5 workdays to enter the project data, similar to the subsequent post-processing by S1. The synchronisation

    https://www.uni-rostock.de/en/research/science-support/fodb/projects/

  8. Prof. Dr.-Ing. Thomas Kirste

    Foundations of Machine Learning AI3: Artificial Neural Networks AI4: Signals and Time Series Analysis AI5: Intelligent Environments and Cooperative Ensembles AI6: Introduction to Natural Language Processing

    https://www.ief.uni-rostock.de/en/fakultaet/institute-und-lehrstuehle/lehrende/institute/visual-and-analytic-computing/prof-dr-ing-thomas-kirste/

  9. OTC-PromOcean (BMBF)

    Diversity Mainstreaming, 3. Diversity-Monitoring; 4. Widening - Willkommenskultur & Internationalisierung, 5. Talenteförderung und Empowerment, 6. Marketing und Rekrutierung. Förderung Dieses Projekt wird gefördert

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/otc-promocean-bmbf/

  10. Laboratory: Marine Technology

    Experimental Methods for Manoeuvring Controllability and Vibrations of Ships 4. Wind Tunnel Tests 5. Structural Mechanical Tests Literature - Lecture Notes - Brix, J.: Manoeuvring Technical Manual, Seehafen

    https://www.lsk.uni-rostock.de/en/study/lectures-bachelor/laboratory-marine-technology/

Displaying results 2591 to 2600 of 4868.
  • Previous
  • ...
  • 256
  • 257
  • 258
  • 259
  • 260
  • 261
  • 262
  • 263
  • 264
  • 265
  • ...
  • 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