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

4868 Results:

  1. Publikationen

    Nico Kalis, Sven Pawletta, Christian Haubelt, Frank Golatowski: Towards Ambient Internet of Things in 5G: What does Medium Access Control Scheduling cost? In Proceedings of the 31st IEEE International Conference [...] Golatowski: Preparing the Stage for Ambient Internet of Things: A Study of Positioning Protocols in 5G Networks In Proceedings of the 22nd IEEE Conference on Factory Communication Systems (WFCS26), pp.

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/

  2. Dheeraj Das

    can produce secondary organic and inorganic aerosols (SOA/SIA). This can significantly increase PM₂.₅ mass and alter the physical and chemical characteristics of particles. However, present emission me [...] nighttime chemistry without photochemical processes. These assays assess SOA and SIA formation, PM₂.₅ levels, and identify precursor chemicals and potentially dangerous aerosol components that form over

    https://www.zimmermann.chemie.uni-rostock.de/en/staff/phd-students/dheeraj-das/

  3. Ursprung und Entwicklung

    Herzkrankheit gestorben ist und infolgedessen keine umfassende Darlegung seiner Ideen herausbringen konnte [5]. Dennoch inspirierte Kimballs Ansatz den Chemiker Prof. Henry A. Bent zu einer eigenen Interpretation [...] Gaussian Wave Functions in Molecular Calculations, The Journal of Chemical Physics Volume 26, Number 5, 1957 [2] Hollemann, A.F.; Wiberg, N. : Lehrbuch der Anorganischen Chemie - 102. Auflage, Walter de [...] Chemsoft 2002, S. 12, URL: www.kimball-model.org/Kimball/kimb9.pdf (Abfrage: 30.08.2013, MEZ 12:50 Uhr) [5] Philip M. Morse : George Elbert Kimball – A Biographical Memoir, National Academy of Sciences Washington

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/chemie-fuers-leben-sek-i/das-kugelwolkenmodell/ursprung-und-entwicklung/

  4. Kalenderblatt Juni 2019

    Theater-Garagen, in der dreigeschossigen Augustenstraße 126, gibt Otto Stern im Januar 1923 auf. Er muss 4/5 seiner Umzugskosten, die ihm für den Umzug im Oktober 1921 von Frankfurt nach Rostock erstattet wurden [...] Bombenhagel des Zweiten Weltkriegs untergegangen. SS 1928: Hund, Friedrich, Dr. ao. P., Lindenbergstr. 1 (5) Die Adresse von Prof. Friedrich Hund ist eine Villa in Bahnhofsnähe. SS 1930: Jordan, Pascual, pl. [...] Dr., Theoretische Physik, Schillerstr. 18 (7) SS 1941: Jordan, Pascual, Dr. phil., Graf-Schack-Str. 5 (8) Alle Anschriften von Prof.Pascual Jordan [3] befinden sich in der Steintor-Vorstadt und sind ebenfalls

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2019/kalenderblatt-juni-2019/

  5. International Cooperations

    Janos Wölfling - Topics: steroids and organic synthesis - Bilateral exchange of MSc and Ph.D Students 5) Taras Shevshenko University Kiev, Ukraine - Cooperation partners: Prof. Dr. Igor Komarov - Topics: [...] funded by the DAAD - Cooperation agreement, Joint Kiev-Rostock Research Group on Advanced Chemistry - > 5 Ph.D Students of Ukraine completed their thesis in the group of Prof. Langer Please see the following [...] Obay Al-Dewachi, Prof. Dr. Badie Ahmed - Topics: synthesis and catalysis - Cooperation agreement - > 5 Ph.D Students of University of Mosul and other Iraqi Universities completed their thesis research in

    https://www.langer.chemie.uni-rostock.de/en/arbeitsgruppe/internationale-kooperationen/

  6. Windows Server 2012 FAQ

    Administratoren wichtig? 3. Welche Funktionalitäten entfallen? 4. Was ändert sich an der Lizenzierung? 5. Windows Server 2012 Editionen 6. Eigenschaften der Windows Server 2012 Editionen 1. Ist Windows Server [...] vor Denial of Service-Angriffen Anmeldeversuchseinschränkungen für FTP-Server Web Sockets- und HTML5-Support Referenz: http://www.microsoft.com/en-us/server-cloud/windows-server/2012-default.aspx http [...] http://technet.microsoft.com/en-us/library/hh831612 http://technet.microsoft.com/en-us/windows/dd197314 5. Windows Server 2012 Editionen Folgende Editionen von Windows Server 2012 sind verfügbar: Windows Server

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

  7. Current projects

    ng (Part 4: First consolidation), in: KoR, Vol. 15, Issue 06/2015, pp. 318-328; Part 5: Folgekonsolidierung (Part 5: Subsequent consolidation), in: KoR, Vol. 15, Issue 07-08/2015, pp. 378-390; Part 6: [...] (Comparative International Governmental Accounting Research Network) Conference in Valetta/Malta, Juni 5 th 2015; 77 th Annual Meeting of the VHB (Verband der Hochschullehrer für Betriebswirtschaft e. V.)

    https://www.caa.uni-rostock.de/en/current-projects/

  8. Eike Björn Schweißguth

    publish/subscribe using P4 In Proceedings of the 5th IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), pages 1-5, DOI: 10.1109/NFV-SDN47374.2019.9040048 , Piscataway [...] Virtualization and Software Defined Networks (NFV-SDN), DOI: 10.1109/NFV-SDN50289.2020.9289916 , pp. 1-5, Madrid, Spanien, November 2020 Eike Schweissguth, Dirk Timmermann, Helge Parzyjegla, Peter Danielis

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/eike-bjoern-schweissguth/

  9. Open Access-Buchfonds

    Übernahme der Kosten für die Open Access-Veröffentlichung einer Buchpublikation bis zur Höhe von max. 5.000 EUR brutto möglich. Eine Bezuschussung von Kosten für gedruckte Werke ist ausgeschlossen. Eine [...] thek fördert die Open Access-Veröffentlichung einer Monographie oder eines Sammelbandes mit bis zu 5.000 EUR brutto. Eine Bezuschussung von Kosten für gedruckte Werke ist ausgeschlossen. Die Prüfung der [...] 2023. https://doi.org/10.1515/9783111201566 Krämer, Robinson Peter: Etruskische Heiligtümer des 8.–5. Jhs. v. Chr. als Wirtschaftsräume und Konsumptionsorte von Keramik. Reichert Verlag, 2022. https://doi

    https://www.ub.uni-rostock.de/en/wissenschaftliche-services/open-access/open-access-foerdermoeglichkeiten/open-access-buchfonds/

  10. JProf. Dr. Linda Glawe

    Monday, 3 p.m. - 5 p.m. SR 219 Current Teaching (Winter Term 2024/25) Current Teaching (Winter Term 2024/25) Event Type Lecturer Time Room Empirical Economics L JProf. Glawe Thursday, 3 p.m. - 5 p.m. SR 021 [...] Economics T F. Qiu Wednesday, 1 p.m. - 3 p.m. PC 226 Empirical Economics T F. Qiu Wednesday, 3 p.m. - 5 p.m. PC 226 Empirical Economics T JProf. Glawe Friday, 9 - 11 a.m. PC 226

    https://www.vwl.uni-rostock.de/en/institut/professuren-ii/assistant-professor-of-empirical-economics/jun-prof-dr-rainer-alexander-schuessler/

Displaying results 1891 to 1900 of 4868.
  • Previous
  • ...
  • 186
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • 193
  • 194
  • 195
  • ...
  • 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