選択資料から書架並びで前後20冊ずつを表示します。
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階
Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper
書庫2階
Resource management in real-time systems and networks / C. Siva Ram Murthy and G. Manimaran
書庫2階
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds
書庫2階
Transaction management : managing complex transactions and sharing distributed databases / Dimitris N. Chorafas
書庫2階
High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1987 : proceedings / editors, D. Gawlick, M. Haynie, A. Reuter
書庫2階
Advanced multimedia content processing : first international conference, AMCP '98, Osaka, Japan, November 9-11, 1998 : proceedings / Shojiro Nishio, Fumio Kishino (eds.)
書庫2階
Contextual media : multimedia and interpretation / edited by Edward Barrett and Marie Redmond
書庫2階
Multimedia technology from A to Z / by Patrick M. Dillon and David C. Leonard
書庫2階
PREMO: a framework for multimedia middleware : specification, rationale, and Java binding / David J. Duke, Ivan Herman, M. Scott Marshall
書庫2階
Multimedia applications, services and techniques - ECMAST '97 : Second European Conference, Milan, Italy, May 21-23, 1997 ; proceedings / Serge Fdida, Michele Morganti (eds.)
書庫2階
Multimedia applications, services and techniques - ECMAST '98 : third European Conferece, Berlin, Germany, May 26-28, 1998, : proceedings / David Hutchison, Ralf Schäfer (eds.)
書庫2階
Multimedia applications, services and techniques, ECMAST '99 : 4th European Conference, Madrid, Spain, May 26-28, 1999 : proceedings / Helmut Leopold, Narciso Gar cía (eds.)
書庫2階