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

4781 Results:

  1. Landmark Stories

    ‘geos’ not referring to ‘nonlife’ as in the rationalist tradition but to ‘earth life’ (Povinelli 2016: 5). Narrative “place-making” is a way of constructing history itself, as Keith Basso showed for the Apache [...] Nespelam WA. Online. https://static1.squarespace.com/static/5747304db654f905c35dcdf4/t/57ab818720099e5d69752c32/1470857614035/Book_of_legends_for_pdf_10-31-11.pdf . 11 March 2018. Lankford, George E. (1996)

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/landmark-stories-1/

  2. Reform beruflicher Bildung in Finnland und wie berufliche Bildung von Lehrern weiter vorangebracht werden kann (ein kleiner Zwischenbericht aus dem Forschungssemester)
    16.12.2018

    und wird stärker an den Individuen ausgerichtet, egal ob es sich um Qualifikationen auf EQF Ebene 4, 5 oder 6 handelt. Hierfür werden die vielfältigen Erfahrungen zur individuellen Kompetenzfeststellung [...] wobei diese auf 54 Grundberufen basieren. Eine anschließend weitere Spezialisierung basiert auf 3-5-jähriger Arbeitserfahrung mit Wahlmodulen zur Ergänzung der Qualifikation, die in der Schule oder im

    https://www.ibp.uni-rostock.de/en/aktivitaeten/news/detail-news/n/vocational-education-and-training-reform-in-finland-and-how-vocational-education-and-training-of-teachers-can-be-taken-forward-79197/

  3. Suse 10

    Anpassen des ssh-Dienstes für die Benutzung des URZ Homes mithilfe des Moduls pam_mount finden Sie hier . 5. KDE Profilverzeichnis umlenken und Kopieren der KDE Profiledateien während des Anmeldens konfigurieren [...] then rsync -avz --delete /tmp/.kde_${USER}/ /users/${USER}/.kde/ > /tmp/copykdeprofile.logout sleep 5 #umount /users/${USER} fi Ändern Sie die Dateiattribute der Datei /opt/kde3/shutdown/copykdeprofiles

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/universitaetsweite-dienste/ldap-authentifizierungsserver/suse-10/

  4. Publikationen

    Interesse wecken - Motivation steigern - Praxisorientiert ausbilden, S. 111-114, ISBN: 978-3-89750-148-5, Berlin, Deutschland, September 2007 Birgit Krumpholz, Dirk Timmermann, Hartmut Pfüller: Berufsorientierende [...] 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

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/birgit-krumpholz/publikationen/

  5. Windows-Benutzerprofile für Nutzer der Domäne uni-rostock.de (RECHENZENTRUM)

    Kommandozeile: Als direkter Aufruf per Kommandozeile (als Einzeiler): for %1 in (pc1 pc2 pc3 pc4 pc5 pc6 pc7 pc8 pc9 pc10 pc11 pc12) do (reg.exe add "\\%1 \HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\ [...] Manager\Environment" /v ProfileDir /t REG_SZ /d "WIN" /f) Als Batchdatei: for %%1 in (pc1 pc2 pc3 pc4 pc5 pc6 pc7 pc8 pc9 pc10 pc11 pc12) do ( reg.exe add "\\%%1 \HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSe

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/universitaetsweite-dienste/windows-benutzerprofile-und-logon-skripte-des-itmz/windows-benutzerprofile-fuer-nutzer-der-domaene-uni-rostockde-rechenzentrum/

  6. Standard sentences for your application

    Stellenanzeige - Einleitung Your advertisement in the May 5th issue of Hydropower caught my eye. Ihre Anzeige in der Zeitschrift Hydropower vom 5. Mai hat mich angesprochen. I am submitting my C.V. in response

    https://www.uni-rostock.de/en/studium/berufseinstiegcareers-service/portalseite-careers-service/info-wiki/international-students/job-application/standard-sentences-for-your-application/

  7. Imprint

    mv-regierungde Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://www.ief.uni-rostock.de/en/alle-ief/ur-ief/footer/imprint/

  8. 2012

    Satzung über die Vergabe von Deutschlandstipendien vom 25. Juni 2012 Satzung Deutschlandstipendien ( AB 5/2011 ), Zweite Änderung ( AB 43/2020 ) Nr. 18/2012 Fünfte Satzung zur Änderung der Satzung über die [...] Masterstudiengang Pflanzenproduktion und Umwelt (Crop Produktion and Environment) vom 24. Juni 2011 Nr. 5/2012 Studienordnung für den Masterstudiengang Nutztierwissenschaften (Animal Sciences) vom 24. Juni

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

  9. Imprint

    mv-regierungde Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://www.germanistik.uni-rostock.de/en/footer/imprint/

  10. Imprint

    mv-regierungde Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://www.iwip.uni-rostock.de/en/footer/imprint/

Displaying results 2591 to 2600 of 4781.
  • Previous
  • ...
  • 256
  • 257
  • 258
  • 259
  • 260
  • 261
  • 262
  • 263
  • 264
  • 265
  • ...
  • 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