Search Result
Save to File
Your search for
16134
returns
520
document(s)
Pengindeksan Konseptual secara dinamis dengan singular value decomposition pada sistem temu kembali informasi
Author: Adi Wahyu Pribadi; | Call Number: T-0812 ( Softcopy T-0467) Source Code T-0070 | Edition: 2006 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Function Decomposition for Accelerating the Learning of Robot Kinematics (V1-370 -- V1-374)
Author: Xiayu Mei Hao Min; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal development of programs and proofs/edited Edger W. Dijkstra
Call Number: 005.1 For | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal semantics of SQL queries, page 513
Author: Pelagatti, M.N. S. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Theory of finite automata: with an introduction to formal languages
Author: Carroll, John; | Call Number: 511 Car t | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification of a java compiler in isabelle, Hal. 63-77
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification of a combination decision procedure, Hal. 347-362
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
An environment for formal modeling and simulation of control systems, Hal. 74-79
Author: Bernardo Copstein; Michael da Costa Mora; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification of robotic messions and tasks, Hal. 231-238
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Pengembangan perangkat lunak secara formal dengan metodologi raise, Hal. C.9-C.14
Author: Cecilia E. Nugraheni; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
5
6
7
8
9
10
11
12
13
14
Next