| Your search for 13416 returns 6351 document(s) |
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Shoreline Change Detection Based on Multispectral Images Using 2D-Principial Component Analysis of Band Images And Histogram of Oriented Gradient Features |
|
Author: I Gede Wahyu Surya Dharma, Aniati Murni Arymurthy; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using the Unix system |
|
Author: Gauthier, Richard; | Call Number: 005.43 Gau u | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Unix system programing using C++ |
|
Author: Chan, Terrence; | Call Number: 005.133 Dew p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data and reality: basic assumptions in data processing reconsidered |
|
Author: Kent, William; | Call Number: 005.74 Ken d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient checking of behavioural relations and modal assertions using fixed-point inversion, (LNCS-Lecture Notes in Computer Science 939) Hal 142-154 |
|
Author: Henrik Reif Andersen; Bart Vergauwen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Document image recognition based on template matching of component block projections, page 1188 |
|
Author: H. Peng | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ethical decision making in software piracy: initial development and a test of a four-component model, page 167-180 |
|
Author: Trevor T. Moores and Jerry Cha-Jan Chang | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using the unix system/ Richard Gauther |
|
Author: Gauther, Richard; | Call Number: 005.71 Gau u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Empirical derived design issues in auditory information processing for mobile telephony, Hal. 462-469 |
|
Author: D.I Rigas; D. Memey; D. Hopwood and M. A. Rodrigus; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result