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

4865 Results:

  1. FAQ

    the card is actually not very helpful. In case the response period of the reader is extremely long (>5s) or there is no response at all, we kindly ask you to contact the support: chipkarten(at)uni-rostock(dot)de

    https://www.itmz.uni-rostock.de/en/services/user-account/chip-card-access/copying-function/faq/

  2. Abschlussarbeiten

    7 Zellen mittels Platch-Camp-Technik BSc Jenny Tillmann in vitro - Wirkstofftests an HEK 293 Nav 1.5 Zellen mittels Platch-Camp-Technik BSc Wiebke Schmidt Biophysikalische Charakterisierung von αHIV-1

    https://www.biophysik.uni-rostock.de/en/lehre/abschlussarbeiten/

  3. Aufgaben der Sprachwissenschaft

    in der Schriftlinguistik unter die Lupe genommen, einem weiteren Forschungsschwerpunkt am Institut. 5. Wie hat sich die Sprache entwickelt? Welche sprachlichen und außersprachlichen Faktoren tragen inwiefern

    https://www.germanistik.uni-rostock.de/en/institut/sprachwissenschaft/aufgaben-der-sprachwissenschaft/

  4. Biradicaloids

    heteroatom cage compounds. The reaction with CO and isonitriles led to the formation of new cyclic 5-membered heterocycles featuring also biradical character. Oxidation with silver salts gave stable cyclic

    https://www.schulz.chemie.uni-rostock.de/en/forschung/biradicaloids/

  5. Waterbike Team gewinnt bei der International Waterbike Regatta
    03.07.2023

    der 100m Sprint, der 100m Slalom, das Forward Stop Backward (50m vorwärts, Stop, 50m rückwärts), die 5-10km Long Distance, der Bollard Pull (Pfahlzug, bei dem die Kraft aus dem Stand über 30 Sekunden gemessen

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/waterbike-team-gewinnt-bei-der-international-waterbike-regatta-193869/

  6. Waterbike Team gewinnt bei der International Waterbike Regatta
    03.07.2023

    der 100m Sprint, der 100m Slalom, das Forward Stop Backward (50m vorwärts, Stop, 50m rückwärts), die 5-10km Long Distance, der Bollard Pull (Pfahlzug, bei dem die Kraft aus dem Stand über 30 Sekunden gemessen

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/waterbike-team-gewinnt-bei-der-international-waterbike-regatta-193767/

  7. AMIGOS

    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.mmis.informatik.uni-rostock.de/en/research/projects/amigos/

  8. Printzen_2015

    publish the central results of this project, I ask the DFG to fund the 65% PhD position for a further 5 months until 31 March 2019. DFG Programme: Infrastructure Priority Programmes International Connection:

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/biological-sciences/printzen-2015/

  9. Binding multipage prints manually

    this service. Thermo adhesive bindings with own cover Thermo adhesive bindings can be made only in A5 and A4. You must design your own envelope. Keep in mind that an envelope for an A4 thermal binding is

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/drucken-und-scannen/drucken-papier-und-3d/offers-university-members/binding-multipage-prints-manually/

  10. StudIP-Service für die Philosophische Fakultät

    Meetings in StudIP hat das ZMD eine kurze Anleitung erstellt, die Sie hier aufrufen können (PDF, ca.5 MB). Bitte beachten Sie, dass dieses Meeting-Tool nur innerhalb der Mitglieder Universität genutzt werden

    https://www.phf.uni-rostock.de/en/fakultaet/it-service-pc-pool/zentrum-fuer-multimedia-und-datentechnik-it-service/studip-service-fuer-die-philosophische-fakultaet/

Displaying results 2301 to 2310 of 4865.
  • Previous
  • ...
  • 227
  • 228
  • 229
  • 230
  • 231
  • 232
  • 233
  • 234
  • 235
  • 236
  • ...
  • 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