Filter by
Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99527-0
- Collation
- xxi, 493p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
Participative Urban Health and Healthy Aging in the Age of AI: 19th Internati…
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI f…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-09593-1
- Collation
- xi, 312p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Par
Agile Processes in Software Engineering and Extreme Programming: 23rd Interna…
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present a…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08169-9
- Collation
- x, 237p.: Ill
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- 005.1 Agi
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations
This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality softwa…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-83128-8
- Collation
- vi, 293p.: Ill.
- Series Title
- -
- Call Number
- 005.101 Ern
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-13185-1
- Collation
- xix, 555p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.101 Com
Fundamental Approaches to Software Engineering: 25th International Conference…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 subm…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99429-7
- Collation
- xiv, 347p.: ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.101 Fun
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical section…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81685-8
- Collation
- xxiv, 922p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 Com
Agile Processes in Software Engineering and Extreme Programming – Workshops…
This open access book constitutes papers from the 5 research workshops, the poster presentations, as well as two panel discussions which were presented at XP 2021, the 22nd International Conference on Agile Software Development, which was held online during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where ag…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-88583-0
- Collation
- xiii, 231p.: Ill
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- 005.1 Agi
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81688-9
- Collation
- xxiii, 940p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 Com
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-71995-1
- Collation
- xv, 574p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Fou
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72013-1
- Collation
- xxi, 465p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
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
- 978-3-030-71500-7
- Collation
- xiv, 373p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Fun
Building Better Interfaces for Remote Autonomous Systems: An Introduction for…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-47775-2
- Collation
- xii, 127p.: Ill.
- Series Title
- Human–Computer Interaction Series
- Call Number
- 005.437 Our b
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72016-2
- Collation
- xxi, 471p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.21 Too
Integration of Reusable Systems
Software reuse and integration has been described as the process of creating software systems from existing software rather than building software systems from scratch. Whereas reuse solely deals with the artifacts creation, integration focuses on how reusable artifacts interact with the already existing parts of the specified transformation. Currently, most reuse research focuses on creating a…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-04717-1
- Collation
- x, 342p.: Ill.
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 005.12 Int
IMPLEMENTASI ALARM PERTANDA MEMULAI DAN PERGANTIAN SET PADA PERTANDINGAN BADM…
Scoreboard is an information medium to display information such as in badminton matches. In previous research, it has been able to design a digital scoreboard using Arduino Uno, NodeMCU ESP8266, android software, and led matrix p10, where arduino uno functions as a microcontnroller to manage the display system of the scoreboard, NodeMCU ESP8266 as communication software android and arduino uno,…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xiv, 33 hlm.; Ilus.; 29 cm
- Series Title
- -
- Call Number
- T864482023
PROTOTYPE SISTEM KEAMANAN KOTAK AMAL MENGGUNAKAN FINGERPRINT BERBASIS TELEGRA…
The focus of this research is to design a prototype of a charity box security system using fingerprints. Along with the increase in criminal acts in charity boxes, one of which is theft and burglary. The author's idea is to build or design an additional security system with a Fingerprint as input to a charity box that acts as access to open a charity box. In this research, the safe security sys…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xiv, 37 hlm.; Ilus.; 29 cm
- Series Title
- -
- Call Number
- T1278132023
PENGARUH FAKTOR MODERASI SISTEM INFORMASI TERHADAP BUDAYA ORGANISASI DALAM ME…
Performance excellence in a faculty is measured by how much knowledge each student has. Knowledge sharing has an important role in maximizing individual performance in an organization or educational institution. Knowledge sharing is indeed important, but in another matter the problem is when students have engaged in knowledge sharing behavior, because this can cause obstacles to success in perf…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xvi, 85 hlm.; Ilus.; 29 cm
- Series Title
- -
- Call Number
- T964792023
SISTEM DETEKSI SERANGAN SIBER PADA JARINGAN SCADA PROTOKOL IEC 60870-5-104 ME…
Supervisory and Data Acquisition (SCADA) plays an important role in industry by providing process automation, centralized control and monitoring processes. SCADA is designed for closed areas with special protocols that are isolated from the internet, but modern SCADA systems are required to be connected to one or more other network protocols to make it easier to access the SCADA system from het…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xvi, 125 hlm.; ilus.; 29 cm
- Series Title
- -
- Call Number
- T1264322023
DESAIN SISTEM MONITORING PENDETEKSI TEMPERATUR LEBIH PADA MODUL SURYA DENGAN …
The source of electrical energy comes from fossil fuels, so it is necessary to develop new and renewable energy sources such as Solar Power Plants (PLTS) which utilize solar energy to produce electrical energy. The increase in solar radiation causes the efficiency produced by the solar module as the main component of PLTS to be not optimal and the use of data loggers as a recorder for solar mod…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xvii, 78 hlm.; Ilus.; 29 cm
- Series Title
- -
- Call Number
- T1007402023
Recent Advances in Agent-based Negotiation
This volume comprises carefully selected and reviewed outcomes of the 12th International Workshop on Automated Negotiations (ACAN) held in Macao, 2019, in conjunction with International Joint Conference on Artificial Intelligence (IJCAI) 2019. It focuses on human aspects of automated negotiation and the recent advances in negotiation frameworks and strategies. Written by leading academic and in…
- Edition
- -
- ISBN/ISSN
- 978-981-16-0471-3
- Collation
- xii, 119p.:Ill
- Series Title
- Studies in Computational Intelligence
- Call Number
- 006.302 854 36 Rec
Recent Innovations in Computing
This book features selected papers presented at the 3rd International Conference on Recent Innovations in Computing (ICRIC 2020), held on 20–21 March 2020 at the Central University of Jammu, India, and organized by the university’s Department of Computer Science & Information Technology. It includes the latest research in the areas of software engineering, cloud computing, computer networks…
- Edition
- 1
- ISBN/ISSN
- 978-981-15-8297-4
- Collation
- xx, 873p.:Ill
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 005.1 Rec
Proceedings of the First International Workshop on Intelligent Software Autom…
This book is a collection of research papers presented at the International Workshop on Intelligent Software Engineering Automation (ISEA 2020) in the 27th Asia-Pacific Software Engineering Conference (APSEC 2020), during 1–4 December 2020 in Singapore. The book discusses automated tools and techniques which are required to reflect over business knowledge to identify what is missing or could …
- Edition
- 1
- ISBN/ISSN
- 978-981-16-1045-5
- Collation
- x, 65p.:Ill
- Series Title
- -
- Call Number
- 005.1 Pro
Systems and Information Sciences
This book constitutes the proceedings of the 1st International Conference on Systems and Information Sciences (ICCIS), held in Manta, Ecuador, from July 27 to 29, 2020, and was jointly organized by Universidad Laica Eloy Alfaro de Manabí “ULEAM”, in collaboration with GDEON. ICCIS aims to bring together systems and information sciences researchers and developers from academia and industry …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-59194-6
- Collation
- XIX, 468p.:Ill
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 005.1 Sys
Modelling and Implementation of Complex Systems
This proceedings book gives a new vision and real progress towards more difficult problems resolution. In trying to solve the problems we face every day in the complex world we are living, we are constantly developing artificial systems and increasingly complex middleware. Indeed, the research works contained in this book address a large spread of nowadays topics like IoT architectures, communi…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-58861-8
- Collation
- xv, 310p.:Ill
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- 004. Mod
Advances in Software Engineering, Education, and e-Learning
This book presents the proceedings of four conferences: The 16th International Conference on Frontiers in Education: Computer Science and Computer Engineering + STEM (FECS'20), The 16th International Conference on Foundations of Computer Science (FCS'20), The 18th International Conference on Software Engineering Research and Practice (SERP'20), and The 19th International Conference on e-Learnin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-70873-3
- Collation
- XXIX, 1015p.:Ill
- Series Title
- Transactions on Computational Science and Computational Intelligence
- Call Number
- 004. Adv
Data Science and Intelligent Systems
This book constitutes the second part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021) proceedings. The real-world problems related to data science and algorithm design related to systems and software engineering are presented in this papers. Furthermore, the basic research’ papers that describe novel approaches in the data science, algorit…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-90321-3
- Collation
- XVIII, 1056p.:Ill
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- 006.3 Dat
Software Engineering Application in Informatics
This book constitutes the first part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021). The CoMeSySo 2021 Conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research results. The software engineering, computer science, and artificial i…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-90318-3
- Collation
- xviii, 1003p.:Ill
- Series Title
- -
- Call Number
- 006.3 Sof
Requirements Engineering for Social Sector Software Applications
This book presents interdisciplinary research in software engineering with applications for the social sector. The author focuses on software applications that are used for social good and that serve the needs of society. The author aims to bridge the knowledge gap between requirement engineers, industry, and users in order to help identify a diverse range of needs in the social sector (taking …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-83549-1
- Collation
- viii, 60p.:Ill
- Series Title
- -
- Call Number
- 005.1 Gup r
Software Engineering and Algorithms
This book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science On-line Conference 2021 (CSOC 2021), held on-line in April 2021. Software engineering research and its applications to intelligent algorithms take an essential role in computer science research. In this book, modern research methods, application of machine and statisti…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-77442-4
- Collation
- xvi, 741p.:Ill
- Series Title
- -
- Call Number
- 005.1 Sof
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography