Call Number (LC) Title Results
QA76.58 .R67 2010 Understanding concurrent systems 1
QA76.58 .S24 1999 Scheduling in parallel computing systems : fuzzy and annealing techniques / 1
QA76.58 .S346 2000 Concurrent and real-time systems : the CSP approach / 1
QA76.58 .S35 1996 Protocols by invariants / 2
QA76.58 .S36 1994 The logical design of parallel operating systems / 1
QA76.58 .S38 1994 Parallel processing and the future data center : computing in the land of the Lilliputians / 1
QA76.58 .S39 2005 Scientific parallel computing / 1
QA76.58 .S537 1997 Semantics of parallelism non-interleaving representation of behaviour /
Semantics of parallelism : non-interleaving representation of behaviour / 		2
QA76.58 .S545 2006 An introduction to parallel and vector scientific computing / 1
QA76.58 .S55 1993 Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing / 1
QA76.58 .S55 1995 Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing / 1
QA76.58 .S56 2005 Scientific parallel computing /
High performance Linux clusters with OSCAR, Rocks, openMosix, and MPI / 		2
QA76.58 .S56 2012 Linear algebra tools for data mining / 1
QA76.58 .S572 2007 Task scheduling for parallel systems / 1
QA76.58 .S575 1997 Evolution of parallel cellular machines : the cellular programming approach /
Evolution of parallel cellular machines the cellular programming approach / 		2
QA76.58 .S59 1994 Foundations of parallel computing /
Foundations of parallel programming / 		3
QA76.58 .S62 1993 The design and analysis of parallel algorithms / 1
QA76.58 .S63 1992 Software for parallel computers / 1
QA76.58 .S63 2001 Solutions to parallel and distributed computing problems : lessons from biological sciences / 1
QA76.58 .S64 1990 Specification and verification of concurrent systems 1