Supercomputing - 9783642387494

Riguzzi - Inductive Logic Programming 28th International Conference - X555z

Supercomputing : 28th International Supercomputing Conference, Isc 2013, Leip...

Chaudhuri - Computer Aided Verification 28th International Conferenc - X555z

Supercomputing : 28th International Supercomputing Conference, Isc 2013, Leip...

Buth - Computer Safety Reliability and Security 28th International - X555z

SIGDOC Conference Co - SIGDOC 10 Proceedings of the 28th ACM Internati - X555z