1
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Processing in Point-Transformation Schemes -- On the General Signature Trees -- Optimizing I/O Costs of Multi...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2015
Tabl Cynhwysion: ... in Health Care Service: The Case of Rehabilitation Programmes in Hong Kong -- Intuitive Interaction between...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Complexity in Automated Planning Domains -- The M-OLAP Cube Selection Problem: A Hyper-polymorphic Algorithm...
Cael y testun llawn
Electronig eLyfr