Month: October 2018

Teknik Analisis Berbasis SAT/SMT : Teori dan Aplikasi Abstrak : Dengan semakin berkembangnya teknologi SAT/SMT solvers, maka teknik analisis menggunakan SAT/SMT solvers juga semakin banyak diadopsi dan diterapkan di berbagai…

ft.unsoed.ac.id 11/10/18 Jurusan Teknik Informatika FT UNSOED bekerjasama dengan JenderalCorpselenggarakan kuliah umum. Jenderalcorp merupakan sebuah perusahaan yang berbasis IT yang berkantor di Jalan HR Bahrun, Perum Berkoh No 365, Purwokerto…