2 Ergebnisse für: _12.20
-
Kometenlandung geglückt - gleich zweimal? - science.ORF.at
http://science.orf.at/stories/1749285/
Kurz nach 17 Uhr war es so weit: Die erste Landung auf einem Kometen in der Geschichte der Raumfahrt ist gelungen. Im europäischen Weltraumkontrollzentrum in Darmstadt brandete Jubel auf. Nach anfänglicher Unsicherheit, ob "Philae" auf dem Kometen sicher…
-
ISoLA 2008 - 3rd International Symposium on Leveraging Applications of Formal Methods
http://www.cs.uni-potsdam.de/isola2008/?id=program#a16
Keine Beschreibung vorhanden.