(1 - 25 von 45
)
Kinder TU: Was machen eigentlich Ingenieure?
uninews-online.de
m.peter Thomas Schwentick (Informatik) „Warum braucht eine E-Mail keinen Briefträger?“ Eine E-Mail zu schreiben und loszuschicken ist nicht so schwierig. Aber woher weiß der Computer, was mit gemeint ist und ob es für ...
Logik in der Informatik 16
www2.ki.informatik.uni-frankfurt.de
Thomas Schwentick, TU Dortmund; Jan Schwinghammer, Universität des Saarlandes: Nested Hoare Triples and Frame Rules for Higher-order Store; Helmut Seidl, TU München
sortiert nach Relevanz / Datum