Ditapis dengan
Computational models of argument :proceedings of COMMA 2016
Research into computational models of argument is a rich interdisciplinary field involving the study of natural, artificial and theoretical argumentation and requiring openness to interactions with a variety of disciplines, ranging from philosophy and cognitive science to formal logic and graph theory. The ultimate aim is to support the development of computer-based systems able to engage in ar…
- Edisi
- -
- ISBN/ISSN
- 9781614996866
- Deskripsi Fisik
- viii, 483 p.; 22 cm.
- Judul Seri
- -
- No. Panggil
- 004.06 COM c
Digital material :tracing new media in everyday life and technology
Three decades of societal and cultural alignment of new media have yielded a host of innovations, trials, and problems, accompanied by versatile popular and academic discourse. New Media Studies crystallized internationally into an established academic discipline, and this begs the question: where do we stand now? Which new questions are emerging now that new media are being taken for granted, …
- Edisi
- -
- ISBN/ISSN
- 9789089640680
- Deskripsi Fisik
- 303 p.
- Judul Seri
- -
- No. Panggil
- 070.4 DIG d
The Internet of everything :advances, challenges and applications
In the era before IoT, the world wide web, internet, web 2.0 and social media made people’s lives comfortable by providing web services and enabling access personal data irrespective of their location. Further, to save time and improve efficiency, there is a need for machine to machine communication, automation, smart computing and ubiquitous access to personal devices. This need gave birth t…
- Edisi
- -
- ISBN/ISSN
- 9783110628517
- Deskripsi Fisik
- VIII, 176 p.
- Judul Seri
- -
- No. Panggil
- 004.678 INT i
Tools and algorithms for the construction and analysis of systems
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot…
- Edisi
- -
- ISBN/ISSN
- 9783030174651
- Deskripsi Fisik
- pages cm
- Judul Seri
- -
- No. Panggil
- 005.1 TOO t
Dividing texts :conventions of visual text-organization in Nepalese and North…
The number of manuscripts produced in the Indian sub-continent is astounding and is the result of a massive enterprise that was carried out over a vast geographical area and over a vast stretch of time. Focusing mainly on areas of Northern India and Nepal between 800 to 1300 CE and on manuscripts containing Sanskrit texts, the present study investigates a fundamental and so far rarely studied a…
- Edisi
- -
- ISBN/ISSN
- 9783110543087
- Deskripsi Fisik
- XII, 376 p.
- Judul Seri
- -
- No. Panggil
- 091.0954960902 BHA d
Error-correction coding and decoding :bounds, codes, decoders, analysis and a…
This book discusses both the theory and practical applications of self-correcting data, commonly known as error-correcting codes. The applications included demonstrate the importance of these codes in a wide range of everyday technologies, from smartphones to secure communications and transactions. Written in a readily understandable style, the book presents the authors’ twenty-five years of …
- Edisi
- -
- ISBN/ISSN
- 9783319511030
- Deskripsi Fisik
- xx, 522p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.717 ERR e
Model-driven development and operation of multi-cloud applications :the MODAC…
This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MODAClouds approach and explain how it operates in…
- Edisi
- -
- ISBN/ISSN
- 9783319460314
- Deskripsi Fisik
- viii. 149p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.6782 MOD m
Security of networks and services in an all-connected world :11th IFIP WG 6.6…
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in July 2017. The 8 full papers presented together with 11 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: security ma…
- Edisi
- -
- ISBN/ISSN
- 9783319607740
- Deskripsi Fisik
- xx, 192p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.6 SEC s
Continuing professional development - preparing for new roles in libraries :a…
Librarians and information workers the world over are faced with the constant challenge of remaining abreast of developments in their field. Rapid changes in technology and workplace roles threaten to make their skills obsolete unless they undertake constant professional development. This international collection presents a comprehensive overview of current continuing professional development t…
- Edisi
- -
- ISBN/ISSN
- 9783598440168
- Deskripsi Fisik
- 307 p.
- Judul Seri
- -
- No. Panggil
- 020.7155 CON c
Product lines for digital information products
Digital information products are an important class of widely used digital products, whose core benefit is the delivery of information or education (e.g., electronic books, online newspapers, e-learning courses).This book introduces a novel and systematic approach, Product Lines for Digital Information Products (PLANT), which focuses on the creation of variants of such products within a product…
- Edisi
- -
- ISBN/ISSN
- 9783866441330
- Deskripsi Fisik
- -
- Judul Seri
- -
- No. Panggil
- 004.71 PAN p
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah