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. Studentische Arbeiten

    ung Kolloquium: • Vortrag (15-20 Minuten) • Diskussion (5-10 Minuten) (25% der Modulnote) Kolloquium: • Vortrag (15-20 Minuten) • Diskussion (5-10 Minuten) (25% der Modulnote) Anrechnung 18 Leistungspunkte [...] Lehre am lsm Studentische Arbeiten Informationen zu Projekt Maschinenbau (B.Sc.) Im Wintersemester (5. Semester B.Sc.) weitere Informationen Bachelorarbeit Im Sommer- und Wintersemester (ab 6. Semester

    https://www.lsm.uni-rostock.de/en/lsm-lehre/studentische-arbeiten/

  2. Online Texte

    Fachwissenschaftliche und fachdidaktische Zugänge (Heidelberg 2020) 42-45. Lupercalia - Liv. ab urbe 1,5,1-3 5 Iam tum in Palatio monte Lupercal hoc fuisse ludicrum ferunt, et a Pallanteo, urbe Arcadica, Pallantium [...] fatum und Willensfreiheit- Ausgewählte Philosophenschulen Der Wert der Philosophie - Cic. off. 2,5-6 5 Maximis igitur in malis hoc tamen boni adsecuti videmur, ut ea litteris mandaremus quae nec erant [...] Götterversammlung im fünften Buch der Odyssee (Od. 5,1-42) οἱ δὲ θεοὶ θῶκόνδε καθίζανον, ἐν δ᾽ ἄρα τοῖσι Ζεὺς ὑψιβρεμέτης, οὗ τε κράτος ἐστὶ μέγιστον. 5 τοῖσι δ᾽ Ἀθηναίη λέγε κήδεα πόλλ᾽ Ὀδυσῆος μνησαμένη:

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/

  3. Publications

    Waldvogel, “Electrochemical Conversion of Alcohols, Ethers and Phenols”, in Organic Electrochemistry (5th Edition) , B. Speiser, O. Hammerich (Eds.), 2015 , Taylor & Francis, 981-1033. 14. R. Francke*, "Recent [...] -Methylation of Fluorinated Phenols”, Eur. J. Org. Chem. 2010 , 2357-2362 . DOI: 10.1002/ejoc.201000161 . 5. R. Francke, V. Climent, H. Baltruschat, J. M. Feliu*, “Electrochemical Deposition of Copper on Stepped

    https://www.francke.chemie.uni-rostock.de/en/publications/

  4. Hands-On Tutorials

    needed: yes: laser safety - location: lab U21 in Forschungsbau - special conditions / restrictions: none 5. AG Szameit / Heinrich DiscO on a chip – Discrete optics in laser-written waveguide arrays This tutorial [...] lattices. Supervised by: Julius Beck, Matthias Heinrich Maximum number of participants per session: 5 Duration of the session [min] and over 1 or 2 days: 1 day, 2 sessions: nicht genügend Interessenten:

    https://www.limati.uni-rostock.de/en/welcome/scientific-events/limati-summer-school/translate-to-english-hands-on-tutorials/

  5. DigiCare

    und der guten klinischen Praxis sind weitere Aufgaben. Link zur Teilprojektseite Teilprojekt Partner 5: Frau Antje Theise, Universität Rostock, Bibliothek, Universitätsbibliothek Teilprojekt: Rechtliche [...] Lehre und Forschung – d. h. auch im E-Learning – neue Regelungen geschaffen wurden. Das Gesetz soll nach 5 Jahren evaluiert werden. Das von der UB geleitete Teilprojekt ist damit auch ein Beitrag zur Evaluierung

    https://pidi.informatik.uni-rostock.de/en/digicare/

  6. Online-Edition Arno Esch

    rechtsstaatlichen Rehabilitierungsverfahren hatte das alles nichts zu tun. In der Nacht vom 4. auf den 5. Dezember 1989 hatte der Spuk endlich ein Ende: Die Vertreter der DDR-Bürgerbewegung verschafften sich [...] nststellen des MfS Zutritt und übernahmen diese. Ein letztes Schreiben in Sachen Esch erreichte am 5. Dezember 1989 den Leiter des in Amt für nationale Sicherheit umbenannten Ministeriums für Staatssicherheit

    https://www.dokumentationsstelle.uni-rostock.de/en/publikationen/online-edition-arno-esch/online-edition-arno-esch/

  7. Forschungsergebnisse

    licher Weiterbildung – Theoretische Grundlagen und Empfehlungen zum Aufbau von Netzwerken KOSMOS 1.5: Aktive Unterstützung einer medialen Infrastruktur Sandkuhl K., Borchardt U., Stamer D. (Nov. 2013) [...] Hochbegabtenförderung in KiTa und Grundschule." Leitfaden zum Portaleinsatz myKOSMOS Schlussbericht AP 1.5 Mediale Infrastruktur KOSMOS 2.1: Organisationsentwicklung Büttner, B., Breyer, T. & Nerdinger, F. W

    https://www.uni-rostock.de/en/weiterbildung/weiterbildung/projekte/projekt-kosmos/kosmos-phase-1-2011-bis-2015/ergebnisse-und-veroeffentlichung/forschungsergebnisse/

  8. Abschlussveranstaltung

    (Fach-)Didaktiken Sicherstellung eines Theorie-Praxis-Transfers Workshop 5 - Kompetenztraining Empathie und Motivation Workshop 5 - Kompetenztraining Empathie und Motivation Zielgruppe: Dieser Workshop

    https://www.zlb.uni-rostock.de/en/forschung-entwicklung/campus-bwp-mv/vernetzung-und-dialog/abschlussveranstaltung/

  9. Gender Equality Plan

    „Diversity Principals and Sensitization Training for Management“, for example, takes place twice a year. II.5 Hiring Practices Regulations and principles for the advancement of women have been included in the [...] medical division of the university has standing collaboration with the Greenhouse day care center. Its 5:30 a.m. to 8:30 pm opening hours fulfil the needs of medical personnel. The University also offers flexible

    https://www.uni-rostock.de/en/research/research-profile/gender-equality-plan/

  10. Dr. Franziska Thiele

    communication practices on social media in times of deep mediatization. Mediatization Studies 5. DOI: 10.17951/ms.2021.5.59-76 Thiele, F. (2020). Social Media as Tools of Exclusion in Academia?. M/C Journal,

    https://www.imf.uni-rostock.de/en/institut/mitarbeiterinnen/ehemalige-mitarbeiterinnen/arbeitsbereich-kommunikations-und-medienwissenschaft/dr-franziska-thiele/

Displaying results 3241 to 3250 of 4889.
  • Previous
  • ...
  • 321
  • 322
  • 323
  • 324
  • 325
  • 326
  • 327
  • 328
  • 329
  • 330
  • ...
  • 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