Your search for 16494 returns 3601 document(s) |
A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213 |
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards practical applications: novel embedded near infrared face recognition system, 515-519 |
Call Number: Changtao Zhou, Dong Yi, Zhiwei Zhang, Stan Z. Li* | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards practical applications: novel embedded near infrared face recognition system, 515-519 |
Author: Changtao Zhou, Dong Yi, Zhiwei Zhang, Stan Z. Li*; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Data Processing in the UNIX environment: with Informix-SQL, Embedded-SQL, C-ISAM, and TURBO/Ramkrishna S. Tare |
Author: Tare, R.S.; | Call Number: 005.43 Tar d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Rancangan dan implementasi jam tersinkronisasi menggunakan protokol ZIGBEE diatas launchpad embedded system |
Author: Nisrina Rahmah; | Call Number: SK-1234 (Softcopy SK-716) Source code SK-492 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Embedded Ethnic inference in fuzzy logic system for DNA profile matching with discrete membership function |
Author: Reggio Nurtanio Hartono; | Call Number: T-0934 (Softcopy T-0589) Source Code T-0112 | Edition: 2011 | Type: Tesis
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Variable selection using support vector machine-based algorithm for multiclass classification cases, Hal. 180-183 |
Author: Budi Santosa; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Secure cover selection stegnography, (LNCS-Lecture Notes in Computer Science 5576) Hal. 317-324 |
Author: Hedieh Sajedi; Mansour Jamzad; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Noun phrase translation for cross-language document selection, (LNCS-Lecture Notes in Computer Science 2406), Hal. 320-331 |
Author: Fernando Lopex-ostenero, Julio Gonzalo, Anselmo Penas, and Felisa Verdejo; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Program selection strategy for prospective students study using a new method of AHP (case study binda sarana informatika), 121-126 |
Author: Linda Marlinda; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|