| Your search for 13650 returns 4291 document(s) |
| Numerical methods : a software approach/ R.L. Johnston |
|
Author: Johnston, R.L.; | Call Number: 519.402 Joh n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of a java compiler in isabelle, Hal. 63-77 |
|
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of a combination decision procedure, Hal. 347-362 |
|
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of robotic messions and tasks, Hal. 231-238 |
|
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Programmer's craft: program construction, computer architecture, and data management/ Ricahrd J. Weiland |
|
Author: Weiland, Richard J.; | Call Number: 005.1 Wei p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time software for control: program examples in c/David M. Auslander; Cheng H. Tham |
|
Author: Auslander, David M.; | Call Number: 629.895 Aus r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Evaluating software architectures: methods and case studies/ Paul Clements |
|
Author: Clements, Paul; | Call Number: 005.1 Cle e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Current trends in programming methodology vol. IV: software specification and design |
|
Call Number: 005.1 Cur | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Building a global information assurance program/ Raymond J. Curts |
|
Author: Curts, Raymond J.; | Call Number: 005.8 Cur b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SwivelArt: the 3D clip art program for the machintosh |
|
Call Number: 003.3 Swi | Type: Software Program
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result