Ravialdy Hidayat, author
Implementasi Algoritma Deteksi Objek Berdasarkan Deep Learning Yolov4 dan Jarak Euclidean pada CCTV Di Area Pertambangan PT X = Implementation of Object Detection Algorithm Based on Yolov4 Deep Learning and Euclidean Distance on CCTV in Mining Areas of PT X
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2022
 UI - Skripsi (Membership)
Chris Hawblitzel, editor
Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Springer-Verlag , 2012
 eBooks
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
[;Springer-Verlag, Springer-Verlag], 2012
 eBooks
Sannella, Donald, author
Foundations of algebraic specification and formal software development
Springer-Verlag, 2012
 eBooks
Formal aspects of component software : 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers
editors, Luis Soares Barbosa, Markus Lumpe
Springer-Verlag, 2012
 eBooks
<<   3 4 5   >>