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

4797 Results:

  1. 27-jährige Uni-Absolventin und Gründerin hält Festvortag zur Immatrikulation in Rostock
    12.10.2021

    entstanden ist. Das junge StartUp will in der knapp 800 Quadratmeter großen Produktionshalle pro Monat 1,5 Tonnen Insektenmehl produzieren. „Die Welt hat ein Ernährungs-Problem“, sagt Raijana Schiemann. „Über

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/27-jaehrige-uni-absolventin-und-gruenderin-haelt-festvortag-zur-immatrikulation-in-rostock/

  2. A-SWARM

    Schiffbau-Versuchsanstalt Potsdam GmbH zur Verfügung. Ein Demonstrator ist mit zwei um 360 Grad drehbaren 5 kW Inline-Triebwerken (RIM-Antrieben) ausgestattet. Die Positionsmessung erfolgte im Innenbereich mit

    https://www.ief.uni-rostock.de/en/fakultaet/institute-und-lehrstuehle/lehrende/institute/automatisierungstechnik/prof-dr-ing-torsten-jeinsch/a-swarm/

  3. Internetressourcen

    Geschichte der Universität Bonn Wissenschaftliche Sammlungen der Universität Greifswald - Zurzeit sind über 5.000 Objekte aus sieben Sammlungen in der noch im Aufbau befindlichen Datenbank recherchierbar. Die

    https://www.uni-rostock.de/en/universitaet/uni-gestern-und-heute/geschichte/materialien/internetressourcen/

  4. Liv. 2,12

    a custodibus Romanis retraheretur ut transfuga, fortuna tum urbis crimen adfirmante, senatum adit. 5 „Transire Tiberim" inquit, „patres, et intrare, si possim, castra hostium volo, non praedo nec populationum

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/liv-212/

  5. Plin. epist. 4,13

    morarentur quam in patria aut pudicius continerentur quam sub oculis parentum aut minore sumptu quam domi? 5 Quantulum est ergo collata pecunia conducere praeceptores, quodque nunc in habitationes, in viatica

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/plin-epist-413/

  6. Downloads

    institutions abroad who are significantly involved in the project. New : → Please note points 6.4 and 6.5 of the new guidelines for submitting applications, in particular the reference to any agreements on

    https://www.spp-antarktisforschung.de/en/organisation/application-process/downloads/

  7. Projekt Maschinenbau (B.Sc.)

    grundmannuni-rostockde Bachelor-Studiengang Studentische Arbeiten Projekt Maschinenbau Im Wintersemester (5. Semester B.Sc.) Informationen zu Projekt Maschinenbau (B.Sc.) Lern- und Qualifikationsziele (Kompetenzen)

    https://www.lsm.uni-rostock.de/en/lsm-lehre/studentische-arbeiten/projektmaschinenbau/

  8. Rostyslav Lesyuk

    Gaponik: Simulation study of environment friendly quantum dot based photovoltaic windows J. Mater. Chem. C 5 (2017) 11790. Rostyslav Lesyuk, Val Marinov, Erik K. Hobbie, Ahmed Elbaradei, Ihor Tarnavchyk, Yaroslav

    https://www.nanomaterials.uni-rostock.de/en/rostyslav-lesyuk/

  9. PD Dr. Jörn Kiefer

    im christlich-jüdischen Kontext. Zur Perikopenreihe 4, Berlin 2021, 79-84. Predigtmeditation zu Am 5,21-24, in: Predigtmeditationen im christlich-jüdischen Kontext. Zur Perikopenreihe 6, Berlin 2023, 100-105

    https://www.theologie.uni-rostock.de/en/fachgebiete/altes-testament/pd-dr-joern-kiefer/

  10. Prof. Dr. Stefan Creuzberger

    1 der SACHBUCH-BESTENLISTE im April 2022 der Medienpartner „Die Literarische Welt“, Radiosender WDR 5, „Neue Zürcher Zeitung“, RBB-Kultur sowie Ö1. Platz 2 der SACHBUCH-BESTENLISTE im April 2022 der Me

    https://www.dokumentationsstelle.uni-rostock.de/en/forschungsstelle/mitarbeiter/leitung/prof-dr-stefan-creuzberger/

Displaying results 2841 to 2850 of 4797.
  • Previous
  • ...
  • 281
  • 282
  • 283
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • ...
  • 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