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. Veranstaltungen

    rund um die Themen Forschungsdaten und Forschungsdatenmanagement. 5. Vernetzungstreffen FDM in MV Übergabe des Konzeptpapiers beim 5. Vernetzungstreffen FDM in MV an die Ministerien und Rückblick auf

    https://www.ub.uni-rostock.de/en/wissenschaftliche-services/forschungsdaten/veranstaltungen/

  2. Breeding of quinoa for adaptation to temperate regions

    Quinoa ( Chenopodium quinoa Willd.) is a traditional Andean crop that was domesticated approximately 5,000–7,000 years ago. In recent years, quinoa production and consumption have expanded rapidly worldwide [...] Abdullah University of Science and Technology internal competitive research program (grant Nr. OSR-2016-CRG5-2966).

    https://www.auf.uni-rostock.de/en/professorships/agricultural-area/crop-genetics/research/zuechtung-von-quinoa-zur-anpassung-an-gemaessigte-regionen/

  3. Copy, scan and print

    the first floor, next to the lift in the printer room. The minimum recharge amount for the card is 5 Euros. Further information about Campus Library Südstadt Copiers The Campus Library has three colour [...] use this machine to copy, not to print. Additional black-and-white copiers are available on floors 5 and 7. Further information on the Education, History and Antiquity Library Obtaining a copy card Users

    https://www.ub.uni-rostock.de/en/studying/copy-scan-and-print/copy-scan-and-print/

  4. Dr.-Ing. Christoph Strehse

    of deep-sea mining applications OCEANS 2023 - Limerick, Limerick, Ireland, 2023, Hrsg: IEEE, Pages 1-5, doi.org/10.1109/OCEANSLimerick52467.2023.10244515 Strehse, C.; Langosch, H.; Betz, H.; Kosleck, S. [...] Germany, 2018, Eds.: Grundmann, S.; Brede, M.; Ruck, B.; Leder, A.; Dopheide, D., ISBN 978-3-9816764-5-7, ISSN 2194-2447 Novikov, A.; Strehse, C.; Lexow, D.; Nowottnick, M. Thermisches Management von Ho

    https://www.lmt.uni-rostock.de/en/strehse/

  5. Test_Grid

    , Wirtschafts- und Sozialwissenschaften, Sportwissenschaft Allgemeines und Bibliographien A (Kopie 5) Allgemeines und Bibliographien Der Bestand der Allgemeines und Bibliographien ist nach der Systematik [...] , Wirtschafts- und Sozialwissenschaften, Sportwissenschaft Allgemeines und Bibliographien A (Kopie 5) Allgemeines und Bibliographien Der Bestand der Allgemeines und Bibliographien ist nach der Systematik [...] , Wirtschafts- und Sozialwissenschaften, Sportwissenschaft Allgemeines und Bibliographien A (Kopie 5) Allgemeines und Bibliographien Der Bestand der Allgemeines und Bibliographien ist nach der Systematik

    https://www.ub.uni-rostock.de/en/bereichsbibliotheken-rostock/suedstadt/test-grid/

  6. 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/

  7. 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/

  8. 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/

  9. 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/

  10. 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/

Displaying results 1861 to 1870 of 4797.
  • Previous
  • ...
  • 183
  • 184
  • 185
  • 186
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • ...
  • 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