Software Engineering Productivity Handbook
- Edition
- -
- ISBN/ISSN
- 0-07-911366-4
- Collation
- xx, 650 p.; 24 cm.
- Series Title
- -
- Call Number
- 005.1 Key s
- Edition
- -
- ISBN/ISSN
- 0-07-911366-4
- Collation
- xx, 650 p.; 24 cm.
- Series Title
- -
- Call Number
- 005.1 Key s
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022,…
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. Th…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-12441-9
- Collation
- viii, 295p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.11 Rew
Financial Cryptography and Data Security: 26th International Conference, FC 2…
This book constitutes revised selected papers from the proceedings of the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 20…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-18283-9
- Collation
- xiv, 726p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.8 Fin
High Performance Computing and Networking: Select Proceedings of CHSN 2021
This book comprises the proceedings of the 2nd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2021). This book highlights the high-qualit…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-9885-9
- Collation
- xx, 666p.: Ill.
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 005.437 Hig
Cross-Cultural Design. Applications in Learning, Arts, Cultural Heritage, Cre…
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-06047-2
- Collation
- xxii, 538p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Cro
Trandisciplinary Multispectral Modelling and Cooperation for the Preservation…
This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-20253-7
- Collation
- xxi, 286p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 Tra
Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, E…
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 ful…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-04718-3
- Collation
- xii, 155p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Ser
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19759-8
- Collation
- xiii, 474p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Lev
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19759-8
- Collation
- xiii, 474p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.11 Lev
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFM…
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually durin…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-12429-7
- Collation
- xi, 350p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.11 Sof
Animated Program Design: Intermediate Program Design Using Video Game Develop…
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem sta…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-04317-8
- Collation
- xix, 514p.: Ill.
- Series Title
- Texts in Computer Science
- Call Number
- 005.437 Mor a
Applied Computer Sciences in Engineering: 9th Workshop on Engineering Applica…
This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogotá, Colombia, in November/Decem…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-20611-5
- Collation
- xiii, 486p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 App
Leveraging Applications of Formal Methods, Verification and Validation. Pract…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- xiii, 424p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437
Software Engineering and Formal Methods: 20th International Conference, SEFM …
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. Th…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17108-6
- Collation
- xvii, 369p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Sof
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP…
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Ita…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08679-3
- Collation
- xiv, 209p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technolo…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08166-8
- Collation
- xii, 521p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 The
Blockchain in Life Sciences
This book highlights the latest advances on the implementation and adaptation of blockchain technologies in real-world scientific, biomedical, and data applications. It presents rapid advancements …
- Edition
- 1
- ISBN/ISSN
- 978-981-19-2976-2
- Collation
- xxvii, 336p.: Ill.
- Series Title
- Blockchain Technologies
- Call Number
- 005.1 Blo
Evaluation of Novel Approaches to Software Engineering: 16th International Co…
The present book includes extended and revised versions of a set of selected papers from the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), he…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-96648-5
- Collation
- xi, 357p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 Eva
Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems
This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantic…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-6309-4
- Collation
- xi, 279p.: Ill
- Series Title
- -
- Call Number
- 005.11 Liu p
Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2…
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-22476-8
- Collation
- xiv, 143p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
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
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography