Katalog der Deutschen Nationalbibliothek

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

1181 - 1190 von 1212

	1181	Verification and Validation of Logic Control Algorithms by Model Checking Weng, Xiying. - Aachen : Shaker, 2003, 1. Auflage
	1182	Algorithmic Gauß-Manin connection Schulze, Mathias, 2002
	1183	Algorithms and data structures for a music notation system based on GUIDO music notation Renz, Kai, 2002
	1184	Efficient algorithms for generating elliptic curves over finite fields suitable for use in cryptography Baier, Harald, 2002
	1185	Evolutionary algorithms and optimization Reimann, Axel, 2002
	1186	Gröbner bases, multipolynomial resultants and the Gauss-Jacobi combinatorial algorithms Awange, Joseph L., 2002
	1187	Guarded logics: algorithms and bisimulation Hirsch, Colin, 2002
	1188	Integrating concepts from constraint programming and operations research algorithms Fahle, Torsten, 2002
	1189	Models and algorithms for school timetabling Marte, Michael, 2002
	1190	PAC-Bayesian pattern classification with kernels Graepel, Thore, 2002

1181 - 1190 von 1212