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
3454 3455 3456 3457 3458 167479 results (page 3456/16748)
22.21.2509	Job Scheduling Strategies for Parallel Processing: 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers Dalibor Klusá?ek, Walfredo Cirne, Gonzalo P. Rodrigo Springer Nature Switzerland AG, 2021 Klasifikasi Multiprocessing Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	PARALLEL PROCESSING (ELECTRONIC COMPUTERS) APPLICATION PROGRAMS, This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021..selengkapnya..
22.21.2510	Runtime Verification:21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings Lu Feng, Dana Fisman 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 refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021. The 11 regular papers and 7 short/tool/benchmark papers presented..selengkapnya..
22.21.2511	Logic, Language, Information, and Computation:27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings Alexandra Silva, Renata Wassermann, Ruy de Queiroz 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 COMPUTER LOGIC, Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021,..selengkapnya..
22.21.2512	The Triumph of Artificial Intelligence : How Artificial Intelligence is Changing the Way We Live Together Günter Cisek 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 COMPUTER SCIENCE, The book demonstrates to readers interested in social life in an understandable way how AI works and how it will dramatically change all areas of life. From the history of..selengkapnya..
22.21.2513	Computational Science and Its Applications – ICCSA 2021: 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part II Jubilee Enterprise Springer Cham, 2021 Klasifikasi Data processing, Computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER SCIENCE APPLICATION PROGRAMS, The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during..selengkapnya..
22.21.2514	Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings Cezara Dr?goi, Suvam Mukherjee, Kedar Namjoshi 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 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers,..selengkapnya..
22.21.2515	Case Studies in Systems Biology Pavel Kraikivski Springer Nature Switzerland AG, 2021 Klasifikasi Biological Sciences Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	BIOLOGY This book provides case studies that can be used in Systems Biology related classes. Each case study has the same structure which answers the following questions: What is the biological..selengkapnya..
22.21.2516	Modelling Puzzles in First Order Logic Adrian Groza 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 COMPUTER LOGIC, Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical..selengkapnya..
22.21.2517	Machine-Type Communication for Maritime Internet-of-Things : From Concept to Practice Michael Mao Wang, Jingjing Zhang Springer Nature Switzerland AG, 2021 Klasifikasi Data communications, computer communications Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER COMMUNICATION SYSTEMS INTERNET OF THINGS, This book introduces the concept of machine-type communication (MTC) for maritime Internet of Things. The first part of the book portrays a maritime MTC system from an architectural perspective and..selengkapnya..
22.21.2518	Advances in Model and Data Engineering in the Digitalization Era:MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings Ladjel Bellatreche, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Data in Computer Systems Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	DATA BASES DATA BASE MANAGEMENT, This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia,..selengkapnya..