| Your search for 13416 returns 6351 document(s) |
| Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272 |
|
Author: Paola Inverardi, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| E-process design and assurance using model checking, page 48 |
|
Author: Wenli Wang | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Contribution behaviors in distributed environments, page 23-42 |
|
Author: Fernando Olivera, Paul S. Goodman, and Sharon Swee-Lin Tan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information systems research behaviors: what are the normative standards? , page 533-551 |
|
Author: Gove N. Allen, Nicholas L. Ball, and H. Jeff Smith | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324 |
|
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Flexible Consistency Checking, page 28-63 |
|
Author: C. Nentwich, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Class conditional density estimation using mixtures with constrained component sharing, page 924 |
|
Author: M.K. Titsias | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software component certification, page 30 |
|
Author: John Morris | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Insiders’ Protection of Organizational Information Assets: Development of a Systematics-Based Taxonomy and Theory of Diversity for Protection-Motivated Behaviors, page 1189-1210 |
|
Author: Clay Posey, Tom L. Roberts, Paul Benjamin Lowry, Rebecca J. Bennett, and James F. Courtney | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tajweed Checking System to Support Recitation (189-194) |
|
Author: Ahsiah I.
Noor N.M.
Idris M.Y.I.; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result