|
1061 |
Guarded logics: algorithms and bisimulation Hirsch, Colin, 2002
|
|
|
1062 |
Integrating concepts from constraint programming and operations research algorithms Fahle, Torsten, 2002
|
|
|
1063 |
Models and algorithms for school timetabling Marte, Michael, 2002
|
|
|
1064 |
PAC-Bayesian pattern classification with kernels Graepel, Thore, 2002
|
|
|
1065 |
Advanced algorithms for the simulation of Gauge theories with dynamical fermionic degrees of freedom Schroers, Wolfram. - Wuppertal : Fachbereich Physik, BUGH, 2001
|
|
|
1066 |
Algorithms for comparing geometric patterns Knauer, Christian, 2001
|
|
|
1067 |
Automatic cell planning for mobile network design Huang, Xuemin. - [Karlsruhe] : [Univ.-Bibliothek], [2001?], [Online-Ausg.]
|
|
|
1068 |
Blind source separation algorithms for the analysis of optical imaging experiments Schießl, Ingo, 2001
|
|
|
1069 |
Complexity results and practical algorithms for logics in knowledge representation Tobies, Stephan, 2001
|
|
|
1070 |
Direct and inverse algorithms for characterizing molecular reaction surfaces locally and globally Kurtz, Lukas, 2001
|
|