| Your search for 52322 returns 144 document(s) |
| A Less Costly Constraints Checking for Join Dependency (63-68) |
|
Author: K.P. Tan; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 63-68 |
|
Call Number: SEM-349 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object normal forms and dependency constraints for object-oriented schemata |
|
Author: Zahir, Tari | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dependency Parsing |
|
Author: Kubler, Sandra; | Call Number: 410 Kub d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Iterative Spatial join |
|
Author: E. H. Jacox, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Development of real-time flight simulator for quadrotor, hal. 63-68 |
|
Author: Joga D. Setiawan, Yohanes D. Setiawan, Mochammad Ariyanto, Agus Mukhtar, Agus Budiyono; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dependency analysis of risks in information security |
|
Author: S. Kondakci | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result