Ditapis dengan
AUTOMATED REASONING
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edisi
- -
- ISBN/ISSN
- 9783031107696
- Deskripsi Fisik
- xv; 756 PG; ill.
- Judul Seri
- -
- No. Panggil
- 006.3 AUT a
MOBILE EDGE COMPUTING
It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Inter…
- Edisi
- -
- ISBN/ISSN
- 9783030839444
- Deskripsi Fisik
- xiv + 113 p
- Judul Seri
- -
- No. Panggil
- 004.167 ZHA m
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah