Katalog

Reset
Judul
Pengarang
Penerbit
Subjek	gunakan subjek dalam bahasa inggris untuk ketepatan hasil pencarian. gunakan karakter % untuk pencarian diperluas
Jenis
Lokasi
Periode

No. Katalog	Katalog	Subjek
3469 3470 3471 3472 3473 167541 results (page 3471/16755)
22.21.2448	Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings Marieke Huisman, Corina Pasareanu, Naijun Zhan Springer Nature Switzerland AG, 2021 Klasifikasi software engineering Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER PROGRAMMING Formal methods This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were..selengkapnya..
22.21.2449	Science of Cyber Security: Third International Conference, SciSec 2021, Virtual Event, August 13–15, 2021, Revised Selected Papers Wenlian Lu, et. al. Springer, 2021 Klasifikasi Data security, access control, computer network security, firewalls Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	CYBER SECURITY COMPUTER SCIENCE, This book constitutes the proceedings of the Third International Conference on Science of Cyber Security, SciSec 2021, held in Shanghai, China, in August 2021. The 17 full papers and 5..selengkapnya..
22.21.2450	Theoretical Computer Science : 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers Zhiping Cai, Jian Li, Jialin Zhang Springer Nature Switzerland AG, 2021 Klasifikasi Data processing, Computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER SCIENCE DATA PROCESSING, This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were..selengkapnya..
22.21.2451	Flexible Resources for Smart Cities Miadreza Shafie-khah, M Hadi Amini Springer Nature Switzerland AG, 2021 Klasifikasi City planning; conservation, rehabilitation, redevelopment Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	CITY PLANNING SMART CITY, This book paves the road for researchers from various areas of engineering working in the realm of smart cities to discuss the intersections in these areas when it comes to..selengkapnya..
22.21.2452	Smart and Sustainable Agriculture : First International Conference, SSA 2021, Virtual Event, June 21-22, 2021, Proceedings Selma Boumerdassi, Mounir Ghogho, Éric Renault Springer Nature Switzerland AG, 2021 Klasifikasi Special Computer Methods- Artificial intelligence Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	ARTIFICIAL INTELLIGENCE TECHNOLOGICAL INNOVATION, This book constitutes the refereed proceedings of the First International Conference on Smart and Sustainable Agriculture, SSA 2021, held as a virtual event in June 2021. The 12 papers presented..selengkapnya..
22.21.2453	Multimodal Agents for Ageing and Multicultural Societies: Communications of NII Shonan Meetings Juliana Miehle, et. al. Springer, 2021 Klasifikasi Machine Learning Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	MACHINE LEARNING COMPUTER SCIENCE, This book aims to explore and discuss theories and technologies for the development of socially competent and culture-aware embodied conversational agents for elderly care. To tackle the challenges in ageing..selengkapnya..
22.21.2454	The Practice of Enterprise Modeling : 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings Estefanía Serral, Janis Stirna, et al. Springer Nature Switzerland AG, 2021 Klasifikasi software engineering Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	APPLICATION SOFTWARE INDUSTRIAL MANAGEMENT, This book constitutes the proceedings papers of the 14th IFIP Working Conference on the Practice of Enterprise Modeling, held in Riga, Latvia, during November 24-26, 2021. PoEM offers a forum..selengkapnya..
22.21.2455	Machine Vision and Augmented Intelligence—Theory and Applications : Select Proceedings of MAI 2021 Manish Kumar Bajpai, Koushlendra Kumar Singh, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Computer Vision Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER VISION VIRTUAL REALITY, This book comprises the proceedings of the International Conference on Machine Vision and Augmented Intelligence (MAI 2021) held at IIIT, Jabalpur, in February 2021. The conference proceedings encapsulate the best..selengkapnya..
22.21.2456	Sustainability Measures for COVID-19 Pandemic Rashmi Agrawal , Mamta Mittal, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Diseases Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	DISEASES HEALTH FACILITIES-RISK MANAGEMENT, This book focuses on sustainability issues post COVID-19 outbreak, discusses ways to restrict global spread of the pandemic, and also how to survive holistically in the environment. It also discusses..selengkapnya..
22.21.2457	Unconventional Computation and Natural Computation: 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings Irina Kostitsyna, Pekka Orponen Springer, 2021 Klasifikasi Special Computer Methods- Artificial intelligence Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	ARTIFICIAL INTELLIGENCE COMPUTER SCIENCE, This book constitutes the proceedings of the 19th International Conference on Unconventional Computation and Natural Computation, UCNC 2021, held in Espoo, Finland, in October 2021. The 12 full papers presented were..selengkapnya..