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

4779 Results:

  1. NH3-Stat

    t-an-der-universitaet-rostock-untersucht-alternative-loesungen-fuer-verbrennungsmotoren-new65cb0bde5b284921785286/

    https://www.lkv.uni-rostock.de/en/research/current-research-projects/nh3-stat/

  2. Sen. epist. 1

    Sed evenit mihi quod plerisque non suo vitio ad inopiam redactis: Omnes ignoscunt, nemo succurrit. 5 Quid ergo est? Non puto pauperem cui quantulumcumque superest sat est; tu tamen malo serves tua, et

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

  3. Andre Kleinwächter

    Rostock) SPURT-Schullabor (Laboringenieur) Ocean Technology Campus Rostock/OTC-PromOcean (Teammitglied AP5: Talenteförderung und Empowerment) Arbeitskreis Außerschulische Lernorte (AK ALO) Lehrveranstaltungen

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/andre-kleinwaechter/

  4. Competence Centre

    -Laser-Mass spectrometer 4 Calor Profs. Schick, Kessler, Vervkin, Zimmermann Quenching Dilatometer 5 NMR Profs. Ludwig, Brückner, Köckerling (Baumann, Grundmann, Michalik) Solid body NMR

    https://www.inf.uni-rostock.de/en/llm/research-building/competence-centre/

  5. Vom Workshop in die Praxis: Didaktisches Coaching für Lehrende

    den Coach, damit er direkt mit Ihnen in Kontakt tritt. Das Coaching hat einen Umfang von insgesamt 5 Stunden. Alle Termine und Inhalte werden individuell mit dem Coach vereinbart. Der Coach informiert

    https://www.uni-rostock.de/en/weiterbildung/hochschuldidaktik/veranstaltungen-und-bildungsformate/03-lehrpersoenlichkeit-entwickeln/vom-workshop-in-die-praxis-didaktisches-coaching-fuer-lehrende/

  6. Software

    triangulations. In its newest version, the program can compute all Delone subdivisions up to dimension 5. VERSION: 2.0 RELEASED: 21st April 2015 DOWNLOAD: user's guide , latest version Other software by us

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/geometrie/software/

  7. AMIGOS (2022 - 2025)

    Project homepage: Runtime : 01.01.2022 – 31.09.2025 Sponsor: DARPA Budget: 600.000 Euro at CoMSA²t ($5.800.000 in total) Collaboration Partner Palo Alto Research Center (Xerox Parc) University of California

    https://www.haiml.informatik.uni-rostock.de/en/research/projects/amigos/

  8. Establishing the connection

    k.de /u:itmz-userID/v:uniapps.uni-rostock.de Insert your ITMC password. Access per webbrowser (HTML5-capable webbrowser) Start your current webbrowser (Chrome, Edge, Firefox, Internet Explorer, Safari)

    https://www.itmz.uni-rostock.de/en/internet-services/application-server-itmz/establishing-the-connection/

  9. Verteilte Systeme

    AE-22, SR 110, Beginn: 09.04.2025 Belegung: Vorlesung: LSF , StudIP Übung: LSF , StudIP SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/sommersemester-2023/verteilte-systeme-1-1/

  10. ChemReac

    entdecken die ‘chemische Reaktion’ spielerisch und vertiefen dabei ihr Verständnis. Es ist webbasiert ("HTML5") und somit ohne Installation direkt im Unterricht (oder im Selbstlernmodus) nutzbar. Entwickelt mit

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/projekte/chemreac/

Displaying results 2321 to 2330 of 4779.
  • Previous
  • ...
  • 229
  • 230
  • 231
  • 232
  • 233
  • 234
  • 235
  • 236
  • 237
  • 238
  • ...
  • 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