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. LFS Mobile Assistenzsysteme

    vol. 5 (7), July 2009 Hänsel, R.; Müller, E.: Error Locating for plausible Wyner-Ziv Video Coding using Turbo Codes. In Proc. of 11th IEEE International Workshop on Multimedia Signal Processing, 5-7 Oct [...] im Nationalpark-Zentrum Königsstuhl in Jasmund auf Rügen / Deutschland. Euro Amusement Professional 5/2009, Lichtenau, Germany. BASIS Computer- & Systemintegration GmbH: Besucherzentrum rüstet auf. Ost [...] JPEG2000 Compression, In Proc. of 16th IEEE International Conference on Digital Signal Processing, 5-7 July 2009, Santorini, Greece Gulbis, M.; Müller, E.; Steinebach, M.: Content-Based Audio Authentication

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/erfolgreich-abgeschlossene-grossprojekte/landesforschungsschwerpunkte/lfs-mobile-assistenzsysteme/

  2. 2017

    universitätsintern veröffentlicht Erste Satzung zur Änderung der Geschäftsordnung des Rektorats vom 5. April 2017 Nr. 9/2017 Erste Satzung zur Änderung der Studiengangsspezifischen Prüfungs- und Studienordnung [...] Prüfungs- und Studienordnung für den Masterstudiengang Sonder- und Inklusionspädagogik vom 3. Juni 2016 Nr. 5/2017 Bekanntmachung über die Wahl der Mitglieder des Universitätsrats vom 26. Januar 2017 Nr. 4/2017

    https://www.uni-rostock.de/en/universitaet/organisation/rechtsgrundlagen/amtliche-bekanntmachungen/2017/

  3. Publikationen 2004

    Krumpholz: Touch ET to Grasp AI: Bringing AI Fascination to Highschool Students Proceedings of the 5th European Workshop on Microelectronics Education, Ionescu, A.M.; Declercq, M.; Kayal, M.; Leblebici [...] Grassert, Dirk Timmermann: Verlustleistungsreduzierung bei dynamischen TSPC-Schaltungstechniken Folien 5. Kolloquium des DFG-SPP 'Grundlagen und Verfahren verlustarmer Informationsverarbeitung', Hannover,

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

  4. Hellmut Braun

    Hellmut: "Historische Kirchenbibliotheken in Mecklenburg-Vorpommern" – eine Projektskizze. In: abgestaubt 5 (2017), S. 37–41. Mitarbeit an: Bostelmann, Annika / Brandt, Doreen / Skottki, Kristin (Hrsg.): Sprechen [...] Mecklenburg-Vorpommern – Modelle der Vernetzung, Erschließung, Erhaltung und Nutzung (Vortrag auf der 5. Jahrestagung der Archivarinnen und Archivare in der Nordkirche, Flensburg, 19.10.2016). Das älteste

    https://www.germanistik.uni-rostock.de/en/forschung/germanistische-mediaevistik/amn/mitglieder/hellmut-braun/

  5. Projektmanagement

    durch das Direktorium des ZLB und den Beirat für Lehrerbildung und Bildungsforschung beim MBWK mit ein. 5. überregionale Verbundtagung im Rahmen des BMBF-Projektes „LEHREN in M-V – LEHRer*innenbildung reformierEN [...] reformierEN in M-V“ (Qualitätsoffensive Lehrerbildung) am 16.März 2021 Am 16. März 2021 fand die 5. überregionale Verbundtagung im Rahmen des BMBF-Projektes „LEHREN in M-V – LEHRer*innenbildung reformierEN

    https://www.zlb.uni-rostock.de/en/qualitaetsoffensive-lehrerbildung/projektunterstuetzende-massnahmen/projektmanagement/

  6. Gender & Kino: Sichtbarkeit

    annähernd gleich viele Frauen (47%) wie Männer (53%) eine zentrale Rolle. Dies entspricht einem Zuwachs von 5%. Frauen werden noch immer eingeschränkt inszeniert: Es gibt weiterhin einen Altersgap: Frauen kommen [...] häufig auf drei, vier oder fünf Festivals gezeigt, besonders unter den Festivalhits, die auf mehr als 5 Festivals laufen, sind viele von Frauen inszenierte Filme. Fazit der Studie ist: Frauen sind im deutschen

    https://www.imf.uni-rostock.de/en/forschung/kommunikations-und-medienwissenschaft/gender-medien/gender-kino-sichtbarkeit/

  7. Before Entry

    If you have any questions or are unsure, please do not hesitate to contact us . 5. Preparation for Study and Online-Portal 5. Preparation for Study and Online-Portal At the beginning of your studies you

    https://www.uni-rostock.de/en/international-affairs/incoming/gueststudies-erasmus/translate-to-english-vor-der-ankunft/

  8. Heyden, Franziska, Dr. (Studienfachberatung)

    Einblicke in erste Forschungsprojekte. Zeitschrift für Bildungsforschung. doi.org/10.1007/s35834-025-00513-5 Häcker, T., Walm, M. & Heyden, F. (2025). Coaching als Format und Ressource für reflexiv-professionelles [...] Franziska/ Mauritz, Miriam (Hrsg.): Zugänge zur Kinderladenbewegung. Wiesbaden: Springer VS, S. 1-5. Bock, Karin / Göddertz, Nina / Heyden, Franziska / Mauritz, Miriam (Hrsg.) (2019): Statt eines Nachworts:

    https://www.isb.uni-rostock.de/en/institut/professur-fuer-erziehungswissenschaft-unter-besonderer-beruecksichtigung-der-schulpaedagogik-und-empirischen-bildungsforschung-esb/heyden-franziska-dr/

  9. Prof. em. Dr. Klaus, H. Gustav

    Hall, Ideologie Kultur Rassismus: Ausgewählte Schriften 1 , 3rd edn. (Hamburg: Argument Verlag, 2000), 5-8 [4th edn. 2004] “Barry Hines”, in Neil Schlager and Josh Lauer eds., Contemporary Novelists , 7th [...] 2012), 350-352 “John Burnside’s Living Nowhere as Industrial Fiction”, Scottish Literary Review , 5:1 (2013), 111-127; reprinted in Contemporary Literary Criticism , vol. 388: Contemporary Scottish Novelists

    https://www.iaa.uni-rostock.de/en/institut/mitarbeiterinnen/emeritierte-professoren/prof-em-dr-klaus-h-gustav/

  10. Downloadbereich

    in: Zeitschrift für Internationale und Kapitalmarktorientierte Rechnungslegung (KoR), 20. Jg., Heft 5/2022, S. 220-227. Lorson, P. C./Haustein, E. (2022): Die Rolle der Wissenschaft im Konsultationsprozess [...] in KoR: Zeitschrift für internationale und kapitalmarktorientierte Rechnungslegung, 19. Jg., Heft 5/2019, S. 247-256. Lorson, P./Haustein, E./Beske, F./Schult, H.-H./Poller, J. (2019): Rechnungslegung [...] Sektor - Fallstudie zu grundlegenden Fragen der Bilanzierung nach HGB & SsD sowie IFRS & IPSAS (Teil 5: Bilanzierungsfeld immaterielle Vermögensgegenstände bzw. -werte), in KoR: Zeitschrift für internationale

    https://www.bwl.uni-rostock.de/en/institut/lehrstuehle/controlling-prof-lorson/downloadbereich/

Displaying results 3171 to 3180 of 4868.
  • Previous
  • ...
  • 314
  • 315
  • 316
  • 317
  • 318
  • 319
  • 320
  • 321
  • 322
  • 323
  • ...
  • 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