|
3581 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005, [Online-Ausg.]
|
|
|
3582 |
Clustering and prototype based classification Seo, Sambu, 2005
|
|
|
3583 |
Code governance Ishii, Kei, 2005
|
|
|
3584 |
Codegeneratoren für MOF-basierte Modellierungssprachen Bichler, Lutz, [2005]
|
|
|
3585 |
Compensating hyperarticulation for automatic speech recognition Soltau, Hagen, 2005
|
|
|
3586 |
Complexity and correctness of a super-pipelined processor Preiß, Jochen, 2005
|
|
|
3587 |
Complexity penalized segmentations in 2D Friedrich, Felix, 2005
|
|
|
3588 |
Compositional performance analysis for complex embedded applications Jersak, Marek, 2005
|
|
|
3589 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|
|
3590 |
COMRADE Kasprzyk, Nico, 2005
|
|