1
Publicat 2005
Taula de continguts: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...
Obtenir text complet
Electrònic eBook
5
Publicat 2013
Taula de continguts: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
Obtenir text complet
Electrònic eBook
6
Publicat 2006
Taula de continguts: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
Obtenir text complet
Electrònic eBook
7
Publicat 2011
Taula de continguts: ... Pattern -- Design of Simple Home Service Robot Based on Infineon Microcontroller -- Computer Simulation...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based...
Obtenir text complet
Electrònic eBook
9
Publicat 2013
Taula de continguts: ... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...
Obtenir text complet
Electrònic eBook