1
Được phát hành 2005
Mục lục: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
lấy văn bản
Điện tử eBook
3
Được phát hành 2013
Mục lục: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...
lấy văn bản
Điện tử eBook
5
Được phát hành 2013
Mục lục: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
lấy văn bản
Điện tử eBook
7
Được phát hành 2011
Mục lục: ... Pattern -- Design of Simple Home Service Robot Based on Infineon Microcontroller -- Computer Simulation...
lấy văn bản
Điện tử eBook
8
Được phát hành 2005
Mục lục: ... -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based...
lấy văn bản
Điện tử eBook
9
Được phát hành 2013
Mục lục: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
lấy văn bản
Điện tử eBook