Search Result Save to File Save as CSV
Your search for 20736 returns 3731 document(s)
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalization of TLA + in HOL Theorem Prover (419-422)
Author: Iis Solichah Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Animated Algorithms : A self teaching course in data structures and fundamental algorithms
Author: Barnet, Michael J.; | Call Number: 005.73 Bar a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
A fundamental study on detecting head modifier noun phrases in malay sentence. ( hal. 255-259 )
Author: Suhaimi Ab Rahman, Nazlia Omar, Mohd Juzaidin An Aziz; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The Art of computer programming vol. 1 : fundamental algorithms 3rd ed.
Author: Knuth, Donald E.; | Call Number: 005.1 Knu a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Concurrent programming: fundamental techniques for real-time and parallel software design
Author: Axford, Tom; | Call Number: 005.35 Axf c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Animated algorithms: A Self-Teaching course in data structures and fundamental algorithms
Author: Barnet, Michael P.; | Call Number: 005.73 Bar a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Applied database logic I: fundamental database issues/ Barry E. Jacobs
Author: Jacobs, Barry E.; | Call Number: 005.74 Jac a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Automatic Fundamental Frequency Estimation of Rocket Vibration by Utilizing LPC Filter (577-580)
Author: Widada Wahyu; | Call Number: SEM-315 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Pemrograman borland delphi edisi 3 : dilengkapi lebih dari 100 contoh program
Author: "Pranata, Antony"; | Call Number: 005.269 Pra p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   13 14 15 16 17 18 19 20 21 22  Next