Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

Informasi Dasar

63 kali
16.21.2112
005.13
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 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

1 Koleksi
1 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
  • UWI1C2 - LITERASI TEKNOLOGI
  • UCKXDDB2 - LITERASI TEKNOLOGI
  • UCKXDDB2 - Literasi Teknologi
  • UCKXDDB2 - Literasi Teknologi
  • UCKXDDB2 - Literasi Teknologi
  • CCK1CAB3 - Logika Matematika
  • CDK1DAB3 - Logika Matematika
  • CDK1HAB3 - Organisasi dan Arsitektur Komputer
  • CDK2GDB2 - Wawasan Global TIK
  • CAK6DHB4 - KOMPUTASI AWAN
  • CBK2GAB2 - Wawasan Global TIK
  • UCKXDDB2 - LITERASI TEKNOLOGI
  • ACK2DAB3 - Komputasi Awan
  • CBK1AAB3 - Logika Matematika
  • CBK2EAB3 - Organisasi dan Arsitektur Komputer
  • CDK1GAB4 - Algoritma Pemrograman
  • CBK1HAB4 - Algoritma Pemrograman

Download / Flippingbook

diunduh 38 kali
 

Ulasan

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