Logical Foundations of Computer Science
Sergei Artemov, Anil Nerode
Informasi Umum
Kode
16.21.2112
Klasifikasi
005.13 - Language Programming, Coding of Programs, Source Code
Jenis
Buku - Elektronik (E-Book)
Subjek
Programming Language, Mathematical Logic
No. Rak
2
Informasi Lainnya
- CSH6B3 - LOGIC AND REASONING IN THE SEMANTIC WEB
- CII1F4 - ALGORITMA PEMROGRAMAN
- CII1B3 - LOGIKA MATEMATIKA
- CII2I2 - WAWASAN GLOBAL TIK
- CII4P3 - KOMPUTASI BERKINERJA TINGGI
- CII2A3 - ORGANISASI DAN ARSITEKTUR KOMPUTER
- CII4H3 - SISTEM PEMBERI REKOMENDASI
- UWI1C2 - LITERASI TEKNOLOGI INFORMASI DAN KOMUNIKASI (TIK)
- ISI4V3 - KOMPUTASI AWAN UNTUK ENTERPRISE
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Sergei Artemov, Anil Nerode |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Berlin Heidelberg |
| Kota | |
| Tahun | 2013 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
Download / Flippingbook
diunduh 38 kali
