Search alternatives:
computers » computer

141
by Kassing, Rainer
Published 1984
Vieweg+Teubner Verlag
Subjects: ...Computers, Special purpose...

142
Published 1995
Springer Berlin Heidelberg
Subjects: ...Computers, Special purpose...

143
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Traffic Management -- Managed Utility Computing: The Grid as Management Backplane -- Fault Injection...

144
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... for Safety Human-Computer Interfaces -- The Impact of Different Media on Safety and Usability of Interactive...

145
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... -- The modular framework of computer-aided verification -- Verifying liveness properties by verifying safety...

146
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...-free processes -- Computing distinguishing formulas for branching bisimulation -- Compositional...

147
Published 1998
Springer Berlin Heidelberg
Subjects: ...Computers, Special purpose...

148
by Halbwachs, Nicolas
Published 1993
Springer US
Subjects: ...Computers, Special purpose...

149
Published 1996
Springer US
Table of Contents: ...Preface to the special issue on ‘the engineering of complex real-time computer control systems...

150
by Misra, Kundan
Published 2004
Springer London
Subjects: ...Computers, Special purpose...

151
Published 2002
Springer London
Subjects: ...Special purpose computers...

152
Published 2003
Springer US
Subjects: ...Computers, Special purpose...

153
Published 1997
Springer London
Subjects: ...Special purpose computers...

154
by Schönfelder, Helmut
Published 1996
Springer Berlin Heidelberg
Subjects: ...Computers, Special purpose...

155
by John, Karl-Heinz, Tiegelkamp, Michael
Published 1997
Springer Berlin Heidelberg
Subjects: ...Computers, Special purpose...

156
by Kilberth, Klaus, Gryczan, Guido, Züllighoven, Heinz
Published 1993
Vieweg+Teubner Verlag
Subjects: ...Computers, Special purpose...

157
by Hering, Stefan
Published 1990
Vieweg+Teubner Verlag
Subjects: ...Special purpose computers...

158
Published 1985
Vieweg+Teubner Verlag
Subjects: ...Special purpose computers...

159
Published 1991
Springer Berlin Heidelberg
Subjects: ...Special purpose computers...

160
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... symbolic computation techniques -- A numerical computation for declarative expressions -- An automatic...