21. Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

by Wang, Farn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
22. Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems

by Rust, Heinrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
23. Fieldbus technology : industrial network standards for real-time distributed control

by Mahalik, N. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 629.8 MAH] (1).
24. Using the Internet

by Kasser, Barbara.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2000Availability: Items available for loan: [Call number: 004.678 KAS] (1).
25. Real-Time Systems Design and Analysis: an engineer's handbook

by Laplante, Philip A.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 1997Availability: Items available for loan: [Call number: 003.8 LAP] (1).
26. Microcomputer engineering

by Miller, Gene H.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2005Availability: Items available for loan: [Call number: 004.16 MIL] (1).
27. Real-time embedded components and systems

by Siewert, Sam.

Edition: Indian ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Charles River Media, 2007Availability: Items available for loan: [Call number: 004.16 SIE] (2).
28. Software engineering

by Sommerville, Ian.

Edition: 7th Ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education, 2006Availability: Items available for loan: [Call number: 005.1 SOM] (1).
29. Real-Time UML

by Douglass, Bruce Powel.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Addison-Wesley, 1999Availability: Items available for loan: [Call number: 005.117 DOU] (1).
30. Real-time systems

by Liu, Jane W. S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Pearson Education Asia, 2003Availability: Items available for loan: [Call number: 004.33 LIU] (1).
31. Embedded microcomputer systems : real time interfacing

by Valvano, Jonathan W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Brooks/Cole, 2001Availability: Items available for loan: [Call number: 004.16 VAL] (4).
32. Real-Time Systems and Software

by Shaw, Alan C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 004.338 SHA] (1).
33. Real-time systems

by Krishna, C. M | Shin, Kang G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: McGraw-Hill, 1997Availability: Items available for loan: [Call number: 004.33 KRI] (1).
34. 3d Game Engine Design : a practical approach to real-time computer graphics

by Eberly, David H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Morgan Kaufmann, 2007Availability: Items available for loan: [Call number: 006.66 EBE] (2).
35. Real-time Java programming with Java RTS

by Bruno, Eric J | Bollella, Greg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 2009Availability: Items available for loan: [Call number: 005.2739 BRU] (1).
36. Software Engineering : principles and practices

by Jain, Deepak.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Oxford University Press, 2009Availability: Items available for loan: [Call number: 005.1 JAI] (1).
37. Resource management in real-time systems and networks

by Murthy, C. Siva Ram | Mnimaran, G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: The MIT Press, 2001Availability: Items available for loan: [Call number: 005.273 MUR] (1).
38. Virtual Community

by Rheingold, Howard.

Edition: Revised ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: MIT Press, 2000Availability: Items available for loan: [Call number: 303.4833 RHE] (1).
39. Scheduling in real-time systems

by Cottet, Francis | Delacroix, Joelle | Mammeri, Zoubir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 004.33 COT] (1).
40. Real-time object-oriented modeling

by Selic, Bran | Gullekson, Garth | Ward, Paul T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 1994Availability: Items available for loan: [Call number: 005.1 SEL] (1).

Powered by Koha