| Your search for 750 returns 1894 document(s) |
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
|
Author: International Conference, CAV'97; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan sistem computer aided manufacturing (CAM) berbasis model fased 3D Departemen Tekni Mesin Fakultas Teknik-Universitas Indonesia |
|
Author: Eka Aditya; | Call Number: KP-0734 (Sofkopi KP-293) (SCKP-173) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the fifth international workshop on computer-aided software engineering Montreal, Quebec, Canada July 6-10, 1992/ Editors Gene Forte |
|
Call Number: SEM-169 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems design and analysis an engineers handbook/ Philip A. Laplante |
|
Author: Laplante, Phillip A.; | Call Number: 004.33 Lap r | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical design of multiple-microprocessor systems/ B.A. Bowen |
|
Author: Bowen, B. A.; | Call Number: 004.16 Bow L | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rapid system development: using structured techniques and relational technology/Chris Gane |
|
Author: Gane, Chris; | Call Number: 004.2 Gan r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Practical guide to structured systems design 2nd ed. |
|
Author: Page-Jones, Meilir; | Call Number: 004.21 Pag p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Constructing predicate real-time systems/Wolfgang A. Halang, Alexander D.S. |
|
Author: Halang, Wolfgang A.; | Call Number: 004.33 Hal c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time system design and analysis: an engineer's handbook |
|
Author: Laplante, Phillip; | Call Number: 004.33 Lap r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Strategies for real-time system specification/byDerek J. Hatley and Imtiaz A. Pirbhai foreword by Tom DeMarco |
|
Author: Hatley, Derek J.; | Call Number: 004.33 Hat s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result