Katalog
Computer Aided Verification: 33rd International Conference, CAV 2021,..
Alexandra Silva, K. Rustan M. Leino
Springer Cham, 2021
004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Science
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Computer Aided Verification: 33rd International Conference, CAV 2021,..
Alexandra Silva, K. Rustan M. Leino
Springer Cham, 2021
005.1 - software engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Finance 4.0 - Towards a Socio-Ecological Finance System:..
Marcus M. Dapp, Dirk Helbing, Stefan Klauser
Springer Cham, 2021
650.028 5 - Data processing, Computer applications in business
Buku - Elektronik (E-Book) - Non-Sirkulasi
Business Data Processing
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
From Opinion Mining to Financial Argument Mining
Chung-Chi Chen, Hen-Hsen Huang, Hsin-Hsi Chen
Springer Cham, 2021
006.312 - Data mining
Buku - Elektronik (E-Book) - Non-Sirkulasi
Network Management
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Preparing for Digital Disruption
Erik Schrijvers, Corien Prins, Reijer Passchier
Springer Cham, 2021
005.8 - Data security, access control, computer network security, firewalls
Buku - Elektronik (E-Book) - Non-Sirkulasi
Cyber Security
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Probability in Electrical Engineering and Computer Science: An..
Jean Walrand
Springer Cham, 2021
621.31 - Electrical Engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Electrical Engineering
Neural
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Programming Languages and Systems: 30th European Symposium on..
Nobuko Yoshida
Springer Cham, 2021
005.13 - Programming language
Buku - Elektronik (E-Book) - Non-Sirkulasi
Programming Language
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Ray Tracing Gems II: Next Generation Real-Time Rendering..
Adam Marrs, Peter Shirley, Ingo Wald
Springer Cham, 2021
006.6 - Computer Graphics
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Graphics
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Reception Theory (New Accents)
Robert C. Holub
Routledge, 2002
801.3 - Literature and rhetoric-Philosophy and theory-Value, influence, effect
Buku - Circulation (Dapat Dipinjam) - Sirkulasi
Literature
History,
The Once-Only Principle: The TOOP Project
Robert Krimmer, Andriana Prentza, Szymon Mamrot
Springer Cham, 2021
004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Science
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
