| Your search for 46104 returns 282 document(s) |
| prod 3.2 An advanced tool for efficient reachability analysis, (LNCS-Lecture Notes in Computer Science 1254) Hal 472-475 |
|
Author: Kimmo Varpaaniemi; Keijo Heljanko; Johan Lilius; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479 |
|
Author: Patrice Godefroid; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
|
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture Notes in Computer Science 670) Hal 597-616 |
|
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A visualization and explanation tool for debugging ECA rules in active databases (LNCS-Lecture Notes in Computer Science 985) |
|
Author: S. Chakravarthy, Z. Tamizuddin, J. Zhou; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| VITAK: a visual tool for analysis of rules beavior in active database (LNCS-Lecture Notes in Computer Science 985) |
|
Author: Emmanuel Benazet, Herve Guehl, Mokrane Bouzeghoub; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Sustainble Bluiding Rating Tool towards Learning Improvement in Malaysia's Higher Institution: A Proposal |
|
Author: Natasha Khalil; Hursul Nizam Husin; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Development Of A Simple Software Tool To Detect The Qrs Complex From The Ecg Signal (hal 192-196) |
|
Author: Michaella Ignatia Tanoeihusda, Wahju Sodiono; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Platform or Wholesale? A Strategic Tool for Online Retailers to Benefit from Third-Party Information, Page 763-785 |
|
Author: Young Kwark, Jianqing Chen, and Srinivasan Raghunathan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Madm-tool:Aplikasi uji sensitivitas untuk model madm menggunakan metode SAW dan TOPSIS. ( hal. E-56/E-62 ) |
|
Author: Henry Wibowo S; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result