direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Artikel akzeptiert

    Artikel "On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems" akzeptiert (Rate 12/42) für FMOODS/FORTE 2009 (Co-Autoren Morten Kühnrich, Uwe Nestmann).

  • D-CON / GeCCo

    MTV veranstaltet das 2. jährliche Treffen German Chapter Concurrency Theory am 9.-10. März 2009 an der TU Berlin in den Räumen der Fakultät IV.

  • Gast: António Ravara

    António Ravara (TU Lissabon) besucht MTV am 23.+24. Februar 2009  im Rahmen des DAAD Austauschprojektes MONACO-GP.  Er hält auch einen Vortrag.

  • CRC Press - Artikel veröffentlicht

    Artikel "Business Process Specification and Analysis" wurde heute im Buch "Process Algebra for Parallel and Distributed Processing" veröffentlicht (Co-Autoren Uwe Nestmann, Frank...

News 43 bis 49 von 49
<< Erste < Vorherige 1-7 8-14 15-21 22-28 29-35 36-42 43-49 Nächste > Letzte >>

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe