Search Result Save to File Save as CSV
Your search for 15977 returns 2962 document(s)
"Rancangan Prototipe Knowledge Management System Dengan Metode SECI Model Dan User Centered Design Untuk Mendukung Kegiatan Penelitian Ilmiah di Institusi Pendidikan Tinggi"
Author: Elkaf Fahrezi Soebianto Putra; | Call Number: T-1375 (SoftcopyT-1084) Mak T-175 | Edition: 2023 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan Model Knowledge Management System pada Badan Penjaminan Mutu Universitas Pembangunan Nasional " VETERAN " Jakarta untuk Mendukung Penjaminan Mutu Fakultas
Author: Theresia Wati; | Call Number: KA-423 (Softcopy KA-422) MAK KA-083 | Edition: 2013 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Peningkatan model named entity recognition dan implmenetasi back-end untuk aplikasi reusable task-based crowdsourcing system for data training di kata.al
Author: Valdi Rachman; | Call Number: KP-2542 Softcopy KP-1982 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93
Author: James C. Corbett | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Concurrent methodologies for global optimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 441-443
Author: Luca Bortolussi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 448-449
Author: Remy Haemmerle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479
Author: Patrice Godefroid; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A proof environment for concurrent programs,(LNCS-Lecture Notes in Computer Science 670) Hal 196-215
Author: Naima BROWN; Dominique MERY; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432
Author: Marcus Vinicius Santos; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A distributed and probabilistic concurrent constraint programming language, (LNCS-Lecture Notes in Computer Science 3668) Hal 143-158
Author: Luca Bortolussi; Herbert Wiklicky; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   8 9 10 11 12 13 14 15 16 17  Next