1
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
View full text
Electronic eBook