| Your search for 25231 returns 4541 document(s) |
| A formal view integration method (398-407) |
|
Author: Joachim Biskup and Bernhard convent; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to formal language/ Gyorgy E. Revesz |
|
Author: Revesz, Gyorgy E.; | Call Number: 005.131 Rev i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Elementary computability formal languages and automata |
|
Author: McNaughton, Robert; | Call Number: 511 Mcn e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93 |
|
Author: James C. Corbett | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Assessing classifiers from two independent data sets using ROC analysis: a nonparametric approach, page 1809 |
|
Author: W.A. Youset, R.F. Wagner | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clustering analysis using a self-organized network inspired by immune algorithm, hall: 35-40 |
|
Author: Rahmat Widyanto, Benyamin K. and Kaoru Hirota | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 2 No. 2 Oktober 2002 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Relatedness analysis of government regulations using domain knowledge and structural organization/ Gloria T. Lau |
|
Author: Lau, Gloria T.; Law, Kincho H.; Wiederhold, Gio | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Global segmentation and curvature analysis of volumetric data sets using trivariate B-spline functions, Page 265 |
|
Author: O.Soldea | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bibliometric cartoggraphy of information retrieval research by using co-word analysis, page 817 |
|
Author: Ying Ding | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result