Search Result Save to File Save as CSV
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