>
SpringerComputer Aided Verification: 14th International Co...
SpringerComputer Aided Verification: 13th International Co...
SpringerComputer Aided Verification: 12th International Co...
SpringerComputer Aided Systems Theory - EUROCAST'99: A Sel...
World Scientific Publishing CompanyComputer Aided Specification Techniques (Series in...
CRC PressComputational Intelligence in Telecommunications N...
CRC PressComputational Intelligence for Decision Support (I...
SpringerCompositional Verification of Concurrent and Real-...
SpringerComposition of Embedded Systems. Scientific and In...
SpringerComponents of System Safety: Proceedings of the Te...
SpringerThe Complexity of Simple Computer Architectures (L...
SpringerComplexity of Lattice Problems: A Cryptographic Pe...
SpringerCompiler Construction: 5th International Conferenc...
SpringerCompiler Construction: 16th International Conferen...
SpringerCommunications for Manufacturing: Proceedings of t...
Research Studies PreCommunications and Coding (Electronic & Electrical...