23.21.1661

Reverse Mathematics : Problems, Reductions, and Proofs

Damir D. Dzhafarov, Carl Mummert
Springer Cham, 2022

511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computer Science
Mathematics,

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

23.21.1662

Reversible Computation : 14th International Conference, RC 2022,..

Claudio Antares Mezzina, Krzysztof Podlaski
Springer Cham, 2022

004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi

Data Processing
Computer Science,

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

23.21.1700

Rewriting Logic and Its Applications : 14th International..

Kyungmin Bae
Springer Cham, 2022

005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computer Logic

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

23.21.1805

Runtime Verification: 22nd International Conference, RV 2022, Tbilisi,..

Thao Dang, Volker Stolz
Springer Cham, 2022

005.14 - Software-Verification, testing, measurement, debugging
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computer Software
Verification - Computer Systems,

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

23.21.1669

Secure Multi-Party E-Commerce Protocols

C?t?lin V. Bîrjoveanu, Mirela Bîrjoveanu
Springer Cham, 2022

005.8 - Data Security
Buku - Elektronik (E-Book) - Non-Sirkulasi

Data Security
E-commerce,

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

23.21.1793

Service-Oriented Computing – ICSOC 2021 Workshops : AIOps,..

Hakim Hacid, Monther Aldwairi, Mohamed Reda Bouadjenek, Marinella Petrocchi, Noura Faci, Fatma Outay, Amin Beheshti, Lauritz Thamsen, Hai Dong
Springer Cham, 2022

006.7 - Multimedia system, Web Design, video interactive
Buku - Elektronik (E-Book) - Non-Sirkulasi

Web Service
Web Design,

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

23.21.1692

Simplifying Medical Ultrasound: Third International Workshop, ASMUS 2022,..

Stephen Aylward, J. Alison Noble, Yipeng Hu, Su-Lin Lee, Zachary Baum, Zhe Min
Springer Cham, 2022

610.28 - Biomedical Engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi

Biomedical Engineering

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

23.21.1772

Simulation and Synthesis in Medical Imaging: 7th International..

Ekaterina Komendantskaya
Springer Cham, 2022

621.367 - Technological photography and photo-optics, Spectrography, Stroboscopic photography, Image processing, Optical data processing
Buku - Elektronik (E-Book) - Non-Sirkulasi

Image Processing

Tersedia 1 koleksi dari total 1 koleksi

23.06.847

Sistem Deteksi Alat Pelindung Diri Untuk K3 Menggunakan..

ALDILA PUTRI SOFIANA UTAMI
Universitas Telkom, D3 Teknologi Telekomunikasi, 2023

005.43 - Systems programs Operating systems, system administration, system software, utility programs
Karya Ilmiah - TA (D3) - Reference - Non-Sirkulasi

Image Proceesing

Tersedia 1 koleksi dari total 1 koleksi
tersedia 23 file download

23.06.852

SISTEM KOMUNIKASI KENDARAAN TANPA AWAK BERBASIS HIGH GAIN..

BARA SATYA KOTTAMA
Universitas Telkom, D3 Teknologi Telekomunikasi, 2023

005.43 - Systems programs Operating systems, system administration, system software, utility programs
Karya Ilmiah - TA (D3) - Reference - Non-Sirkulasi

Antena

Tersedia 1 koleksi dari total 1 koleksi
tersedia 24 file download

Ulasan Terbaru

Multimodal Biometrik pada Keystroke User-Adaptive Feature dan Mahalanobis Distance - Dalam bentuk buku karya ilmiah
  Saran dari Author 22 October, 2025
rardityoh – R. ARDITYO CAHYO PUTRO HUTOMO
Saya sarankan para pembaca untuk membaca versi artikel jurnal, https://garuda.kemdikbud.go.id/documents/detail/5002890
Multimodal Biometrik pada Keystroke User-Adaptive Feature dan Mahalanobis Distance - Dalam bentuk buku karya ilmiah
  Saran dari Author 22 October, 2025
rardityoh – R. ARDITYO CAHYO PUTRO HUTOMO
Saya sarankan para pembaca untuk membaca versi artikel jurnal, https://garuda.kemdikbud.go.id/documents/detail/5002890
Perancangan dan Realisasi BPF Mikrostrip Hairpin pada Frekuensi 3.3 - 3.4 GHz untuk Aplikasi WIMAX
  impengisasi 22 October, 2025
[email protected] – Exaudi Pangaribuan
seorang mahasiswa yang gigih dan tahan banting
Ekologi
  ya 16 October, 2025
devirahmawati – DEVI RAHMAWATI
ya
Semantika, Semiotika, dan Estetika: Inovasi dalam Desain Produk dan Industri Kreatif
  FIK 15 October, 2025
murahmatm – MUHAMMAD RAHMAT MARDHATILLAH
baik

Subjek Populer