Titlebook: Highlights aus der Informatik; Ingo Wegener Book 1996 Springer-Verlag Berlin Heidelberg 1996 Algorithmen.Approximation.Cliquenproblem.Info

constitute

Ornament

annexation

978-3-642-64656-0Springer-Verlag Berlin Heidelberg 1996

forager

https://doi.org/10.1007/978-3-642-61012-7Algorithmen; Approximation; Cliquenproblem; Informatik; Information; Kommunikation; Komplexität; Komplexitä

IRK

http://image.papertrans.cn/h/image/426997.jpg

斜谷

,Highlights aus der Informatik — ein Überblick,Nach einer Erläuterung der Ziele der Aufsatzsammlung sollen Kurzbeschreibungen der Aufsätze Appetit auf das in sechzehn Gängen präsentierte Menü „Highlights aus der Informatik“ machen.

规章

Opponent

NOTCH

Wie man Beweise verifiziert, ohne sie zu lesen,Ein Traum eines jeden Studenten, Doktoranden und Professors: Die Richtigkeit eines komplizierten Beweises zu verifizieren, ohne ihn mühselig Zeile für Zeile zu lesen und zu verstehen.

Solace

Parallelisierung aller APL-Operationen,rogrammiersprachen vor. Ihre Parallelisierung ist daher nicht nur für Benutzer von APL von Interesse. Wir zeigen, daß sich alle APL-Operationen effizient parallelisieren lassen. Die wesentlichen Werkzeuge beim Beweis sind