| Your search for 8310 returns 6663 document(s) |
| The Formal Development of Real-Time Systems: A Review/ D.J. Scholefield |
|
Author: Scholefield, D.J.; | Call Number: 670.427 Sch f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming real-time multicomputers for signal processing/Urban A. Thoeni |
|
Author: Thoeni, Urban A.; | Call Number: 621.382 Tho p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time/parallel computer: image analysis/ edited by Morio Onoe |
|
Call Number: 621.367 Rea | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming real-time multicomputers for signal processing/ Urban A. Thoeni |
|
Author: Thoeni, Urban A.; | Call Number: 621.382 Tho p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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 medical image processing/ edited by Morio Onoe |
|
Author: Onoe, Mario; | Call Number: 610.28 Ono r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time software for control |
|
Author: Auslander, David M.; | Call Number: 629.895 Aus r | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems and programming languages 2nd ed. |
|
Author: Burns, Alan; | Call Number: 004.33 Bur r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods: state of the art and new directions |
|
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result