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

76. Efficient Computation of Maximal Independent Sets in Unstructured Multi-Hop Radio Networks

Moscibroda, Thomas und Wattenhofer, Roger (2004)


Reports

77. Efficient decision procedures for message deducibility and static equivalence

Conchinha, Bruno, Basin, David A. und Caleiro, Carlos (2010)


Reports

78. Efficient Interactive Construction of Machine-Checked Protocol Security Proofs in the Context of Dynamically Compromising Adversaries

Schaub, Martin (2011)


Masterarbeiten

79. Efficient Real-Time Stereoscopic 3D Rendering

Bowles, Huw (2010)


Masterarbeiten

80. Eiffel10: an object-oriented language with dynamic frame contracts

Schoeller, Bernd (2006)


Reports

81. Eine verallgemeinerte Transaktionstheorie für Datenbank- und Nichtdatenbankaufgaben

Fessler, Armin (2000)


Dissertationen und Habilitationen

82. Einführung in Windows 2000

Hinterberger, Hans (2003)


Lehrmaterialien

83. Ein Komponentenmodell für die Verbindungssteuerung in Multimedia-Netzen

Frey, Stefan (1998)


Dissertationen und Habilitationen

84. Ein Objekt kommt selten allein - Programmieren mit Objektstrukturen

Müller, Peter (2004)


Videos

85. Elastic model-based segmentation of 2-D and 3-D neuroradiological data sets

Kelemen, András (1998)


Dissertationen und Habilitationen

86. Eliminating Implicit Information Leaks by Transformational Typing and Unification

Köpf, Boris Alexander und Mantel, Heiko (2005)


Reports

87. Entwicklung einer Börsensimulation auf dem Internet zur Vermittlung betriebswirtschaftlicher Grundlagenkenntnisse

Gall, Christoph (1999)


Dissertationen und Habilitationen

88. Entwicklung internetgestützer Lernprogramme

Gröhbiel, Urs (2001)


Dissertationen und Habilitationen

89. Equal sum subsets: complexity of variations

Cieliebak, Mark, Eidenbenz, Stephan, Pagourtzis, Aris und Schlude, Konrad (2002)


Reports

90. Errors induced during PCR amplification

Sharifian, Hoda (2010)


Masterarbeiten

91. Estimating measurement uncertainty

Chinellato, Oscar und Achermann, Erwin (2000)


Reports

92. ETH Zürich fördert den Informatikunterricht

Bruderer, Herbert (2011)


Reports

93. Evaluation of CAD-systems as alternative tools to a Tangible User Interface (TUI)

Gähwiler, Michael und Fjeld, Morten (2002)


Masterarbeiten

94. Event-B Decomposition for Parallel Programs

Hoang, Thai Son und Abrial, Jean-Raymond (2011)


Tagungsbeiträge

95. Event-B development of the FindP program

Hoang, Thai Son und Abrial, Jean-Raymond (2009)


Reports

96. Eventizing Applications in an Adaptive Middleware Platform

Frei, Andreas, Popovici, Andrei und Alonso, Gustavo (2004)


Reports

97. Event model decomposition

Abrial, Jean-Raymond (2009)


Reports

98. Examining Indistinguishability-Based Security Models for Key Exchange Protocols: The case of CK, CK-HMQV, and eCK

Cremers, Cas (2011)


Reports

99. Fast and simple algorithms for weighted perfect matching

Wattenhofer, Mirjam und Wattenhofer, Roger (2004)


Reports

100. Faster swap edge computation in minimum diameter spanning trees

Gfeller, Beat


Reports