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

4862 Results:

  1. Bisheriges Programm des Rostocker Online Forschungsseminars zur Mathematikdidaktik

    SoSe 21 11.5., 13 Uhr (c.t.): Prof. Dr. Anke Lindmeier (Universität Jena) Kompetente Mathematiklehrkräfte – Forschungszugänge und Befunde zur fachspezifischen Lehrerkognitionsforschung 18.5., 13 Uhr (c [...] t. - Prof. Stanislaw Schukajlow (Universität Münster) Mathematischen Modellieren und Textverstehen 5. Dezember 2023, 13-15 Uhr c.t. - Prof. Michael Meyer (Universität zu Köln) Nachhaltige Mathematik –

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/didaktik-der-mathematik/studium-und-lehre/oberseminar-mathematikdidaktik-1/

  2. Windows Server 2016 FAQ

    Administratoren wichtig? 3. Welche Funktionalitäten entfallen? 4. Was ändert sich an der Lizenzierung? 5. Windows Server 2016 Editionen 6. Eigenschaften der Windows Server 2016 Editionen 1. Welche Upgrade-Pfade [...] ich, Blacklisting, Throttling und mehr Windows Defender – Antimalware-Anwendung Windows PowerShell 5.1 Referenz: https://docs.microsoft.com/en-us/windows-server/get-started/what-s-new-in-windows-server-2016 [...] -server/pricing https://docs.microsoft.com/en-us/windows-server/get-started/server-2016-activation 5. Windows Server 2016 Editionen Folgende Editionen von Windows Server 2016 sind verfügbar: Windows Server

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

  3. Homepage Dilek Yargan

    Istanbul. 25. und 30. Mai und 1. Juni 2021, Lernprogramm, Towards Building ESBS Ontologies with Protégé 5.5 , Method, Research, Theory Programs-Projekt, TÜBİTAK Projekt No: 118C257, Universität Boğaziçi. 16 [...] Türkisch), in Tagungsband des 6. Workshops über Logik , 26-27 Mai 2016, Artvin, ISBN: 978-605-66311-1-5, 353-361. Lehre und Workshops (Auswahl) 11. Mai 2023, Referent, Natürliche Zahlen und Sätze als Morpheme

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-dilek-yargan/

  4. Vernichtung von Informationsträgern nach DIN 66399

    stufe P-4: <= 160qmm Sicherheitsstufe P-5: <= 30qmm Festplatten Sicherheitsstufe H-3: Datenträger verformt Sicherheitsstufe H-4: <= 2000qmm Sicherheitsstufe H-5: <= 320qmm Elektronische Datenträger (S [...] USB-Sticks, SD-Karten) Sicherheitsstufe E-3: <= 160qmm Sicherheitsstufe E-4: <= 30qmm Sicherheitsstufe E-5: <= 10qmm Die vollständige Aufstellung der Datenträgerarten und der zugehörigen Sicherheitsstufen finden

    https://www.uni-rostock.de/en/universitaet/vertretungen-und-beauftragte/datenschutzbeauftragte/themen/loeschen-und-vernichten/vernichtung-von-informationstraegern-nach-din-66399/

  5. Studium

    Webseite der Bibliothek Schulrahmenpläne Schulrahmenpläne Allgemeinbildende Schule; Klasse 5 - 6 Rahmenplan Klasse 5-6 AWT Regionalschule; Klasse 7 - 10 Rahmenplan RegS Klasse 7-10 AWT Gymnasium, Gesamtschule; [...] zu ermöglichen sowie die Lehrbefähigung für den Werkunterricht in der Orientierungsstufe (Klassen 5 und 6) zu erhalten. Studienvoraussetzungen Für die Aufnahme eines Studiums ist grundsätzlich die Allgemeine

    https://www.awt.uni-rostock.de/en/studium/

  6. Neueste Entwicklungen in der Informatik

    Integrierte Veranstaltung Kurzvorstellung: angebotene Themen im SS22 Termin: Di 9-11Uhr, online, Beginn 5.4.22 Belegung: LSF , StudIP Ort: Onlineveranstaltung SWS (CP) : 3 (6) Modulniveau: Masterstudiengang

    https://www.ava.uni-rostock.de/en/lehre/sommersemester-2022/neidi/

  7. IEF Programm für die Einführungswoche zum Wintersemester 2022/2023 ist online (01.09.2022)
    01.09.2022

    n Studienberatung für alle neuen Studierenden der Universität und bieten die Lehrenden der IEF vom 5. bis 11. Oktober 2022 für die Studiengänge der IEF fachspezifische Einführungsveranstaltungen. Die

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/detailansicht-der-news/n/ief-programm-fuer-die-einfuehrungswoche-zum-wintersemester-2022-2023-ist-online-01092022-129109/

  8. Heterocyclic Enamines

    5.1 Multicomponent and Domino Reactions of Heterocyclic Enamines and Related Substrates Abstract: A variety of domino and multicomponent reactions were developed which include domino Knoevenagel / het

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/multicomponent-and-domino-reactions/heterocyclic-enamines/

  9. Arbeitsrecht to go: Ihre Fragen, unsere Antworten zum Thema Familie, Schwangerschaft, Elternzeit
    24.04.2024, 9:00 am - 24.04.2024, 10:00 am

    ch, einfach über den Link https://uni-rostock-de.zoom-x.de/j/64488189043?pwd=MFJDNng4bVEvQ0dpdlBzWG5YUjlDdz09 teilnehmen. Hinweis: Wenn Sie vorab Ihre Fragen einreichen möchten, dann schreiben Sie uns

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/arbeitsrecht-to-go-ihre-fragen-unsere-antworten-zum-thema-familie-schwangerschaft-elternzeit-191723/

  10. Schulversuche mit Fluoreszenzbooster
    01.07.2024, 3:00 pm

    Brezesinski & Prof. Dr. Matthias Ducci Datum: Mo, 01.07.2024, ab 15:00 Uhr Ort: ISG Rostock (Goethestr. 5/6, 18055 Rostock) ----- Experimente mit Fluoreszenzeffekten üben gewöhnlich eine besondere Faszination

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/schulversuche-mit-fluoreszenzbooster-193093/

Displaying results 1231 to 1240 of 4862.
  • Previous
  • ...
  • 120
  • 121
  • 122
  • 123
  • 124
  • 125
  • 126
  • 127
  • 128
  • 129
  • ...
  • 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