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
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
Modelling and controlling of behaviour for autonomous mobile robots
As research progresses, it enables multi-robot systems to be used in more and more complex and dynamic scenarios. Hence, the question arises how different modelling and reasoning paradigms can be utilised to describe the intended behaviour of a team and execute it in a robust and adaptive manner. Hendrik Skubch presents a solution, ALICA (A Language for Interactive Cooperative Agents) which com…
- Edisi
- -
- ISBN/ISSN
- 9783658008116
- Deskripsi Fisik
- xvii,, 259 hlm. : il. warna.
- Judul Seri
- -
- No. Panggil
- E1516
Computer and computing technologies in agriculture VI; 6th IFIP TC WG 5.14 In…
The two-volume set IFIP AICT 392 and 393 constitutes the refereed post-conference proceedings of the 6th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2012, held in Zhangjiajie, China, in October 2012. The 108 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and a…
- Edisi
- -
- ISBN/ISSN
- 9783642361371
- Deskripsi Fisik
- xvii, 487 hlm. : il.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1176
Computer and computing technologies in agriculture VI; 6th IFIP WG 5.14 Inter…
The two-volume set IFIP AICT 392 and 393 constitutes the refereed post-conference proceedings of the 6th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2012, held in Zhangjiajie, China, in October 2012. The 108 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and a…
- Edisi
- -
- ISBN/ISSN
- 978364236124
- Deskripsi Fisik
- xvii, 455 hlm. : il.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1175
Advanced techniques for knowledge engineering and innovative applications ; 1…
This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spain, in September 2012. The 21 revised papers were carefully reviewed and selected from 254 submissions. Topics of interest include the exploitation of AI techniques, most recent research in informat…
- Edisi
- -
- ISBN/ISSN
- 9783642420177
- Deskripsi Fisik
- xiv, 305 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science (CCIS, volume 246)
- No. Panggil
- E1497
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah