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

4781 Results:

  1. 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.meeresbiologie.uni-rostock.de/en/footer/impressum/

  2. News

    contribution at the Day of Mathematics at 11.06.2021 On 11.06. at 10 a.m., the project partners P1 and P5 will be offering an online course for schoolchildren on the topic of "How to recognize deep fakes". [...] project The preliminary date for the second NEISS status seminar has been set for 04.08.2021 from 2 pm to 5 pm. 11.11.2020: Workshop on the NEISS Machine Learning Framework On 11.11.2020 an online workshop took

    https://www.neiss.uni-rostock.de/en/hauptmenue/news/

  3. Liste

    GALS Network-on-Chip for an FPGA“. Coautor ist sein Diplomand Enrico Heinrich. read more 16.08.2007 5. Platz als „Forscher-Team“ bei der venturesail 2007 (16.08.2007) Daniel Versick, Simon Dumke und Susanne [...] belegen im August 2007 bei der venturesail 2007 – Ideenwettbewerb des Landes Mecklenburg-Vorpommern den 5. Platz in der Kategorie „Forscher-Team“ mit ihrer Projektidee „Telebanking-Stick: Vom Homebanking zum

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2007/liste/

  4. Liste

    GALS Network-on-Chip for an FPGA“. Coautor ist sein Diplomand Enrico Heinrich. read more 16.08.2007 5. Platz als „Forscher-Team“ bei der venturesail 2007 (16.08.2007) Daniel Versick, Simon Dumke und Susanne [...] belegen im August 2007 bei der venturesail 2007 – Ideenwettbewerb des Landes Mecklenburg-Vorpommern den 5. Platz in der Kategorie „Forscher-Team“ mit ihrer Projektidee „Telebanking-Stick: Vom Homebanking zum

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2007/liste/

  5. PD Dr. Matthias Bernstorf

    Marburg, u.a. bei Prof. Dr. Dieter Lührmann (NT; u.a. Der Prozess Jesu), Zwischenprüfung 1991-1992 5. Semester Ev. Theologie in Hamburg, u.a. bei Prof. Dr. Klaus-Michael Kodalle (Systematische Theologie [...] Schülerinnen und Schülern aus der Bugenhagenschule der Evangelischen Stiftung Alsterdorf auf NDR Info, WDR 5 und im Deutschlandfunk zum Reformationstag 2016. 2014: Was bedeutet ‚ein feste Burg‘ heute? Ein Projekt

    https://www.theologie.uni-rostock.de/en/fachgebiete/praktische-theologie/pd-dr-matthias-bernstorf/

  6. 2017

    , die auf der neuen IEEE 11073 SDC Standardfamilie aufsetzen. Best Paper Award auf der IEEE-IEMCON 5. Oktober 2017: Best Paper Award auf der IEEE-IEMCON für Peter Danielis Dr. Peter Danielis erhält auf [...] Sonderforschungsbereich ELAINE bewilligt 24. Mai 2017: Deutsche Forschungsgemeinschaft bewilligt 9,5 Millionen Euro für ELAINE Großer Erfolg für unsere Universität und Fakultät: In der modernen Medizin

    https://www.imd.uni-rostock.de/en/institut/highlights/2017/

  7. Procedure & Dates

    the best ideas and the special prizes will take place afterwards. Step 5: Presentation at the state-wide ideas competition Step 5: Presentation at the state-wide ideas competition The best teams from the

    https://www.zfe.uni-rostock.de/en/ideas-competition/dates-deadlines/procedure-dates/

  8. Scianna

    1870-71 and Their Relevance for the German ’Military Sonderweg ’ Debate, Small Wars & Insurgencies , 30:4-5 (2019): 968-993. Stuck in the Past? British Views on the Spanish Army’s Effectiveness and Military Culture [...] Military Observers, The International Journal of Military History and Historiography , 38:1 (2018): 5-33. Rommel Almighty? The ‘Desert Fox’ in Italian Assessments during and after the Second World War,

    https://www.geschichte.uni-rostock.de/en/arbeitsbereiche/zeitgeschichte/lehrstuhl/mitarbeiter/scianna/

  9. Publications

    Gaponik: Simulation study of environment friendly quantum dot based photovoltaic windows J. Mater. Chem. C 5 (2017) 11790 . 83. Christian Klinke (invited): Electrical transport through self-assembled colloidal [...] Laurens D. A. Siebbeles: Highly efficient carrier multiplication in PbS nanosheets Nature Commun. 5 (2014) 3789 . 61. Cristina Palencia, Koen Lauwaet, Leonor de la Cueva, Maria Acebron, Julio Jose Conde [...] in CuInSe 2 and CuIn 1−x Ga x Se 2 thin films upon ligand exchange with thermally degradable 1-ethyl-5-thiotetrazole Adv. Funct. Mater. 24 (2014) 1081 . 57. Yuxue Cai, Jan Michels, Julien Bachmann, Christian

    https://www.nanomaterials.uni-rostock.de/en/publications/

  10. Windows Tips

    S_256_CBC_SHA,TLS_DHE_DSS_WITH_3DES_EDE_CBC_SHA,TLS_RSA_WITH_RC4_128_MD5,SSL_CK_RC4_128_WITH_MD5,SSL_CK_DES_192_EDE3_CBC_WITH_MD5,TLS_RSA_WITH_NULL_SHA256,TLS_RSA_WITH_NULL_SHA" /f Mit folgendem Kommando [...] 13:46:36 2005): Current build of wbemupgd.dll is 5.1.2600.2180 (xpsp_sp2_rtm.040803-2158) (Wed Oct 12 13:46:36 2005): Current build of wbemcore.dll is 5.1.2600.2180 (xpsp_sp2_rtm.040803-2158) (Wed Oct 12 [...] PowerShell.exe über den Befehl $PSVersionTable.PSVersion.ToString() angezeigt, z.B. für PowerShell 5.0: 5.0.10586.117 Der Language Mode wird bei der Ausgabe der Variable $ExecutionContext.SessionState.L

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/allgemeines/windows-tips/

Displaying results 2371 to 2380 of 4781.
  • Previous
  • ...
  • 234
  • 235
  • 236
  • 237
  • 238
  • 239
  • 240
  • 241
  • 242
  • 243
  • ...
  • 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