Katalog
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
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
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
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
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
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
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
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
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
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
