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

4864 Results:

  1. Dr. Pierre Gottschlich

    Indian Diaspora in the United States of America]. Baden-Baden: Nomos. (244 pages, ISBN 978-3-8329-7146-5 ) Gottschlich, Pierre/Rösel, Jakob (2008). Indien im neuen Jahrhundert: Demokratischer Wandel, ökonomischer [...] Congress of the International Union of Anthropo-logical and Ethnological Sciences (IUAES), Manchester, 5-10 August 2013, in: ASIEN. No. 129 (October 2013), p. 158-159. Gottschlich, Pierre (2010). 21st European [...] of the International Union of Anthropological and Ethnological Sciences (IUAES). Manchester, August 5-10, 2013. Gottschlich, Pierre (2012). From Germany to India: The Role of NRI and PIO in Economic and

    https://www.ipv.uni-rostock.de/en/chairs-and-staff/chair-for-international-politics/academic-staff/dr-pierre-gottschlich/

  2. Publications

    for imperfect detection and estimate annual distributions for each species during 1980–2016 within 5 × 5 km quadrants. We also compiled data on species attributes that were hypothesized to affect species’ [...] between 1960 and 2017. We analyzed 29 million occurrence records over an area of ~350,000 km 2 on a 5 × 5 km grid using temporal and spatiotemporal models and accounting for sampling bias. Since the 1960s [...] between 1960 and 2017. We analyzed 29 million occurrence records over an area of ∼350.000 km 2 on a 5 × 5 km grid using temporal and spatio-temporal models and accounting for sampling bias. Since the 1960s

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/landschaftsoekologie-und-standortkunde/team/prof-dr-florian-jansen/publications/

  3. Bibliography and Documents

    neuen Kriege (5. Auflage). Reinbek bei Hamburg 2003. 4. Globalisierung und Entwicklungszusammenarbeit 4. Globalisierung und Entwicklungszusammenarbeit Beck, Ulrich: Was ist Globalisierung? (5. Auflage). Frankfurt [...] Globalisierung. München 2006. Stiglitz, Joseph: Die Schatten der Globalisierung. Berlin 2002. 5. Deutsche Außenpolitik 5. Deutsche Außenpolitik Bierling, Stephan: Vormacht wider Willen: Deutsche Außenpolitik [...] the American Academy for Jewish Research, 22, 1953, S. 115-130. Thomas von Aquin (1224/5-1273) Thomas von Aquin (1224/5-1273) De regimine principum ad regem Cypri (echt nur bis II,4 1265-1267 oder 1271-1273);

    https://www.ipv.uni-rostock.de/en/study/im-studium/bibliography-and-documents/

  4. Overview research

    spherical harmonics. In this regard, a special role is taken by the second Legendre Polynomial P 2 ( x )=0.5·(3 x 2 –1), where x is the Cosine of the angle with respect to the external magnetic field. This function [...] H-channel: 1 H (with high-power decoupling) Double resonance mode (HX) combinations: 1 H/ 31 P – 15 N 5 mm static solid-state probe Double-resonance CP NMR probe with transverse solenoid coil for solid-state [...] CP/LT-MAS triple resonance probe with rotor insert and eject system. This probe with an active volume of 1.5 µL allows to perform MAS experiments with up to 40 kHz at 100 K. Due to the high inductivity of the

    https://www.corzilius.chemie.uni-rostock.de/en/hauptmenue/research/overview-research/

  5. Publications

    by surface plasmon resonance spectroscopy. Front Plant Sci 5:595 Wulfhorst H, Franken LE, Wessinghage T, Boekema EJ, Nowaczyk MM (2014) The 5 kDa Protein NdhP Is Essential for Stable NDH-1L Assembly in [...] Photosynthetic Membranes with Electrochemistry. Journal of the American Chemical Society, DOI: 10.1021/jacs.5c08519 Bohn S, Lo YK, Lambertz J, Meier-Credo J, Fürtges T, Liauw P, Gasper-Schönenbrücher R, Wiens D

    https://www.biochemie.uni-rostock.de/en/publikationen/

  6. Publikationen

    Pothast, Lebendige Vernünftigkeit. Exposition eines philosophischen Konzepts, Rostock 2009, 32 S. Heft 5: Gernot Böhme, Zeit als Medium von Darstellung und Zeit als Form lebendiger Existenz, Rostock 2009, [...] jungen Herder, in: Herderschule Rendsburg 1393-1993. Festschrift zur 600-Jahrfeier, Rendsburg 1993, S. 5-15 Philosophie im Wandel der Grundstimmungen. Zu Martin Heideggers Denkweg von 1927 bis 1933, in: Rolf [...] Abhandlungen 1894-1900. Hg. v. Heinz-Jürgen Dahme und David P. Frisby (Georg Simmel Gesamtausgabe Bd. 5). Frankfurt a.M. 1992 Georg Simmel: Aufsätze und Abhandlungen 1901-1908. Band II. Hg. v. Allesandro

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-michael-grossheim/publikationen/

  7. ITTI Bachelor (SPSO 2026)

    Informatikinstitute unter: Lehrveranstaltungen für das 1. bis 4. Semester Lehrveranstaltungen für das 5. bis 7. Semester Anstelle der für diesen Studiengang ausdrücklich angebotenen Wahlpflicht- und Wahlmodule [...] Dozenten nach eigenem Ermessen festgelegt. Der Zeitaufwand für die Erbringung dieser darf maximal die 1,5-fache Dauer der versäumten Unterrichtszeit betragen. Prüfungen Die Zusammenstellung der zu belegenden [...] Anerkennung schließen die Studierenden und die Vorsitzende/der Vorsitzende des Prüfungsausschusses gemäß § 5 Absatz 3 der Rahmenprüfungsordnung (Bachelor/Master) vor Aufnahme des Auslandsaufenthalts eine Lehr-

    https://www.ief.uni-rostock.de/en/studiengaenge/bachelor-studiengaenge/informationstechnik/technische-informatik-bsc/itti-bachelor-spso-2026/

  8. Publikationen

    tric studies: the example of dental implants. Biomedizinische Technik - Biomedical Engineering, 57(5): 365-370 2011 Pau HW, Warkentin M, Specht O, Krentz H, Herrmann A, Ehrt K (2011) Experiments on the

    https://www.werkstoffe-medizin.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/

  9. Prof. Dr. C. Retzlaff-Fürst

    29–32. Feike, M., Levetzow, S., & Retzlaff-Fürst, C. (2023). Faszination für die Natur. Mathematik 5-10 , 65 (4), 38–41. Kreher, T., & Retzlaff-Fürst, C. (2023). Verständnis vom Wesen der Naturwissenschaften

    https://www.biodidaktik.uni-rostock.de/en/arbeitsgruppe/mitarbeiter/prof-dr-c-retzlaff-fuerst/

  10. 2017

    , Kaarst-Korschenbroich und Meerbusch Veranstaltungsort: Brüssel, Belgien Veranstaltungszeitpunkt: 5. Oktober 2017 Jahrestagung des VERS (Prof. Dr. Kersten Krüger) Veranstalter: VERS (Verband ehemaliger

    https://www.dokumentationsstelle.uni-rostock.de/en/veranstaltungen/vortraege/vortragsarchiv/2017/

Displaying results 3621 to 3630 of 4864.
  • Previous
  • ...
  • 359
  • 360
  • 361
  • 362
  • 363
  • 364
  • 365
  • 366
  • 367
  • 368
  • ...
  • 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