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

4894 Results:

  1. Bucherscheinungen

    Archive und ihrer Präsentation im Internet (= Rostocker Studien zur Volkskunde und Kulturgeschichte, 5). Münster/New York: Waxmann 2014. 320 S., mit zahlreichen, teils farbigen Abb. Sichtweisen in der M [...] herausgegeben von Hans Joachim Schmidt. Rostock 2009 (= ewa ., editionen des wossidlo-archivs, Bd. 5). Außerdem als Hör-CD erhältlich Wossidlo Lesebuch Das große Wossidlo-Lesebuch. Herausgegeben von S

    https://www.wossidlo.uni-rostock.de/en/wossidlo-forschungsstelle/aktuelles/medienspiegelnews-archiv/bucherscheinungen/

  2. Katharina Alter

    amphibians and freshwater fishes: Drivers, patterns and data limitations. Global Change Biology , 30(5): e17318. https://doi.org/10.1111/gcb.17318 Alter K , Jacquemont J, Claudet J, Lattuca ME, Barrantes [...] oxygen availability in early life stages of decapods developing in distinct environments. Mar Biol , 162(5): 1111–1124. https://doi.org/10.1007/s00227-015-2654-4 Pöhlmann K, Koenigstein S, Alter K , Abele D

    https://www.meeresbiologie.uni-rostock.de/en/team/katharina-alter/

  3. Adopt a Tree (in German)

    giganteum ) 4. Baum-Patenschaft Margit Weinmann über einen Schneeglöckchenbaum ( Halesia carolina ) 5. Baum-Patenschaft Dr. Dirk-Michael Mach über einen Chinesischen Blauglockenbaum ( Paulownia tomentosa [...] Alpinum -Anlage 4. Abteilungs-Patenschaft Bärbel und Werner Brinckmann über die Offizinellen -Anlage 5. Abteilungs-Patenschaft Plattdeutsch-Verein Klönsnack-Rostocker 7 e.V. über die Staudengarten-Anlage

    https://www.garten.uni-rostock.de/en/about-us/friends-of-rostock-botanical-garden/adopt-a-tree-in-german/

  4. Short summary of dissertations

    Dudkin 04.02.2013 Design and Synthesis of Pyrimidine C-Nucleosides, 5-Polyfluoroalkyl-5-deazaalloxazines and Spiro[pyrimido[4,5-b]quinoline-3',5-indoline-2'-one]-3,10-dihydro-2,4-diones deutsch und englisch [...] trichlormethylierten Cyclohexenonen. Synthese und Strukturaufklärung von 1,3,5,7-Tetraketiden und permethylierten 1,3,5-Tri- und 1,3,5,7-Tetraketiden deutsch und englisch Organische Chemie Prof. P. Langer Frau [...] (LIKAT) Herr M. Sc. Bartosz Wozniak 03.12.2018 Bio-based building blocks from 5-hydroxymethylfurfural via 1-hydroxyhexane-2,5-dione as intermediate deutsch und englisch Chemie Prof. J. de Vries (LIKAT) Frau

    https://www.mathnat.uni-rostock.de/en/studium/promotion-/-habilitation/kurze-zusammenfassung-von-dissertationen/

  5. Homepage Olaf Engler

    Zentrums für Logik, Wissenschaftstheorie und Wissenschaftsgeschichte (ZLWWG) 2008 bis 2013 Herausgeber von 5 Bänden der Schlickiana (gemeinsam mit Dr. Mathias Iven und Prof. Hans Jürgen Wendel) seit 2010 Mitglied [...] Physiker und Philosoph 2006/07: 4. Natur & Geist - Prozesse in natürlicher und geistiger Welt 2007/08: 5. Natur & Geist - Ein Philosoph aus Rostock 2008/09: 6. Natur & Geist - Kulturen des Wissens 2009/10: [...] Falkenburg (Dortmund), 2. Elie G. Zahar (Cambridge), 3. Volker Gadenne (Linz), 4. Friedrich Stadler (Wien), 5. Don Howard (Notre Dame), 6. Michael Friedman (Stanford), 7. Brian McGuinness (Siena), 8. Michael H

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-olaf-engler/

  6. News

    audience. Technical field trip to the Berlinertordamm Bridge and the construction site of the new U5 subway line in Hamburg on June 12, 2026. IL student assistants Jonathan, Anika, and Anica (from r. to [...] ecological dimension to the structure. Our second stop was the construction site of Hamburg’s new U5 underground railway line. With 22 stations and a planned route length of around 25 km, the project is [...] films and visualisations provided an impressive overview of the project. We then visited two future U5 stations and gained first-hand insights into the construction process. One of the key challenges is

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/massivbau/news/

  7. Radio und TV

    Nordstream 2", in: NDR Info, 02.03.2023. (Interview mit Wolfgang Muno) Radio: "Das NDR 2 Update um 5", in: NDR2, 06.02.2023. (Interview mit Jan Müller) TV: "Upahl: Kreistagssitzung erneut unter Polizeischutz" [...] 2018. (O-Töne Jan Müller) 2017 2017 Radio: "Interview zum AfD-Parteitag", in: Mittagsecho NDRInfo/WDR5, 02.10.2017. (Interview mit Jan Müller) TV: "Experteninterview zum Jamaika-Aus", in: NDR Nordmagazin [...] aktuell extra, 30.05.2017. (Interview mit Jan Müller) Radio: "AfD Parteitag in Köln" in: NDR Info/WDR5, 22.04.2017. (Gespräch mit Jan Müller) TV: "Die AfD-MV und die 'Identitäre Bewegung'", in: ZDF drehscheibe

    https://www.ipv.uni-rostock.de/en/forschung/arbeitsgruppen/arbeitsgruppe-politik-und-wahlen-in-mecklenburg-vorpommern/radio-und-tv/

  8. Exkursionen

    Waisenhauses mit Schule zu verwirklichen. Nur wenige Jahre später begann der Bau des Haupthauses (Abb. 5 links). Hierin befanden sich ursprünglich Klassenzimmer, Schlafsäle und im seitlichen Eingang eine Mensa [...] Geplant ist der Besuch der Herzog August Bibliothek (inkl. Führung und ein Gespräch mit dem Direktor). Am 5. September findet dort eine vier- bis sechsstündige Seminareinheit mit frühneuzeitlichen Drucken statt [...] 2015). 2013: Exkursion nach Südtirol Exkursion unter der Leitung von Prof. Dr. Michael North (31.08.-5.09.2013) 2011: Exkursion in die USA (Berkeley, Los Angeles, Santa Barbara) Seminar "Collections and

    https://geschichte.uni-greifswald.de/en/arbeitsbereiche/fnz/exkursionen/

  9. Applocker-Toolkit

    Kommandozeile aus: sc config AppIDSvc start= auto sc start AppIDSvc PowerShell 5 (Windows 10/Windows Server 2016 enthält PowerShell 5) Hinweise und Download-Links unter Wie schränke ich In-Memory-Angriffe (Fileless [...] die keine Whitelist-Regeln erstellt werden $FullLanguageModeUsers Windows Benutzer oder Gruppen S-1-5-32-544 Liste von Nutzern, die den Full Language Mode in einer interaktiven PowerShell nutzen können [...] zugelassen ist, sind alle Skripte der jeweiligen Skript-Engine ausführbar. Seit PowerShell Version 5 werden standardmäßig ALLE PowerShell-Skripte ausgeführt unabhängig von den Verzeichnispfaden der Software

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/toolkits/applocker-toolkit/

  10. Elektrotechnik-Absolvent erhält Promotionsstipendium der Universität Rostock 2019 (26.02.2019)

    und Prof. Dr. rer. nat. habil. Karsten Wolf (Universität Rostock, Institut für Informatik) werden 5. September 2019 mit dem Test of Time Award 2019 Runner-Up auf der 17th International Conference on Business [...] Andreas Heuer (beide Fakultät für Informatik und Elektrotechnik, Institut für Informatik) und werden am 5. Juli 2019 mit dem Förderpreis für Lehre 2019 der Gesellschaft der Förderer der Universität Rostock [...] in Darmstadt für ihr Paper „On Quality-Of-Service and Publish/Subscribe“ ausgezeichnet, das sie zum 5th International Workshop on Distributed Event-based Systems (DEBS'06) eingereicht hatten. Die Preise

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2019/liste-langansicht/

Displaying results 3421 to 3430 of 4894.
  • Previous
  • ...
  • 339
  • 340
  • 341
  • 342
  • 343
  • 344
  • 345
  • 346
  • 347
  • 348
  • ...
  • 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