Your search returned 27 results.

Sort
Results
1.
Advances in verification of time petri nets and timed automata : a temporal logic approach / Wojciech Penczek, Agata Polrola. by Series:
Material type: Text Text; Format: print
Publisher: New York : Springer, 2006
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA267 .P45 2006.

2.
Real-time embedded systems : optimization, synthesis, and networking / Meikang Qiu, Jiayin Li. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Boca Raton, FL : CRC Press, 2011
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7895.E42 .Q58 2011.

3.
Digital audio with Java / Craig A. Lidley. by
Material type: Text Text; Format: print
Publisher: New Jersey : Prentice Hall, 2000
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7881.4 .L56 2000.

4.
Packets with deadlines : a framework for real-time wireless networks / I-Hong Hou, P.R. Kumar. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: San Rafael : Morgan and Claypool, 2013
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK5103.2 .H68 2013.

5.
Embedded real-time systems : introductory concepts and tools / Graham Leedham, Kiam-Tian Seow. by
Edition: 2nd ed.
Material type: Text Text; Format: print
Publisher: New York : Pearson, 2005
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7895.E42 .L44 2005.

6.
Real-time embedded components and systems / Sam Siewert. by
Material type: Text Text; Format: print
Publisher: Boston, MA : Da Vinci, 2007
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7895.E42 .S53 2007.

7.
What every engineer should know about developing real-time embedded systems design / Kim R. Fowler. by Series:
Material type: Text Text; Format: print
Publisher: Boca Raton, Fl : CRC, 2008
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7895.E42 .F69 2008.

8.
Real-time systems design and analysis : tools for the practitioner / Phillip A. Laplante, Seppo J. Ovaska. by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Hoboken : Wiley-IEEE Press, 2012
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .L36 2012.

9.
Real-time systems : implementation of industrial computerised process automation / Wolfgang A. Halang ... [et. al]. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: River Edge : World Scientific, 1992
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .R42 1992.

10.
Real-time systems / Jane W S Liu. by
Material type: Text Text; Format: print
Publisher: Upper Salle River, New Jersey : Prentice-Hall, 2000
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (2)Call number: QA76.54 .L59 2000, ...

11.
Real-time systems and software / Alan C. Shaw. by
Material type: Text Text; Format: print
Publisher: New York : John Wiley, 2001
Availability: No items available.

12.
A generic fault-tolerant architecture for real-time dependable systems / edited by Powell David. by
Material type: Text Text; Format: print
Publisher: Boston : Kluwer Academic, 2001
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .G46 2001.

13.
Collaborative manufacturing : using real-time information to support the supply chain / Michael McClellan. by
Material type: Text Text; Format: print
Publisher: Boca Raton, FL : St. Lucie Press, 2003
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TS155 .M34 2003.

14.
Real-time systems : scheduling, analysis and verification / Albert M. K. Cheng. by
Material type: Text Text; Format: print
Publisher: Hoboken, NJ : John Wiley, 2002
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .C43 2002.

15.
Real-time and multi-agent systems / Ammar Attoui. by
Material type: Text Text; Format: print
Publisher: London : Springer, [2000]Copyright date: ©2000
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .A87 2000.

16.
Real-time Java platform programming / Peter C. Dibble. by
Material type: Text Text; Format: print
Publisher: Upper Saddle River, NJ : Prentice Hall, 2002
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.73.J38 .D52 2002.

17.
Microprocessors for engineers : interfacing for real time applications / P K Sinha. by
Material type: Text Text; Format: print
Publisher: Chichester : Ellis Horwood, 1987
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .56 1987.

18.
Real-time systems design and analysis : an engineer's handbook / Phillip A. Laplante. by
Edition: 2nd ed
Material type: Text Text; Format: print
Publisher: New York : IEEE Press, 1997
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .L37 1997.

19.
Real-time computer vision / edited by Christopher M. Brown and Demetri Terzopoulos. by Series:
Material type: Text Text; Format: print
Publisher: Cambridge : Cambridge University Press, 1994
Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.54 .R42 1994.

20.
Pages

Powered by Koha