Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.)

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.)

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.)

A generic fault-tolerant architecture for real-time dependable systems / edited by David Powell

Specification and compositional verification of real-time systems / J. Hooman

Imprecise and approximate computation / edited by Swaminathan Natarajan

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.)

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.)

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.)

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

Resource management in real-time systems and networks / C. Siva Ram Murthy and G. Manimaran

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds

Transaction management : managing complex transactions and sharing distributed databases / Dimitris N. Chorafas

High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1987 : proceedings / editors, D. Gawlick, M. Haynie, A. Reuter

Managing knowledge networks / J. David Johnson

Advanced multimedia content processing : first international conference, AMCP '98, Osaka, Japan, November 9-11, 1998 : proceedings / Shojiro Nishio, Fumio Kishino (eds.)

The multimedia handbook / Tony Cawkell

Contextual media : multimedia and interpretation / edited by Edward Barrett and Marie Redmond

The new media handbook / Andrew Dewdney and Peter Ride