Search Result
Save to File
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