Formal Methods for Software Engineering: Languages, Methods, Application Domains
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The fir…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-38800-3
- Collation
- xxviii, 524p.: Ill.
- Series Title
- Texts in Theoretical Computer Science. An EATCS Series
- Call Number
- 005.437 Rog f
Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India…
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022. The 19 full and 11 short papers wer…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17995-2
- Collation
- xxii, 434p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Con
Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, J…
This book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-20936-9
- Collation
- xiv, 423p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Int
Theoretical Aspects of Software Engineering: 16th International Symposium, TA…
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular pa…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10363-6
- Collation
- xv, 426p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 The
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1…
This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presente…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10419-0
- Collation
- viii, 141p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Sup
Deployment and Operation of Complex Software in Heterogeneous Execution Envir…
This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-04961-3
- Collation
- vii, 148p.: Ill.
- Series Title
- SpringerBriefs in Applied Sciences and Technology
- Call Number
- 005.1 Dep
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 …
- 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
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 …
- 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…
- 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 prem…
- 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 & Erns…
- 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, Isr…
- 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…
- 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.…
- 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…
- 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.…
- 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 …
- 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 dur…
- 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…
- 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 pri…
- 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 dur…
- 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 w…
- 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, an…
- 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 burglar…
- 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 educationa…
- 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 s…
- 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 elect…
- 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 Confe…
- 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, Indi…
- 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 Confere…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-1045-5
- Collation
- x, 65p.:Ill
- Series Title
- -
- Call Number
- 005.1 Pro
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography