Search Result
Save to File
Your search for
637
returns
3689
document(s)
Mengevaluasi Manfaat Investasi TI Terhadap Organisasi dengan Metodologi Grounded Theory: Studi Kasus di STIE Trisakti
Author: Dicky Supriatna; | Call Number: T-0916 (Softcopy T-0570) | Edition: 2010 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Computational organization theory, HAL. 527 - 532
Author: Ashari Sutrisno; Rentantyo Wardoyo; | Call Number: SEM-292 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
An efficient decision procedure for the theory of fixed-sized bit-vectors, (LNCS-Lecture Notes in Computer Science 1254) Hal 60-71
Author: David Cyrluk; Oliver Moller; Harald Rueb; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Toward a logical theory of program data, (LNCS-Lecture Notes in Computer Science 131) Hal. 37-51
Author: Robert Cartwright; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
29th annul symposium on foundations of computer science: (formerly called the annual symposium on switching and automata theory) October 24-26, 1988
Call Number: SEM-050 | Type: Prosiding Seminar
Find Similar
|
Add To Favorites
|
Detail in New Window
Wasabi: framework for real-time speech analysis applications (demo), (LNCS-Lecture Notes in Computer Science 2773) Hal 105-108
Author: Eric W. Brown; Anni R. Coden; | Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Optimizing I/O for irregular applications on distributed-memory machines, (LNCS-Lecture Notes in Computer Science 1557) Hal 470-479
Author: Jesus Carratero; Jaechun No; Alok Choudhary; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Protocols using anonymous connections: mobile applications, (LNCS-Lecture Notes in Computer Science 1361) Hal 13-23
Author: Michael G. Reed; Paul F. Syverson; David M. Goldschlag; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
19
20
21
22
23
24
25
26
27
28
Next