Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

Informasi Dasar

16.21.2112
005.13
Buku - Elektronik (E-Book)
2

Subjek

PROGRAMMING LANGUAGE
MATHEMATICAL LOGIC

Katalog

Logical Foundations of Computer Science
978-3-642-35722-0
 
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Sergei Artemov, Anil Nerode
Perorangan
 
 

Penerbit

Springer Berlin Heidelberg
 
2013

Koleksi

Kompetensi

  • 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

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini