Search Result Save to File Save as CSV
Your search for 44049 returns 142 document(s)
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems (648-666)
Author: Giuliano Mega Fabio kon; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Completeness of Cyclic Proofs Symbolic Heaps iwth Inductive Definitions (367-387)
Author: Makoto Tatsuta Koji Nakazawa Daisuke Kimura; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
MATLAB VER. 5 : computation, visualization, programming
Call Number: 510.285 53 Mat | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Algorithms for the computation of all mathieu functions of integer orders
Author: Fayez A.A | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Algorithm 805: computation and uses of the semidiscrete matrix decomposition
Author: Tamara G. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Congestion control in secure multiparty computation, HAL.902-909
Author: Zulfa Shaikh and Manta Sakpal; | Call Number: SEM-291A | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Area computation of convex shapes by method for triangulatin, HAL. 1126-1131
Author: Neeta Nain; Vijay Laxmi and bhavitavya Bhadviya; | Call Number: SEM-291B | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Computation of term association by a neural network, Hal. 107-115
Author: S.K.M. Wong; Y.J. Cai; | Call Number: SEM-255 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Parellel computation of steiner minimal trees, Hal. 267-272
Author: Frederick C. Harris; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next