| Your search for 13882 returns 7006 document(s) |
| Sequential patterns in information systems development: an application of a social process model, page 30 |
|
Author: Daniel R. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking |
|
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking |
|
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effient model checking of network authentication protocol based on SPIN, 100-104 |
|
Author: Zhi-hua Tan, Da-fang Zang, Li MIAO, Dan Zhao; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rosetta: semantic support for model-centered systems level design, page 64 |
|
Author: Perry A. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| HDM-a model-based approach to hypertext application design, page 1 |
|
Author: Franca G. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Groupwork close up: a comparisan of the group design process with and without a simple group editor, page 321 |
|
Author: Judith S. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An empirical analysis of the impact of information capabilities design on business process outsourcing performance, page 39-62 |
|
Author: Deepa Mani, Anitesh Barua, and Andrew Whinston | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Measuring Game Development Process Maturity Level at Microsized Game Studio using Digital Game Maturity Model. Case Study: PT. XYZ |
|
Author: Arif Budiman; | Call Number: SK-1638 (Softcopy Sk-1120) | Edition: Eko Kuswardono Budiardjo | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result