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