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

Seite 10 von 11

« erste ‹ zurück 1 2 3 4 5 6 7 8 9 10 11 nächste › letzte »

226. Symbolic Test Case Generation for Primitive Recursive Functions

Brucker, Achim D. und Wolff, Burkhart (2004)


Reports

227. Syntax and semantics of graphs

Janneck, Jörn Wilhelm (2000)


Dissertationen und Habilitationen

228. Techniques for satisfying assembly constraints

Seybold, Bernhard (1999)


Dissertationen und Habilitationen

229. Technische und organisatorische Verteilung der EDV in komplexen Organisationen

Grossenbacher, Jean-Michel (1980)


Dissertationen und Habilitationen

230. Technology Transfer within the DEPLOY Project

Basin, David A. und Hoang, Thai Son (2013)


Reports

231. Term rewriting in logics of partial functions

Schmalz, Matthias (2011)


Reports

232. Term rewriting in logics of partial functions

Schmalz, Matthias (2011)


Reports

233. The architecture of an interactive multimedia communication system

Röthlisberger, Urs (1998)


Dissertationen und Habilitationen

234. The effectiveness of end-to-end congestion control mechanisms

Bolliger, Jürg, Hengartner, Urs und Gross, Thomas K.R. (1999)


Reports

235. The Evolution from LIMMAT to NANOSAT

Biere, Armin (2004)


Reports

236. The Paper Assignment Problem

O'Dell, Regina, Wattenhofer, Mirjam und Wattenhofer, Roger (2005)


Reports

237. The prior experience of entering CS students

Pedroni, Michela, Oriol, Manuel und Meyer, Bertrand (2011)


Reports

238. The programming language Pascal

Wirth, Niklaus (1972)


Reports

239. The uniform minimum-ones 2SAT problem and its application to haplotype classification

Böckenhauer, Hans-Joachim, Oravec, Ján, Steffen, Björn, Steinhöfel, Kathleen und Steinová, Monika (2010)


Reports

240. Towards federated referatories

Wilde, Erik (2003)


Reports

241. Transaktionsorientierte Verwaltung und Suche von Dokumenten in einer Mehrprozessordatenbankumgebung

Kaufmann, Helmut (1997)


Dissertationen und Habilitationen

242. Transparent runtime evolution of components

Trautweiler, Micha (2004)


Masterarbeiten

243. Twisted factorization of a banded matrix

Vömel, Christof und Slemons, Jason (2009)


Reports

244. Unified simulation of elastic rods, shells and solids

Martin, Sebastian, Kaufmann, Peter, Botsch, Mario, Grinspun, Eitan und Gross, Markus H. (2011)


Reports

245. User-Level Secure Deletion on Log-structured File Systems

Reardon, Joel, Marforio, Claudio, Capkun, Srdjan und Basin, David A. (2013)


Reports

246. User's guide to SCIDDLE version 3.0

Sprenger, Christoph (1993)


Reports

247. Using the generalised substitution language for event-B semantics

Hoang, Thai Son und Fürst, Andreas (2010)


Reports

248. Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon

Schweizer, Daniel T. (1997)


Dissertationen und Habilitationen

249. Virtual reality training system for patients with dementia

Buss, Bernhard (2009)


Masterarbeiten

250. Wavelet-based volume rendering

Lippert, Lars (1998)


Dissertationen und Habilitationen


Seite 10 von 11

« erste ‹ zurück 1 2 3 4 5 6 7 8 9 10 11 nächste › letzte »