Search results for: Reinhard Wilhelm
eXamen.press > Übersetzerbau > 115-138
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > System and Program Verification, Model Checking and Theorem Proving > 215-253
Lecture Notes in Computer Science > Efficient Algorithms > Algorithm Engineering, Exactness, and Robustness > 422-437
Lecture Notes in Computer Science > Gl-4.Jahrestagung > 257-266
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 211-229
Lecture Notes in Computer Science > Languages and Compilers for Parallel Computing > Parallel Compiler Technology II > 246-260
Lecture Notes in Computer Science > Computational Science – ICCS 2006 > General Purpose Computation on Graphics Hardware (GPGPU): Methods, Algorithms and Applications > 200-203