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

4778 Results:

  1. Mount Coffin

    observations, in the course of which he accidentally set parts of the indigenous burial site on fire. [5] Another version of this incident was given by the Cowlitz leader Roy I. Rochon Wilson, who assumed [...] Beyond the Rocky Mountains . Edgeley W. Todd, ed. Norman: University of Oklahoma Press, 1964. 99. [5] Wilma, David. “Cowlitz County -- Thumbnail History.” HistoryLink.org. www.historylink.org/index.cfm [...] Daily News Online . tdn.com/business/local/cowlitz-sanctify-coffin-rock/article_b940b538-7592-51ce-9dc5-b657fcf645ba.html (access date 12/15/2015). ILLUSTRATIONS Figure 1 (ca. 1930): Topinka, Lyn. Columb

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

  2. Liste

    und Prof. Dr. rer. nat. habil. Karsten Wolf (Universität Rostock, Institut für Informatik) werden 5. September 2019 mit dem Test of Time Award 2019 Runner-Up auf der 17th… read more 05.07.2019 Förderpreis [...] Andreas Heuer (beide Fakultät für Informatik und Elektrotechnik, Institut für Informatik) und werden am 5. Juli 2019 mit dem Förderpreis für Lehre 2019 der Gesellschaft der Förderer der Universität Rostock [...] in Darmstadt für ihr Paper „On Quality-Of-Service and Publish/Subscribe“ ausgezeichnet, das sie zum 5th International… read more 06.06.2019 Best Student Paper Award der RSSRail 2019 (06.06.2019) Dipl.-Ing

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

  3. 3. Platz im Businessplan-Wettbewerb „Einfach anfangen“ des Landes MV (22.01.2007)

    ) für sein Paper „A GALS Network-on-Chip for an FPGA“. Coautor ist sein Diplomand Enrico Heinrich. 5. Platz als „Forscher-Team“ bei der venturesail 2007 (16.08.2007) 16.08.2007 Daniel Versick, Simon Dumke [...] belegen im August 2007 bei der venturesail 2007 – Ideenwettbewerb des Landes Mecklenburg-Vorpommern den 5. Platz in der Kategorie „Forscher-Team“ mit ihrer Projektidee „Telebanking-Stick: Vom Homebanking zum [...] den 3. Platz mit ihrer Geschäftsidee zu drahtlosen Messsystemen. Der Preis ist mit einer Prämie von 5.000 Euro verbunden.

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

  4. 3. Platz im Businessplan-Wettbewerb „Einfach anfangen“ des Landes MV (22.01.2007)

    ) für sein Paper „A GALS Network-on-Chip for an FPGA“. Coautor ist sein Diplomand Enrico Heinrich. 5. Platz als „Forscher-Team“ bei der venturesail 2007 (16.08.2007) 16.08.2007 Daniel Versick, Simon Dumke [...] belegen im August 2007 bei der venturesail 2007 – Ideenwettbewerb des Landes Mecklenburg-Vorpommern den 5. Platz in der Kategorie „Forscher-Team“ mit ihrer Projektidee „Telebanking-Stick: Vom Homebanking zum [...] den 3. Platz mit ihrer Geschäftsidee zu drahtlosen Messsystemen. Der Preis ist mit einer Prämie von 5.000 Euro verbunden.

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

  5. External Links

    Astronomischen Uhr Rostock ging es auch ... Astronomische Uhr Rostock: Restauratorische Erkenntnisse ▶ 5:38 23.5.2023 – uploaded by MV1 Von Februar bis April 2023 war die Astronomische Uhr Rostock von 1472 eingerüstet [...] erfolgreich. Astronomische Uhr Rostock von 1472 bald auf deutscher Vorschlagsliste für Unesco-Welterbe? ▶ 5:35 22.11.2023 – uploeded by MV1 Am 14. November 2023 hatte der Verein „Astronomische Uhr Rostock von

    https://www.aur.uni-rostock.de/en/external-links/

  6. Bücher

    Deutungsmacht und die Wende zum Möglichen Felix Meiner Verlag. Hamburg 2023. Verlagsinformationen WDR 5 "Philosophisches Radio" vom 26. August 2024 im Gespräch mit Jürgen Wiebicke über "Fortschritt gestalten" [...] vom 22. Mai 2020, S. 9 "Österreichischer Rundfunk" in der Sendung " Kontext " vom 7. August 2020 "WDR 5" in der Sendung " Philosophisches Radio " vom 18. September 2020 Deutschlandfunk Kultur in der Sendung [...] kleinlaut. In: FAZ vom 11. November 1991. Volker Hönighaus: Zivilisation am Scheideweg. In: Innovatio, 5. Jg. 1992, S. 32f. Monika Betzler: Von einer Ethik der Technik aus antinaturalistischem Geist. In:

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-heiner-hastedt/buecher/

  7. Prof. Dr.-Ing. Sascha Kosleck

    numerical wave research, Technische Universität Berlin, 1.-2. Oktober 2009 Organisator and Gastgeber des 5th Workshop on Water Waves 2010: Innovations in experimental and numerical wave research, Technische [...] System 28th OMAE - International Conference on Offshore Mechanics and Arctic Engineering, May 31-June 5, 2009, Honolulu, Hawaii, USA Schmittner, C., Kosleck, S., Hennig, J. A Phase-Amplitude Iteration Scheme [...] Sequences 28th OMAE - International Conference on Offshore Mechanics and Arctic Engineering, May 31-June 5, 2009, Honolulu, Hawaii, USA Clauss, G., Kosleck, S., Testa, D. CASH — Decision Support System for Computer

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

  8. Lehrstuhlinhaber

    numerical wave research, Technische Universität Berlin, 1.-2. Oktober 2009 Organisator and Gastgeber des 5th Workshop on Water Waves 2010: Innovations in experimental and numerical wave research, Technische [...] System 28th OMAE - International Conference on Offshore Mechanics and Arctic Engineering, May 31-June 5, 2009, Honolulu, Hawaii, USA Schmittner, C., Kosleck, S., Hennig, J. A Phase-Amplitude Iteration Scheme [...] Sequences 28th OMAE - International Conference on Offshore Mechanics and Arctic Engineering, May 31-June 5, 2009, Honolulu, Hawaii, USA Clauss, G., Kosleck, S., Testa, D. CASH — Decision Support System for Computer

    https://www.lmt.uni-rostock.de/en/lehrstuhl/team/lehrstuhlinhaber/

  9. Übersicht

    further information see please: https://www.fc1F7.uni-rostock.de/ 5th International Conference on Biocatalysis in Non-conventional Media The 5th International Conference on Biocatalysis in Non-conventional [...] Karriereforum. This meeting has the topicBasic Mechanisms in Energy Conversionand will take place from 5.-7. Mai 2016 in Rostock.Location: Ulmencampus, Ulmenstraße 69 Contact: Prof. Dr. Ralf Ludwig Plakat

    https://www.chemie.uni-rostock.de/en/veranstaltungen/tagungen/uebersicht/

  10. Institutionsordnung

    Institutsversammlung, der Vorstand und der Institutsvorsteher 1. Abschnitt: Institutsversammlung § 5 Zusammensetzung Die Institutsversammlung setzt sich zusammen aus der Gesamtheit der Mitglieder. § 6 [...] Beifügung der Tagesordnung zu erfolgen. Eine einwöchige Einberufungsfrist soll eingehalten werden. (5) Der Vorstand ist beschlussfähig, wenn mindestens 2 Mitglieder anwesend sind. Die Beschlüsse des Vorstandes [...] Res­sourcen innerhalb des Instituts; die Unterzeichnung von Kooperationsverträgen die Berichterstattung. (5) Die Institutsvorsteherin oder der Institutsvorsteher informiert die Institutsversammlung sowie die

    https://www.theologie.uni-rostock.de/en/institute/institut-fuer-text-und-kultur/institutionsordnung/

Displaying results 2231 to 2240 of 4778.
  • Previous
  • ...
  • 220
  • 221
  • 222
  • 223
  • 224
  • 225
  • 226
  • 227
  • 228
  • 229
  • ...
  • 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