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