1
Published 2014
Table of Contents: ... Programming -- Reusable Concurrent Data Types -- TaDA: A Logic for Time and Data Abstraction -- Infrastructure...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...Foundations of Human Computing -- Foundations of Human Computing: Facial Expression and Emotion...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Controller Implementation at Gate-Level -- Unifying HW Analysis and SoC Design Flows by Bridging Two Key...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Graphs to Model Dynamic Phenomena in Spatial Environments -- A Datatype Extension for Simple Conceptual...
View full text
Electronic eBook