Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2004	Probabilistic Analysis of Discrete Optimization Problems	Beier, René
2004	Worst case instances are fragile	Schäfer, Guido
2004	Online problems and two-player games : algorithms and analysis	Sivadasan, Naveen
2004	Collision detection for curved rigid objects in the context of dynamics simulations	Warken, Thomas
2004	Geometric algorithms for object placement and planarity in a terrain	Ray, Rahul
2004	Towards Real-Time Novel View Synthesis Using Visual Hulls	Li, Ming
2004	Programmanalyse des XRTL Zwischencodes	Backes, Werner
2004	Zur darstellungstheoretischen Beschreibung von elliptischen Kurven über lokalen Körpern der Charakteristik 2	Frieden, Jochen
2004	A Proof Representation	Berkelhammer, Jessi
2004	The Proof Planners of [Omega]MEGA : A Technical Description	Meier, Andreas
2004	The New Standard Tactics of the Inductive Theorem Prover QUODLIBET	Schmidt-Samoa, Tobias
2004	Gender-Biased Adaptations in Educational Adaptive Hypermedia	Melis, Erica; Ullrich, Carsten
2004	Proof Planning Limit Problems with Multiple Strategies	Meier, Andreas; Melis, Erica
2004	Widerstand und Kollaboration in Europa	-
2004	Der disziplinäre Volltextserver PsyDok am Sondersammelgebiet Psychologie	Herb, Ulrich
2004	A Dialogue Manager for the DIALOG Demonstrator	Buckley, Mark; Benzmüller, Christoph
2004	Psychologie-Volltextserver am SSG Psychologie PsyDok	Herb, Ulrich
2004	Digitale Psychologie Information	Herb, Ulrich
2003	Möglichkeiten einer computergestützten Sacherschließung	Zimmermann, Harald H.
2003	Zur Gestaltung eines Internet-Portals als offenes Autor-zentriertes Kommunikationssystem	Zimmermann, Harald H.