High Performance Computer Applications - 9783319322421

Dill - Computer Aided Verification 6th International Conference CAV - X555z

Banerjee - High Performance Computing - HiPC'99 6th International Co - X555z

Dimov - Numerical Analysis and Its Applications 6th International Co - X555z

Pitt - Category Theory and Computer Science 6th International Confer - X555z

Klinov - Knowledge Engineering and Semantic Web 6th International Co - X555z

Miguet - Discrete Geometry for Computer Imagery 6th International Wo - X555z

Zvacek - Computer Supported Education 6th International Conference - X555z