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

    community and the public. The Black Hills Institute had paid the landowner, a Sioux named Maurice Williams, 5,000 US dollars for the fossil. However, after the significance of the find had become public, a legal [...] and 2 nd tour in blue (2012-ongoing). Source: https://www.google.com/maps/d/viewer?msa=0&mid=zv6dND5TH9qI.kJTvY9i0NULk ; accessed 03/11/2016.

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/artifacts/sue-1/

  2. John Lloyd Stephens

    places, and retaining on its own soil, the architectural remains of its aboriginal inhabitants.” [5] Archaeology and Politics Stephens wrote his travelogue at the height of American westward expansion: [...] Central America, Chiapas and Yucatan , Vol. 1: 115. [2] Loc. Cit. [3] Ibid., 127. [4] Ibid., 115. [5] Ibid., vol. 2: 474. [6] Evans, Romancing the Maya 55-58. [7] Von Hagen, Maya Explorer 295-96. [8] See

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/agents/john-lloyd-stephens-1/

  3. Liste

    IEEE WCNC 2016 (05.04.2016) M.Sc. Stephan Schedler und Prof. Dr.-Ing. habil. Volker Kühn erhalten am 5. April 2016 den Preis für den besten Konferenzbeitrag der der IEEE Wireless Communications and Networking [...] 500 akzeptierten Beiträgen ausgewählt. read more 01.04.2016 Deutschland STIPENDIUM 2016 (01.04.2016) 5 Studierende der Fakultät für Informatik und Elektrotechnik erhalten ab dem 1. April 2016 als Nachrücker

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2016/liste/

  4. Liste

    IEEE WCNC 2016 (05.04.2016) M.Sc. Stephan Schedler und Prof. Dr.-Ing. habil. Volker Kühn erhalten am 5. April 2016 den Preis für den besten Konferenzbeitrag der der IEEE Wireless Communications and Networking [...] 500 akzeptierten Beiträgen ausgewählt. read more 01.04.2016 Deutschland STIPENDIUM 2016 (01.04.2016) 5 Studierende der Fakultät für Informatik und Elektrotechnik erhalten ab dem 1. April 2016 als Nachrücker

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2016/liste/

  5. Prof. Dr.-Ing. Horst Harndorf

    engine on course for EURO V ff. - prospects for fulfilling challanging exhaust and CO2 objectives", 5th International CTI Forum Abgastechnik, 30.-31. Januar 2007, Nürtingen Harndorf, H.; NO2- und Parti [...] zur Beeinflussung von Gemischbildung und Verbrennung heutiger und zukünftiger Diesel-Brennverfahren; 5. Internationales Symposium für Verbrennungsdiagnostik, Baden-Baden, 2002 Harndorf, H. , Schaller, J

    https://www.lkv.uni-rostock.de/en/team/emeritus/prof-dr-ing-horst-harndorf/

  6. Hannes Raddatz

    Evaluation of CoAP Implementations for Live Streaming using CoAP-Observe In Proceedings of the IEEE 5 th World Forum on Internet of Things (IEEE WF-IoT 2019), pp. 468-473, DOI: 10.1109/wf-iot.2019.8767189 [...] ons & Networking Conference (CCNC), pp. 1-2, DOI: 10.1109/CCNC.2018.8319304, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, Januar 2018 Arne Wall, Vlado Altmann, Johannes Müller, Hannes Raddatz, Dirk Timmermann:

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/hannes-raddatz/

  7. Sorokin

    d: Politische Faktoren und die Kunst der Diplomatie (1955–1964)], in: Quaestio Rossica, Bd. 10, No 5. Ekaterinburg 2022, S. 1657–1673. Sorokin, A: Sowjetunionbilder der Bundeskanzler Adenauers und Brandts [...] o gosudarstvennogo universiteta. Serija 4. Istorija. Regionovedenie. Meždunarodnie otnošenija, No. 5. Volgograd 2019, S. 1–15. Sorokin, A: Evoljucija obraza Sovetskogo Sojuza Villi Brandta [Die Evolution

    https://www.geschichte.uni-rostock.de/en/arbeitsbereiche/zeitgeschichte/lehrstuhl/gastwissenschaftler/ehemalige/sorokin/

  8. Smart Work-Life Assistants

    International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2023, Volume 5: HEALTHINF, Lisbon, Portugal, February 16-18, 2023. SCITEPRESS 2023, pp. 567-580. Dhiman, H.; Nemoto [...] well-being, and(un)exploited potentials to assist employees at work. Frontiers in Computer Science 5:1129087. DOI: 10.3389/fcomp. 2023.1129087 Richter, H.; Fellmann, M.; Lambusch, F.; Kranzusch, M. (2022):

    https://www.wirtschaftsinformatik.uni-rostock.de/en/research/research-focus/analytic-self-reflection-support-1/

  9. Notification of illness

    Tel.: +49 385 588 59252 State Examination Office for Health Professions M-V Friedrich-Engels-Platz 5-8 18055 Rostock ► Contact & office hours Faculty of Humanities Philosophische Fakultät Examination Office [...] ► Contact & office hours State Examination Office for Health Professions M-V Friedrich-Engels-Platz 5-8 18055 Rostock Phone: +49 385 588 59003 ► State Office for Health and Social Affairs

    https://www.uni-rostock.de/en/study/study-organization/during-studies/krankmeldung/

  10. Künstliche Intelligenz

    lt werden, dass ChatGPT, DeepL, DALL-E, Midjourney und BingAI die beliebtesten Tools darstellen [5]. [5] von Garrel, J.; Mayer, J. & Mühlfeld, M. (2023). Künstliche Intelligenz im Studium. Eine quantitative

    https://www.roc.uni-rostock.de/en/andere/ur-roc/lehre-digital-gestalten/themenseiten/vorlage-themenseiten-8/

Displaying results 2791 to 2800 of 4797.
  • Previous
  • ...
  • 276
  • 277
  • 278
  • 279
  • 280
  • 281
  • 282
  • 283
  • 284
  • 285
  • ...
  • 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