Search Result Save to File Save as CSV
Your search for 52196 returns 125 document(s)
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion (181-201)
Author: Masayuki Mizuno Eijiro Sumii; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
"Induction, Recursion, and Programming"
Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Recursion Schemes in Coq (202-221)
Author: Kosuke Murata Kento Emoto; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
On the Power of Algorithm with Recursion (377-386)
Author: Catriel Beeri Tova Milo; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Tail recursion elimination in deductive database
Author: Kenneth A. Ross | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Recursion via pascal/ J.S. Rohl
Author: Rohl, J.S.; | Call Number: 005.133 Roh r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Hypothetical Datalog Negation and Recursion (286-300)
Author: Anthony J. Bonner; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Can you trust software capability evaluations, page 28
Author: Emilie O'Connell | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Computer performance evaluation user's group computer performance evaluations
Call Number: 004 Com | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Induction, recursion, and programming/ Mitchell Wand/ Mitchell Wand
Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next