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
3422 3423 3424 3425 3426 167093 results (page 3424/16710)
ittp.0012250	KH. Hasyim Asy'ari: Biografi Singkat 1871-1947 Muhammad Rifai GARASI, 2020 Klasifikasi Buku - Reference (Hanya Baca di Tempat) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi	BIOGRAFI Biografi
ittp.0012249	SOEHARTO: Biografi Singkat 1921–2008 Taufik Adi Susilo GARASI, 2020 Klasifikasi Buku - Reference (Hanya Baca di Tempat) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi	BIOGRAFI Biografi, soeharto
22.21.2446	Serious Games:Joint International Conference, JCSG 2021, Virtual Event, January 12–13, 2022, Proceedings Bobbie Fletcher, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Games of actions Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	GAMES GAMES DESIGN, This book constitutes the refereed proceedings of the 7th Joint International Conference on Serious Games, JCSG 2021, as virtual event, in January 2022. The 17 full papers presented together with 3..selengkapnya..
22.21.2447	Stabilization, Safety, and Security of Distributed Systems : 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings Colette Johnen, Elad Michael Schiller, Stefan Schmid 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	ALGORITHMS APPLICATION SOFTWARE, COMPUTER COMMUNICATION SYSTEMS, This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10..selengkapnya..
22.21.2472	Algorithms on Trees and Graphs: With Python Code Gabriel Valiente Springer, 2021 Klasifikasi Algorithms Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	ALGORITHMS COMPUTER SCIENCE, This textbook introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured pseudocode, with correctness proofs as well as worst-case analyses. Graph algorithms is a well-established..selengkapnya..
22.21.2490	Discrete and Computational Geometry, Graphs, and Games : 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers Jin Akiyama, Reginaldo M. Marcelo, 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	ALGORITHMS COMPUTER SCIENCE-MATHEMATICS, This book constitutes the thoroughly refereed post-conference proceedings of the 21st Japanese Conference on Discrete and Computational Geometry and Graphs, JCDCGGG 2018, held in Quezon City, Philippines, in September 2018. The..selengkapnya..
22.21.2501	Reachability Problems : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings Paul C. Bell, Patrick Totzke, et al. Springer Nature Switzerland AG, 2021 Klasifikasi Computer Mathematics, mathematical principles Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	ALGORITHMS COMPUTER LOGIC, This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021. The 6 full papers presented were carefully reviewed..selengkapnya..
22.21.2494	Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings Tiziana Margaria, Bernhard Steffen Springer, 2021 Klasifikasi Program for Personal Computer, Aplication Program, Information System Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	APPLICATION PROGRAMS COMPUTER SCIENCE, This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification..selengkapnya..
22.21.2434	Artificial Intelligence for Human Computer Interaction: A Modern Approach Yang Li, Otmar Hilliges 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 interaction, This edited book explores the many interesting questions that lie at the intersection between AI and HCI. It covers a comprehensive set of perspectives, methods and projects that present the..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..