Call Number (LC) Title Results
QA76.754 .S64 2023 Software architecture : research roadmaps from the community / 1
QA76.754 .S64723 2008eb Software studies : a lexicon / 1
QA76.758 Agile project management.
Learn Git in 3 hours /
Een grijs gat : Meten aan software(kwaliteit).
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets /
Durable Ideas in Software Engineering.
Git essentials : create, merge, and distribute code with Git, the most powerful and flexible versioning system available /
Sharing data and models in software engineering /
Beginning software engineering /
CMMI for development : implementation guide /
The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise /
SOFTWARE CLONES : GUILTY UNTIL PROVEN INNOCENT?
Systems engineering of software-enabled systems /
Time-frequency domain for segmentation and classification of non-stationary signals : the Stockwell Transform applied on bio-signals and electric signals /
COMPONENT-BASED SOFTWARE ENGINEERING methods and metrics.
Working with Legacy Systems : a Practical Guide to Looking after and Maintaining the Systems We Inherit.
Dependable software systems engineering /
Software engineering application in systems design : proceedings of 6th Computational Methods in Systems and Software 2022.
Convergence in crossover service /
Sustainability in software engineering and business information management : proceedings of the conference SSEBIM 2022 /
Software engineering, artificial intelligence, networking and parallel/distributed computing 2022-Winter /
Advanced information systems engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, proceedings /
Advanced information systems engineering workshops : CASEe 2023 International Workshops, Zaragoza, Spain, June 12-16, 2023, proceedings /
Software engineering research in system science : proceedings of 12th Computer Science On-line Conference 2023.
Software engineering and formal methods : SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10 2021, revised selected papers /
Concise guide to software engineering : from fundamentals to application methods /
Quantum software engineering /
Evaluation of novel approaches to software engineering : 16th International Conference, ENASE 2021, Virtual event, April 26-27, 2021, Revised selected papers /
Search-based software engineering : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings /
Formal methods : 25th Brazilian Symposium, SBMF 2022, Virtual event, December 6-9, 2022, Proceedings /
Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings /
Advances in model and data engineering in the digitalization era : MEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022, proceedings /
Software technologies : 15th international conference, ICSOFT 2020, Online event, July 7-9, 2020, revised selected papers /
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022 : proceedings /
OpenSHMEM and related technologies : OpenSHMEM in the era of exascale and smart networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, virtual event, September 14-16, 2021 : revised selected papers /
Complex, intelligent and software intensive systems : proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) /
Systems modelling and management : First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings /
Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings /
Requirements engineering foundation for software quality : 28th International Working Conference, REFSQ 2022, Birmingham, UL, March 21-24, 2022, proceedings /
Frontiers in software engineering education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers /
Design thinking for software engineering : creating human-oriented software-intensive products and services /
Graph transformation for software engineers : with applications to model-based development and domain-specific language engineering /
Coordination models and languages : 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /
Action research in software engineering : theory and applications /
Software engineering in the era of cloud computing /
Advances in agile and user-centred software engineering : third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1-4, 2019, Revised Selected Papers /
Model-driven engineering and software development : 7th international conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, revised selected papers /
Evaluation of novel approaches to software engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers /
Requirements engineering : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings /
Mining software engineering data for software reuse /
Guide to software systems development : connecting novel theory and current practice /
Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /
Software technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers /
Knowledge-based software engineering : proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26 2020 /
Search-based software engineering : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings /
Lean and agile software development : 5th International Conference, LASD 2021, virtual event, January 23, 2021, proceedings /
Accelerating digital transformation : 10 years of Software Center /
Engineering software for modern challenges : first International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers /
Practical Git : confident Git through practice /
Agile product and project management : a step-by -step guide to building the right products /
Theoretical aspects of software engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings /
Software technologies : 16th International Conference, ICSOFT 2021, Virtual event, July 6-8, 2021, Revised selected papers /
DevOps for airborne software : exploring modern approaches /
Handbook of requirements and business analysis /
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.
Software architecture : 15th European Conference, ECSA 2021 Tracks and Workshops, Växjö, Sweden, September 13-17, 2021, revised selected papers /
Human-centered software engineering : 9th IFIP WG 13. 2 International Working Conference, HCSE 2022, Eindhoven, the Netherlands, August 24-26, 2022, Proceedings /
Dependable computing -- EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings /
Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings /
The rational software engineer : a comprehensive guide for personal and professional growth /
Knowledge-based software engineering: 2022 : Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022 /
Proceedings of International Conference on Recent Innovations in Computing : ICRIC 2022.
Evaluation of novel approaches to software engineering : 17th International Conference, ENASE 2022, virtual event, April 25-26, 2022, revised selected papers /
Tests and proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings /
Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings.
Recent innovations in computing : proceedings of ICRIC 2020 /
Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers /
Model-driven engineering and software development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, revised selected papers /
Automotive software architectures : an introduction /
From data to models and back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday /
Software engineering for robotics /
Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings /
Information and software technologies : 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15-17, 2020, Proceedings /
Testing software and systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /
Advanced information systems engineering : 34th international conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022 : proceedings /
Advances in Conceptual Modeling ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings /
Formal methods for software engineering : languages, methods, application domains /
Model-based approaches to the internet of things /
Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings /
Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, Revised selected papers /
Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings /
Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings /
Information systems reengineering, integration and normalization : heterogeneous database connectivity /
Integrating research and practice in software engineering /
New perspectives in software engineering : proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022) /
Software engineering, artificial intelligence, networking and parallel/distributed computing /
Handbook of re-engineering software intensive systems into software product lines /
Data science and algorithms in systems : proceedings of 6th Computational Methods in Systems and Software 2022.
Trends and applications in software engineering : proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) /
Communication, smart technologies and innovation for society : proceedings of CITIS 2021 /
Automated software engineering : a deep learning based approach /
Requirements engineering for social sector software applications : innovating for a diverse set of user needs /
Software engineering research, management and applications /
Meta heuristic techniques in software engineering and its applications : METASOFT 2022 /
Recent innovations in computing : proceedings of ICRIC 2021.
A journey towards bio-inspired techniques in software engineering /
Software engineering in IoT, big data, cloud and mobile computing /
Proceedings of 6th International Conference in Software Engineering for Defence Applications : SEDA 2018 /
Software engineering perspectives in systems : proceedings of 11th Computer Science On-line Conference 2022.
Handbook on artificial intelligence-empowered applied software engineering.
113
QA76.758 .A238 2017 A System-Theoretic Safety Engineering Approach for Software-Intensive Systems. 1
QA76.758 .B67 1991 Programming as if people mattered : friendly programs, software engineering, and other noble delusions / 1
QA76.758 .B76 2023 Developing information systems accurately : a wholistic approach / 1
QA76.758 .B78 2022eb GIT for electronic circuit design : CAD and version control for electrical engineers / 1
QA76.758 .C33 2020eb Advanced information systems engineering workshops : CAiSE 2020 International Workshops, Grenoble, France, June 8-12, 2020, Proceedings /
Advanced information systems engineering : 32nd International Conference, CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings /
Advanced information systems engineering : CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings /
3
QA76.758 .C33 2021 Advanced information systems engineering workshops : CAiSE 2021 international workshops : Melbourne, VIC, Australia, June 28-July 2, 2021 : proceedings /
Advanced information systems engineering : 33rd international conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021 : proceedings /
2
QA76.758 .C33 2021eb Intelligent information systems : CAiSE Forum 2021, Melbourne, VIC, Australia, June 28-July 2, 2021, proceedings / 1
QA76.758 .C33 2022eb Advanced information systems engineering workshops : CAiSE 2022 International Workshops, Leuven, Belgium, June 6-10, 2022, Proceedings /
Intelligent information systems : CAiSE Forum 2022, Leuven, Belgium, June 6-10, 2022, Proceedings /
2
QA76.758 .C38 2023 Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.
Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.
2
QA76.758 .C57 2011eb Making sense of agile project management : balancing control and agility / 1
QA76.758 .C66 2020 Contemporary empirical methods in software engineering / 1
QA76.758 .C66 2021 Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / 1
QA76.758 .C66 2021eb Software engineering and algorithms : proceedings of 10th Computer Science On-line Conference 2021. 1
QA76.758 .C66 2022eb Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / 1
QA76.758 .C76 2023 The business manager's guide to software projects : a framework for decision-making, team collaboration, and effectiveness / 1
QA76.758 .D47 2020 Dependable computing -- EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / 1
QA76.758 .D47 2021eb Dependable computing -- EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings / 1