Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: tit all "Algorithms"
im Bestand: Gesamter Bestand

481 - 490 von 636

	481	Verification and validation of logic control algorithms by model checking Weng, Xiying. - Aachen : Shaker, 2003
	482	Algorithmic Gauß-Manin connection Schulze, Mathias, 2002
	483	Algorithms and data structures for a music notation system based on Guido music notation Renz, Kai, 2002
	484	Algorithms for deterministic and stochastic scheduling Uetz, Marc. - Göttingen : Cuvillier, 2002, 1. Aufl.
	485	Algorithms for the application of Hartmann-Shack wavefront sensors in ophthalmology Schottner, Michael, 2002
	486	Bio-inspired optimization algorithms for engineering applications Müller, Sibylle. - Aachen : Shaker, 2002
	487	Design and analysis of sequential and parallel single-source shortest paths algorithms Meyer, Ulrich, 2002
	488	Design and formal analysis of Petri net based logic control algorithms Frey, Georg. - Aachen : Shaker, 2002
	489	Efficient algorithms for generating elliptic curves over finite fields suitable for use in cryptography Baier, Harald, 2002
	490	Enhancement of bandlimited speech signals Jax, Peter. - Aachen : Mainz, 2002, 1. Aufl.