Search Result
Save to File
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