Search Result Save to File Save as CSV
Your search for 37213 returns 382 document(s)
A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An n log n algorithm for online BDD refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 107-118
Author: Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Using relative refinement for fault tolerance,(LNCS-Lecture Notes in Computer Science 939) Hal 19-41
Author: Antonio Cau; Willem-Paul de Roever; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Adding specification constructors to the refinement calculus, (LNCS-Lecture Notes in Computer Science 670) Hal 652-670
Author: Nigel Ward; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Algorithm refinement with read and write frames, (LNCS-Lecture Notes in Computer Science 670) Hal 148-161
Author: Juan Bicarregui; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Local uniform grid refinement for time-dependent partial differential equations/R.A. Thompert
Author: Trompert, R.A.; | Call Number: 515.353 Tro l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The impact of query structured and query expansion on retrieval performance, Hal. 130-137
Author: Jaana Kekalainen; Kalervo Jarvelin; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Outterjoin simplification and recordering for query optimization
Author: Cesar Galindo-Legaria | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Query expansion with Long-span collocates
Author: Vechtomova, Olga | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Query processing in TREC-6, page 179
Author: Ashwin Rao | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next