Browsen nach Sachgebiet

Alle Sachgebiete   Informatik   Software

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

616 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

76. A reliability growth model for protocol validation and testing by random state exploration

Tosi, Angelo Einar (1995)


Dissertationen und Habilitationen

77. A scaleable multi-application environment for secure tokens

Oestereicher, Marcus (2003)


Dissertationen und Habilitationen

78. A security analyzer for multi-threaded programs

Pöpper, Christina (2005)


Masterarbeiten

79. A Simple Framework for the Generalized Nearest Neighbor Problem

Hruz, Tomas und Schöngens, Marcel (2012)


Reports

80. ASM Semantics for C♯ 2.0

Jula, Horatiu V. (2005)


Reports

81. A solution of the two-dimensional global asymptotic Jacobian stability conjecture

Fessler, Robert (1994)


Reports

82. Aspekte unbeschränkter Parallelität

Gati, Georg (1976)


Dissertationen und Habilitationen

83. A survey of direct parallel algorithms for banded linear systems

Arbenz, Peter und Gander, Walter (1994)


Reports

84. Asynchronous Extension of a Linear Distributed Averaging Algorithm

Kriegleder, Maximilian, Oung, Raymond und D'Andrea, Raffaello (2012)


Reports

85. A temporal extension to a generic object data model

Steiner, Andreas und Norrie, Moira (1997)


Reports

86. A testing framework for cloud storage systems

Moreno, João (2010)


Masterarbeiten

87. A time machine for XML

Fourny, Ghislain, Florescu, Daniela, Kossmann, Donald und Zaharioudakis, Markos (2012)


Reports

88. A Trace-based Model for Multiparty Contracts

Hvitved, Tom, Klaedtke, Felix und Zălinescu, Eugen (2012)


Zeitschriftenbeiträge

89. Augmented models in estimation and control

Mäder, Urban Dominik (2010)


Dissertationen und Habilitationen

90. Automated instantiation of software frameworks for control systems

Čechtický, Václav (2004)


Dissertationen und Habilitationen

91. Automatic contract extraction

Marti, Christof (2003)


Masterarbeiten

92. Automatic layout

Caliano, Antonio (2003)


Masterarbeiten

93. Automatic testing of object-oriented software

Meyer, Bertrand, Ciupa, Ilinca, Leitner, Andreas und Liu, Lisa (Ling)


Reports

94. Automatic transformation from graphical process models to executable code

Hauser, Rainer (2010)


Reports

95. Automatic tuning of data placement and load balancing in disk arrays

Zabback, Peter, Weikum, Gerhard und Scheuermann, Peter I. (1992)


Reports

96. Automatic verification of Eiffel programs

Tschannen, Julian (2009)


Masterarbeiten

97. Automatic verification of heap structures with stereotypes

Rudich, Arsenii (2011)


Dissertationen und Habilitationen

98. Automatic verification of Pascal programs

Marmier, Edouard (1975)


Dissertationen und Habilitationen

99. Automatic version control system for distributed software development

Weber, Sandra (2012)


Masterarbeiten

100. Automatisches Zeichnen von Diagrammen

Bucher, Karl Josef (1977)


Dissertationen und Habilitationen