| Your search for 13650 returns 4291 document(s) |
| Program design with pseudocode |
|
Author: Bailey, T.E.; | Call Number: 005.1 Bai p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles of program design/ M.A. Jackson |
|
Author: Jackson, M.A.; | Call Number: 005.3 Jac p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A program to convert geographic base files |
|
Call Number: 006.6 Har | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SDL with applications from protocol specification/Ferene Belina |
|
Author: Belina, Frerene; | Call Number: 005.133 Bel s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| C How to program |
|
Author: Deitel, H.M.; | Call Number: 005.3 Dei c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic algorithm recognition and replacement: a new approach to program optimization/Robert Metzger, Zhaofang Wen ...[et.al] |
|
Author: Metzger, Robert S.; | Call Number: 005.1 Met a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380 |
|
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software eignineering: methods and techniques |
|
Author: Blank, J.; | Call Number: 004.61 Bla s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result