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

4860 Results:

  1. Windows Server 2012 R2 FAQ

    Administratoren wichtig? 3. Welche Funktionalitäten entfallen? 4. Was ändert sich an der Lizenzierung? 5. Windows Server 2012 R2 Editionen 6. Eigenschaften der Windows Server 2012 R2 Editionen 1. Ist Windows [...] http://technet.microsoft.com/en-us/library/hh831612 http://technet.microsoft.com/en-us/windows/dd197314 5. Windows Server 2012 R2 Editionen Folgende Editionen von Windows Server 2012 R2 sind verfügbar: Windows

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

  2. Norddeutsche Neueste Nachrichten

    Welterbe. Astronomische Uhr von St. Marien ist weltweit einzigartig / Fachtagung in der Hansestadt 14./15.5.2011, p. 20: Im Dienst der Wissenschaft. Forscher präsentiert neue Erkenntnisse über astronomische Uhr [...] 7: Atronomische Uhr feiert 550. Jahrestag 16.01.2023 p.10: Den Geheimnissen der Zeit auf der Spur 5.12.2023 p.12: Rostocks astronomische Uhr verpasst Nominierung 9.12.2023 p.14: Neuer Kulturerbe-Anlauf

    https://www.aur.uni-rostock.de/en/table-of-contents/press-reports/norddeutsche-neueste-nachrichten/

  3. Kalenderblatt Dezember 2013

    Grundlehren der Anatomie und Physiologie der Pflanzen , dem ersten Lehrbuch der Pflanzenphysiologie [5]. Es setzte einen neuen Standard vor allem, weil hier Einblicke in die Natur und die Lebensvorgänge [...] Aphorismen aus der chemischen Physiologie der Pflanzen. Voss und Compagnie, Leipzig, 1794, S. XIV-XV. [5] H.F. Link: Grundlehren der Anatomie und Physiologie der Pflanzen. Justus Friedrich Danckwerts, Göttingen

    https://www.chemie.uni-rostock.de/en/institut/historie-des-ifch/reminiszensen-in-wort-bild/kalenderblatt-dezember-2013/

  4. Plin. epist. 10,96

    urbem remittendos. Mox ipso tractatu, ut fieri solet, diffundente se crimine plures species inciderunt. 5 Propositus est libellus sine auctore multorum nomina continens. Qui negabant esse se Christianos aut [...] n. Chr.) hetaeria - Freundschaft/Verein/Geheimbund ministra - Diakonisse s. auch: I. Korintherbrief 5. Plin. epist 10,97 für die Antwort Trajans an Plinius. J. Moreau, Die Christenverfolgung im römischen

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

  5. Admission requirements

    Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to 1:00 p.m. | Phone: +49 381 498-1230 Office hours Ulmenstraße 69, House 3: Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to

    https://www.uni-rostock.de/en/study/german-prospective-students/admission-requirements/

  6. Angebote

    Verfügung. Im Rahmen der Neu-Validierung sind zusätzlich aktualisierte Tabellen für die Altersgruppe 5;0 - 5;11 entstanden. Diese unterscheiden sich von den bisher schon vorhandenen. Für Mecklenburg-Vorpommern

    https://www.sopaed.uni-rostock.de/en/institut/das-iser/kompetenzzentrum-inklusiontransition-kit/angebote/

  7. Promotionsgebiet Methodik des Mathematikunterrichts

    Assistent/Oberassistent, 1990 Promotion B (paed., siehe PB 2), 1993-2006 PD Didaktik der Mathematik PA 5 Bassüner, Helmut: Zur Behandlung von Ungleichungen im Mathematikunterricht und ihre Verwendung in den [...] Konzeption für die Einführung von Elementen der Stochastik in den Mathematikunterricht der Klassen 5 und 6. (Kölbl, Liese, B. Frank/Berlin, Henning/Magdeburg). 1991. PA 13 Altrichter, Thomas: Didaktis

    https://www.mathematik.uni-rostock.de/en/unser-institut/informationen/historie/promotionen-und-weitere-doktorwuerden/promotionen/promotionsgebiet-methodik-des-mathematikunterrichts/

  8. Computational Analytics

    de 26.06.25 KI-Stammtisch 19.06.25 KI-Stammtisch 15.5.25 KI-Sprechstunde 20.11.25 KI-Sprechstunde 15.4.25 KI-Sprechstunde 13.3.25 KI-Sprechstunde 5.12.24 KI-Stammtisch

    https://www.inf.uni-rostock.de/en/inf/projekte-der-departments/computational-analytics/

  9. Horwath_2025

    d convolutional neural network retracking of radar altimetry echoes, the availability of more than 5 years of ICESat-2 laser altimetry to validate radar altimetry analyses, comprehensive uncertainty modeling [...] intercomparisons and aggregated estimates based on consistent uncertainty characterizations; and (5) contribute the altimetric product and its uncertainty characterization to multi-technique inversion

    https://www.spp-antarktisforschung.de/en/research/projects/current-projects/geological-sciences/horwath-2025/

  10. Vortragsleistungen vergeben (ehemals Gastvorträge)

    ist oder in den letzten zwei Monate beschäftigt war. Vorgehen: Fall A - Vergütung bis einschließlich 5.000 € (ohne USt.) und der Auftragnehmer ist ein Unternehmer Fall B - Vergütung bis einschließlich 1 [...] und Auszahlungsanordnung an das Sachgebiet Belegbearbeitung (SG 2.06) senden Fall C - Vergütung über 5.000€ (ohne USt.) und der Auftragnehmer ist ein Unternehmer Fall D - Vergütung über 1.000€ (ohne USt

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-prozesse/detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=233881&cHash=016a8868ea8c00132e84e3fc2432508f

Displaying results 1421 to 1430 of 4860.
  • Previous
  • ...
  • 139
  • 140
  • 141
  • 142
  • 143
  • 144
  • 145
  • 146
  • 147
  • 148
  • ...
  • 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