Your search for 1509 returns 4168 document(s) |
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computability and logic 2nd ed. |
Author: Boolos, George S; | Call Number: 511.3 Boo c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured programming/ Welland Ray |
Author: Welland, Ray; | Call Number: 005.113 Wel s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Embedded Real-Time Systems/ Jean Paul Calvez |
Author: Calvez, Jean Paul; | Call Number: 004.33 Cal e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Program flow analysis: theory and applications |
Author: Muchnick, Steven S.; | Call Number: 004 Muc p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Advances in distributed processing management volume 1 |
Author: Rullo, Thomas A.; | Call Number: 004 Rul a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Writing efficient programs |
Author: Bentley, Jon Louis; | Call Number: 004.61 Ben w | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Developing structured systems |
Author: Dickinson, Brian; | Call Number: 004.61 Dic d | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Composite / Structured Design |
Author: Myers, Glenford J.; | Call Number: 004.61 Mye e | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Theory and Practice of Compiler Writing |
Author: Tremblay, Jean-Paul; | Call Number: 004.61 Tre t | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|