Katalog
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Alessandro Gianola
Springer Cham, 2023
621.382 - Artificial intelligence, Big data. Electrical engineering.
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelegence
Computer Science, General, Artificial Intelligence, It In Business
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Verified Software. Theories, Tools and Experiments. 14th International Conference,..
Akash Lal, Stefano Tonetta
Springer Cham, 2023
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
WAIC and WBIC with R Stan
Joe Suzuki
Springer Singapore, 2023
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelegence
Machine Learning, Statistics And Computing/statistics Programs, Computational Intelligence, Data Structures And Information Theory
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Web and Big Data 6th International Joint Conference, APWeb-WAIM..
Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa
Springer Cham, 2023
004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi
Big Data
Image Processing And Computer Vision, Computer Imaging, Vision, Pattern Recognition And Graphics, Signal, Image And Speech Processing, Computer Communication Networks, Data Mining And Knowledge Discovery
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Web and Big Data 6th International Joint Conference, APWeb-WAIM..
Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa
Springer Cham, 2023
004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi
Big Data
Image Processing And Computer Vision, Computer Imaging, Vision, Pattern Recognition And Graphics, Signal, Image And Speech Processing, Computer Communication Networks, Data Mining And Knowledge Discovery
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Web and Wireless Geographical Information Systems: 20th International..
Mir Abolfazl Mostafavi, Géraldine Del Mondo
Springer Cham, 2023
910.285 - Geographic information systems
Buku - Elektronik (E-Book) - Non-Sirkulasi
Geographical Information Systems
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Web Engineering: 3rd International Conference, ICWE 2023, Alicante,..
Irene Garrigós, Juan Manuel Murillo Rodríguez, Manuel Wimmer
Springer Cham, 2023
006.7 - Multimedia system, Web Design, video interactive
Buku - Elektronik (E-Book) - Non-Sirkulasi
Web Programming
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Web Information Systems Engineering – WISE 2023
Feng Zhang, Hua Wang, Mahmoud Barhamgi, Lu Chen, Rui Zhou
Springer Singapore, 2023
005.1 - software engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Informations System
Computer Applications
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Wireless and Satellite Systems: 13th EAI International Conference,..
Sun-Yuan Hsieh, Ling-Ju Hung, Chia-Wei Lee
Springer Cham, 2023
621.384 - Radio and Radar, Broadcasting stations, Engineering works on radio and television, on Wireless Communication
Buku - Elektronik (E-Book) - Non-Sirkulasi
Wireless Communication System
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Women's Social Entrepreneurship: Case Studies from the United..
Panagiotis Kyriakopoulos
Taylor & Francis, 2023
338.04 - Entrepreneurship
Buku - Elektronik (E-Book) - Non-Sirkulasi
Social Entrepreneurship
Women Social Reformers,
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
