Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=511*
im Bestand: Gesamter Bestand

991 - 1000 von 1011

	991	Lim+, δ+ [delta+], and non-permutability of β-steps [beta-steps] Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
	992	On the Chebyshev rank of bivariate polynomials and splines in L1-approximation Sommer, Manfred. - Eichstätt : Kath. Univ., Math.-Geographische Fak., 2004
	993	Proof planning with multiple strategies Meier, Andreas, 2004
	994	Weighted branching automata Meinecke, Ingmar, 2004
	995	Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2004
	996	Discrete mathematics and theoretical computer science Berlin : Springer, 2003
	997	Multivariate polynomial approximation Reimer, Manfred. - Basel : Birkhäuser, c 2003
	998	Distributive normal forms in the calculus of predicates Hintikka, Jaakko. - Bad Feilnbach : Schmidt Periodocals, 2002, Repr. [der Ausg.] Helsinki, Soc. Philos., 1953
	999	The need for de-aliasing in a Chebyshev pseudo-spectral method Uhlmann, Markus. - Potsdam : PIK, 2000
	1000	Classifying discrete temporal properties Wilke, Thomas, 1998