1
Izdano 2008
Kazalo: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
Polni tekst
Elektronski eKnjiga
2
Izdano 2005
Kazalo: ...? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A...
Polni tekst
Elektronski eKnjiga
3
Izdano 2005
Kazalo: ... Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High...
Polni tekst
Elektronski eKnjiga
4
Izdano 2005
Kazalo: ... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...
Polni tekst
Elektronski eKnjiga
5
Izdano 2012
Kazalo: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
Polni tekst
Elektronski eKnjiga