| Your search for 34556 returns 1404 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
|
| multiobjective hybrid controller synthesis, (LNCS-Lecture Notes in Computer Science 1201) Hal 109-123 |
|
Author: John Lygeros; Claire Tomlin; Shankar Sastry; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An automata-theoretic approach to fair realizability and synthesis, (LNCS-Lecture Notes in Computer Science 939) Hal 267-278 |
|
Author: Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 1-20 |
|
Author: Eugene Asarin; Oded Maler; Amir Pneuli; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281 |
|
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthesis of PbSe thin film by chemical bath deposition and its characterization using XRD, SEM and UV-Vis spectrophotometer |
|
Author: Anuar Kassim; Ho Soon Min; Shanthi Monohorn; Saravanan Nagalingam | Call Number: MAKARA : Vol. 14 (2010): 2 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fingerprint synthesis towards constructing an enhanced authentication system using low resolution webcam, Hal. 679-688 |
|
Author: islam, Md. Rajibul; Sayeed, Md. Shobel; | Call Number: SEM-291A | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengujian kecocokan representation ICON pada perangkat lunak komputer dengan mental model pemakaian Indonesia/Basar P. Sibarani |
|
Author: Sibarani, Basar P.; | Call Number: 004.019 Sib p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data Integration Using Similarity Joins and a Word-Based Information Representation Language, page 288-321 |
|
Author: William W. Cohen | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Beneath the Surface of Organizational Process: A Social Representation Framework for Business Process Redesign, page 383-422 |
|
Author: Gary Katzenstein, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result