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
4134 4135 4136 4137 4138 174216 results (page 4136/17422)
22.21.2556	Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Tristan Cazenave, Olivier Teytaud, Mark H. M. Winands Springer Cham, 2021 Klasifikasi software engineering Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi	COMPUTER PROGRAMMING FORMAL METHODS, This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends..selengkapnya..
22.21.2557	Responsible AI: Implementing Ethical and Unbiased Algorithms Sray Agarwal, Shashin Mishra 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 is written for software product teams that use AI to add intelligent models to their products or are planning to use it. As AI adoption grows, it is..selengkapnya..
22.21.2558	Recent Advances in Sustainable Energy and Intelligent Systems : 7th International Conference on Life System Modeling and Simulation, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part II Kang Li, Tim Coombs, Jinghan He, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Energy engineering Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	ENERGY ENGINERING The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of..selengkapnya..
22.21.2559	Machine Learning in Medical Imaging:12th International Workshop, MLMI 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings Chunfeng Lian, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Machine Learning Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	MACHINE LEARNING IMAGE PROCEESING, This book constitutes the proceedings of the 12th International Workshop on Machine Learning in Medical Imaging, MLMI 2021, held in conjunction with MICCAI 2021, in Strasbourg, France, in September 2021.* The..selengkapnya..
22.21.2560	Similarity Search and Applications : 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 – October 1, 2021, Proceedings Nora Reyes, Richard Connor, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Operations of libraries, archives, information centers- Information storage and retrieval systems, recall, precision, relevance Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	ALGORITHMS DATA STRUCTURES, INFORMATION RETRIEVAL, This book constitutes the refereed proceedings of the 14th International Conference on Similarity Search and Applications, SISAP 2021, held in Dortmund, Germany, in September/October 2021. The conference was held virtually..selengkapnya..
22.21.2561	Smart Cities, Green Technologies, and Intelligent Transport Systems: 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020, Revised Selected Papers Cornel Klein, Markus Helfert, Karsten Berns, Oleg Gusikhin Springer Cham, 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 includes extended and revised selected papers from the 9th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2020, and the 6th International Conference on Vehicle Technology..selengkapnya..
22.21.2562	Experimental IR Meets Multilinguality, Multimodality, and Interaction: 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21–24, 2021, Proceedings K. Selçuk Candan, et.al. 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 refereed proceedings of the 12th International Conference of the CLEF Association, CLEF 2021, held virtually in September 2021. The conference has a clear focus on experimental information..selengkapnya..
22.21.2563	Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers Hossein Hojjat, Mieke Massink Springer Cham, 2021 Klasifikasi software engineering Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	SOFTWARE ENGINEERING This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021. The 12..selengkapnya..
22.21.2564	Statistical Language and Speech Processing: 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings Luis Espinosa-Anke, Carlos Martín-Vide, Irena Spasi? Springer Cham, 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 DATA MINING, This book constitutes the proceedings of the 9th International Conference on Statistical Language and Speech Processing, SLSP 2021, held in Cardiff, UK, in November 2021. The 9 full papers presented in..selengkapnya..
22.21.2565	Information Security and Cryptology: 17th International Conference, Inscrypt 2021, Virtual Event, August 12–14, 2021, Revised Selected Papers Yu Yu, Moti Yung Springer Cham, 2021 Klasifikasi Cryptography; computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	INFORMATION SECURITY MANAGEMENT Cryptography, This book constitutes the post-conference proceedings of the 17th International Conference on Information Security and Cryptology, Inscrypt 2021, in August 2021. Due the COVID-19, the conference was held online The 28..selengkapnya..