Your search for 36732 returns 301 document(s) |
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184 |
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Schaum's outline of theory and problems of : probability, random variables, and randoms process/Hewi P. Hsu |
Author: Hsu, Hwei P.; | Call Number: 519.207 6 Hsu s | Type: Buku
|
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
|
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
|
Dynamical statistical shape priors level set-based tracking, page 1262 |
Author: D. Cremers | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Dynamic cluster formation using level set methods, page 877 |
Author: A.M. Yip | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|