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

126. Inferring the dynamics of yeast cell cycle control using Bayesian statistics

Thijssen, Bram (2012)


Master Theses

127. Informatik macht Schule

Bruderer, Herbert (2011)


Reports

128. Information extraction by local density analysis

Csillaghy, André (1997)


Doctoral and Habilitation Theses

129. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Muhammad (2011)


Reports

130. Integration aktiver Objekte in Oberon am Beispiel eines Serversystems

Disteli, Andreas Reto (1997)


Doctoral and Habilitation Theses

131. Interpolant strength

D'Silva, Vijay, Kröning, Daniel, Purandare, Mitra and Weissenbacher, Georg (2009)


Reports

132. Iterative solution of generalized eigenvalue problems form optoelectronics with trilinos

Vömel, Christof, Veprek, Ratko G., Weber, Urban and Arbenz, Peter


Reports

133. 20 Jahre wissenschaftliches Rechnen

Gander, Walter (2009)


Videos

134. Joint Base Station Scheduling

Erlebach, Thomas, Jacob, Riko, Mihal'ák, Matúš, Nunkesser, Marc, Szabó, Gábor and Widmayer, Peter (2004)


Reports

135. Key Exchange in IPsec revisited: Formal Analysis of IKEv1 and IKEv2

Cremers, Cas (2011)


Reports

136. Konrad Zuse und die ETH Zürich

Bruderer, Herbert (2010)


Reports

137. Konrad Zuse und die ETH Zürich

Bruderer, Herbert (2011)


Reports

138. Linear Arithmetic with Bit-Vectors using Omega and SAT

Kröning, Daniel (2005)


Reports

139. Low-cost client puzzles based on modular exponentiation

Karame, Ghassan O. and Capkun, Srdjan (2010)


Reports

140. Lower and Upper Bounds for Distributed Packing and Covering

Kuhn, Fabian, Moscibroda, Thomas and Wattenhofer, Roger (2004)


Reports

141. Main-Memory Hash Joins on Multi-Core CPUs

Balkesen, Cagri, Teubner, Jens, Alonso, Gustavo and Özsu, M. Tamer (2012)


Reports

142. Making informatics work for everyone

Hinterberger, Hans (2010)


Reports

143. Markov chain Monte Carlo methods in biological mechanistic models

Kuzmanovska, Irena (2012)


Master Theses

144. Markovian codon models of evolution for phylogeny inference

Serrano Zanetti, Marcelo (2013)


Master Theses

145. Materialisation and parallelism in the mapping of an object model to a relational multi-processor system

Rys, Michael (1997)


Doctoral and Habilitation Theses

146. Mathematisch-naturwissenschaftliche Fächer sind an den Schweizer Gymnasien stark benachteiligt

Bruderer, Herbert (2011)


Reports

147. Maximal Independent Sets in Radio Networks

Moscibroda, Thomas and Wattenhofer, Roger (2004)


Reports

148. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

149. Mental maps for mobility simulations of agents

Kistler, Daniel (2004)


Master Theses

150. Minimizing request blocking in all-optical rings

Nomikos, Christos, Pagourtzis, Aris and Zachos, Stathis (2002)


Reports