|
2191 |
SAT-based finite model generation for higher-order logic Weber, Tjark, 2008
|
|
|
2192 |
Scientometric study of patent literature in MEDLINE & SCI Biglu, Mohammad Hossein, 2008
|
|
|
2193 |
Secure name services for the internet of things Fabian, Benjamin, 2008
|
|
|
2194 |
Security concepts for robust and highly mobile ad-hoc networks Dötzer, Florian, 2008
|
|
|
2195 |
Security for service-oriented on-demand grid computing Smith, Matthew, 2008
|
|
|
2196 |
Selbstschutz in Organic- und Ubiquitous-middleware-Systemen unter Verwendung von Computer-Immunologie Pietzowski, Andreas, 2008
|
|
|
2197 |
Self-adaptive hardware, software reconfigurable networks Streichert, Thilo, [2008]
|
|
|
2198 |
Semantic component retrieval in software engineering Hummel, Oliver, 2008
|
|
|
2199 |
Semantic labeling of places with mobile robots Martínez Mozos, Óscar, 2008
|
|
|
2200 |
Semantic visualization with hyperbolic self-organizing maps Ontrup, Jörg, 2008
|
|