| Your search for 51931 returns 355 document(s) |
| Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411 |
|
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411 |
|
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program Simulasi Untuk Realisasi Struktur Tapis Infinite Impulse Response Untuk Media Pembelajaran Digital Signal Processing (hal 249-255) |
|
Author: Damar Widjaja, Teresia Herlina Bintari, Bayu Primawan; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Solving queries by tree projections, page 487 |
|
Author: Sagiv, Yehoshua | Type: Indeks Artikel Jurnal
|
|
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
|
| Functional dependencies in horn clause queries, page 31 |
|
Author: Mendelzon, A.O. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Learning routing queries in a query zone, Hal, 25-32 |
|
Author: Amit Singhal; Mandar Mitra; Chris Buckley; | Call Number: SEM-249 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reusing invariants: a new strategy for correlated queries, Hal. 37-48 |
|
Author: Jun Rao; Kenneth A. Ross; | Call Number: SEM-244 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The dedale system for complex spatial queries, Hal. 213-224 |
|
Author: Stephane Grumbach; Phillipe Rigaus; Luc Seoufin; | Call Number: SEM-244 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Caching multimedimensional queries using chunks, Hal. 259-270 |
|
Author: Prasad M. Deshpande; Karthikenyan Ramasamy; Amrit Shukla; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result