Browsen nach Sachgebiet

Alle Sachgebiete   Informatik   Informatik allgemein

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

259 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

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

Thijssen, Bram (2012)


Masterarbeiten

127. Informatik macht Schule

Bruderer, Herbert (2011)


Reports

128. Information extraction by local density analysis

Csillaghy, André (1997)


Dissertationen und Habilitationen

129. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone und Torabi Dashti, Muhammad (2011)


Reports

130. Integration aktiver Objekte in Oberon am Beispiel eines Serversystems

Disteli, Andreas Reto (1997)


Dissertationen und Habilitationen

131. Interpolant strength

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


Reports

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

Vömel, Christof, Veprek, Ratko G., Weber, Urban und 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 und 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. und Capkun, Srdjan (2010)


Reports

140. Lower and Upper Bounds for Distributed Packing and Covering

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


Reports

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

Balkesen, Cagri, Teubner, Jens, Alonso, Gustavo und Ö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)


Masterarbeiten

144. Markovian codon models of evolution for phylogeny inference

Serrano Zanetti, Marcelo (2013)


Masterarbeiten

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

Rys, Michael (1997)


Dissertationen und Habilitationen

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 und Wattenhofer, Roger (2004)


Reports

148. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Dissertationen und Habilitationen

149. Mental maps for mobility simulations of agents

Kistler, Daniel (2004)


Masterarbeiten

150. Minimizing request blocking in all-optical rings

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


Reports