Your search for 2079 returns 382 document(s) |
Digital Logic Design, Second Edition |
Author: Tan Tuck Choy,Aaron; | Call Number: 621.39 Aar d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Perangkat lunak generik untuk simulasi lalu lintas dengan metode cellular automata (Proposal RUUI) 2002 |
Author: Suryana Setiawan | Call Number: PRO-RUUI-2002-001 | Type: Proposal Research (Khusus Dose
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Supervised learning of large perceptual organization: graph spectral partitioning and learning automata, page 504 |
Author: S. Sarkar | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Scalable devide-and conquer parallel algorithm for finite state automata and its applications, 193-194 |
Author: Z. George Mou; Sevan G. Ficici; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Decidable model checking of probabilistic hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 31-45 |
Author: Jeremy Sproston; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A logical characterisation of event recording automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 240-251 |
Author: Deepak D'Souza; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263 |
Author: Michael Adlaide; Olivier Roux; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analysis of slope-parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 75-80 |
Author: Frederic Boniol; Augusto Burgueno; Olivier Roux; Vlad Rusu; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Comparing timed C/E systems with timed automata ( abstract ), (LNCS-Lecture Notes in Computer Science 1201) Hal 81-86 |
Author: R. Huuck; Y. Lakhnech; L. Urbina; S. Engell; S. Kowalewski; J. Preubig; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 171-185 |
Author: Myla Archer; Constance heitmeyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|