Search Result Save to File Save as CSV
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