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
862 863 864 865 866 167794 results (page 864/16780)
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.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.1437	Research and Education in Urban History in the Age of Digital Libraries Third International Workshop, UHDL 2023, Munich, Germany, March 27-28, 2023, Revised Selected Papers Sander Münster, Aaron Pattee, Cindy Kröber, Florian Niebling Springer Cham, 2023 Klasifikasi Digital Library Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	DIGITAL LIBRARIES
24.21.1434	Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21–25, 2022, Proceedings, Part IV Jean-Jacques Rousseau, Bill Kapralos Springer Cham, 2023 Klasifikasi Pattern recognition; computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	PATTERN RECOGNITION
24.21.1443	Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21–25, 2022, Proceedings, Part I Jean-Jacques Rousseau, Bill Kapralos Springer Cham, 2023 Klasifikasi Pattern recognition; computer science Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	PATTERN RECOGNITION
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.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.1447	IT Applications for Sustainable Living Muhamad Husaini Abu Bakar, Tajul Adli Abdul Razak, Andreas Öchsner Springer Nature Switzerland, 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	APPLICATION PROGRAMM The Internet of Things (IoT) has emerged as a new paradigm that connects the physical world with the digital world. It is a network of interconnected devices, sensors, and objects..selengkapnya..
24.21.1407	Euro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings José Cano, Marios D. Dikaiakos, George A. Papadopoulos, Miquel Pericàs, Rizos Sakellariou Springer Nature Switzerland, 2023 Klasifikasi Distributed-Parameter System Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	DISTRIBUTED PARAMETER SYSTEMS PARALLEL COMPUTING, This book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023. The 49 full papers presented in this..selengkapnya..
24.21.1444	Computer, Communication, and Signal Processing. AI, Knowledge Engineering and IoT for Smart Systems: 7th IFIP TC 12 International Conference, ICCCSP 2023, Chennai, India, January 4–6, 2023, Revised Selected Papers Eunika Mercier-Laurent, Xavier Fernando, Aravindan Chandrabose Springer Nature Switzerland, 2023 Klasifikasi Computer communication Buku - Elektronik (E-Book) (Non-Sirkulasi) tersedia 1 koleksi total 1 koleksi tersedia 1 file download	COMPUTER COMMUNICATIONS This book constitutes the refereed proceedings of the 7th International Conference on Computer, Communication, and Signal Processing, ICCCSP 2023, held in Chennai, India, during January 4–6, 2023, in hybrid mode. The..selengkapnya..