| Judul | Tools and Algorithms for the Construction and Analysis of Systems |
| Pengarang | Armin Biere (Penyunting) David Parker (Penyunting) |
| Penerbitan | Switzerland : Springer, 2020 |
| Konten | Teks |
| Media | Komputer |
| Penyimpan Media | Sumber sambung jaring |
| ISBN | 978-3-030-45237-7 |
| Subjek | Algorithm |
| Bentuk Karya | Tidak ada kode yang sesuai |
| Target Pembaca | Tidak ada kode yang sesuai |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000005802 | ||
| 005 | 20201014112813 | ||
| 007 | ta | ||
| 008 | 201014################|##########|#|## | ||
| 020 | # | # | $a 978-3-030-45237-7 |
| 035 | # | # | $a 0010-1020000039 |
| 245 | # | # | $a Tools and Algorithms for the Construction and Analysis of Systems |
| 264 | # | # | $a Switzerland :$b Springer,$c 2020 |
| 336 | # | # | $a Teks$2 rdacontent |
| 337 | # | # | $a Komputer$2 rdamedia |
| 338 | # | # | $a Sumber sambung jaring$2 rdacarrier |
| 600 | # | 4 | $a Algorithm |
| 700 | 0 | # | $a Armin Biere$e Penyunting |
| 700 | 0 | # | $a David Parker$e Penyunting |
| No | Nama File | Nama File Format Flash | Format File | Action |
| 1 | 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf | algorithm | Baca Online |
Content Unduh katalog
Karya Terkait :