(1 - 7 von 7
)
Heise.de: Das Muster hinter QProxyStyle | heise online
In der Qt-Gemeinde existiert ein Mythos:
In eigener Sache: Gewinnen Sie ein aktuelles Fachbuch! « NEWS ...
www.linux-magazin.de
Die neue Auflage des Buchs "C++ GUI Programmierung mit Qt 4" von Jasmin Blanchette und Mark Summerfield erscheint in den nächsten Tagen und behandelt auf über 800 Seiten Version 4.3 des GUI-Toolkits.
Kolloquiumsvortrag Jasmin Blanchette • Informatik • Fachbereich...
www.mi.fu-berlin.de
Isabelle/HOL is a popular proof assistant based on higher-order logic. It owes its success to its ease of use and powerful automation. Much of the automation is ...
9th International Workshop on the Implementation of Logics
www.eprover.org
The 9th International Workshop on the Implementation of Logics will be held in March in conjunction with the 18th ... Jasmin Blanchette. Leonardo De Moura.
Gutes Qt Buch | C++ Community
www.c-plusplus.net
Ich möchte Qt lernen und suche dafür ein gutes und ein halbwegs aktuelles Buch. Gibt es so etwas eventuell auch in Deutsch?
gutes QT Buch gesucht | C++ Community
www.c-plusplus.net
Hi, welches QT Buch in deutsch könnt ihr empfehlen?
Programme_SVARM
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
sortiert nach Relevanz / Datum