| Your search for 19053 returns 2007 document(s) |
| Invariant-based synthesis of fault-tolerant systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 46-57 |
|
Author: K. Lano; David Clark; K. Androutsopoulos; P. Kan; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Large scale integration: devices, circuits, and systems/edited by M.I. Howes and D.V. Morgan |
|
Call Number: 581.5 Lar | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic keyword identification by artificial neural networks compared to manual identification by users of filtering systems, page 187 |
|
Author: Zvi Boger | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent Informtion Access Systems (SINAI) at CLEF 2001: Calculating translation probabilites with SemCor, (LNCS-Lecture Notes in Computer Science, 2406), Hal. 185-192 |
|
Author: Fernando Martinez Santiago, L. ALfonso Urena Lopez, Ma. Carlos Diaz-Gaziano ...[et.al]; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel computation of invariant measures, Hal. 285-288 |
|
Author: Jiu Ding; Yimin Liu; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rotation Invariant Eye Detection (396-401) |
|
Author: Hai Han
Tsuyoshi Kawaguchi
Ryoichi Nagata
Mohamed Rizon; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Statistical machine translation |
|
Author: Koehn, Philipp; | Call Number: 418.020 Koe s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Luminance-and contrast-invariant edge-similarity measure |
|
Author: S. Kumar | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result