| Your search for 13294 returns 3948 document(s) |
| An Attraction-selection-attrition theory of online community size and resilience, page 699-728 |
|
Author: Brian S. Butler, Patrick J. Bateman, Peter H. Gray, and E. Ilana Diamant | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Capturing the Complexity of Malleable IT Use: Adaptive Structuration Theory for Individuals, Page 663-686 |
|
Author: Kurt W. Schmitz, James T. C. Teng, and Kimberly J. Webb | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Collective Information System Use: A Typological Theory, Page 1281-1301 |
|
Author: Bogdan Negoita, Liette Lapointe, and Suzanne Rivard | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Grounded Theory Methodology in Information Systems Research, Page 685-701 |
|
Author: Manuel Wiesche, Marlen C. Jurisch, Philip W. Yetton, and Helmut Krcmar | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Assessing Representation Theory with a Framework for Pursuing Success and Failure, Page 1307-1333 |
|
Author: Andrew Burton-Jones, Jan Recker, Marta Indulska, Peter Green, and Ron Weber | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Faster proof cheking in the edinburgh logical framework, Hal. 392-407 |
|
Author: Aaron Stump; David L. Dill; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Focussing proof-net construction as a midleware paradign, Hal. 501-516 |
|
Author: Jean Marc Andreocoli; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof analysis by resolution (extended abstract), Hal,.417-531 |
|
Author: Matthias Baaz; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Xor based public auditing scheme for proof-of -storage |
|
Author: Changsheng Wan; Juan Zhang; | Call Number: Sem-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result