| Your search for 13438 returns 4630 document(s) |
| On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
|
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking in practice the T9000 virtual channel processor, (LNCS-Lecture Notes in Computer Science 670) Hal 129-147 |
|
Author: Geoff Barrett; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 297-310 |
|
Author: Ajay Mallya; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Activity recognition of assembly tasks using body-worn microphones and accelerometers, page 1553 |
|
Author: J.A. Ward | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information seeking and subject represetation: an activity-theorical apprach to information science by B. Hjorland, page 501 |
|
Author: Charls Cole | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| How should technology-Mediated organizational change be explained? a comparison of the contributions of critical realism and activity theory, page 835-854 |
|
Author: David K. Allen, Andrew Brown, Stan Karanasios and Alistair Norman | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Symbolic approach using feature construction capable of acquiring information/ knowledge for building expert systems, page 291 |
|
Author: Raymond L. Major | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Take Their Word for It: The Symbolic Role of Linguistic Style Matches in User Communities, page 1201-1217 |
|
Author: Stephan Ludwig, Ko de Ruyter, Dominik Mahr, Martin Wetzels, Elisabeth Brüggen, and Tom de Ruyck | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Beyond Being There: The Symbolic Role of Communication and Identification in Perceptions of Proximity to Geographically Dispersed Colleagues, page 1219-1243 |
|
Author: Michael Boyer O’Leary, Jeanne M. Wilson, and Anca Metiu | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result