Process Algebra: Equational...
J. C. M. Baeten,
T. Basten
Buy from $62.86
eBook from $86.40
|
The Simd Model of Parallel...
Robert Cypher,
Jorge L C Sanz
Buy from $45.00
|
Temporal Verification of...
Zohar Manna,
Amir Pnueli
Buy from $24.95
|
Scheduling and Automatic...
Alain Darte,
Yves Robert
Buy from $102.74
|
Introduction to Parallel...
C. Xavier,
S. S. Iyengar
Buy from $14.19
|
Fault-Tolerant Parallel...
Paris Christos Kanellakis,
Alex Allister Shvartsman
Buy from $112.32
|
Concurrency Verification:...
Willem-Paul de Roever,
Frank de Boer
Buy from $145.36
|
Action Refinement in Process...
Luca Aceto
Buy from $54.00
|
Specification and Proof in...
Jim Davies
Buy from $32.50
|
Nets, Terms and Formulas:...
E. -R. Olderog
Buy from $134.09
|
On a Method of...
W H J Feijen,
D Gries (Foreword by)
Buy from $58.28
eBook from $47.70
|
Parallel and Large-Scale...
Manfred Ruschitzka
Buy from $40.45
|
Competence in High...
Christian Bischof (Editor),
Heinz-Gerd Hegering (Editor)
Buy from $112.03
eBook from $29.70
|
Advances in High Performance...
Lucio Grandinetti (Editor),
Janusz S Kowalik
Buy from $102.93
|
Free Choice Petri Nets
Jorg Desel,
Javier Esparza
Buy from $85.68
|
Vector and Parallel Computing...
J J Dongarra
Buy from $29.89
|
Vector and Parallel Computing...
Jack Dongarra,
etc.
Buy from $166.43
|
The World Year Book of New...
Igor Aleksander (Volume editor),
Ian Benson (Volume editor)
Buy from $102.50
|
Vector and Parallel Computing...
Jack Dongarra,
Iain Duff
Buy from $29.58
|