Search alternatives:
computers » computer

181
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... of Fortran 90 features on performance on Cray vector computer systems -- Mapping of patterns — The way...

182
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Verification for Controller Synthesis -- Computation of Root-Mean-Square Gains of Switched Linear Systems...

183
Published 1991
Springer US
Table of Contents: ... Imprecise Computations -- 9 Allocating SMART Cache Segments for Schedulability -- 10 Scheduling Strategies...

184
by Castillo, Oscar, Melin, Patricia
Published 2003
Physica
Subjects: ...Computers, Special purpose...

185
Published 2001
Springer US
Subjects: ...Computers, Special purpose...

186
by Manna, Zohar, Pnueli, Amir
Published 1992
Springer New York
Subjects: ...Computers, Special purpose...

187
Published 1993
Springer Berlin Heidelberg
Subjects: ...Computers, Special purpose...

188
Published 1992
Springer Vienna
Subjects: ...Computers, Special purpose...

189
by Holland, Hans-Jürgen
Published 1994
Vieweg+Teubner Verlag
Subjects: ...Computers, Special purpose...

190
by Mehr, Franz Josef
Published 1992
Vieweg+Teubner Verlag
Table of Contents: ... LAPLACE-Gleichung -- 3.8 Berechnung von Reihen -- 3.9 Wie kommt der Computer ans ?? -- 3.10 Die EULERsche...

191
by Hans-Joachim, Ludwig
Published 1979
Vieweg+Teubner Verlag
Subjects: ...Special purpose computers...

192
by Mäncher, Hubert
Published 1987
Springer Berlin Heidelberg
Subjects: ...Computers, Special purpose...

193
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...-performance parallel computing for analyzing urban air pollution -- Performance analysis of a dual robot...

194
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... -- Dependability of Computer Control Systems in Power Plants -- A Method of Analysis of Fault Trees with Time...

195
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002) -- Human-Computer System...

196
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools -- Applying...

197
by Klein, Mark, Ralya, Thomas, Pollak, Bill, Obenza, Ray
Published 1993
Springer US
Subjects: ...Computers, Special purpose...

198
Published 2000
Springer London
Table of Contents: ...Smart Environments: Some Challenges for the Computing Community -- Ten Dimensions of Ubiquitous...

199
by Bernsen, Niels O., Dybkjaer, Hans, Dybkjaer, Laila
Published 1998
Springer London
Subjects: ...Special purpose computers...

200
Published 1998
Springer US
Table of Contents: ...Editorial -- Fundamentals of Implementing Real-Time Control Applications in Distributed Computer...