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
860 861 862 863 864 167794 results (page 862/16780)
24.21.1427	Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I José Abdelnour Nocera, Marta Kristín Lárusdóttir, Helen Petrie, Antonio Piccinno, Marco Winckler Springer Nature Switzerland, 2023 Klasifikasi Data Processing-Psychological Principles; human-computer interaction; human factors in data processing and computer science; usability Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	HUMAN COMPUTER INTERACTION The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023, held in York, UK, in August/September 2023. The..selengkapnya..
24.21.1426	Service Science CCF 16th International Conference, ICSS 2023, Harbin, China, May 13–14, 2023, Revised Selected Papers Zhongjie Wang, Shangguang Wang, Hanchuan Xu Springer Cham, 2023 Klasifikasi Data processing, Computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER SCIENCE
24.21.1425	Human Aspects of Information Security and Assurance: 17th IFIP WG 11.12 International Symposium, HAISA 2023, Kent, UK, July 4–6, 2023, Proceedings Steven Furnell, Nathan Clarke Springer Cham, 2023 Klasifikasi software engineering Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	SOFTWARE ENGINEERING
24.21.1424	Chronicles: Formalization of a Temporal Model Thomas Guyet, Philippe Besnard Springer Cham, 2023 Klasifikasi Computer science- system- computer modeling and simulation Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER MODELING AND SIMULATION
24.21.1423	Reinforcement Learning for Maritime Communications Liang Xiao, Helin Yang, Weihua Zhuang, Minghui Min Springer Cham, 2023 Klasifikasi Special Computer Methods- Artificial intelligence Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	ARTIFICIAL INTELLIGENCE
24.21.2114	High Performance Computing: ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21–25, 2023, Revised Selected Papers Amanda Bienz, Michèle Weiland, Marc Baboulin, Carola Kruse Springer Nature Switzerland, 2023 Klasifikasi Data processing, Computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	HIGH PERFORMANCE COMPUTING This volume constitutes the papers of several workshops which were held in conjunction with the 38th International Conference on High Performance Computing, ISC High Performance 2023, held in Hamburg, Germany,..selengkapnya..
24.21.1422	Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28–30, 2023, Revised Selected Papers Leonid Sokolinsky, Mikhail Zymbler Springer Cham, 2023 Klasifikasi Data processing, Computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	PARALLEL COMPUTING
24.21.1421	Cellular Automata and Discrete Complex Systems: 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023, Proceedings Luca Manzoni, Luca Mariot, Dipanwita Roy Chowdhury Springer Nature Switzerland, 2023 Klasifikasi Computer Mathematics, mathematical principles Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER MATHEMATICS This book constitutes the proceedings of the 29th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2023, which took place in Trieste, Italy, in August/September..selengkapnya..
24.21.1420	Concise Guide to Software Verification: From Model Checking to Annotation Checking Marieke Huisman, Anton Wijs Springer Cham, 2023 Klasifikasi software engineering Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	SOFTWARE ENGINEERING
24.21.1419	Computer-Human Interaction Research and Applications 5th International Conference, CHIRA 2021, Virtual Event, October 28–29, 2021, and 6th International Conference, CHIRA 2022, Valletta, Malta, October 27–28, 2022, Revised Selected Papers Andreas Holzinger, Hugo Plácido da Silva, Jean Vanderdonckt, Larry Constantine Springer Nature Switzerland, 2023 Klasifikasi Data Processing-Psychological Principles; human-computer interaction; human factors in data processing and computer science; usability Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	HUMAN COMPUTER INTERACTION This post-conference book constitutes selected papers of the Fifth International Conference on Computer-Human Interaction Research and Applications, CHIRA 2021, held virtually due to COVID 19, and Sixth International Conference on..selengkapnya..