選択資料から書架並びで前後20冊ずつを表示します。
Parallel processing in neural systems and computers / edited by Rolf Eckmiller, Georg Hartmann, Gert Hauske
書庫2階
Designing efficient algorithms for parallel computers / Michael J. Quinn
書庫2階
Neural and concurrent real-time systems : the sixth generation / Branko Souček
書庫2階
Neural and massively parallel computers : the sixth generation / Branko Souček and Marina Souček
書庫2階
Supercomputing : 1st international conference, Athens, Greece, June 8-12, 1987 : proceedings / E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos, eds
書庫2階
Supercomputing systems : architectures, design, and performance / Svetlana P. Kartashev and Steven I. Kartashev
書庫2階
Ubicomp 2001 : ubiquitous computing : International Conference, Atlanta, Georgia, USA, September 30 - October 2, 2001 : proceedings / Gregory D. Abowd, Barry Brumitt, Steven Shafer (eds.)
書庫2階
Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers
書庫2階
Reliability of computer systems and networks : fault tolerance, analysis, and design / Martin L. Shooman
書庫2階
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed
書庫2階
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings / J. Vytopil (ed.)
書庫2階
Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)
書庫2階
Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.)
: gw
書庫2階
Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings / Anders P. Ravn, Hans Rischel (eds.)
書庫2階
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.)
書庫2階
A generic fault-tolerant architecture for real-time dependable systems / edited by David Powell
書庫2階