| Your search for 6583 returns 1325 document(s) |
| Introduction to logic programming |
|
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for problem solving |
|
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer arithmetic: principles architecture and design/Kai Hwang |
|
Author: Hwang, Kai; | Call Number: 004.22 Hwa c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The temporal logic of reactive and concurrent systems specification |
|
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. 2: deductive systems |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The deductive foundation of computer programming |
|
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol.2 deductive system |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of computer logic |
|
Author: Hutchison, David; | Call Number: 621.395 Hut F | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pemampatan citra digital biomedik menggunakan teknik dekomposisi nilai singulir (SVD), dekomosisi semi diskrit (SDD), Block Truncation Coding (BTC), dan kombinasinya |
|
Author: Andi Nur Hafsah M.; | Call Number: T-0608 (Softcopy T-0128) Source Code.T-0043 | Edition: 2007 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis faktor-faktor yang mempengaruhi penerimaan pengguna terhadap Aplikasi Perpustakaan Digital: Studi Kasus Sekolah Tinggi Ilmu Ekonomi Indonesia Banking School |
|
Author: Deni Wardani; | Call Number: KA -351 (Softcopy KA-350) MAK KA-013 | Edition: 2013 | Type: Karya Akhir (KA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result