| Your search for 44055 returns 4928 document(s) |
| Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
|
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protecting Privacy Using the Decentralized Label Model, page 410-442 |
|
Author: Andrew C. Myers, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Smart VideoText: a Video Data Model Based on Conceptual Graphs, page 328-337 |
|
Author: F. Kokkoras, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model-Driven Development of Web Applications: The Autoweb System, page 323-382 |
|
Author: Piero Fraternali, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fast active appearance model search using canonical analysis, page 1690 |
|
Author: R. Donner | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The koala component model for concumer electonics software, page 78 |
|
Author: Rob van Ommering | 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
|
| 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
|
| Peluncuran empat model server terbaru dari NEC, page 30 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Index structures for selective dissemination of information under the boolean model, page 332 |
|
Author: Yan, Tak W. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result