Your search for 52258 returns 820 document(s) |
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The integration of LOTOS with an object oriented development method, (LNCS-Lecture Notes in Computer Science 670) Hal 73-82 |
Author: Mikael Hedlund; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Firm performance impacts of digitally enabled supply chain integration capabilities, page 225-246 |
Author: Arun Rai, Ravi Patnayakuni, and Nainika Seth | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Effects of web personalization on user attitude and behavior: an integration of the elaboration likelihood model and consumer search theory, page 497-520 |
Author: Shuk Ying Ho and David Bodoff | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multicore computation of tactical integration system in the maritime patrol aircraft using intel threading building block |
Author: Muhammad faris fathoni; bambang sridadi; | Call Number: sem-320 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
It infrastructure library a best practice, frame work for the integration of it infrastructure management and it service management, 200-214 |
Author: Fransiska Hendra, Irfan Mahendra; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The integration of WEKA and google maps in visualization with a web mash-up of deluge risks tracking in e-tracking system, 57-62 |
Author: Kitti Koonsanit, Chuleerat Jaruskulchai; | Call Number: SEM-349 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Social Network Integration and User Content Generation: Evidence from Natural Experiments, Page 1035-1058 |
Author: Ni Huang, Yili Hong, and Gordon Burtch | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Information System Architecture Design for Data and Application Standardization and Integration in PT. Pertamina Hulu Energi WMO nad ONWJ. Hal 445-452 |
Author: Rumata R.Marsaulina S. and Yudho Giri Sucahyo; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|