Search Result Save to File Save as CSV
Your search for 52181 returns 2119 document(s)
Efficient software implementation of LFSR and boolean function and its application in nonlinear combiner model, (LNCS-Lecture Notes in Computer Science 2576) Hal 387-402
Author: Sandeepan Chowdhury; Subhamoy Maitra; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis model bisnis pada penyedia layanan cloud computing software-as-service: studi komparasi antara penyedia layanan bertipe pure-saas dan mixed saas
Author: Indra Hardianto; | Call Number: SK-1039 (Softcopy SK-520) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Penerapan abstract behavioural specification dalam pembangunan software product line aplikasi web menggunakan metodologi architecture centric model driven web engineering
Author: Daya Adianto; | Call Number: T-1143 (Softcopy T-852) Source code T-249 | Edition: 2015 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Desain dan analisa penerapan pola model-view-controller (MVC) untuk pengembangan software product line (SPL) berbasis web dengan menggunakan bahasa pemodelan abstract behavioral specification (ABS)
Author: Salman El Farisi; | Call Number: T-1110 (Softcopy T-819) Source code T-226 | Edition: 2015 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Evaluasi kematangan kualitas produk perangkat lunak menggunakan software product quality maturity model dengan ISO 25010, ISO 25022, dan ISO 25023: studi kasus Cloud service provider XYZ
Author: Muhamad Insan Rizky; | Call Number: KA-1289 (Softcopy KA-1283) MAK KA-935 | Edition: 2020 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
A format-independent architecture for run-time integrity checking of executable code, (LNCS-Lecture Notes in Computer Science 2576) Hal 219-233
Author: Luigi Catuogno; Ivan Visconti; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Deadlock checking using net unfoldings, (LNCS-Lecture Notes in Computer Science 1254) Hal 352-363
Author: Stephan Melzer; Stefan Romer; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Deadlock checking using net unforldings, (LNCS-Lecture Notes in Computer Science 1254) Hal. 352-363
Author: Stephan Melzer and Stefan Romer; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next