Search Result Save to File Save as CSV
Your search for 16147 returns 622 document(s)
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 
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 
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 
Should you invest in the long tail?, page 88
Author: Anita Elberse | Type: Indeks Artikel Jurnal
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 
Algorithms design : a recursion transformation framework/Marvin C. Paull
Author: Paull, Marvin C.; | Call Number: 511.35 Pau a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A File Structure Supporting Traversal Recursion (243-252)
Author: P.-A. Larson V. Deshpande; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Morphology-based data elimination from medical image data
Author: Serge I. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next