選択資料から書架並びで前後20冊ずつを表示します。
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階
Specification and compositional verification of real-time systems / J. Hooman
書庫2階
Imprecise and approximate computation / edited by Swaminathan Natarajan
書庫2階
Transformation-based reactive systems development : 4th International AMAST Workshop on real-time systems and concurrent and distributed software, ARTS '97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings / miquel Bertran, Theodor Rus (eds.)
書庫2階
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)
書庫2階
Active, real-time, and temporal database systems : second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997 : proceedings / Sten F. Andler, Jörgen Hansson (eds.)
書庫2階
11th IEEE Workshop on Real-Time Operating Systems and Software : RTOSS '94 : proceedings, May 18-19, 1994, Seattle, Washington / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
書庫2階