Persempit Pencarian
Hapus Filter
Topik: Verification
Sektor
Institusi
14
Universitas PGRI Palembang
12
ZAIN Publications
9
DEFAULT
4
Lembaga Penerbangan dan Antariksa Nasional
3
Politeknik Negeri Bandung
2
IAES Indonesia Section and Partners
more ...
2
Universitas Udayana
1
Center for Sustainable Infrastructure Development
1
Forum Kerjasama Pendidikan Tinggi (FKPT)
1
IAIN BATUSANGKAR
1
IAIN Palopo
1
Politeknik Negeri Padang
1
Sekolah Tinggi Pertanahan Nasional
1
Universitas Andalas
1
Universitas Atma Jaya Yogyakarta
1
Universitas Brawijaya
1
Universitas Hasanuddin
1
Universitas Kristen Petra Surabaya
1
Universitas Negeri Makassar
less ...
Koleksi
Puyang Concept Sacrificed and Demythosized
14
Journal of Social - Religion Research
1
Rekayasa Teknik Informatika dan Informasi
1
Jurnal Sains dan Teknologi
1
12
Cognizance Journal of Multidisciplinary Studies
9
DEFAULT
4
Repositori Institusi LAPAN
3
Repository Polban
2
Bulletin of Electrical Engineering and Informatics
more ...
2
Kertha Pertiwi
2
Kertha Wicara
1
Arena Hukum
1
CSID Journal of Infrastructure Development
1
Jurnal Ilmiah Poli Rekayasa
1
Jurnal Titra
1
Jurnal Tunas Agraria
1
Justitia et Pax
1
Repositori Universitas Hasanuddin
1
Ruang Baca Jurusan Sosiologi
1
Scientific Pinisi
less ...
Format
Topik
Verification
3
Automated Theorem Proving
3
DFV
3
Neural Networks
3
Synthesis
3
Theory Exploration
more ...
3
Validation
3
Verifikasi
2
Algorithm
2
Class Diagram
2
Falsification
2
GARWA
2
Input distribution model
2
Model Checking
2
NONE
2
Relation
2
Tags
2
UML Diagrams
2
makalah prosiding
1
AUC
1
Activity Diagrams
1
Adaptive model
1
Administration; Factual; Election; Political Parties
1
Aesthetic Checks
1
Air Bersih
1
Analogical Statements
1
Android
1
Artifact
1
Assertion
1
Assertion Circuit
1
Authentication
1
BMJ scheme
1
Biometric
1
Bus for Bike
1
CST Modification
1
Calibration
1
Cellular Automata
1
Cigarettes
1
Closed queueing network
1
Computational system
1
Computer Engineering
1
Computer and Informatics
1
Credibility
1
Creditor
1
Cumulus Parameterizations
1
DAMRI
1
DNN
1
DPT
1
Decision
1
Digital ID
less ...
Pengarang
3
David Shriver
3
Felipe Toledo
3
Itzhaky, Shachar
3
Matthew Dwyer
3
Sebastian Elbaum
3
Singher, Eytan
more ...
2
Doru Anastasiu Popescu
2
Maria Catrinel Dănăuţă
2
Meena Sharma
2
Rajeev Vishwakarma
1
-, Deddy Prayama
1
-, Yuli Resmawati
1
Achmad Raflie Pahlevie
1
Adhi Parwatha, I Made
1
Adhitama, Edo
1
Ainul Yaqin, Muhammad; UIN Maulana Malik Ibrahim
1
Alexey I. Martyshkin
1
Amalia, Sulfi
1
Armyanda Tussadiah
1
Ashon Sa'adi
1
Belonosov, Mikhail A.
1
Boato, Giulia
1
Boididou, Christina
1
Boris L. Svistunov
1
Dang-Nguyen, Duc-Tien
1
David W Wright
1
Dmitry A. Trokoz
1
Dmitry V. Pashchenko
1
Dr. Manoranjan Satpathy
1
Endarwin
1
Enggartiasto, Deo
1
Evans, Katherine J.
1
Faisal, Muhammad; UIN Maulana Malik Ibrahim
1
Firouzabadi, Mojtaba.Dehghani; Azad University of Meybod
1
Guy Van den Broeck
1
Hasnaeni
1
Heidari, Hossein; Azad University of Meybod
1
Jalal Lakhlili
1
Jin, Zhiwei
1
Joko Subandriyo
1
Jones Arthi S
1
K. Chandrashekar Shet
1
Keneng, I Ketut
1
Kennedy, Joseph H.
1
Kishkin, Vladimir L.
1
Kompatsiaris, Yiannis
1
Korolev, Sergey A.
1
Kousalya R
1
Krass Allan S
1
Kumari M
less ...
Tahun
Penerbit
3
#CREATOR_ORGNAME#
3
LAPAN
2
Institute of Advanced Engineering and Science
2
Kertha Wicara
1
Arena Hukum
1
IAIN Batusangkar
more ...
1
Institut Agama Islam Negeri Palopo
1
Jurnal Titra
1
National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
1
PSTA LAPAN
1
Penerbit Universitas Atma Jaya Yogyakarta
1
Program Studi Diploma IV Pertanahan-STPN
1
Pusat Penelitian dan pengabdian kepada Masyarakat (P3M) Politeknik Negeri Padang
1
STMIK Budi Darma
1
Taylor Dan Francis
1
Universitas Indonesia
1
Universitas Negeri Makassar
less ...