Detail Cantuman

Advanced Search
Image of Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving

Bundel Jurnal

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving


1 Eksemplar : Vol. 28 No. 3, Juli 2019

Ketersediaan

J0039-2021BJ. ACM JT-191 : J0039-2021Referensi (Bundel Jurnal Teknik)Tersedia namun tidak untuk dipinjamkan - No Loan

Informasi Detil

Judul Seri
-
No. Panggil
BJ. ACM JT-191 : J0039-2021
Penerbit Association for Computing Machinery : New York.,
Deskripsi Fisik
278p.,il.,25,5cmx16,5cm
Bahasa
English
ISBN/ISSN
1049-331X
Klasifikasi
BJ. ACM
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
1
Subyek
Information Technology - Computer Science
Info Detil Spesifik
-
Pernyataan Tanggungjawab

Versi lain/terkait

Tidak tersedia versi lain




Informasi

DETAIL CANTUMAN

Kembali ke sebelumnya