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

4883 Results:

  1. Patent and patent application

    Metallteilen mittels eines Extrusionsverfahrens – Composite Extrusion Modeling (CEM). DE112016006911A5 Cornelsen, M.; Weise, T.; Kluchert, C,; Klopsch, V.; Seitz, H.: Polierkopf und Verfahren zum Plasmapolieren [...] und/oder teilkristallinen Metallbauteilen - Selective Amorphus Metal Extrusion (SAME). DE112015005447A5 Lieberwirth C, Seitz, H: Verfahren und Anlage zur additiven Fertigung von Metallteilen mittels eines

    https://www.lfm.uni-rostock.de/en/research/publications/patent-and-patent-application/

  2. 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.spectre.uni-rostock.de/en/footer/imprint/

  3. Publications

    Blickpunkt Synthese - Bor-Lewis-Säurekatalyse: Amide atomeffizient synthetisieren “, Nachr. Chem. 2019 , 67(5), 51-54 (review, English Translation available : " Boron Lewis Acid Catalysis: How to Synthesize Amides [...] Access to 3-Piperidinols by traceless P(OEt)3-Cyclodehydration ”, Org. Lett. 2013 , 15 , 5178-5181. 5. R. Kühne, H. Oschkinat, R. Opitz, M. Müller, H.-G. Schmalz, C. Reuter, P. Huy, " Structural mimetics

    https://www.huy.chemie.uni-rostock.de/en/translate-to-english-publikationen/

  4. Kalenderblatt April 2014

    habil. Ernst Albert Arndt zum 70. Geburtstag. In: Rostocker Meeresbiologische Beiträge, Heft 5, 1997, S. 5-8. Archiv aller Kalenderblätter

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2014/kalenderblatt-april-2014/

  5. Impressum

    de Redaktionell verantwortlich für die zentralen Webseiten der Universität Rostock gemäß § 55 Abs. 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18055 Rostock Telefon: +49 381 498-1012, Telefax: +49 [...] Stationen aus dem IP-Namensbereich 'uni-rostock.de' ausgehen, senden Sie bitte an den o.g. Webmaster. 5. Rechtswirksamkeit dieses Haftungsausschlusses Dieser Haftungsausschluss ist als Teil des Internetangebotes

    https://www.isd.uni-rostock.de/en/isd/institut/allgemeines/impressum/

  6. 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.molekulare-stressphysiologie.uni-rostock.de/en/footer/imprint/

  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.populationsgenetik.uni-rostock.de/en/footer/imprint/

  8. 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/

  9. 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/

  10. 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/

Displaying results 2631 to 2640 of 4883.
  • Previous
  • ...
  • 260
  • 261
  • 262
  • 263
  • 264
  • 265
  • 266
  • 267
  • 268
  • 269
  • ...
  • 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