Katalog
Leveraging Applications of Formal Methods, Verification and Validation...
Tiziana Margaria, Bernhard Steffen
Springer Cham, 2022
005.1 - software engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Artificial Intelligence,
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Leveraging Applications of Formal Methods, Verification and Validation...
Tiziana Margaria, Bernhard Steffen
Springer Cham, 2022
005.1 - software engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Artificial Intelegence,
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Leveraging Applications of Formal Methods, Verification and Validation...
Tiziana Margaria, Bernhard Steffen
Springer Cham, 2022
005.1 - software engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Artificial Intelegence,
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Leveraging Applications of Formal Methods, Verification and Validation...
Tiziana Margaria, Bernhard Steffen
Springer Cham, 2022
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Logic Programming and Nonmonotonic Reasoning : 16th International..
Georg Gottlob, Daniela Inclezan, Marco Maratea
Springer Cham, 2022
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelegence
Computer Logic,
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Low Cost Portable Photometer for Measurement of Dye..
FA-IQ IRFAN
Universitas Telkom, S1 Teknik Fisika, 2023
620.11 - Engineering Materials
Karya Ilmiah - Skripsi (S1) - Reference - Non-Sirkulasi
Engineering - Materials
Tersedia 1 koleksi dari total 1 koleksi
tersedia 22 file download
Mathematical Optimization Theory and Operations Research: Recent Trends:..
Yury Kochetov, Anton Eremeev, Oleg Khamisov, Anna Rettieva
Springer Cham, 2022
004.015 1 - Computer Mathematics, mathematical principles
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Mathematics
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Method Meets Art: Arts-Based Research Practice, 3/E.
Patricia Leavy
The Guilford Press, 2020
700.7 - Education, Research, related topics of the Arts
Buku - Circulation (Dapat Dipinjam) - Sirkulasi
Qualitative Research
Art And Society, Art And Science
METODE DETEKSI OBYEK BERBASIS COMPUTER VISION DAN DEEP..
SYIFA`UL ERDIANINGTYAS
Universitas Telkom, S1 Teknik Telekomunikasi, 2023
621.38 2 - Signal processing, Information theory
Karya Ilmiah - Skripsi (S1) - Reference - Non-Sirkulasi
Pengolahan Sinyal Informasi
Tersedia 1 koleksi dari total 1 koleksi
tersedia 24 file download
Model-Driven Organizational and Business Agility: Second International Workshop,..
Eduard Babkin, Joseph Barjis, Pavel Malyzhenkov, Vojt?ch Merunka
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
