Ditapis dengan
General concepts and techniques : algorithms and theory of computation handbook
Termasuk Bibliografi No Inv.: 138936, 138937/P/Perp/14/2c
- Edisi
- 2nd. ed.
- ISBN/ISSN
- 9781584888222
- Deskripsi Fisik
- xv, ... hlm.
- Judul Seri
- -
- No. Panggil
- 005.1 GEN
Database engine
Bibliografi : hlm. 469; No Inv.: 137489-137493/P/Perp/14/5c
- Edisi
- -
- ISBN/ISSN
- 9799793469873
- Deskripsi Fisik
- xi, 469 hlm.
- Judul Seri
- -
- No. Panggil
- 005.75 KUS d
Emerging intelligent computing technology and applications
"This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computing, ICIC 2013, held in Nanning, China, in July 2013. The 192 revised full papers presented in the three volumes LNCS 7995, LNAI 7996, and CCIS 375 were carefully reviewed and selected from 561 submissions. The papers in this volume (CCIS 375) are organized in topical sections on Neural Netw…
- Edisi
- 1st Ed
- ISBN/ISSN
- -
- Deskripsi Fisik
- xx, 238 hlm.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1269
High performance computing
This book constitutes the refereed proceedings of the National Annual Conference on High Performance Computing, HPC 2012, held in Zhangjiajie, China, in October 2012. The 14 revised full papers presented were carefully reviewed and selected from 260 submissions. The papers address issues such as parallel architecture, GPU computing, resource scheduling, parallel algorithm, and performance evalu…
- Edisi
- -
- ISBN/ISSN
- 9783642415913
- Deskripsi Fisik
- x, 167 hlm. ; il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1325
Combinatorial search: From algorithms to systems
Although they are believed to be unsolvable in general, tractability results suggest that some practical NP-hard problems can be efficiently solved. Combinatorial search algorithms are designed to efficiently explore the usually large solution space of these instances by reducing the search space to feasible regions and using heuristics to efficiently explore these regions. Various mathematical…
- Edisi
- -
- ISBN/ISSN
- 9783642414824
- Deskripsi Fisik
- xiii, 139 hlm. ; il. warna
- Judul Seri
- -
- No. Panggil
- E1322
Asymptotic geometric analysis: proceedings of the fall 2010 fields institute …
Asymptotic Geometric Analysis is concerned with the geometric and linear properties of finite dimensional objects, normed spaces, and convex bodies, especially with the asymptotics of their various quantitative parameters as the dimension tends to infinity. The deep geometric, probabilistic, and combinatorial methods developed here are used outside the field in many areas of mathematics and mat…
- Edisi
- 1
- ISBN/ISSN
- 9781461464068
- Deskripsi Fisik
- x, 395hlm.
- Judul Seri
- Fields Institute Communications
- No. Panggil
- E551
Multicore systems on-chip : practical software/hardware design
System on chips designs have evolved from fairly simple unicore, single memory designs to complex heterogeneous multicore SoC architectures consisting of a large number of IP blocks on the same silicon. To meet high computational demands posed by latest consumer electronic devices, most current systems are based on such paradigm, which represents a real revolution in many aspects in computing. …
- Edisi
- -
- ISBN/ISSN
- 9789491216923
- Deskripsi Fisik
- xxvi, 273 hlm. : il. warna.
- Judul Seri
- Atlantis Ambient and Pervasive Intelligence (ATLANTISAPI, volume 7)
- No. Panggil
- E1544
Microsoft Windows 95 internet kit
Judul asli : "Microsoft Windows 95 Internet Kit"
- Edisi
- Cet. ke-2
- ISBN/ISSN
- 9796631040
- Deskripsi Fisik
- xx, 228 hlm.
- Judul Seri
- -
- No. Panggil
- 004.678 PFA m
The Deductive Spreadsheet
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they curre…
- Edisi
- -
- ISBN/ISSN
- 9783642377471
- Deskripsi Fisik
- xxi, 406 hlm. ; il.
- Judul Seri
- -
- No. Panggil
- E1221
A course on mathematical logic
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares stude…
- Edisi
- 2
- ISBN/ISSN
- 9781461457466
- Deskripsi Fisik
- xii, 198hlm.
- Judul Seri
- Universitext
- No. Panggil
- E514
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah