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