Filter by
Fundamental Approaches to Software Engineering: 24th International Conference…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- 1
- ISBN/ISSN
- 9783030715007
- Collation
- XIV, 373
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 23rd International Conference…
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-45234-6
- Collation
- XIII, 552
- Series Title
- -
- Call Number
- -
CyberParks – The Interface Between People, Places and Technology: New Appro…
This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies – the penetration of digital technologies in the urban space. As the main outco…
- Edition
- 1
- ISBN/ISSN
- 9783030134174
- Collation
- XV, 323
- Series Title
- -
- Call Number
- -
Intelligent Human Computer Interaction : 9th International Conference, IHCI 2…
Buku ini merupakan hasil dari prosiding Konferensi Internasional ke-9 tentang Interaksi Manusia dan Komputer yang Cerdas, IHCI 2017, yang diadakan di Evry, Prancis, pada bulan Desember 2017. Ke-15 makalah yang dipresentasikan bersama dengan tiga makalah undangan ditinjau dan dipilih secara saksama dari 25 makalah yang diajukan. Konferensi ini merupakan forum untuk presentasi kemajuan teknologi …
- Edition
- -
- ISBN/ISSN
- 978-3-319-72038-8
- Collation
- XVIII, 216 halaman
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 HOR i
Autonomous Control for a Reliable Internet of Services: Methods, Models, Appr…
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…
- Edition
- 1
- ISBN/ISSN
- 9783319904153
- Collation
- XVI, 401
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XIX, 703
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and …
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XX, 545
- Series Title
- -
- Call Number
- -
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Som…
Sistem-Sistem Teknis (Systems-of-Systems, SoS) – dalam bentuk sistem komputasi konstituen independen yang terhubung dan bekerja sama untuk sementara waktu guna mencapai tujuan yang ditetapkan dengan baik – membentuk tulang punggung sebagian besar infrastruktur saat ini. Jaringan energi, sebagian besar sistem transportasi, industri perbankan global, sistem pasokan air, peralatan militer, ban…
- Edition
- -
- ISBN/ISSN
- 9783319475905
- Collation
- 1 online resource (270 Pages)
- Series Title
- -
- Call Number
- 004,678 BON c
Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems
This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate IC…
- Edition
- 1
- ISBN/ISSN
- 9783030107529
- Collation
- -
- Series Title
- -
- Call Number
- -
History and Cultural Memory in Neo-Victorian Fiction
A PDF version of this book is available for free in open access via the OAPEN Library platform, www.oapen.org. Arguing that neo-Victorian fiction enacts and celebrates cultural memory, this book uses memory discourse to position these novels as dynamic participants in the contemporary historical imaginary.
- Edition
- 1
- ISBN/ISSN
- IX, 222
- Collation
- -
- Series Title
- -
- Call Number
- IX, 222
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography