TUM - TU München

Tum.de has 81 URLs listed in 67 Dmoz categories.

Stetinova, Hana H.
HexaDesign: figurative oil paintings and extravagant fashion and textile designs by Czech artist. Includes C.V.
http://home.in.tum.de/stetinov/
Top/Arts/Visual_Arts/Personal_Pages/S

IEEE CEC 2005: 7th International IEEE Conference on E-Commerce Technology 2005
Technische Universität München, Germany, 19-22 July 2005. Submissions deadline: 20 January 2005.
http://cec05.in.tum.de/index-Dateien/CallforPapers.htm
Top/Business/Management/Management_Science/Management_Information_Systems/Call_For_Papers/Past/2005

IEEE CEC 2005: 7th International IEEE Conference on E-Commerce Technology 2005
Technische Universität München, Germany, 19-22 July 2005.
http://cec05.in.tum.de/
Top/Business/Management/Management_Science/Management_Information_Systems/Conferences/Past/2005

The Use of Geosynthetics in Road Construction in Germany
Technical paper about the German regulation and the supporting philosophy behind the application of geosynthetics in road construction. Author: Wilhelm Wilmers.
http://www.gb.bv.tum.de/fachsektion/veroeffentlichungen/wilmers.pdf
Top/Business/Textiles_and_Nonwovens/Geotechnical/Resources/Articles_and_Studies

EuroGeo 2004
Germany. Call for papers for the annual European geosynthetics conference, which will be organized by the German Society for Geotechnics under the auspices of the IGS. Munich. March 1-4, 2004.
http://www.gb.bv.tum.de/eurogeo3
Top/Business/Textiles_and_Nonwovens/Trade_Shows/Archive

PIA07
Photogrammetric Image Analysis. Munich, Germany; 19–21 September 2007.
http://www.ipk.bv.tum.de/isprs/pia07/
Top/Computers/Computer_Science/Conferences/2007

Similarity Matrix of Proteins (SIMAP)
SIMAP is a public database of pre-calculated protein similarities that plays a key role in many bioinformatics methods. It contains about all currently published protein sequences and is continuously updated.
http://boinc.bio.wzw.tum.de/boincsimap/
Top/Computers/Computer_Science/Distributed_Computing/Projects

Nipkow, Tobias
Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.
http://isabelle.in.tum.de/~nipkow/
Top/Computers/Computer_Science/People/N

Veith, Helmut
Institute of Information Systems.
http://www.model.in.tum.de/~veith/
Top/Computers/Computer_Science/Theoretical/Complexity_Theory/People

PADDA 2001
International Workshop on Performance-Oriented Application Development for Distributed Architectures. Munich, Germany.
http://www.lrr.in.tum.de/~gerndt/home/Research/PADDA2001/PADDA2001.htm
Top/Computers/Parallel_Computing/Conferences/2001