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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2002	Formal verification of a fully IEEE compliant floating point unit	Jacobi, Christian
2002	Nonlinear optical properties of lead sulfide nanocrystals in polymeric coatings	Lu, Songwei; Sohling, Ulrich; Mennig, Martin, u.a.
2002	New applications of SPQR-trees in graph drawing	Weiskircher, Rene
2002	A demand-driven solver for constraint-based control flow analysis	Probst, Christian W.
2002	Quasilinear elliptic two-phase Venttsel problems in transversal case	Apushkinskaya, Darya; Nazarov, Alexander
2002	Towards Extending Domain Representations	Meier, Andreas; Melis, Erica; Pollet, Martin
2002	The CALCULEMUS Autumn School 2002 : Course Notes (Part I)	Benzmüller, Christoph; Endsuleit, Regine
2002	Irrationality of √2 : A case study in [Omega]MEGA	Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas, u.a.
2002	A remark on higher order RUE-resolution with ERUE	Benzmüller, Christoph
2002	CALCULEMUS Autumn School 2002 : Student Poster Abstracts	Zimmer, Jürgen; Benzmüller, Christoph
2002	Wege zur psychologischen Fachinformation	Herb, Ulrich
2002	Mathematikunterricht und Neue Medien — oder: Bildung ist das Paradies!	Hischer, Horst
2001	Zur Zukunft des Kohlebergbaus in Deutschland	Zimmermann, Harald H.
2001	Evaluating the usability of a museum web site	Harms, Ilse; Schweibenz, Werner
2001	Die Institutionalisierung von Evaluation	Meyer, Wolfgang
2001	Average-case complexity of shortest-paths problems	Priebe, Volker
2001	Das Neue Steuerungsmodell - Vereinbarkeit mit dem Demokratieprinzip und kommunalverfassungsrechtliche Zulässigkeit der politischen Leistungsvereinbarung	Meyer, Ulli Christian
2001	Die Umsatzbesteuerung von Internet-Transaktionen unter besonderer Berücksichtigung des Begriffs der Leistung.	Andres, Joerg
2001	Theory and practice of hybrid agents	Jung, Christoph G.; Fischer, Klaus
2001	The contract-net with confirmation protocol : an improved mechanism for task assignment	Schillo, Michael; Fischer, Klaus; Knabe, Tore