| Your search for 2994 returns 762 document(s) |
| Formal techniques in real-time and fault-tolerant systems: the Int. Symposium, FTRTFT 2000 Pmil India; Sep. 20-22, 2000 proceesing |
|
Author: Joseph, Mathai; | Call Number: 004.33 Jos j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time system design/ Shem-Tov Levi |
|
Author: Levi, Shem-Tov; | Call Number: 629.8 Lev r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems |
|
Author: Krishna, C.M.; | Call Number: 004.33 Kri r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems: formal specification and automatic verification |
|
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advances in real-time systems |
|
Call Number: 004.33 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real time systems |
|
Author: Nissanke, Nimal; | Call Number: 004.33 Nis r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction To Real Time Software Design |
|
Author: Allworth, S.T.; | Call Number: 004.33 All i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Micro C/OS-11: the real-time kernel |
|
Author: Labrosse, Jean J.; | Call Number: 004.33 Lab m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An implementation guide to real-time programming |
|
Author: Ripps, David L.; | Call Number: 004.33 Rip i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing large real-time systems with ada |
|
Author: Nielsen, Kjell; | Call Number: 004.33 Nie d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result