| Your search for 21667 returns 3455 document(s) |
| Parallel multiresolution image segmentation with watershed transformation, (LNCS-Lecture Notes in Computer Science 1557) Hal 226-235 |
|
Author: Alina N. Moga; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The lyapunov method ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 2 |
|
Author: Zvi Artstein; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| From quantity to quality, (LNCS-Lecture Notes in Computer Science 1201) Hal 48-62 |
|
Author: Thomas A. Henzinger; Orna Kupferman; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Robust timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 331-345 |
|
Author: Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid dynamic programming, (LNCS-Lecture Notes in Computer Science 1201) Hal 391-396 |
|
Author: Wolf Kohn; Jeffrey B. Remmel; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Studi banding segmentasi citra set tunggal Pap Smear berdasarkan metode fuzzy C-Means clustering, thresholding, dan transformasi watershed/ Titin Farida |
|
Author: Titin Farida; | Call Number: SK-0678 (Softcopy SK-0159) Source Code SK-0150 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1 |
|
Author: Amir Pnueli; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32 |
|
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47 |
|
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying periodic task-control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 63-68 |
|
Author: Vlad Rusu; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result