1
Publicado 2007
Table of Contents: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ... for MIMO Systems using Parametric Arrays -- Modified LEACH – Energy Efficient Wireless Networks...
Ligazón do recurso
Electrónico eBook