Search Result Save to File Save as CSV
Your search for 37913 returns 89 document(s)
Penggunaan Simple Quence untuk Analisis Manajemen Bandwidth pada Mikro TIK RouterOS (219-224)
Author: Rasudin; | Call Number: SEM-312 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Artificial Intelligence; Erratum: P. Van Beek and R. Dechter's Theorem on Constraint Looseness and Local Consistency
Author: Y. Zhang, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
When is the shape of a scene unique given its light-field: a fundamental theorem of 3D vision?, page 100
Author: S. Baker | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Lower bound theorem for indexing schemes and its application to multidimensional range queries, Hal. 44-51
Author: Vasilis Samoladas, Daniel P. Miranker; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Positive solutions for p-laplacian discrete boundary value problems via three critical points theorem, 562-
Author: Benshi Zhu; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Proses verifikasi piranti lunak menggunakan lingu dan theorem prover hol pada studi kasus student entrance test/ Carroline D. Puspa
Author: Carroline D. Puspa; | Call Number: SK-0621(Softcopy SK-102) Source Code SK-89 | Edition: Heru Suhartanto | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Groupwork close up: a comparisan of the group design process with and without a simple group editor, page 321
Author: Judith S. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
The complex presentation of algebraic curves and its simple exploitation for pose estimation and invariant recognition, page 663
Author: J.P. Tarel | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   2 3 4 5 6 7 8 9  Next