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

    de Redaktionell verantwortlich für die zentralen Webseiten der Universität Rostock gemäß § 55 Abs. 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18055 Rostock Telefon: +49 381 498-1012, Telefax: +49 [...] Stationen aus dem IP-Namensbereich 'uni-rostock.de' ausgehen, senden Sie bitte an den o.g. Webmaster. 5. Rechtswirksamkeit dieses Haftungsausschlusses Dieser Haftungsausschluss ist als Teil des Internetangebotes

    https://www.fotau.uni-rostock.de/en/footer/impressum/

  2. Tauchen mit Vollgesichtsmaske(n); Weiterbildung am 13.9.2017

    Motivation Zur Erinnerung ein Blick in unsere Regel für Forschungstaucher BGR/GUV-R 2112 der DGUV: "... 5.7.1 Der Unternehmer hat für jeden Taucher (Einsatz- und Sicherungstaucher) folgende Mindestausrüstung [...] aus Rostock sein Vereinsgebäude am Papendorfer See für das Vorhaben zur Verfügung. Telnehmende waren 5 KollegINNen aus der UniR und 6 KollegINNen aus dem IOW. Nach einer theoretischen Einführung durch G

    https://www.fotau.uni-rostock.de/en/berichte/aus-und-weiterbildung/tauchen-mit-vollgesichtsmasken-weiterbildung-am-1392017/

  3. Prof. Dr. Sergey Verevkin

    applications», 2019, Editor Zivadze A. Ju. Publisher: JSC Ivanovsky Publishing House, 2019, SBN: 978-5-904580-67-4, https://www.rfbr.ru/rffi/ru/books/o_2092972 Sergey P. Verevkin, CHAPTER 15. Gibbs–Helmholtz [...] Eds. Emmerich Wilhelm and Trevor M. Letcher. https://pubs.rsc.org/en/content/ebook/978-1-83916-201-5 С.В. Востриков, М.Е. Коннова, Е.А. Мартыненко, С.П. Веревкин «Разработка термодинамических основ хранения

    https://www.ltt.uni-rostock.de/en/team/prof-dr-sergey-verevkin/

  4. Windows 8 FAQ

    auf Windows 8 aktualisiert werden? 4. Welche neuen Eigenschaften sind für Administratoren wichtig? 5. Welche Funktionalitäten entfallen? 6. Was ändert sich an der Lizenzierung? 7. Windows 8 Editionen 1 [...] com/en-us/windows/hh771457 http://msdn.microsoft.com/en-us/library/windows/desktop/hh848054(v=vs.85).aspx 5. Welche Funktionalitäten entfallen? Start-Knopf Workaround: Wie erhalte ich den Start-Knopf unter Windows

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/allgemeines/windows-8-faq/

  5. Sicherheitsempfehlungen für den Zugriff auf administrative Jump-Server

    es https://techcommunity.microsoft.com/t5/core-infrastructure-and-security/secure-administrative-workstations/ba-p/258424 https://techcommunity.microsoft.com/t5/core-infrastructure-and-security/protec

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/sicherheitsempfehlungen-fuer-den-zugriff-auf-administrative-jump-server/

  6. Holzmeier

    Kartographie und Historiographie ber Palinus Minorita" 7. Kartenhirstorisches Nachwuchskolloquium. 11./12.5.2018, Universität Kassel Weltgeschichte als Diagramm – Chronologia Magna des Paolino Veneto“. Forsc [...] International Congress on Medieval Studies 2017, University of Western Michigan, Kalamazoo, 11. – 14.5.2017 „Neuordnung durch Visualisierung – Weltwissen zwischen didaktischer Aufbereitung und elitärem

    https://www.geschichte.uni-rostock.de/en/institut/wissenschaftliche-mitarbeiter/mitabeiterinnen/holzmeier-1/

  7. Novakazi

    resistance of Icelandic spring barley lines. Journal of Plant Pathology . doi.org/10.1007/s42161-021-00972-5 Hautsalo J, Novakazi F , Jalli M, Göransson M, Manninen O, Isolahti M, Reitan L, Bergersen S, Krusell [...] diploid hybrid Verticillium longisporum differ in virulence and pathogenicity. Phytopathology , 105(5):662-73. Clare S, Novakazi F , Hayes P, Moscou M and Brueggeman R, 2024. Colocalization of genetic regions

    https://www.auf.uni-rostock.de/en/professuren/agrarbereich/phytomedizin/team/novakazi/

  8. Nadine Holzmeier

    Kartographie und Historiographie ber Palinus Minorita" 7. Kartenhirstorisches Nachwuchskolloquium. 11./12.5.2018, Universität Kassel Weltgeschichte als Diagramm – Chronologia Magna des Paolino Veneto“. Forsc [...] International Congress on Medieval Studies 2017, University of Western Michigan, Kalamazoo, 11. – 14.5.2017 „Neuordnung durch Visualisierung – Weltwissen zwischen didaktischer Aufbereitung und elitärem

    https://www.geschichte.uni-rostock.de/en/arbeitsbereiche/mittelalterliche-geschichte/promotionsvorhaben/nadine-holzmeier/

  9. Die Welt der Wissenschaft zu Gast in Rostock - Auftakt zum 600. Rostocker Universitätsjubiläum mit Staffelstabübergabe am 12. November 2018
    05.11.2018

    tungen Reise in die Zukunft In der multimedialen Ausstellung „Experiment Zukunft“ vom 23. März bis 5. Mai 2019 mit über 20 künstlerischen Arbeiten richtet die forschende Kunst den Blick auf die Zukunft [...] – Kultur – Transformation“. Das Drittmittelvolumen der Universität Rostock lag im Jahr 2017 bei 51,5 Millionen Euro. Insgesamt sind zum Wintersemester 2018/19 an der Universität 13.000 Studierende imm

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/die-welt-der-wissenschaft-zu-gast-in-rostock-auftakt-zum-600-rostocker-universitaetsjubilaeum-mit-staffelstabuebergabe-am-12-november-2018-37455/

  10. Fedora 4

    pam_mount-0.9.25-3.i386.rpm Installieren Sie die Software mit dem Befehl: rpm -v -i pam_mount-0.13.0-6.fc5.i386.rpm Editieren Sie die Datei /etc/security/pam_mount.conf und ändern Sie die Datei wie folgt Suchen [...] Anpassen des ssh-Dienstes für die Benutzung des URZ Homes mithilfe des Moduls pam_mount finden Sie hier. 5. X Windows Datei .ICEAuthority und GNOME UserAuthDir umlenken Editieren Sie die Datei /etc/X11/xdm/xsession

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/universitaetsweite-dienste/ldap-authentifizierungsserver/fedora-4/

Displaying results 2361 to 2370 of 4781.
  • Previous
  • ...
  • 233
  • 234
  • 235
  • 236
  • 237
  • 238
  • 239
  • 240
  • 241
  • 242
  • ...
  • 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