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

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

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

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

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

  6. Schriftenreihe "Diktaturen in Deutschland"

    in Güstrow. Von den Anfängen bis ins 21. Jahrhundert. Inhaltsverzeichnis Einleitung Leseprobe Bd. 5 Günter Schabowski Der Zerfall einer Leihmacht. Inhaltsverzeichnis Einleitung Leseprobe Bd. 6 Ingo Sens

    https://www.dokumentationsstelle.uni-rostock.de/en/publikationen/schriftenreihe-diktaturen-in-deutschland/

  7. Mensasimulation

    der Informatik im Rahmen einer Wahlpflicht-Projektveranstaltung entworfen und programmiert, die im 5. oder 6. Semester des Bachelorstudiums Informatik belegt wird. Die Studierenden arbeiten an diesen Projekten

    https://www.ief.uni-rostock.de/en/fakultaet/institute-und-lehrstuehle/lehrende/institute/visual-and-analytic-computing/prof-dr-rer-nat-habil-adelinde-m-uhrmacher/mensasimulation/

  8. Literature and Space (Hybrid Workshop)
    01.10.2024

    Nico Förster. At a Glance: Hybrid Workshop Language: German Date: October 1, 2024 Time: 9:00 AM to 5:00 PM Location: Seminar Room 9 at the Institut für Germanistik (Jakobipassage, 4th Floor, Kröpeliner

    https://www.inf.uni-rostock.de/en/vorlage-veranstaltungen/detailansicht-des-events/n/literatur-und-raum-hybrider-workshop-200847/

  9. RMB 25 (2015)

    Coastal System Analysis and Status Evaluation (BACOSA) 2015 Piepho, M., 2015, Introduction. RMB (25) S. 5 [ pdf ] Berthold, M, Zimmer, D. & Schumann, R., 2015, A simplified method for total phosphorus digestion

    https://www.oekologie.uni-rostock.de/en/rostocker-meeresbiol-beitraege/rmb-25-2015/

  10. Contact angle measuring system

    pl...1000 nl Optics: 7-fold zoom lens with integrated fine focus (± 4 mm) Mikro lens 20-fold with 7.5 ... 55-fold magnification 1/2“ standard camera 0.85 x 0.64...0.116 x 0.087 mm

    https://www.lfm.uni-rostock.de/en/equipment/analyse/contact-angle-measuring-system/

Displaying results 2261 to 2270 of 4779.
  • Previous
  • ...
  • 223
  • 224
  • 225
  • 226
  • 227
  • 228
  • 229
  • 230
  • 231
  • 232
  • ...
  • 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