Search Result
Save to File
Your search for
37148
returns
225
document(s)
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A Note on abstract interpretation strategies for hybrid automata, (LNCS-Lecture Notes in Computer Science 999)Hal. 252-293
Author: Thomas A. Henzinger; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Hybrid systems and quatum automata : preliminary announcement, (LNCS-Lecture Notes in Computer Science 999)Hal. 181-201
Author: R.L. Grossunan and M. Sweendler; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Model eksplorasi pengetahuan spasiotemporal pada data geografis menggunakan cellular automata dan teknik penambangan data
Author: Ahmad Zuhdi; | Call Number: Ringdis-024 | Type: Ringkasan Disertasi
Find Similar
|
Add To Favorites
|
Detail in New Window
29th annul symposium on foundations of computer science: (formerly called the annual symposium on switching and automata theory) October 24-26, 1988
Call Number: SEM-050 | Type: Prosiding Seminar
Find Similar
|
Add To Favorites
|
Detail in New Window
Cellular automata: pemodelan dan implementasi paralel untuk simulasi arus lalulintas kendaraan di Jalan raya
Author: Amril Syalim; | Call Number: SK-0530(Softkopi SK-26) | Edition: Widijanto Nugroho | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Model eksplorasi pengetahuan spasiotemporal pada data geografis menggunakan cellular automata dan teknik penambangan data
Author: Ahmad Zuhdi; | Call Number: Dis-024 (Softcopy Dis-015) Source code Dis-009 | Type: Disertasi
Find Similar
|
Add To Favorites
|
Detail in New Window
RGB Digital Image Forgery Detection USing Singular Value Decomposition and One Dimensional Cellular Automata (483-488)
Author: Dr. Mohammad V. Malakooti Ahmad Pahlavan Tafti Faezeh Rohani Mohammad Amin Moghaddasifar; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Software reuse: state of the art and future directions 12th Int. conference on software engineering March 26-30, 1990/Herbert Weber
Author: Weber, Herbert; | Call Number: 005.106 Web s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93
Author: James C. Corbett | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
12
13
14
15
16
17
18
19
20
21
Next