Tools and algorithms for the construction and analysis of systems
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Constructio…
- Edisi
- -
- ISBN/ISSN
- 9783030174651
- Deskripsi Fisik
- pages cm
- Judul Seri
- -
- No. Panggil
- 005.1 TOO t
Hasil Pencarian
Ditemukan 1 dari pencarian Anda melalui kata kunci: Pengarang : Zhang, Lijun
Permintaan membutuhkan 0.00041 detik untuk selesai
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah