Search Result
Save to File
Your search for
36732
returns
301
document(s)
Problem solving with ADA/ Brian Mayoh
Author: Mayoh, Brian; | Call Number: 005.133 May p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Human problem solving
Author: Newell, Allen; | Call Number: 006.3 New h | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Thinking problem solving cognition
Author: Mayer, Richard E.; | Call Number: 153.42 May t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Problem solving and computer programming
Author: Grogono, Peter; | Call Number: 519.4 Gro p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic for problem solving
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Rounding theorem the possibility of applying cryptosystems on decimal numbers, page 15-20
Author: Rand Alfaris; Muhamad Rezal Kamel Arifin and Mohemed Rushdan Md said | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
A simple constructive computability theorem for wait-free compotation,Hal 243-252
Author: Maurice Herlihy; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol
Call Number: 005 Pro | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Godel's theorem: an incomplete guide to its use and abuse/ Torkel Franzen
Author: Franzen, Torkel; | Call Number: 511.3 Fra g | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
3
4
5
6
7
8
9
10
11
12
Next