1
Izdano 2010
Kazalo: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Polni tekst
Elektronski eKnjiga
2
Izdano 2008
Kazalo: ...MCO 2008 -- Optimal Flight Paths Reducing the Aircraft Noise during Landing -- Scalability Analysis...
Polni tekst
Elektronski eKnjiga
3
Izdano 2010
Kazalo: ... Fuzzy Matching and Intersection on Private Datasets -- Efficient Privacy-Preserving Face Recognition...
Polni tekst
Elektronski eKnjiga
4
Izdano 2006
Kazalo: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
Polni tekst
Elektronski eKnjiga