close
1.

図書
図書
1. Real-time iterative learning control : design and applications (hbk)
Jian-Xin Xu, Sanjib K. Panda, Tong H. Lee
出版情報: London : Springer, c2009
シリーズ名: Advances in industrial control
所蔵情報: loading…
2.

図書
図書
2. Scheduling in real-time systems
Francis Cottet ... [et al.]
出版情報: Chichester : John Wiley & Sons, c2002
所蔵情報: loading…
3.

図書
図書
3. Deadline scheduling for real-time systems : EDF and related algorithms
by John A. Stankovic [et al.]
出版情報: Boston, Mass. : Kluwer Academic Publishers, c1998
シリーズ名: The Kluwer international series in engineering and computer science ; Real-time systems ; SECS 460
所蔵情報: loading…
4.

図書
図書
4. Complexity and real computation
Lenore Blum ... [et al.] ; foreword by Richard M. Karp
出版情報: New York : Springer, c1998
所蔵情報: loading…
5.

図書
図書
5. Real-time database and information systems : research advances
edited by Azer Bestavros and Victor Fay-Wolfe
出版情報: Boston : Kluwer Academic, c1997
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 420 . Real-time systems
所蔵情報: loading…
6.

図書
図書
6. Real-time search for learning autonomous agents
by Toru Ishida
出版情報: Boston : Kluwer Academic Publishers, c1997
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 406
所蔵情報: loading…
7.

図書
図書
7. Real-time video compression : techniques and algorithms
by Raymond Westwater, Borko Furht
出版情報: Boston : Kluwer Academic, c1997 [i.e. 1996]
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 376 . Multimedia systems and applications
所蔵情報: loading…
8.

図書
図書
8. Timing analysis of real-time software : a practical approach to the specification and design of real-time ... (: hard ; : pbk)
by Leo Motus and Michael G. Rodd
出版情報: Oxford, U.K. ; Tokyo : Pergamon, 1994
所蔵情報: loading…
9.

図書
図書
9. Real-time systems : implementation of industrial computerised process automation (: pbk)
Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.]
出版情報: Singapore : World Scientific, 1992
所蔵情報: loading…
10.

図書
図書
10. Specification and compositional verification of real-time systems (: gw ; : us)
J. Hooman
出版情報: Berlin ; Tokyo : Springer, c1991
シリーズ名: Lecture notes in computer science ; 558
所蔵情報: loading…