Browse by Subject

All Subjects   Computer Science   Computer Science, General

Subcategories: There are no further subcategories

259 Results for this Subject

Subscribe to RSS feed for this result set

201. Railway Delay Management

Gatto, Michael, Glaus, Björn, Jacob, Riko, Peeters, Leon and Widmayer, Peter (2004)


Reports

202. Reasoning about multiple related abstractions with MultiStar

Van Staden, Stephan and Calcagno, Cristiano (2010)


Reports

203. Recognizing proteins by weight of their digested parts

Gonnet, Gaston H. and Cannarozzi, Gina M. (2007)


Reports

204. Refining Key Establishment

Sprenger, Christoph and Basin, David A. (2013)


Conference Contributions

205. Relay attacks on passive keyless entry and start systems in modern cars

Francillon, Aurélien, Danev, Boris and Capkun, Srdjan (2011)


Conference Contributions

206. Restricted cuts for bisections in solid grids: a proof via polygons

Feldmann, Andreas Emil, Das, Shantanu and Widmayer, Peter (2011)


Reports

207. Reuse Frequency as Metric for Component Assessment

Bay, Till G. and Pauls, Karl (2004)


Reports

208. Risk balance in optimistic non-repudiation protocols

Torabi Dashti, Muhammad, Cederquist, J. and Wang, Y. (2011)


Reports

209. Robustness and applications of cellular neural networks

Mirzai, Bahram (1998)


Doctoral and Habilitation Theses

210. Robust probabilistic positioning based on high-level sensor-fusion and map knowledge

Bohn, Jürgen and Vogt, Harald (2003)


Reports

211. Rodin's unsoundness bugs

Schmalz, Matthias (2011)


Reports

212. Scoring conference submissions by alternate maximization of likelihood

Schraudolph, Nicol (2002)


Reports

213. Separate connection and functionality is the pivot in embedded system design

Trutmann, Hans Otto (2000)


Doctoral and Habilitation Theses

214. Separation, abstraction, multiple inheritance and view shifting

Van Staden, Stephan and Calcagno, Cristiano (2009)


Reports

215. Separation of duties as a service

Burri, Samuel J., Basin, David A. and Karjoth, Günter (2011)


Conference Contributions

216. Sequentielle Algorithmen zur gemeinsamen Demodulation bandgespreizter Signale in Systemen mit Codevielfachzugriff

Radović, Andrej I. (1995)


Doctoral and Habilitation Theses

217. Shortest Counterexamples for Symbolic Model Checking of LTL with Past

Schuppan, Viktor and Biere, Armin (2005)


Reports

218. Simuliertes Lernen menschlicher Tagespläne mittels Methoden der künstlichen Intelligenz

Graf, Philip (2003)


Master Theses

219. Software specification languages based on regular expressions

Shaw, Alan C. (1979)


Reports

220. Sparse approximate inverse smoothers for geometric and algebraic multigrid

Bröker, Oliver and Grote, Marcus J. (2000)


Reports

221. Spatial competition and price formation

Nagel, Kai, Shubik, Martin, Paczuski, Maya and Bak, Per (2000)


Reports

222. Spatially adaptive photographic flash

Adelsberger, Rolf, Ziegler, Remo, Levoy, Marc and Gross, Markus H. (2008)


Reports

223. Spectral sampling of manifolds

Öztireli, A. Cengiz, Alexa, Marc and Gross, Markus H. (2010)


Reports

224. Spektrale Bilddaten im Multi-Gigabyte-Bereich

Graff, Werner (1997)


Doctoral and Habilitation Theses

225. Structural properties of hard metric TSP inputs

Mömke, Tobias (2010)


Reports