| Your search for 1137 returns 5914 document(s) |
| Clausal form logic: an introduction to the logic of computer reasoning |
|
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Expert for software engineers and managers |
|
Author: Hu, David S.; | Call Number: 006.33 Hu e | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Topics in expert system design: methodologies and tools |
|
Call Number: 006.33 Top | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the window X system |
|
Author: Jones, Oliver; | Call Number: 005.43 Jon i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data center virtualization fundamentals : understanding techniques and designs for highly efficient data centers with cisco nexus UCS, MDS and beyond |
|
Author: Santana, Gustavo A.A.; | Call Number: 004 San d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Essential mobile interaction design: perfecting interface design in mobile apps |
|
Author: Banga, Cameron; | Call Number: 005.4 Ban e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The pssychology of human-computer interaction/ Stuart K. Card |
|
Author: Card, Stuart K.; | Call Number: 004.019 Car p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety-critical computer sytems/Neil Storey |
|
Author: Storey, Neil; | Call Number: 004.33 Sto s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming from specifications |
|
Author: Morgan, Carroll; | Call Number: 005.1 Mor p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result