361- 380 of 401 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
QUICK ADD
Temporal Verification of…
by Zohar Manna, Amir Pnueli
Hardcover $109.99
Title: Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994, Author: Günter Hommel
QUICK ADD
Quality of Communication-Based…
by Günter Hommel (Editor)
Explore Series
Hardcover $189.00
Title: Parallel Computing: Principles and Practice, Author: T. J. Fountain
QUICK ADD
Parallel Computing: Principles…
by T. J. Fountain
Hardcover $191.00
Title: Control and Estimation of Distributed Parameter Systems: Nonlinear Phenomena: International Conference in Vorau (Austria), July 18-24, 1993, Author: Wolfgang Desch
QUICK ADD
Control and Estimation of…
by Wolfgang Desch (Editor), Franz Kappel (Editor), Karl Kunisch (Editor)
#118 in Series
Hardcover $197.00
Title: Modeling, Analysis and Control of Dynamic Elastic Multi-Link Structures, Author: John E. Lagnese
QUICK ADD
Modeling, Analysis and Control…
by John E. Lagnese, E. J. Schmidt, Gunter Leugering, E. J. P. G. Schmidt
Explore Series
Hardcover $162.00
Title: The Interaction of Compilation Technology and Computer Architecture, Author: David J. Lilja
QUICK ADD
The Interaction of Compilation…
by David J. Lilja (Editor), Peter L. Bird (Editor)
Hardcover $109.99
Title: Loop Parallelization, Author: Utpal Banerjee
QUICK ADD
Loop Parallelization
by Utpal Banerjee
Explore Series
Hardcover $169.99
Title: Solving Partial Differential Equations On Parallel Computers, Author: Jian Ping Zhu
QUICK ADD
Solving Partial Differential…
by Jian Ping Zhu
Hardcover $99.00
Title: Distributed and Parallel Database Object Management, Author: Elisa Bertino
QUICK ADD
Distributed and Parallel…
by Elisa Bertino (Editor), Tamer Özsu (Editor)
Hardcover $169.99
Title: Characteristics of Distributed-Parameter Systems: Handbook of Equations of Mathematical Physics and Distributed-Parameter Systems, Author: A. G. Butkovskii
QUICK ADD
Characteristics of Distributed…
by A. G. Butkovskii, M. Hazewinkel (Editor), L. M. Pustyl'nikov
#26 in Series
Hardcover $139.00
Title: H Infinity Control for Distributed Parameter Systems: A State Space Approach, Author: Bert van Keulen
QUICK ADD
H Infinity Control for…
by Bert van Keulen
Explore Series
Hardcover $117.00
Title: Parallel Algorithm Derivation and Program Transformation, Author: Robert Paige
QUICK ADD
Parallel Algorithm Derivation…
by Robert Paige (Editor), J.H. Reif (Editor), Ralph Wachter (Editor)
#231 in Series
Hardcover $169.99
Title: Instruction-Level Parallelism: A Special Issue of The Journal of Supercomputing, Author: B.R. Rau
QUICK ADD
Instruction-Level Parallelism:…
by B.R. Rau (Editor), J.A. Fisher (Editor)
#235 in Series
Hardcover $219.99
Title: Software for Parallel Computation, Author: Janusz S. Kowalik
QUICK ADD
Software for Parallel…
by Janusz S. Kowalik (Editor), Lucio Grandinetti (Editor)
#106 in Series
Hardcover $109.99
Title: Parallel Computing on Distributed Memory Multiprocessors, Author: Fïsun ïzgïner
QUICK ADD
Parallel Computing on…
by Fïsun ïzgïner (Editor), Fikret Ercal (Editor)
#103 in Series
Hardcover $109.99
Title: Loop Transformations for Restructuring Compilers: The Foundations, Author: Utpal Banerjee
QUICK ADD
Loop Transformations for…
by Utpal Banerjee
Hardcover $169.99
Title: Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping, Author: David E. Hudak
QUICK ADD
Compiling Parallel Loops for…
by David E. Hudak, Santosh G. Abraham
#200 in Series
Hardcover $109.99
Title: High-Performance Computing in Biomedical Research, Author: Theo C. Pilkington
QUICK ADD
High-Performance Computing in…
by Theo C. Pilkington, Bruce Loftis, Thomas Palmer, Thomas F. Budinger
Hardcover $240.00
Title: Advances in Quantum Flux Parametron Computer Design, Author: Eiichi Goto
QUICK ADD
Advances in Quantum Flux…
by Eiichi Goto (Editor), K. F. Loe (Editor), Y. Wada (Editor)
#3 in Series
Hardcover $86.00
Title: Transputer Systems - Ongoing Research: Proceedings of the 15th World Occam and Transputer User Group Technical Meeting, Author: Alastair Allen
QUICK ADD
Transputer Systems - Ongoing…
by Alastair Allen (Editor)
#25 in Series
Hardcover $109.00

Pagination Links