Ditapis dengan
Computer engineering and technology
This book constitutes the refereed proceedings of the 17th National Conference on Computer Engineering and Technology, NCCET 2013, held in Xining, China, in July 2013. The 26 papers presented were carefully reviewed and selected from 234 submissions. They are organized in topical sections named: Application Specific Processors; Communication Architecture; Computer Application and Software Optim…
- Edisi
- -
- ISBN/ISSN
- 9783642416354
- Deskripsi Fisik
- xiv, 252 hlm. ; il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1327
Logic and structure
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts and facts …
- Edisi
- 5
- ISBN/ISSN
- 9781447145585
- Deskripsi Fisik
- x, 263 hlm.
- Judul Seri
- -
- No. Panggil
- E436
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah