Council of Professors and Heads of Computing
5 published titles
Algorithms for coalition formation in multi-agent systems
(Contributor)
1 edition
- ISBN: 9781906124144
- British Computer Society
- 2007
- Details
Formal verification of machine-code programs
(Contributor)
1 edition
- ISBN: 9781906124816
- University of Cambridge, Computer Laboratory, Trinity College
- 2008
- Details
Logics and analyses for concurrent heap-manipulating programs
(Contributor)
1 edition
- ISBN: 9781906124830
- British Computer Society
- 2009
- Details
NURBS-compatible subdivision surfaces
(Contributor)
1 edition
- ISBN: 9781906124823
- British Computer Society
- 2011
- Details
Justification based explanation in ontologies : a thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences
(Contributor)
1 edition
- ISBN: 9781780171791
- BCS
- 2011
- Details
