Katalog
Progress in Artificial Intelligence : 21st EPIA Conference..
Goreti Marreiros, Bruno Martins, Ana Paiva, Bernardete Ribeiro, Alberto Sardinha
Springer Cham, 2022
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelegence
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Quantum Key Distribution Networks : A Quality of..
Miralem Mehic, Stefan Rass, Peppino Fazio, Miroslav Voznak
Springer Cham, 2022
004.6 - Data communications, computer communications
Buku - Elektronik (E-Book) - Non-Sirkulasi
Network-management
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Responsible Data Science: Select Proceedings of ICDSE 2021
Jimson Mathew, G. Santhosh Kumar, Deepak P., Joemon M. Jose
Springer Singapore, 2022
005.7 - Data in Computer Systems
Buku - Elektronik (E-Book) - Non-Sirkulasi
Data Science
Search-Based Software Engineering: 14th International Symposium, SSBSE 2022,..
Mike Papadakis, Silvia Regina Vergilio
Springer Cham, 2022
005.1 - software engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Serious Games : Joint International Conference, JCSG 2022,..
Heinrich Söbke, Pia Spangenberger, Philipp Müller, Stefan Göbel
Springer Cham, 2022
793.4 - Games of actions
Buku - Elektronik (E-Book) - Non-Sirkulasi
Games-computer Application
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Services Computing – SCC 2022: 19th International Conference,..
Wang Qingyang, Liang-Jie Zhang
Springer Cham, 2022
004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Science
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Social Justice, Media and Technology in Teacher Education:..
Maria Ranieri, Marta Pellegrini, Laura Menichetti, Alice Roffi, Damiana Luzzi
Springer Cham, 2022
371.1 - Teachers and teaching, and related activities
Buku - Elektronik (E-Book) - Non-Sirkulasi
Teaching
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Software Verification and Formal Methods for ML-Enabled Autonomous..
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Springer Cham, 2022
005.1 - software engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Formal Methods,
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Supercomputing: 8th Russian Supercomputing Days, RuSCDays 2022, Moscow,..
Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev
Springer Cham, 2022
004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Science
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Telecommunications and Remote Sensing: 11th International Conference, ICTRS..
Boris Shishkov, Andon Lazarov
Springer Cham, 2022
621.367 8 - Remote Sensing Technology
Buku - Elektronik (E-Book) - Non-Sirkulasi
Remote Sensing
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
