1
Published 2007
Table of Contents: ...Foundations of Discrete Tomography -- An Introduction to Discrete Point X-Rays -- Reconstruction...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... and Weakly Adhesive Categories -- Process Construction and Analysis for Workflows Modelled by Adhesive HLR...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...Editors’ Introduction -- Editors’ Introduction -- Invited Papers -- Invention and Artificial...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ...Contents -- Opening section. –Foreword: David Pimm -- Introduction: Alison Clark-Wilson, Ornella...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... for Processing Stereoscopic Images -- Incorporating Temporal Constraints in the Planning Task of a Hybrid...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Programs in an SMT Framework -- A Generic Constructive Solution for Concurrent Games with Expressive...
View full text
Electronic eBook
7
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Battlespace Augmentation -- Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation...
View full text
Electronic eBook