1
Udgivet 2015
Indholdsfortegnelse: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...
Få fuldtekst
Electronisk eBog