Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

Koleksi

Katalog

Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
22.21.602 - Luca Pulina, Martina Seidl

Barcode

22.21.602-1

Kondisi

Tersedia

Tanggal masuk

14 March 2022

Informasi Koleksi

Unit

Asal penerimaan

Sumbangan

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali