Ditapis dengan
Evaluating information retrieval and access tasks :NTCIR's legacy of research…
This open access book summarizes the first two decades of the NII Testbeds and Community for Information access Research (NTCIR). NTCIR is a series of evaluation forums run by a global team of researchers and hosted by the National Institute of Informatics (NII), Japan. The book is unique in that it discusses not just what was done at NTCIR, but also how it was done and the impact it has achiev…
- Edisi
- -
- ISBN/ISSN
- 9789811555541
- Deskripsi Fisik
- xiii, 219p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.74 EVA e
Anti-fragile ICT systems
This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their stakeholders as complex adaptive systems and argues that traditional risk analyses cannot predict all future incidents with major impacts. To avoid unacceptable events, it is necessary to establish and operate anti-fragile ICT systems that limit the impact of all in…
- Edisi
- -
- ISBN/ISSN
- 9783319300702
- Deskripsi Fisik
- xviii, 151p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.6 HOL a
A journey of embedded and cyber-physical systems :essays dedicated to Peter M…
This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a compre…
- Edisi
- -
- ISBN/ISSN
- 9783030474874
- Deskripsi Fisik
- xv, 176p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.21 JOU j
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
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
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
Specification languages for preserving consistency between models of differen…
When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching …
- Edisi
- -
- ISBN/ISSN
- 9783731507840
- Deskripsi Fisik
- XX, 440 p.
- Judul Seri
- -
- No. Panggil
- 005.1 KRA s
Learning to understand remote sensing images
With the recent advances in remote sensing technologies for Earth observation, many different remote sensors are collecting data with distinctive properties. The obtained data are so large and complex that analyzing them manually becomes impractical or even impossible. Therefore, understanding remote sensing images effectively, in connection with physics, has been the primary concern of the rem…
- Edisi
- -
- ISBN/ISSN
- 9783038976851
- Deskripsi Fisik
- IX, 416 p.
- Judul Seri
- -
- No. Panggil
- 005.133 WAN l
Informatics in the future :proceedings of the 11th European Computer Science …
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which ca…
- Edisi
- -
- ISBN/ISSN
- 9783319557359
- Deskripsi Fisik
- xi, 109p. : ill.
- Judul Seri
- -
- No. Panggil
- 004 INF i
Scaling a software business :the digitalization journey
Software has changed the rules of the game. The world talks about the digitalization in industry and society – how the focus has shifted from producing tangible things towards software and services. This trend started many years ago, but is now affecting every company, whether it’s a software company or not. There are many companies that have already made a digitalization journey – and ma…
- Edisi
- -
- ISBN/ISSN
- 9783319531168
- Deskripsi Fisik
- 265p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1068 SCA s
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah