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. Dr. Johannes Kalbe

    Paleolithic site of Nahal Mahanayeem Outlet (Upper Jordan Valley, Israel) ‑ Quaternary International , 331(5): 139‑148. Sommer, R.S., Kalbe, J. , Ekström, J., Benecke, N., & Liljegren, R., (2014): Range dynamics [...] or the adjacent Baltic Sea area ( Abstract ). – 80. Jahrestagung der Paläontologischen Gesellschaft 5.-8. Oktober 2010, Programm und Kurzfassungen, Zitteliana Reihe B 29 , p. 36. others Kalbe, J. , & Obst [...] Ordovician graptolites in a glacial erratic boulder from Mysinge, Öland. Geschiebekunde aktuell 31(1): 5-10. Hoffmann, R., Grimmberger, G., Kalbe, J. , Rudolph, F., & Schneider, S. (2013) Verschiedene Aspekte

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/landscape-ecology/team/dr-johannes-kalbe/

  2. Bachelorarbeiten

    auf einem in-vitro-Selektionssytem Jann-Yves Engelmann (2025) Gonomeditierung der Delta-1-Pyrrolin-5-Carboxylat Synthase bei der Sonnenblume Lena Hirschfeld (2025) Regulation der Anthocyanbiosythese bei [...] Phytoendesaturase beim Tabak Caren Haiplick (2024) Charakterisierung des Trockenstress-assoziierten Gens YAB5 in Arabidopsis Nele Merel Wieboldt (2024) Charakterisierung von MYB10 in „Fragaria vesca“, „Blanc Amelioré“ [...] der Kartoffelsorte Verdi Anna Peter (2023) Charakterisierung des Trockenstress-assoziierten Gens YABB5 in Arabidopsis Jessica Ahrens (2023) Verifizierung von signifikant mit der Ausprägung der Petiolenwinkel

    https://www.pflanzengenetik.uni-rostock.de/en/bibliographie/abschlussarbeiten/bachelorarbeiten/

  3. Dr. phil. Dominika Paula Gornik

    König, N. (Hrsg.), Quo Vadis? Tagung zur digitalen Lehre und Lehrkräftebildung in M-V. Tagung am 4. und 5. Oktober 2023, Online und Präsenz (248-253) . Verfügbar unter: www.pedocs.de/volltexte/2024/28683/p [...] König, N. (Hrsg.), Quo Vadis? Tagung zur digitalen Lehre und Lehrkräftebildung in M-V. Tagung am 4. und 5. Oktober 2023, Online und Präsenz (254-261) . Verfügbar unter: www.pedocs.de/volltexte/2024/28683/p [...] Ort zum Lernen . Workshop auf der Tagung zur Digitalen Lehre und Lehrkräftebildung M-V „Quo Vadis?“, 5.10.2023, Universität Rostock. Gornik, D. P. (2023): Vignettengestützte Lehre im Lehramt Sonderpädagogik

    https://www.sopaed.uni-rostock.de/en/institut/personen/wissenschaftliche-mitarbeiterinnen-des-iser/dominika-paula-gornik/

  4. Best Practice Windows Sicherheitskonfiguration

    %Systemroot%\system32\Tasks /remove *S-1-5-11 icacls.exe %Systemroot%\system32\Tasks /grant *S-1-5-11:(ci)(rc) icacls.exe %Systemroot%\system32\Tasks /grant *S-1-5-11:(oi)(gr) icacls.exe %Systemroot%\sy [...] %Systemroot%\syswow64\Tasks /remove *S-1-5-11 icacls.exe %Systemroot%\syswow64\Tasks /grant *S-1-5-11:(ci)(rc) icacls.exe %Systemroot%\syswow64\Tasks /grant *S-1-5-11:(oi)(gr) Aktivierung von Credential [...] Tasks im Task Scheduler anzulegen. icacls.exe %SystemDrive%\ /remove:g *S-1-5-32-545 icacls.exe %SystemDrive%\ /grant *S-1-5-32-545:(ci)(oi)rx icacls.exe %Systemroot%\system32\Tasks /save "%SystemRoot

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/toolkits/best-practice-windows-sicherheitskonfiguration/

  5. Artikel1

    n quantum holonomy”, Nature Physics (2022). DOI: 10.1038/s41567-022-01807-5 https://www.nature.com/articles/s41567-022-01807-5 Back

    https://www.optics.physik.uni-rostock.de/en/translate-to-english-pressemeldungen/translate-to-english-artikel1/

  6. Windows 7 FAQ

    (Vorausgesetzt es gibt kein Windows 7 E.) 4. Welche neuen Eigenschaften sind für Administratoren wichtig? 5. Was ändert sich an der Lizenzierung? 1. Was ist Windows 7 ? Windows 7 ist in erster Linie ein ausgereiftes [...] Systemvoraussetzungen Booten von VHD - Direktes Booten von VHD-Volumes über den Windows Boot Manager. 5. Was ändert sich an der Lizenzierung? Gegenüber Windows Vista gibt es keine grundlegenden Veränderungen

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

  7. Types of contributions

    Types of contributions Talks: 15 min + 5 min discussion Posters: 2 poster sessions in the late afternoon Abstract submission deadline: 31 Jan 2021 Download our abstract template (DOCX, 1.4 MB) Important [...] microphone and/or camera. Talks Talks may be up to 15 minutes long, followed by a discussion of about 5 minutes . Please prepare your slides either in 4:3 or 16:9 aspect ratio. The slides will be streamed

    https://www.chemie.uni-rostock.de/en/owpc/types-of-contributions/

  8. Portalseite Studieninteressierte

    Oben ankommen - Maschinenbau am Meer Breites Fächerspektrum Wir bieten Ihnen 4 Bachelor- und 5 Masterstudiengänge mit den Schwerpunkten Biomedizinische Technik, Maschinenbau, Mechatronik, Schiffs- und [...] finden Sie hier… Girls'Day - Mädchenzukunftstag am 03.04.2025 An diesem Tag können sich Mädchen ab der 5. Klasse an unserer Fakultät für Technik und Naturwissenschaften begeistern lassen. Besucht uns und macht

    https://www.msf.uni-rostock.de/en/studieninteressierte/portalseite-studieninteressierte/

  9. Mapping Relational Data into Property Graphs (bis 09/22)

    WossiDiA system [4] itselfs as one of the databases harvested by ISEBEL uses typed, directed hypergraphs [5] for representing the collections by Richard Wossidlo. The content encompasses field notes, correspondences [...] --- 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/mapping-relational-data-into-property-graphs-bis-09/22/

  10. Erasmus+ Programme

    Poitiers (oder 1 Studienplatz für das akademische Jahr) Erasmus Code: F Poitier01 Toulon 4 Studienplätze à 5 Monate an der Université de Toulon Erasmus Code: F Toulon01 Angers Erasmus-Code: F ANGERS 01 Hinweis [...] ze à 9 Monate an der Universidade Nova de Lisboa ERASMUS-Code: P LISBOA 03 Porto 2 Studienplätze à 5 Monate an der Universidade do Porto ERASMUS-Code: P PORTO 02 Partneruniversität : Universidade de T

    https://www.romanistik.uni-rostock.de/en/studium/auslandsstudium/erasmus-studium/

Displaying results 2021 to 2030 of 4781.
  • Previous
  • ...
  • 199
  • 200
  • 201
  • 202
  • 203
  • 204
  • 205
  • 206
  • 207
  • 208
  • ...
  • 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