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

4782 Results:

  1. Windows Tips

    S_256_CBC_SHA,TLS_DHE_DSS_WITH_3DES_EDE_CBC_SHA,TLS_RSA_WITH_RC4_128_MD5,SSL_CK_RC4_128_WITH_MD5,SSL_CK_DES_192_EDE3_CBC_WITH_MD5,TLS_RSA_WITH_NULL_SHA256,TLS_RSA_WITH_NULL_SHA" /f Mit folgendem Kommando [...] 13:46:36 2005): Current build of wbemupgd.dll is 5.1.2600.2180 (xpsp_sp2_rtm.040803-2158) (Wed Oct 12 13:46:36 2005): Current build of wbemcore.dll is 5.1.2600.2180 (xpsp_sp2_rtm.040803-2158) (Wed Oct 12 [...] PowerShell.exe über den Befehl $PSVersionTable.PSVersion.ToString() angezeigt, z.B. für PowerShell 5.0: 5.0.10586.117 Der Language Mode wird bei der Ausgabe der Variable $ExecutionContext.SessionState.L

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

  2. Datenschutzrechtliche Informationen nach Art. 13 DS-GVO

    Nutzungsdaten und der Systemdaten von Nutzern sind § 7 Abs. 1 u. 5 Nutzungsordnung des IT- und Medienzentrums vom 15.12.2010 sowie § 7 Abs. 1 Nr. 5, 7 LHG M-V i.V.m. Art. 6 Abs. 1 lit. e) DS-GVO. Die Rechtsgrundlage [...] Wahrung eines berechtigen Interesses der Universität ist Art. 6 Abs. 1 lit. f) DS-GVO i.V.m. § 7 Abs. 5 Nutzungsordnung des IT- und Medienzentrums vom 15.12.2010. Empfänger der personenbezogenen Daten Empfänger

    https://www.itmz.uni-rostock.de/en/onlinedienste/clouddienste/datenschutzrechtliche-informationen-nach-art-13-ds-gvo/

  3. Zahlentheorie

    Applied Mathematics E-Notes 5, 84--88 (2005)( pdf ) J.-C. Schlage-Puchta, An estimate for Frobenius' problem in three dimensions , Journal of Integer Sequences 8, Article 5.1.8 (2005)( pdf ) J.-C. Sch [...] 199 (2002)( pdf ) J.-C. Schlage-Puchta, On a criterion for Catalan's Conjecture , Ramanujan Journal 5, 405 -- 407 (2002)( pdf ) J.-C. Schlage-Puchta, On additive decompositions of the set of primes , Arch

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/algebra/zahlentheorie/

  4. Französisches Theater

    Workshops, Vorträge, Aufführungen 04.-11.06.2018 Rencontre sur scène #5 - Fremdsprachiges Studierenden-Theaterfestival (01.-02.06.2017) Zum 5-jährigen Jubiläum wird aus dem ehemaligen Rendezvous zwischen Deutschen [...] Getränke ist gesorgt. Plakat Datum: 05. Dezember 2015 Einlass : 19.00 Uhr Ort : Schwaansche Straße 5, Raum 105 Organisation Christoph Behrens & Jakob Peter , in Zusammenarbeit mit dem FaRo - Fachschaftsrat

    https://www.romanistik.uni-rostock.de/en/institut/aktivitaeten/franzoesisches-theater/

  5. Pflichtexemplarordnung

    bei Veröffentlichung der Arbeit über einen gewerblichen Verleger § 4 Elektronische Veröffentlichung § 5 Zusätzliche Angaben § 6 Verfahren § 7 In-Kraft-Treten, Übergangsregelung AMTLICHE BEKANNTMACHUNGEN ­Jahrgang [...] Gesetzes über die Hochschulen des Landes Mecklenburg-Vorpommern (Landeshochschulgesetz – LHG M-V) vom 5. Juli 2002 (GVOBl. M-V S. 398), zuletzt geändert durch Art. 19 des Gesetzes vom 10. Juli 2006 (GVOBl [...] ichung durch die Universität Rostock auf der Grundlage einer Gebührenordnung bleibt vorbehalten. § 5 Zusätzliche Angaben In allen Pflichtexemplaren sind die Gutachter (Name, Titel, Einrichtung) und das

    https://www.ub.uni-rostock.de/en/universitaetsbibliothek/grundlagen-unseres-handelns/ordnungen/pflichtexemplarordnung/

  6. Dr. Jatswan Singh

    Haram: Military Offensive or Socio-Economic Solution? Malaysian Journal of International Relations 5: 87-95. Roy Anthony Rogers and Jatswan S. Sidhu (2016). International Norms and Human Rights Conditions [...] since 1988: Between Democratic Ideals and Geostrategic Imperatives. Journal of International Studies 5: 93-108. Jatswan S. Sidhu (2008). Malaysia-Myanmar Relations since 1958. Journal of International Studies [...] 2(10), October: 69-70. Jatswan S. Sidhu (2011). Reinvigorating the United Nations. The Globalist , 5 (October-November): 32-33. Major Policy Studies and Reports Jörn Dosch et al. Evaluation of European

    https://www.ipv.uni-rostock.de/en/lehrstuehle-und-personal/internationale-politik/mitarbeiterinnen/dr-naila-maier-knapp/

  7. 2015

    erheitsdienstes der ehemaligen DDR, Viehhalle, Speicherstraße 11, Güstrow Veranstaltungszeitpunkt: 5. November 2015, 10:15–11:15 Uhr Vortrag „ Wo ist Trotzki? Bildpropaganda und Bildfälschung in der S [...] Veranstalter: Konrad-Adenauer-Stiftung Veranstaltungsort: InterCityHotel Schwerin Veranstaltungszeitpunkt: 5. Juni 2015 Vortrag mit Podiumsdiskussion „ Vor 200 Jahren: Der Wiener Kongress 1814/15 – ein Meilenstein [...] Rostock/Buchhandlung Hugendubel Veranstaltungsort: Buchhandlung Hugendubel Rostock Veranstaltungszeitpunkt: 5. Mai 2015 Vortrag „ Zwischen Breslau und Krakau – Einführung in die Geschichte Schlesiens im Mittelalter

    https://www.dokumentationsstelle.uni-rostock.de/en/veranstaltungen/vortraege/vortragsarchiv/2015/

  8. Research

    the population with a migration background in Germany has increased from 18.7 % (15.4 million) to 22.5 % (18.6 million). This increase is associated with a growing diversity of the population, which also [...] Analysing Health Inequalities. Universität Rostock. Dissertationsschrift. DOI: 10.18453/rosdok_id00003883 [5] Georges, D. (2022): The effect of informal caregiving on physical health among non-migrants and Ethnic [...] Contextual and individual determinants of health among Aussiedler and native Germans. Health & Place 18 (5): 1046–1055. DOI: 10.1016/j.healthplace.2012.05.008 Socio-structural and socio-economic factors influencing

    https://www.isd.uni-rostock.de/en/isd/lehrstuhl/esf/research/

  9. Presse

    Swiss, Austrian and German Societies for Biomedical Engineering” 2019 in Frankfurt/Main weiterlesen 5.7.2019 RESPONSE-Doktorandin erhält Jungius-Nachwuchspreis für beste Doktorarbeit weiterlesen 13.6.2019 [...] weiterlesen 22.9.2018 RESPONSE präsentiert sich auf German Cardiology Night in San Diego, USA weiterlesen 3.5.2018 RESPONSE-Partner IIB e.V. wird Mitglied des BMWi-geförderten Mittelstand 4.0 Kompetenzzentrums [...] artner BIOTRONIK das CE-Kennzeichen weiterlesen 1.6.2016 Hightech für starke Herzen weiterlesen 31.5.2016 RESPONSE-Vorstandsmitglied Prof. Dr. T. Lenarz erhält den Förderpreis der Professor Dr. Ludwig

    https://www.response.uni-rostock.de/en/presse/

  10. Ehemalige

    2017/18 engagierte er sich in der Fachdidaktik Chemie im Rahmen des Projektes „Lehren in M-V, Teilprojekt 5“ und beschäftigte sich mit der Gestaltung von Unterrichtsmaterialen für heterogene Lerngruppen im C [...] Juli 2023 in der Didaktik der Chemie an seiner Promotionsarbeit im Projekt „Lehren in M-V, Teilprojekt 5“, " Qualitätsoffensive Lehrer*innenbildung/ Lehren in MV/ Projektbereich 3: Inklusive Lern-Lehr-Prozesse [...] arbeit zur Erarbeitung eines Unterrichtskonzepts für den Naturwissenschaftlichen Unterricht in der 5. und 6. Klasse. Dr. Tom Wagner Dr. Tom Wagner Von 2014 bis Juli 2018 beschäftigte Tom Wagner sich im

    https://www.didaktik.chemie.uni-rostock.de/en/arbeitskreis/ehemalige/

Displaying results 2381 to 2390 of 4782.
  • Previous
  • ...
  • 235
  • 236
  • 237
  • 238
  • 239
  • 240
  • 241
  • 242
  • 243
  • 244
  • ...
  • 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