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

4889 Results:

  1. FAQ

    richtet sich grundsätzlich nach den in der Praktikumsordnung vorgegebenen Wochen. Eine Woche besteht aus 5 Arbeitstagen. Es ist zu berücksichtigen, dass Feier- und Ferientage nicht als Praktikumstage zählen [...] Stundennachweisen mit lfd. Nr. gemeint ? lfd. Nr.: die laufende Nummerierung einer Aufzählung (1 2 3 4 5 usw.) Listen mit laufender Nummerierung werden unter dem letzten Eintrag mit einer sogenannten Buch [...] Übung bzw. eines Praktikums vom Dozierenden bescheinigt wird. Demzufolge ist beispielsweise auch eine 5 oder 6 tägige SPÜ förderfähig. Wie hoch ist der Reisekostenzuschuss? Wie hoch ist der Reisekostenzuschuss

    https://www.phf.uni-rostock.de/en/studium/praktikumsbuero-lehraemter/faq/

  2. Objekte des Monats 2017

    ausbrechender Epidemien vermutlich über 50.000 Insassen ums Leben. Das Monument besteht aus einem 36,5 Meter hohen Obelisken, einer zentralen Bronzeplastik, die zwei trauernde Frauen mit einem sterbenden [...] Grabstein gibt Auskunft, dass der Hindu-Soldat, Angehöriger des Infanterieregiments der 89th Punjabis am 5. Februar 1915 verstarb. Prominent ist auf dem Stein das Mantra „Om Bhagvate namaha“ (Mit der Gnade Lord [...] 200 Jahre nach seiner Herstellung, noch benutzt werden kann: https://www.youtube.com/watch?v=hhIIEv5Rt9g (Text: Prof. Dr. Ulrike v. Hirschhausen)

    https://www.geschichte.uni-rostock.de/en/forschung/forschung/objekt-des-monats-maerz-2021/archiv/objekte-des-monats-2017/

  3. Publikationen 2018

    Gerätevernetzung im OP 4.0 wird Standard In meditronic-journal - Fachzeitschrift für Medizin-Technik, Vol. 5, pp. 6–10, Beam-Verlag, Marburg, Deutschland, November 2018 Theo Gabloffsky, Jannika Lossner, Julia [...] Wellnitz, Christian Haubelt: Activity Recognition using Head Worn Inertial Sensors In Proceedings of the 5th international Workshop on Sensor-based Activity Recognition and Interaction (iWOAR), pp. 14:1 – 14:7 [...] 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 Raluca Dees, Angela Merzweiler, Gerd Schneider, Martin Kasparick, Lars

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

  4. Liste

    der Förderer der Universität Rostock 2017 (04.12.2017) B.Sc. Mohamad Albadawi (Syrien), Student im 5. Fachsemester im Master-Studiengang Visual Computing, erhält am 4. Dezember 2017 den Preis der Gesellschaft [...] 2017) Dr.-Ing. Peter Danielis (Institut für Angewandte Mikroelektronik und Datentechnik) erhält am 5. Oktober 2017 einen Best Paper Award der 8. IEEE Annual Information Technology, Electronics and Mobile [...] Eurographics – Fellow auf Lebenszeit gewählt. read more 01.04.2017 Deutschland STIPENDIUM 2017 (01.04.2017) 5 Studierende der Fakultät für Informatik und Elektrotechnik erhalten ab dem 1. April 2017 als Nachrücker

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

  5. Aktuelles

    einem fachfremden Publikum präsentieren zu können. Das Video finden Sie » hier «. DEMel-Projekt beim 5. Rostocker Forschungscamp Beim diesjährigen Forschungscamp an der Uni Rostock wurde auch das hispanistische [...] Projekt am 23.11.17 dem interessierten Publikum näher. Alle Infos zum Forschungscamp finden Sie hier . 5. Taller lexicográfico Vom 14.–17. Mai 2017 trafen sich die das komplette DEM el -Projektteam (bestehend [...] (bestehend aus Projektleitung, Projektoordination und Projektmitarbeitenden) am Standort Rostock zum 5 o Taller lexicográfico , der unter dem Thema "El lemario del DEM el – Tratamiento de las fichas digitales"

    https://www.romanistik.uni-rostock.de/en/forschung/sprachwissenschaft/demel/aktuelles/

  6. FAQ

    followed by the RE 5 regional train, which takes around 2–3 hours. Alternatively, you can take the IC or Flixbus directly from the airport. From Hamburg Airport, it takes approximately 2–2.5 hours by S1 to [...] Depending on the program, we need the following documents from you: • Resumé • Statement of purpose (0.5–1 page) • Proof of enrollment, current transcript, or academic record • Proof of language proficiency

    https://www.uni-rostock.de/en/internationales/rostock-international-house/summer-schools-home-page/faq/

  7. Rezensionen

    Christologie des Korans und die deutschsprachige Theologie, Köln, Weimar und Wien 2000, in: ThLZ 128/5, Sp. 483-486. 2002 Abdullahi Ahmed An-Na’im, Proselytization and Communal Self-Determination in Africa [...] und Girschek, G., Das religiöse Wissen der Menschheit, Bd. 1, Freiburg/Basel/Wien 1999, in: ThLZ 125/5, Sp. 490-491. Ezugwu, Tony Ifeanyi, Reconciliation: A Community Celebration. A Case Study in Inculturation [...] 23/3 (1987), S. 77. Michael Klöckner/Udo Tworuschka (Hg.), Ethik der Religionen - Lehre und Leben, 5 Bde., München/Göttingen 1984-1986, in: ZMiss XIII/2 (1987), S. 123-126. Anton Wessels, De Koran verstaan

    https://www.theologie.uni-rostock.de/en/fachgebiete/religionswissenschaft-und-interkulturelle-theologie/prof-dr-klaus-hock/rezensionen/

  8. Equipment funded by the European Regional Development Fund (ERDF)

    specific substance groups and identified. The possibility of injecting larger sample volumes of up to 5 µl with the temperature-programmable evaporator also supports this separation task. The 8890 GC system [...] automation systems available in the test field at the University of Rostock (AVL Puma Open 1.4.x, 1.5.x). The platform offers a high degree of flexibility with regard to distributed modelling and simulation [...] nm, laser class II) and enables measurements with a height resolution in the z-direction of up to 0.5 nm. Keyence VK-X200 Optical system: Confocal pinhole Total magnification: up to 28,800x (full image

    https://www.lkv.uni-rostock.de/en/laboratories/equipment-funded-by-the-european-regional-development-fund-erdf/

  9. Publications

    fuel type and photochemical aging" , (2025) Environmental Science: Atmospheres, 5 (9), pp. 973 - 986, DOI: 10.1039/d5ea00040h Saraji-Bozorgzad, M.R., Bendl, J., Jeong, S., Padoan, S., Mudan, A., Etzien [...] Single-Cylinder Engine, 20th Symposium “Sustainable Mobility, Transport and Power Generation”, 4th - 5th September 2025, Graz, Österreich Schümann, U., Richter, M., Buchholz, B. “Besonderheiten bei der [...] "Development trends for air pollution reduction of large engines – on the way to a greener shipping", 4.-5. November 2019, 40. Duisburger Kolloquium Schiffstechnik / Meerestechnik, Duisburg Stengel, B.; Pinkert

    https://www.lkv.uni-rostock.de/en/research/publications/publications/

  10. Volume III: Continuity

    434–545), Marius Victorius (Aleth. 2.456–97), Dracontius (laud. dei 2.154–75 and 2.378–407), Avitus (4 and 5), as well as a few other shorter passages. All these texts combine biblical passages depicting sea-storms [...] (531–61), for instance, contains strong intertextual references to Vergil’s funeral games in Aeneid 5, which shape its meaning, especially the concept of the figure of Jesus. References to epic structures [...] description of the race in the Hippodamia , for example, refers not only to Vergil’s ship race in Aeneid 5 but also to other events during the funeral games. De Opera Pistoria , a non-mythological poem, transposes

    https://www.epische-bauformen.uni-rostock.de/en/translate-to-english-volume-iii-continuity/

Displaying results 3111 to 3120 of 4889.
  • Previous
  • ...
  • 308
  • 309
  • 310
  • 311
  • 312
  • 313
  • 314
  • 315
  • 316
  • 317
  • ...
  • 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