| Your search for 26993 returns 2759 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
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | 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
|
| Measurement and tuning of computer systems |
|
Author: Ferrari, Domenico; | Call Number: 004.61 Fer m | 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
|
Search Result