Ditapis dengan
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
Excel 2010 for biological and life sciences statistics: a guide to solving pr…
This is the first book to show the capabilities of Microsoft Excel to teach biological and life sciences statistics effectively. It is a step-by-step exercise-driven guide for students and practitioners who need to master Excel to solve practical science problems. If understanding statistics isn’t your strongest suit, you are not especially mathematically-inclined, or if you are wary of com…
- Edisi
- 1
- ISBN/ISSN
- 9781461457794
- Deskripsi Fisik
- xvii, 236hlm.
- Judul Seri
- -
- No. Panggil
- E515
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
Intelligent interactive technologies and multimedia : Second International Co…
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Interactive Technologies and Multimedia, IITM 2013, held in Allahabad, India, in March 2013. The 15 revised full papers and the 12 revised short papers were carefully reviewed and selected from more than 90 submissions. The papers present the latest research and development in the areas of intel…
- Edisi
- -
- ISBN/ISSN
- 9783642374630
- Deskripsi Fisik
- xvi, 349 hlm. ; il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1216
SemProM : foundations of semantic product memories for the internet of things
The development of low-cost, compact digital storage, sensors and radio modules allows us to embed digital memories into products to record key events. Such computationally enhanced products can perceive and control their environment, analyze their observations, and communicate with other smart objects and human users. Digital product memories (DPMs) will play a key role in the upcoming fourth …
- Edisi
- -
- ISBN/ISSN
- 9783642373770
- Deskripsi Fisik
- xv, 400 hlm. : il warna.
- Judul Seri
- Cognitive Technologies
- No. Panggil
- E1212
Technological innovation for the internet of things : 4th IFIP WG 5.5/SOCOLNE…
This book constitutes the refereed proceedings of the 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, held in Costa de Caparica, Portugal, in April 2013. The 69 revised full papers were carefully reviewed and selected from numerous submissions. They cover a wide spectrum of topics ranging from collaborative enterprise networks to microe…
- Edisi
- -
- ISBN/ISSN
- 9783642372919
- Deskripsi Fisik
- xviii, 657 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1210
Intelligent computing for sustainable energy and environment : Second Interna…
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2012, held in Shanghai, China, in September 2012. The 60 full papers presented were carefully reviewed and selected from numerous submissions and present theories and methodologies as well as the emerging applications of intelligent computi…
- Edisi
- -
- ISBN/ISSN
- 9783642371059
- Deskripsi Fisik
- xiv, 560 hlm.
- Judul Seri
- -
- No. Panggil
- E1205
Agents and artificial intelligence : 4th International Conference, ICAART 201…
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Agents and Artificial Intelligence, ICAART 2012, held in Vilamoura, Portugal, in February 2012. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 292 submissions. The papers are organized in two topical sections on artifici…
- Edisi
- -
- ISBN/ISSN
- 9783642369070
- Deskripsi Fisik
- xiv, 449 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1202
Cyber security and privacy
This book constitutes the thoroughly refereed, selected papers on Cyber Security and Privacy EU Forum 2013, held in Belgium, in April 2013. The 14 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on cloud computing, security and privacy management, security and privacy technology, security and privacy policy.
- Edisi
- -
- ISBN/ISSN
- 9783642412059
- Deskripsi Fisik
- xiv, 177 hlm. ; il. warna
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1313
TV-Anytime : paving the way for personalized tv
Television is a mature mass media with close to eight decades of regular broadcasts since its beginnings in Germany, the UK and the USA. Today, despite the spectacular growth of the Internet and social networks, television is still the leading medium for entertainment and information across the world, exerting an unparalleled influence on public opinion. Until recently television had undergone …
- Edisi
- -
- ISBN/ISSN
- 9783642367663
- Deskripsi Fisik
- xx, 199 hlm.
- Judul Seri
- X.media.publishing
- No. Panggil
- E1197
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah