| Your search for 9234 returns 3450 document(s) |
| The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455 |
|
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | 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
|
| Trace table based approach for pipelined microprocessor verfication, (LNCS-Lecture Notes in Computer Science 1254), Hal. 364-375 |
|
Author: Jun Sawada and Warren A. Hunt Jr.; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Making sense of technology trends in the information technology landscape: a design science approach, page 779-809 |
|
Author: Gedaminas Adomavicius, Jesse C. Bockstedt, Alok Gupta, and Robert J. Kauffman | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach to malware detection, (LNCS-Lecture Notes in Computer Science 5576) Hal. 229-238 |
|
Author: Hongying Tang; Bo Zhu; Kui Ren; | Call Number: 005.3 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mastering data mining: the art and science of customer relationship management |
|
Author: Berry, Michael J.A.; | Call Number: 006.33 Ber m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer models for management science 2nd ed./ Warren J. Erikson |
|
Author: Erikson, Warren J.; | Call Number: 658.05 Eri c | Edition: Fourth edition; | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handbook of college and university adminstration general/ editor Asa S. Knowles |
|
Call Number: R. 378.1 Han | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On educational and enlightenment of current female college student's negative psychology, Hal. 3425-3428 |
|
Author: Ge Lei; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| KM practice in community college-KM framework towards KMS. ( hal. 264-269 ) |
|
Author: Mohamad Yusrizal Mohamed Yusoff, Jafreezal Jaafar and Ahmad Kamil Mahmood; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result