24.21.2071

Formal Methods for Industrial Critical Systems: 28th International..

Alessandro Cimatti, Laura Titolo
Springer Nature Switzerland, 2023

005.13 - Programming language
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computer Logic
Programming Language,

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.21.2027

Fundamentals of Computation Theory: 24th International Symposium, FCT..

Henning Fernau, Klaus Jansen
Springer Nature Switzerland, 2023

004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computer Science

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.21.2069

Guide to Cybersecurity in Digital Transformation: Trends, Methods,..

Dietmar P.F. Möller
Springer Cham, 2023

005.8 - Data Security
Buku - Elektronik (E-Book) - Non-Sirkulasi

Cyber Security

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.21.2035

Higher Education Learning Methodologies and Technologies Online

Giovanni Fulantelli, Daniel Burgos, Gabriella Casalino, et al
Springer, 2023

378 - Higher education, College education, University education, Universities
Buku - Elektronik (E-Book) - Non-Sirkulasi

Higher Education

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.04.5857

Identifikasi Kebutuhan dan Pemodelan Perangkat Lunak pada ..

YANUAR FIRDAUS
Universitas Telkom, S1 Rekayasa Perangkat Lunak, 2024

005.12 - Software System Analysis and Design
Karya Ilmiah - Skripsi (S1) - Reference - Non-Sirkulasi

Software Requirements

Tersedia 1 koleksi dari total 1 koleksi
tersedia 17 file download

24.21.2099

Image Analysis 22nd Scandinavian Conference, SCIA 2023, Sirkka, Finland,..

Rikke Gade, Michael Felsberg, Joni-Kristian Kämäräinen
Springer Cham, 2023

004 - Data processing, Computer science
Buku - Elektronik (E-Book) - Non-Sirkulasi

Image Processing

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.21.2095

Image and Video Technology 10th Pacific-Rim Symposium, PSIVT 2022,..

Han Wang, Wei Lin, Paul Manoranjan, Guobao Xiao, Kap Luk Chan, Xiaonan Wang, … Haoge Jiang
Springer Cham, 2023

600 - Technology (Applied Science)
Buku - Elektronik (E-Book) - Non-Sirkulasi

Technological Innovations - Production

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.21.2084

Information Systems: 19th European, Mediterranean, and Middle Eastern..

Maria Papadaki, Paulo Rupino da Cunha, Marinos Themistocleous, Klitos Christodoulou
Springer Cham, 2023

005.372 - Information System-Research Method
Buku - Elektronik (E-Book) - Non-Sirkulasi

Information System

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.21.2097

Information Technologies and Intelligent Decision Making Systems: Second..

Arthur Gibadullin
Springer Cham, 2023

658.403 2 - Decision making-System theory and analysis, Critical path method(CPM), Network analysis, Program evaluation review technique(PERT)
Buku - Elektronik (E-Book) - Non-Sirkulasi

Decision Making-system Theory & Analysis

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

24.21.2088

Information, Communication and Computing Technology 8th International Conference, ICICCT..

Jemal Abawajy, João Manuel R.S. Tavares, Latika Kharb, Deepak Chahal, Ali Bou Nassif
Springer Cham, 2023

005 - information technology
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computational Intelligence

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download