Katalog der Deutschen Nationalbibliothek

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

951 - 960 von 962

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